buzzy_hacker

If I'm understanding correctly, this is questioning the equivalence between the natural language proof and the lean proof, but not the correctness of the lean proof?

This is addressed in the first paragraph of the article.

> The FAA has one of my favorite examples of thoughtful rulemaking. They haven't banned flying with a baby on your lap, because the extra cost would mean many parents would drive instead. Since driving is far less safe than flying, a ban would lead to more deaths. I'd love to see more of this "all things considered" thinking around bans.

I registered a domain name for my son the day he was born...

  whois firstlast.com | grep 'Creation Date'

shows his birthday, which I found amusing!

My big-picture takeaway is the AI labs looking to own the customer interface, not just the models. Expect this trend to continue.

My wife has terrible motion sickness in cars (just riding, reading is out of the question) and these glasses help a lot.

Seiko 5 is the go-to recommendation for inexpensive mechanical watches

My instinct is also to retreat to technical solutions. But, unfortunately, it appears we engineers need to fight back in the legal and political domain to stand a chance.

You need to separate land value and house value.

When regulations are reduced to allow more density, the value of the land goes up because its productivity increases. The land can do more now, e.g. hold 10 apartments vs 1 house. The same land generates more rent so developers are willing to pay more for that land.

Meanwhile, the value of housing units goes down due to increased competition among sellers/landlords.

Consider two zoning changes.

1) You are a homeowner and more units are allowed on your parcel, e.g. single-family -> duplex. That increases your land value.

2) You are a homeowner and there is more density around you, but not on your parcel, e.g. apartments are allowed nearby but not on your street. Your land value does not increase. Your home value decreases due to increased competition. (Of course, there may be long term effects like the increased density actually leading to economic windfalls in the area, increasing its desirability, and then increasing your home value.)

Same here. “Do you want the one useful tip related to this topic that most people miss? It’s quite surprising.”

If it were so useful, just tell me in the first place! If you say “Yes” then it’s usually just a regurgitation of your prior conversation, not actually new information.

This immediately smelled of engagement bait as soon as the pattern started recently. It’s omnipresent and annoying.

Same here, that literally just changed my life