Handwriting is inherently ableist. A portion of the population is blessed with the inherent ability of fast, legible handwriting. A portion of the population is not. Typing is an equalizer that allows more people to…
The same way that I verified all of the code that was written before AI. Just because you hand type the code doesn't mean that you don't have to test and verify. I can test much more thoroughly with AI that without.
Sorry but you are just wrong. Perhaps if you are working on tiny problems in very small projects. Beyond that AI is simply many times faster regardless of how fast you type.
You seem to have a narrow definition of "build it". LLMs don't have agency. If I build software using an LLM I built it. Just like if I build a house out of lumber from a lumber mill, I built it even though I didn't…
The llm is the better community tool. The important change is that you don't have to settle with someone developing a monolithic tool that happens to do what you need it to do. That was the way things used to need to be…
I don't agree that Anthropic's position is AI is all you need. My interpretation is that it's about developer acceleration. I've been following their messaging closely and it's not that you can fire all of your…
The point of cursive was make writing efficient with a quill pen. With a quill pen you run the risk of ink dropping off the tip if you lift it from the paper. Therefore cursive tries to keep the pen in contact with the…
Unfixable errors? Why unfixable? Python is Turing complete. I can see difficult to fix, but not unfixable. LLMs lower the bar to refactoring code mistakes.
I don’t believe that “reasoning” is very useful in large code bases written by multiple developers. If you are trying to be axiomatic and prove to yourself that the code is correct, there are a thousand different ways…
I’m sure in certain domains this makes sense. However, English is a poor language for doing reasoning in. More and more I’m relying on the code itself as the documentation. One of the superpowers of LLMs is reading…
Not my experience at all. There are a couple of linters to choose from, and uv is becoming the dominant packaging environment. In my experience it is much easier to write large maintainable projects in Python than in…
I’m not referring to trivial functions nor classes. I talking about things like overloading operators, or changing the default idioms of the language. This means that a person can’t read the code without fully…
Languages are never the answer. Lisp isn't superior to Visual Basic. They are both Turing complete. Humans can express good ideas in each. It's better to think of languages as tools. An impact drill is not superior to a…
In commercial practice DSLs are an anti-pattern. Someone will create an under-documented DSL that only they understand and move on. The following programmers have to try to decipher this strange language. It is almost…
Nice rant with no evidence. I'll choose to ignore it.
My Hyundai Ioniq 5 has Car Play and knobs and buttons. It's not either or.
People engage with music in different ways. Some people focus on lyrics and the connection they make. Other people largely ignore lyrics and focus on the rhythms and patterns. Both are valid and both are very human. We…
Your statement is so imprecise as to be meaningless. Is EDM made on an Abelton DAW human made? Even though the human didn't touch an instrument and used a robot drummer? What about a human who uses AI to generate…
The NSA is government agency. They are certainly not training any world class LLMs. They probably have some specialized fine tunings of existing models, but that's it. They don't have the capacity.
There’s nothing new here. This is how open source software has been since its inception. It’s just the nature of reality.
As has been pointed out elsewhere, DMA isn't a privacy regulation. It is simply about competition. You can be in 100% compliance with DMA and poor privacy protections. This is the crux of the problem. How do you…
I have to lift up my hand and move my arm around to use it. With a trackpad all I need to do is move my hand over and flick my fingers for gestures. My wrist never moves.
Rust, Python, Java, Ruby, Scala, Swift to start with. These are languages with very wide adoption. Objective-C is very Smalltalk-like, but it is being phased out for Swift.
This is a truly important paper. It formalizes the intuition that many in the field have. We can stop wasting time doing formal analysis of LLMs. If you have a problem that requires formal verification, don't use an…
You think that LISP and Smalltalk aren't widely used is because they weren't easy to implement in the late 1980's? There have been many languages that have risen to prominence in the 40 years since, yet LISP and…
Handwriting is inherently ableist. A portion of the population is blessed with the inherent ability of fast, legible handwriting. A portion of the population is not. Typing is an equalizer that allows more people to…
The same way that I verified all of the code that was written before AI. Just because you hand type the code doesn't mean that you don't have to test and verify. I can test much more thoroughly with AI that without.
Sorry but you are just wrong. Perhaps if you are working on tiny problems in very small projects. Beyond that AI is simply many times faster regardless of how fast you type.
You seem to have a narrow definition of "build it". LLMs don't have agency. If I build software using an LLM I built it. Just like if I build a house out of lumber from a lumber mill, I built it even though I didn't…
The llm is the better community tool. The important change is that you don't have to settle with someone developing a monolithic tool that happens to do what you need it to do. That was the way things used to need to be…
I don't agree that Anthropic's position is AI is all you need. My interpretation is that it's about developer acceleration. I've been following their messaging closely and it's not that you can fire all of your…
The point of cursive was make writing efficient with a quill pen. With a quill pen you run the risk of ink dropping off the tip if you lift it from the paper. Therefore cursive tries to keep the pen in contact with the…
Unfixable errors? Why unfixable? Python is Turing complete. I can see difficult to fix, but not unfixable. LLMs lower the bar to refactoring code mistakes.
I don’t believe that “reasoning” is very useful in large code bases written by multiple developers. If you are trying to be axiomatic and prove to yourself that the code is correct, there are a thousand different ways…
I’m sure in certain domains this makes sense. However, English is a poor language for doing reasoning in. More and more I’m relying on the code itself as the documentation. One of the superpowers of LLMs is reading…
Not my experience at all. There are a couple of linters to choose from, and uv is becoming the dominant packaging environment. In my experience it is much easier to write large maintainable projects in Python than in…
I’m not referring to trivial functions nor classes. I talking about things like overloading operators, or changing the default idioms of the language. This means that a person can’t read the code without fully…
Languages are never the answer. Lisp isn't superior to Visual Basic. They are both Turing complete. Humans can express good ideas in each. It's better to think of languages as tools. An impact drill is not superior to a…
In commercial practice DSLs are an anti-pattern. Someone will create an under-documented DSL that only they understand and move on. The following programmers have to try to decipher this strange language. It is almost…
Nice rant with no evidence. I'll choose to ignore it.
My Hyundai Ioniq 5 has Car Play and knobs and buttons. It's not either or.
People engage with music in different ways. Some people focus on lyrics and the connection they make. Other people largely ignore lyrics and focus on the rhythms and patterns. Both are valid and both are very human. We…
Your statement is so imprecise as to be meaningless. Is EDM made on an Abelton DAW human made? Even though the human didn't touch an instrument and used a robot drummer? What about a human who uses AI to generate…
The NSA is government agency. They are certainly not training any world class LLMs. They probably have some specialized fine tunings of existing models, but that's it. They don't have the capacity.
There’s nothing new here. This is how open source software has been since its inception. It’s just the nature of reality.
As has been pointed out elsewhere, DMA isn't a privacy regulation. It is simply about competition. You can be in 100% compliance with DMA and poor privacy protections. This is the crux of the problem. How do you…
I have to lift up my hand and move my arm around to use it. With a trackpad all I need to do is move my hand over and flick my fingers for gestures. My wrist never moves.
Rust, Python, Java, Ruby, Scala, Swift to start with. These are languages with very wide adoption. Objective-C is very Smalltalk-like, but it is being phased out for Swift.
This is a truly important paper. It formalizes the intuition that many in the field have. We can stop wasting time doing formal analysis of LLMs. If you have a problem that requires formal verification, don't use an…
You think that LISP and Smalltalk aren't widely used is because they weren't easy to implement in the late 1980's? There have been many languages that have risen to prominence in the 40 years since, yet LISP and…