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!