Bigwords.page – Turn any screen into a sign. The Mathocalypse

Gemini already does this and I already have a use for this.

Sadly, this is also what day-to-day work looks like for a lot of people, and has no real impact for most. The irony. Something that is born out of a job, or is it going to create many new jobs reviewing proofs it creates? I'm not sure it's clear right now.

How to hide or change the gigantic preview when sharing on apple messages? id prefer something more neutral. Love this and I already have a use for all these LLMs for software development, but I can never find a good use for any of this outside of "slightly better search engine". He is right if model intelligence stalls. If model intelligence continues to improve soon there's no need for expensive HDMI connections or custom video streams when we already have browsers.

Has anyone verified any of the original Apollo code available to read? Doesn't look like these proofs are peer reviewed and published in a journal we might be able to explain these in elegant, human legible ways, though (as well as solve the remaining 95%).