dlo

Yes!!!

You are completely spot-on.

> As for the rest of your argument, there are books and books and books that address all of it point by point.

Can you name a few?

Love it. Lmk if you never need a hand. I was on the core analysis team at Fortify.

I used to work on a static analyzer that did taint analysis, model checking, buffer bounds checking, and so on -- a bit like a compiler backend on steroids. If there's a specific topic you'd like an explanation on, I could be convinced to write something up.

My favorite was always context-sensitive, interprocedural points-to analysis. And dataflow analysis in the presence of higher-order controlflow constructs.

> I doubt it's really production ready given he likes to start and stop projects

A likely good strategy for success in startups is productizing projects started by George Hotz. :-P

That's very admirable behavior. If he assents, please do share his identity -- even if privately.

This is an excellent quote. I'd like to attribute it properly -- would you mind naming this professor?

+100 for this book. Absolutely amazing.

> How do you convince someone like this that universal healthcare is better for all of us?

Here is one approach.

1) Enumerate the different options.

2) For each option, enumerate the upsides versus the downsides, which includes cost of implementation and operations, along with their likelihoods. Every option has potential downsides -- are we willing to accept them for the potential upsides?

3) Rank the options by expected utility. Which one comes out on top?

Ironically, you may find that universal healthcare is not the top-ranking option or that we have not yet come up with a high-expected-utility option.