Type Theory Forall

ttforall.bsky.social

19 December 2025 06:24

🎉 5 YEARS OF TYPE THEORY FORALL 🎉 To celebrate, I sat down with Andrej Bauer. Student of Dana Scott. A mind equally at home in math and CS. One of the clearest thinkers in Type Theory. We dive into Constructivism, Dialectica, Effect Handlers, and AI. This one is special.

Satnam Singh

satnam6502.bsky.social

01 July 2025 01:10

Today was my last day at Groq. I'm looking for a new job, with a preference for larger companies that require in office attendance. Thank you. www.linkedin.com/in/satnam6502/

Sam Tobin-Hochstadt

samth.bsky.social

13 June 2025 01:39

Bluesky is less fun because it's 100% about the current events that are horrifying and bad.