abstractanimal

Last week I blew my whole Claude Max weekly budget having Opus translate from Mathlib to Coq-HoTT. It was so beautiful I can't wait to do it again this week.

When I realized that an LLM can process all the traffic in Slack that overwhelms me daily and give me a manageable digest. How long until they intermediate most of our social interactions? Sooner than we can possibly adapt, I think.

My elderly dad is suffering from cognitive decline but likes to play computer games.

I realize he can't even open Steam without getting bombarded by ads from MSN in the start menu.

I'm angry at Microsoft for this. Instead of being good stewards of "computing", they provide an environment that's poorly designed and exploitative.

Shame on the people at Microsoft responsible.

What you're describing is what's known as an "end to end" model that takes in image pixels and outputs steering and throttle commands. What happens in an AV is that a bunch of ML models produce input for software written by human engineers, and so the output doesn't come from an entirely ML system, it's a mix of engineered and trained components for various identifiable tasks (perception, planning, prediction, controls).

This is a pretty old idea that goes back to debates over David Ricardo's theory of comparative advantage in the early 1800s.

> “Free trade is God’s diplomacy. There is no other certain way of uniting people in the bonds of peace than by the bonds of interest.” - Richard Cobden

This topic is covered in the book "Dark Side of the Moon: The Magnificent Madness of the American Lunar Quest" by Gerard Degroot.

As I remember it, the author says that Eisenhower was focused on strategic value of investments into space, and he felt that the US had a large lead in areas that mattered (ICBM technology) and chose not to invest in what might be considered vanity projects.

I believe he also claims that letting the Soviets be first to launch a satellite was intentional, since it allowed the Soviets to establish the precedent in international law that it was OK to send satellites over your neighbors, and if the US had been first the USSR might have protested.

This sounds like a great way to get sued for minority shareholder oppression.