Talk to your doctor about getting evaluated for sleep apnea.

You have to actually practice the skill of communicating while solving a problem.

I become a programmer for decreasing communication, but unfortunately you are right

A land value tax makes way more sense.

I actually think an land value tax is our best option, it's just that a land value tax still allows for housing as investment. To make housing not an investment you need to eliminate returns from housing altogether.

Yes, obviously I think that having a 100% capital gains tax on housing would be pretty absurd, and would not lead to the types of outcomes we actually want. We often do want developers betting housing, which incentivizes improvements and reselling the places. But my point here is that -- for those who truly want housing to not be for speculation -- you need to completely eliminate economic gains from buying housing. They way you do that is to tax the capital gains that come from the sale of housing to the point where they no longer exist.

A land value tax is probably the best option for what we want to happen which isn't "eliminating speculation" but is instead to prevent land hoarding. We actually want people to speculate on properties, but in doing so, to develop them in to efficient uses if that future value.

Have you considered incorporating formal modelling?

Like:

[0] https://csci1710.github.io/2026/ and https://forge-fm.github.io/book/2026/

[1] https://elliotswart.github.io/pragmaticformalmodeling/

[2] https://quint.sh/

Only at the "hmm that seems an interesting idea" level.

Thanks for the links, going to have a read and see if I can apply any to my work.

Everyone should Jimmy Koppel's post on what abstractions are and aren't: https://www.pathsensitive.com/2022/03/abstraction-not-what-y...

Anyone claiming LLMs are an a higher level of abstraction are not using it in the way used by programmers and computer scientists.

They're usually conflating "delegation" and "abstraction", as if a junior developer is an abstraction.

The post explicitly makes the case for the filtering playing a role. Ctrl-F "Python".

To disambiguate search results in the future, I've had great luck appending "lang" like so: "roadmap 2026 rust lang".

How to Design Programs: https://htdp.org/2026-2-25//Book/index.html

Notably none of these matter on dating apps where profile pics actually help you get matches so you can actually talk to a person.

My man for two thousand dollars you could get a picture of yourself holding your Bichon Frisé at Livraria Lello

I don't have a dog and it would be very weird to get a dog for the sole purpose of having one for dating profile pics to meet women.

Yes. You should not get a dog if you don’t want a dog. It is a broad example because it is common for people to enjoy having a dog.

It would not be weird though, for example, to visit The House on the Rock and take pictures while you’re there.

But the point is that taking bad pictures doesn't help.

You don't take photos on trips or with dogs?

I don't have a dog and it would be very weird to get a dog for the sole purpose of having one for dating profile pics to meet women.

The idea was getting a dog to improve your life, but agreed. That would be quite weird.

Math Academy will diagnose exactly where your gaps are and build you up in a series of bite-sized lessons where you actively solve problems with immediate feedback until you've demonstrated mastery.

It can take you from knowing your multiplication tables all the way to all the math you need for an engineering and/or CS degree.