I still do diagrams. Not UML specifically, but using mermaid.js. It is a great way to think about the requirements before coding
> When was the last time you ..or anyone.. reviewed the assembly language or binary output of your compiler? not even a week ago. But generally people prefer to burn millions on compute instead of seeing the output of…
> Not many people are such cowboys today. Now-day, it is the llm that write tests. Nobody look at it and verify if it is meaningful. If the test pass, ship it. It still cowboys days
It is super laughable when you read his github bio. I had a good laugh not ngl
Not only that. Citing "What doesn't kill you make me stronger" in this context is very ironic as Nietzsche was talking for himself. He took that from Ralph Waldo Emerson while stripping the moral aspect of it
it is not because it work that it is good. It still need to be maintained and this is a huge deal
That is magic thinking and even religious
That is why I prefer correct by construction instead of relying on proofs
This is my experience with llm and all dependent type language like idris2
I do a lot of software dev with idris2 in my free time and this is the problem. Everytime I try llms with formal verification, llms tend to try to remove all type check and cheat. That is why I am soooo sceptical of…
> we coder-stonemasons spent our days meticulously carving code-stone into finished pieces In what world this was ever true ? a software or a lib is pretty much never finished
It can create very bad one. Wake me up when it will make subtensial progress on Cubical Type Theory
Anything I don't agree is pasted from an LLM
> For example, I predicted about 15 years ago that AI would decisively beat humans at math, because math is formalizable. Most people didn't believe it until this summer, and some don't believe it still. That is a…
> NFTs literally were mass psychosis LOL as if AI was a not a mass psychosis ... "AI have 10% of kill us all"
See the curry howard isomorphism. Formal logic can be seen as a programming language. In fact, functional programming language are in part based on that correspondence. And some like idris2 and lean4 take it to another…
The fact that a piece of software compiles does not necessarily mean that it is correct. The same applies to Lean; in fact, some type theorists are not particularly satisfied with the current state of Lean or the…
> I also think that with agents the programming language fun is over, as we migrate to formalisms to drive them This seems like a contradiction to me. Programming languages are formalisms. What kind of formalisms are…
Not sure why you think this guy has built his entire personality around software. He is arguing against slop in free software. Being political about it is pretty normal I would say
This has been proposed but never adopted : https://github.com/tc39/proposal-pipeline-operator
Why do you care about a cultist ?
Doesn't help that the current AI come from a cult it self (rationalist and effective altruist). I wouldn't be so much opposed if it was introduced to me in something useful in the first place instead of the shit show it…
> As a software developer we should fear chasing "better" solutions, that path always lead to procrastination What a bad take. This is a discipline problem. You can chase both and be careful with the new solution.
> If you're meticulously designing and engineering it really well from the start, sure functional languages represent it well without leaving much room for misinterpretation and thus bugs. But no one does that. I find…
Before llms : All tests + some type theory things After llms : Just slop without tests
I still do diagrams. Not UML specifically, but using mermaid.js. It is a great way to think about the requirements before coding
> When was the last time you ..or anyone.. reviewed the assembly language or binary output of your compiler? not even a week ago. But generally people prefer to burn millions on compute instead of seeing the output of…
> Not many people are such cowboys today. Now-day, it is the llm that write tests. Nobody look at it and verify if it is meaningful. If the test pass, ship it. It still cowboys days
It is super laughable when you read his github bio. I had a good laugh not ngl
Not only that. Citing "What doesn't kill you make me stronger" in this context is very ironic as Nietzsche was talking for himself. He took that from Ralph Waldo Emerson while stripping the moral aspect of it
it is not because it work that it is good. It still need to be maintained and this is a huge deal
That is magic thinking and even religious
That is why I prefer correct by construction instead of relying on proofs
This is my experience with llm and all dependent type language like idris2
I do a lot of software dev with idris2 in my free time and this is the problem. Everytime I try llms with formal verification, llms tend to try to remove all type check and cheat. That is why I am soooo sceptical of…
> we coder-stonemasons spent our days meticulously carving code-stone into finished pieces In what world this was ever true ? a software or a lib is pretty much never finished
It can create very bad one. Wake me up when it will make subtensial progress on Cubical Type Theory
Anything I don't agree is pasted from an LLM
> For example, I predicted about 15 years ago that AI would decisively beat humans at math, because math is formalizable. Most people didn't believe it until this summer, and some don't believe it still. That is a…
> NFTs literally were mass psychosis LOL as if AI was a not a mass psychosis ... "AI have 10% of kill us all"
See the curry howard isomorphism. Formal logic can be seen as a programming language. In fact, functional programming language are in part based on that correspondence. And some like idris2 and lean4 take it to another…
The fact that a piece of software compiles does not necessarily mean that it is correct. The same applies to Lean; in fact, some type theorists are not particularly satisfied with the current state of Lean or the…
> I also think that with agents the programming language fun is over, as we migrate to formalisms to drive them This seems like a contradiction to me. Programming languages are formalisms. What kind of formalisms are…
Not sure why you think this guy has built his entire personality around software. He is arguing against slop in free software. Being political about it is pretty normal I would say
This has been proposed but never adopted : https://github.com/tc39/proposal-pipeline-operator
Why do you care about a cultist ?
Doesn't help that the current AI come from a cult it self (rationalist and effective altruist). I wouldn't be so much opposed if it was introduced to me in something useful in the first place instead of the shit show it…
> As a software developer we should fear chasing "better" solutions, that path always lead to procrastination What a bad take. This is a discipline problem. You can chase both and be careful with the new solution.
> If you're meticulously designing and engineering it really well from the start, sure functional languages represent it well without leaving much room for misinterpretation and thus bugs. But no one does that. I find…
Before llms : All tests + some type theory things After llms : Just slop without tests