> Mathematics is about discovering and understanding the logical implications of assumed axioms under various inference rules. That's like saying that programming is about producing valid programs in various programming…
Distillation of our blessed models is no fair!
> Also in a TUI you never ever have that issue that some text isn't copy/pastable like some dialogue boxes May I present OpenCode, which somehow managed to break copy from terminal:…
Self-hosting won't protect you from getting locked out of a closed weights model, because you can't self-host it even if you have the hardware.
If they "should" cost 4k in the sense of marginal cost, then you will be spending more running the same at home, because your home hardware will always be less efficient.
As of now, there are only 2 natural language clusters in the partition: Claudish and Spanish/French. From a first glance, the other clusters seem centered on technologies (lots of command line flags and abbreviations…
Their suggestion to tax tokens extends the problem of taxing wages to a new type of production. The real solution is, of course, taxing the capital, but you will never hear that from them.
The bots can also write Rust instead of C++, doing away with the arcane nonsense accumulated by that legacy language. SCNR.
Bureaucracy gives you leverage against slop. Review seriously, but limit the time that you spend. This will stall the slop. When the culprit complains, tell your boss "I spend X hours per week on reviews. If you need…
Writing and reading design documentation can be slower than pair programming. On the other hand, info about code design also belongs into inline documentation or commit messages (in this order of preference), so the…
It's not just documentation. Everything that makes programming easier is now suddenly valued, because wasting tokens is obviously worse than wasting your employees' time.
This claim is plain malicious. Of course falling asset prices would be excellent for the median person, since they would be less extremely priced out of everywhere. This is one of the central benefits of a wealth tax.
> For that kind of implementation, ... This is the key point, what is the meaning of "zero knowledge" here? It seems that you need to know something about the implementation, even if it is not the full implementation.…
The list of tools that Pythonheads present as a definite solution to their problems changes every year, yet the results are still far behind Rust/Scala/Kotlin/C#.
Surpassing DB's punctuality is the first large-scale example of the "Overtaking without catching up" East German slogan coming true.
The "fix everything" button is abolishing zoning laws, and its aggregate cost is negative. Aggregate cost is not the issue preventing problems from being solved.
> on top of a well designed language constructed over past language design experience While I believe that Chris Lattner is a great compiler designer, his language design record has been less stellar. Swift…
Mojo is NOT Python compatible (although they initially wanted it to be). So they got all downsides without the upsides.
How is it possible to provide a zero knowledge proof that their circuit works for large problem instances if there is no efficient way to run or simulate the circuit with the required instance size?
"I believe that almost anything that has been formalised today in any system could have been formalised in AUTOMATH. Its main drawbacks were its notation, which really was horrible, and its complete lack of automation.…
There are videos on the internet of drones being shot down with an assault rifle out of a 50 year old training plane, 1914 style.
A Bundeswehr worth of equipment is so little nowadays that Bundeswehr itself lost several Bundeswehrs worth of equipment while being at peace for the last few decades.
Americans are very comfortable with eminent domain, as long as it is applied to brown people.
This makes sense, because parking a car does take a similar amount of space as a studio apartment.
1. Java is mentioned in their comparison table. They just don't use it much. 2. There is really no reason to include Java in the search for your preferred language, since Kotlin is strictly better along every relevant…
> Mathematics is about discovering and understanding the logical implications of assumed axioms under various inference rules. That's like saying that programming is about producing valid programs in various programming…
Distillation of our blessed models is no fair!
> Also in a TUI you never ever have that issue that some text isn't copy/pastable like some dialogue boxes May I present OpenCode, which somehow managed to break copy from terminal:…
Self-hosting won't protect you from getting locked out of a closed weights model, because you can't self-host it even if you have the hardware.
If they "should" cost 4k in the sense of marginal cost, then you will be spending more running the same at home, because your home hardware will always be less efficient.
As of now, there are only 2 natural language clusters in the partition: Claudish and Spanish/French. From a first glance, the other clusters seem centered on technologies (lots of command line flags and abbreviations…
Their suggestion to tax tokens extends the problem of taxing wages to a new type of production. The real solution is, of course, taxing the capital, but you will never hear that from them.
The bots can also write Rust instead of C++, doing away with the arcane nonsense accumulated by that legacy language. SCNR.
Bureaucracy gives you leverage against slop. Review seriously, but limit the time that you spend. This will stall the slop. When the culprit complains, tell your boss "I spend X hours per week on reviews. If you need…
Writing and reading design documentation can be slower than pair programming. On the other hand, info about code design also belongs into inline documentation or commit messages (in this order of preference), so the…
It's not just documentation. Everything that makes programming easier is now suddenly valued, because wasting tokens is obviously worse than wasting your employees' time.
This claim is plain malicious. Of course falling asset prices would be excellent for the median person, since they would be less extremely priced out of everywhere. This is one of the central benefits of a wealth tax.
> For that kind of implementation, ... This is the key point, what is the meaning of "zero knowledge" here? It seems that you need to know something about the implementation, even if it is not the full implementation.…
The list of tools that Pythonheads present as a definite solution to their problems changes every year, yet the results are still far behind Rust/Scala/Kotlin/C#.
Surpassing DB's punctuality is the first large-scale example of the "Overtaking without catching up" East German slogan coming true.
The "fix everything" button is abolishing zoning laws, and its aggregate cost is negative. Aggregate cost is not the issue preventing problems from being solved.
> on top of a well designed language constructed over past language design experience While I believe that Chris Lattner is a great compiler designer, his language design record has been less stellar. Swift…
Mojo is NOT Python compatible (although they initially wanted it to be). So they got all downsides without the upsides.
How is it possible to provide a zero knowledge proof that their circuit works for large problem instances if there is no efficient way to run or simulate the circuit with the required instance size?
"I believe that almost anything that has been formalised today in any system could have been formalised in AUTOMATH. Its main drawbacks were its notation, which really was horrible, and its complete lack of automation.…
There are videos on the internet of drones being shot down with an assault rifle out of a 50 year old training plane, 1914 style.
A Bundeswehr worth of equipment is so little nowadays that Bundeswehr itself lost several Bundeswehrs worth of equipment while being at peace for the last few decades.
Americans are very comfortable with eminent domain, as long as it is applied to brown people.
This makes sense, because parking a car does take a similar amount of space as a studio apartment.
1. Java is mentioned in their comparison table. They just don't use it much. 2. There is really no reason to include Java in the search for your preferred language, since Kotlin is strictly better along every relevant…