Macros are less ergonomic than other lisps.

emacs is a rabbithole and the cost is rarely worth it. LLM agents do a great job already customizing your configuration for you.

We would be a poorer society if we followed your advice 50 years ago.

As far as I can tell, this is a victory for verifiable loops using LEAN, reinforcement learning, and oodles of compute. I haven't seen evidence yet that this is proof of broad generalization beyond the training distribution.

Why wouldn't I think he's genuine? What self interested incentive does he have that is stronger than just staying and vesting stocks?

The Federal Reserve has also found they improve the affordability of buying homes, which leads to younger people getting into the housing market faster.

https://x.com/cremieuxrecueil/status/1955007478078255107

https://www.minneapolisfed.org/article/2024/how-higher-prope...

A land value tax is even better, because it doesn't financially discourage improving your property, and it strongly increases the incentive to sell or develop underutilized land.

Am I misinterpreting this, or did OpenAI clearly nerf GPT-6 Sol on the 23rd.

1) Families and marriages formally splitting so that each member can keep one residence

2) People selecting their highest value commercial property at cost as their primary residence regardless of practicality to exempt the tax.

3) Many of the best positive effects of the tax on gradually reorganizing urban geography are seriously lessened.

This is a big deal, because rent is the biggest factor to the avg person's cost of living.

Denser developments are also much more fiscally productive than SFH zoning [1]. This means that cities that upzone will tend to have lower taxes, less debt, and better services in the long run.

[1] - https://www.youtube.com/watch?v=SmQomKCfYZY