missyougowers

4 ms·

1. 1.▲
   by missyougowers 5mo ago

   I'll let the mathematicians in the field determine the level of "interest" in this result, but saying "you may want to make sure you are sitting down" is pure puffery. > has a motivation to "market" the
2. 2.▲
   by missyougowers 5mo ago

   This is a popular HNism. Focusing solely on "capabilities" is the irrational thinking. Asbestos is the most "capable" material where extreme thermal, chemical and electrical resistance is required.
3. 3.▲
   by missyougowers 5mo ago

   Tao was absent from the formal verification circles until GenAI orgs saw formal verification as a way to legitimize their obscene existence, and since has been making the rounds on the podcast bro circuit pumping up these GenAI orgs. His un
4. 4.▲
   by missyougowers 5mo ago

   Unfortunately Gowers has taken Tao's lead on this one. Gowers has one of my favourite video series about how he approaches a problem he is unfamiliar with: https://www.youtube.com/watch?v=byjhpzEoXFs It is disheartenin