That's about 150 pages of material.

MLB crushed them with a copyright infringement lawsuit, claiming copyright over the plain factual description of the play-by-play. It was bullshit, of course, since simple factual descriptions aren't protected by copyright. But website guy couldn't fight MLB in federal court.

Sorry I don't remember the name of the site. I hope it turns out better for you than it did for them.

I hadn't been able to think of one for Zachary Taylor, because, you know, he's Zachary Taylor.

Claude proposed the cherries emoji, because it's said that Taylor the war hero died a ridiculous death from eating cherries and ice milk too greedily on a hot day. It was perfect, just what I had been looking for.

Claude gave me a couple of others, and we workshopped a few more. It was the workshopping that was most striking. I really felt like I was having a conversation with someone else.

https://blog.plover.com//tech/gpt/presidential-emoji.html

That's from this morning, reported in ProPublica.

https://www.propublica.org/article/arkansas-abortion-ban-mis...

Innocent bystanders of gang violence.

Factory workers killed by industrial machinery.

That chemical tank in Los Angeles that is about to explode.

Woman in Arkansas with ectopic pregnancy. (Abortion is illegal in Arkansas.)

Now you think of one.

Computers are finite machines. There is a theorem that although a machine with finite memory can add, multiplication requires unbounded memory. Somehow we muddle along and use computers for multiplication anyway.

More to your point there is a whole field of people who write useful programs using languages in which every program must be accompanied by a proof that it halts on all inputs.

(See for example https://lean-lang.org/ or David Turner's work on Total Functional Programming from about 20 years ago.)

Other examples are easy to find. The simplex algorithm for linear optimization requires exponential time in general, and the problem it solves is NP-hard, but in practice works well on problems of interest and is widely used. Or consider the dynamic programming algorithms for problems like subset-sum.

Theory is important, but engineering is also important.

https://news.ycombinator.com/newsguidelines.html

“Honestly, since we're going towards socialism, we need to abolish child support. Women have the right to get an abortion because it is their body their choice. A man has to use his body …”

That was enough for me.

“If you have a certain sort of mind, you might think ‘no, people respond to incentives; if the grid paid for every efficient lightbulb, we’d save more electricity.’ If you have a certain, not unrelated, sort of mind, you might think ‘well, if nobody is getting paid for installing these lightbulbs, maybe I should get the money.’”

If the employer wants an employee they can feel proud of, well, that's a service too, and one they can purchase with money, if they choose.