Tonight I found out that the NSF math postdoctoral fellowship I applied for is being deleted because it does not comply with Trump’s executive orders on DEI in the federal government. I’m going to answer some FAQs and share some thoughts about this ordeal in this thread 1/n
Join me, Adam Chlipala, and @wtgowers at 1PM Eastern for a webinar on proof assistants, spanning both verification and mathematics
https://t.co/3ZU4IrvQqI
I watched the entirety of the Jan 6 hearings as they came out. Frontline produced a 2 hour documentary summarizing their findings and the more recent developments in his other criminal prosecutions.
https://t.co/GmIlhJ2brv
Unfortunately, from the opposite media sphere, there is the appearance that Democrats repeatedly cry wolf (steel dossier, mueller, impeachment #1..). Unfortunately this dilutes warnings of Trump’s most egregious behavior (the Mar a Lago documents case, Jan 6) which seem to be
The Midlands Graduate School (MGS) in the Foundations of Computing Science will be held 8-12 April 2024 in Leicester, UK. Seven great courses on category theory, proof theory, type theory, modal logics, and more. Please share! https://t.co/pO1aAmm6Qa
Watch this be equivalent of using an LLM to synthesize LEAN proof terms for basic algebra.
A truly novel idea I’m sure nobody has worked on. Mechanically synthesized proofs? That too is surely an idea has isn’t more than 100 years old. AGI must be right around the corner