Garlef

27 ms·

241.
by Garlef 1y ago
Exactly. Key differences: - Houses are gaining value over time while consumer goods such as food, phones, TV, cars are loosing value over time. - A loan for a house can be paid back very slowly so that you effectively only pay your initial
242.
by Garlef 1y ago
... and ate my homework
243.
by Garlef 1y ago
From the requirements - or rather desired properties. > Subskills cover skills Isn't this requirement a common fallacy in education? First, just because you know skill A and skill B does not mean you can automatically do both A and
244.
by Garlef 1y ago
Hm... I think you have a good point. Maybe the non-determinism can be reduced by caching: Just reevaluate the spec if the code actually changes? I think there are also other problems (inlining a verbal description makes the codebase verbose
245.
by Garlef 1y ago
Formalization as in formal methods? Maybe not. Considering the 'living program' idea, it might be a good strategy to state theorems about the behavior of your software and require the ai-tool to provide a proof that its output sa
246.
by Garlef 1y ago
I like the analogy of the fractal boundaries. But there's also consolidation happening: Not every branch that is initially explored is still meaningful a few years later. (At least that's what I got from reading old mathematical t
247.
by Garlef 1y ago
Similarly, letting the LLM generate a socratic dialogue can work pretty well to get deeper into a topic.
248.
by Garlef 1y ago
Interesting: At first I was objecting in my mind ("Clearly, the magic - LLMs - can create effect instead of only revealing it.") but upon further reflecting on this, maybe you're right: First, LLMs are a distillation of our c
249.
by Garlef 1y ago
Interesting thought. But maybe the companies would actually like to at least pipe the communication throught the cloud to get all the usage data. Here's one possible architecture: local chat client - talks to cloud LLM - talks to
250.
by Garlef 1y ago
Hm. Either that page or the tech itself is not great on mobile.
251.
by Garlef 1y ago
I think you're very very wrong. Especially in maths, there's not much to practice. There's stuff to understand. And while this might be exhausting it's not boring and it's a very rewarding process in itself. Or prog
252.
by Garlef 1y ago
> I've never cared whether someone "validates" my emotions I feel you! It's so nice to be independent and not subject to one's own emotions. But have you considered that it's possible that you're just n
253.
by Garlef 2y ago
They are just called "cookie banners". The storage mechanism is not important.
254.
by Garlef 2y ago
What I've gathered from this: It's an explantion of why serializable closures are a way to solve/tackle the problem of hydration, etc. Hence the compiler technology in newer react.
255.
by Garlef 2y ago
> How many William Shakesmans did we lose with all the war, famine, disease? (Just a small comment out of context of the remaining discussion:) Maybe not many? It could be that "cultural attention" is limited and there's n
256.
by Garlef 2y ago
I don't know. - The counter-examples seem strange to begin with since they mix presentation concerns (redirect) with data access concerns (getDocument) and authentication (user.isAdmin). - I'd prefer an explation of the pattern th
257.
by Garlef 2y ago
Looks interesting! Regarding the code examples in the docs: It would be great if the examples for models and views would be from the same example. Currently, the view example is something about users and the model is something about custome
258.
by Garlef 2y ago
It's this maybe merely a financial move that makes sense in the world of ultra-rich people and banks? I read somewhere that he used his tesla assets as a security to get a loan to buy X and this provides some buffer or sticks it to som
259.
by Garlef 2y ago
Oh I see: I could define my own entities similar to what your did for your integration and then let the agents interact with them through the MCP? For example ("architecture pattern" - auch as the dependency rule from clean archit
260.
by Garlef 2y ago
It's there some way to control what gets updated in the database and how and when? For example I'd like to be in control of the archtectural patterns and not let the LLM drive this.
261.
by Garlef 2y ago
My central question after reading the article: Why did they choose a circle diagram over a pyramid?
262.
by Garlef 2y ago
> I wasn’t able to generate the image because the combination of abstract elements and stylistic blending [...] may have triggered content filters related to ambiguous or intense visuals. nah. i pass and stick with midjourney.
263.
by Garlef 2y ago
??? Not sure how an American would pronounce "oiler" but if it's "oil" as in "sunflower oil" then that's a pretty good emulation of the original German pronounciation of "Euler"... Another a
264.
by Garlef 2y ago
Hmm... The mobile experience of that page is not very convincing on first contact
265.
by Garlef 2y ago
Neat idea! Could you go into a bit more detail on how you encode the intent?
266.
by Garlef 2y ago
I think the usual notation works better for this lemma.
267.
by Garlef 2y ago
Not sure if that Readme is enough to explain an LLM what to do I get the idea but I'm not sure if I want to spend the time to fill in the gaps and start an experiment But I agree with the idea in general: Using informal DSLs as an inte
268.
by Garlef 2y ago
Maybe the instances are shared between users via sharding or are re-used and not properly cleaned. And maybe they contain the memory of the users and/or the documents uploaded?
269.
by Garlef 2y ago
Great idea! But there might not be enough text. And: There's a similar situation to why double blind studies are necessary - The questions we pose to such a system would be contaminated by our cultural background; We'd might be le
270.
by Garlef 2y ago
No matter what paradigm will come out on top: Someone will notice there's something to be gained by building abstractions around caching/memoization and that running workflows in distributed environments might be augmented by some

More ›