Hammershaft

You may be the most productive emacs user.

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

Why do you think Dario is dangerous? I think he's genuine on the dangers of AI capabilities moving faster than AI alignment.

Out of all occupations software engineers shouldn't complain that others are getting rich putting people out of jobs by automating work.

The maintenance costs on urban sprawl are driving many municipalities towards insolvency. Property taxes have to rise because the fiscal efficiency of land in sprawling US cities is very low.

Income taxes have much worse incentives, deadweight loss, and capital flight risks than property taxes or LVT.

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

Land value taxes work better with less restrictions on zoning and development?

It doesn't seem clear whatsoever that this is true? Is there evidence that LLMs are very skilled at generalizing across domains of mathematics where the training distribution sees little overlap?

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.

I didn't say he was struggling, I said he acted against his own financial self interest to warn about AI safety... which he did. I really doubt he figured the popularity from tweeting about quitting anthropic would benefit him more than vesting his stock, as his virality wasn't guaranteed.

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

And? He acted directly against his own financial interests to say what he said.

The Anthropic safety whistleblower left just before his stock vested.

I don't see how that discredits any of their intellectual arguments?

If organizations actually succeed in making a future AI smarter than us, then how do you hope that it takes actions that are aligned with our interests?

Any primary residence carve out creates a whole lot of bad incentives.

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.