loglog

Microsoft Voluntary Exit Copilot, FTFY

No actual communist state ever paid everyone the same.

If you are willing to consider Heroes 3, then Horn of Abyss has fan made factions that are as good as the originals.

The added features look like a comprehensive back port of Heroes 3.

Software engineers are getting laid off because of the end of zero interest rates, wars started by Putin and Trump, and a bit because of pandemic over hiring. The part that is due to AI is less hiring of juniors. Know your enemy before starting a fight.

> I dont get this. What is the difference if you replace "AI" by "Tao"?

1. Tao lacks a fine-tune that accurately follows my instructions. 2. The usage limit on the 100$/month Tao subscription is quite low.

Everyone's password is now 1q1q1q1q1q1q1q1q1q1q!Q

You brought a real economy issue to a finance economy discussion.

I read one of these papers (a relatively short one), solving a big problem in a field I used to work in, and it's exposition was above average.

> not at the Lean code, since I know very little of the actual usage of Lean, and that code was enormous

Dismissing results on the basis that Lean code is too long disqualifies this opinion. It is not hard at all to read the Lean result statement, even with very superficial Lean knowledge.

Climate change is a political problem, not a technical problem. Ironically, by raising oil prices, Trump might have done more against climate change than many people who have been actively fighting it.

That's not Java being slow, that's Gradle and Spring being slow.

There are plenty of locations with redundant power supply, and even building a new power line from another substation would generally not be too expensive given the short distances (unless NIMBYs block it, which they do).

> 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 languages.

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: https://github.com/anomalyco/opencode/issues/4283

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 among the "most representative" words). If the goal is to investigate English language usage trends, it might be better to cluster based only on English words.

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 more throughput, the PRs quality needs to improve."

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 effort might not be wasted.

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. Compare this to a zero knowledge proof that you have, say, a factorization gadget, which works by you running the gadget on adversarial input, thus convincing the adversary that you can factor any of their integers. That discloses no implementation details of your factorization gadget, which can be an efficient classical algorithm, a quantum computer, or a phone line to God.

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 bidirectional type inference for instance feels like it was implemented because they had a compiler algorithm that they wanted to use, rather than a genuine need, and is just a completely avoidable problem. Trying to make a HPC language that is also Python compatible was doomed from the start. Hopefully the damage from going into this direction will remain limited.