Type Theory Forall
@ttforall
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
🚨 New drop alert! 🚨 Support Type Theory Forall and rep your love for types with our official merch 🧵✨ 🛒 Check out the store: store.typetheoryforall.com 🎁 Use code typetheory for 10% off — limited time only! Let the world know you quantify forall the right reasons. 🔥
Do you remember what the internet was like before React? It was a disaster. The functional paradigm is almost entirely responsible for the improvement in quality imo.
Academia must be the only industry where extremely high-skilled PhD students spend much of their time doing low value work (like data cleaning). A 1st year management consultant outsources this immediately. Imagine the productivity gains if PhDs could focus on thinking
Brazil's cutting-edge security includes deploying SMT solvers right on the streets!
All notes from my research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc. github.com/veyselusta/pro…
This month: Lambda Calculus! Join the Austin Formal Methods User Group at Capital Factory on July 23rd as we begin our journey towards Curry-Howard! meetup.com/austin-formal-…
Is what we tried telling SIGPLAN as we asked them for some sponsorship or assistance to our podcast. But it's quite clear to us that overall research incentives barely includes any outreach.
Hot take: the programming languages research community should focus less on complex solutions to very narrow problems in the name of novelty, and more---on making existing solutions accessible to non-experts.
Hey guys, don't forget to check out our PLT / Type Theory merch at store.typetheoryforall.com
I'm offended
functional programming purists hate thinking about side-effects, like "finding customers" and "making money"
Well, here we go. After well over two years, here's a new version of my programming languages book, PLAI (v3.2.5). As always, free of cost! Can't thank enough all the people named in the acknowledgments. Enjoy! plai.org
Academia runs on grant writing, not science. And the longer you stay, the more you forget there’s a difference.
An amazing achievement for the @ocaml_org language: it's one of the few languages approved by the Institute for Type Safe Memetic Research! @typememetics It's a crucial step towards wider adoption of OCaml in the industry, particularly in safety-critical applications.
Dive into our latest episode from Zurihac with Lennart. It's hot off the press! Watch it here: typetheoryforall.com/episodes/why-i…
Participating in @zurihac in June was an absolute blast! We got up to some seriously cool stuff, including interviewing folks about their love (and hate) for Haskell. Check out the interviews here: youtube.com/watch?v=_u7Y-0…