munchler

6 ms·

1.
by munchler 4d ago
As a fan of the Curry-Howard correspondence, I approve of this decision.
2.
by munchler 11d ago
> The strongest argument I see for continuing to train much smarter models quickly is the need to build defensive systems against the dangers posed by other AI. Yikes! I really wonder about the cognitive dissonance necessary to work at O
3.
by munchler 13d ago
It seems like AI to me as well. “That’s the gap” is a familiar Claude-ism, as are the references to a “pivot” and the use of “touch” to mean “affect”. To be fair, I’ve reached the point where most random blog posts I read on the internet se
4.
by munchler 23d ago
It’s a minimal Windows app, so the whole idea is to rely on Windows DLLs as much as possible.
5.
by munchler 1mo ago
Well, yes, but negative numbers are also well known to every high school math student.
6.
by munchler 1mo ago
A human child would just say “I don’t know”.
7.
by munchler 1mo ago
Why is subtraction not part of the algebra? It’s certainly familiar to every high school math student. This omission allows the counterexample, so the reveal is a bit of a disappointment IMHO.
8.
by munchler 1mo ago
What a beautiful illustration. It makes intuitive the very abstract concepts discussed in the text. It’s fun to zoom in and browse around the structure.
9.
by munchler 1mo ago
Thank you. The OP's article is clearly AI-written.
10.
by munchler 2mo ago
It's not about immature people being unable to separate art from artist because it's difficult. The issue is whether it's the right thing to do. I feel pretty confident that I could describe to you a case (either real or hypo
11.
by munchler 2mo ago
https://fstar-lang.org/tutorial/
12.
by munchler 2mo ago
The flip side is that we currently put programs into production without understanding how they will behave in those edge cases. If you're lucky, they crash and then restart cleanly. If you're unlucky, they silently corrupt data or
13.
by munchler 2mo ago
Thank you for this. I probably don't have higher standards, but I do have way fewer than a million users!
14.
by munchler 2mo ago
Thank you for this explanation. It makes sense, but I don't really understand why it has become so popular. Professionally, my experience is that certain software components need to run together on an individual machine (e.g. database
15.
by munchler 2mo ago
I appreciate the effort and I'm in your target audience, but that document didn't help me. It seems to dive into the details of installing and running k8s without saying much about the purpose. From my very ignorant standpoint, K8
16.
by munchler 2mo ago
Nobody knows what anything is going to be worth in 5 years.
17.
by munchler 2mo ago
(1989)
18.
by munchler 2mo ago
> "This action is irreversible and ensures that your data remains protected." This amounts to "We deleted all your data in order to keep it safe." WTF.
19.
by munchler 2mo ago
> Code is code. It either does the job or doesn't. Surely that is not the only dimension that matters when evaluating software. Maintainability and readability, for example, are crucial for any long-lived project.
20.
by munchler 2mo ago
I love the chatty tone of this utterly dystopian question.
21.
by munchler 2mo ago
If AGI is the goal and something like the Singularity is even a remote possibility, the difference between first and second place could be effectively infinite. Given China’s suppression of human rights, it’s not a chance I would want my go
22.
by munchler 2mo ago
> I can think of exactly one customer in two years who was surprised that software costs money I think you meant "I can think of exactly one customer in two years who was NOT surprised that software costs money"?
23.
by munchler 3mo ago
To expand on this a bit, I appreciate some audio overkill because, if I do hear sizzle or distortion, it eliminates one possible reason and helps me figure out what’s actually happening. It’s like having gigabit internet to my house: I don’
24.
by munchler 3mo ago
It actually extends to all automation, even before computers. Replacing oxen with tractors? Now you have to keep the tractors running.
25.
by munchler 3mo ago
This would create more chaos than any other suggestion so far. Well done.
26.
by munchler 3mo ago
> Once AI takes everything it can take, what is left for us? This is a good question, but is perhaps too abstract to address well. I think a better question for right now is: Once AI generates all the wealth it can generate, who benefits
27.
by munchler 3mo ago
As a kid, I liked arithmetic function machines that "magically" force a particular output or allow one to quickly deduce the input from the output. These are usually based on non-obvious (to a kid) identities. I would invent my ow
28.
by munchler 4mo ago
The classic I remember from childhood is the card game "War". Assuming neither player cheats or makes a mistake, the outcome is totally predetermined.
29.
by munchler 4mo ago
If, say, a certain version of Claude tends to be better at front-end than back-end work, that can be important for deciding how to use it in the future. Just like when managing human developers.
30.
by munchler 4mo ago
> Disclose your "AI" tools in a merge request if needed but leave them out of the damn commits, those are for technical information and not for advertising. I think this is very poor advice. Knowing who/what changed the co

More ›