Last weekend, we hosted #MuniHac, our annual #Haskell community event with hackathon. More than 80 Haskell fans got together for hacking projects, talks, and learning more about this intriguing programming language. The keynotes are now available here: www.youtube.com/playlist?lis...

Show Post

What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI. ~ Thomas Hales. terrytao.wordpress.com/2026/10/09/w... #LeanProver #ITP #AI4Math

Show Post

seeing hacker news posts about margaret hamilton (rip), and forgive me, but i this is how it feels

Show Post

future historians of mathematics: the grothendieck school went on to clear up the slop methodology of the italian school of algebraic geometry

Show Post

How did Jane Eyre, the novel that inspired the Texas Bronte Club to form in 1855, get banned in 2026? A new Texas law — SB 13 law — inspired some school disctricts to place restrictions on anything written for adults, including classics: https://pen.org/jane-eyre-banned-in-texas/ #BannedBooksWeek

Show Post