Declarative code #haskell

Our discord community is starting a new Software Foundations Study group to learn PLT and the Rocq Theorem Prover, if you're interested feel free to join discord.com/invite/DjApavz…

Liquid Haskell Quick Start ninioartillero.github.io/2025/04/15/lh-…

This is your weekly reminder that we have a store with awesome Type Theory / PLT merch. Check it out at store.typetheoryforall.com

Google specifically looking for expertise in machine learning and PROGRAMMING LANGUAGES. Papers at conferences like PLDI/ICFP, experience w/ LC, types, CL… ML slowly coming to its senses. (-: google.com/about/careers/…

the day everything changed

🫶🫶

The meetings will be Saturday mornings (EST), and we just started the first chapter. Everyone and all backgrounds are welcome.

You don't cope with IEEE floats. You stare into a void and question all of your life decisions that has brought you to using them, then you regret all of them. This process invariably leads to losing all trust in software forever.

Just read the Tractatus AMA

great opportunity for undergrads: mathstodon.xyz/@joey/11498344…

Type structure is a syntactic discipline for enforcing levels of abstraction. – Reynolds [1983]

Launching my Programming Language Pragmatics talks! These short, accessible talks cover the material in the textbook, the 5th edition of which I wrote with Michael L. Scott. The first one (link in 🧵) introduces the topic and talks about why we study programming languages!

Super exciting update! 🚀 Join our new 1o1 mentorship program to level up in functional programming: Rocq, Haskell, and OCaml. Get expert guidance on Grad School Applications worldwide. Reach out at [email protected] to get started!