Hacker News
- Can PL theory make you a better software engineer? https://www.typetheoryforall.com/2023/04/09/29-Jimmy-Koppel.html 14 comments
- Type Theory Forall Podcast #37 - Compilers, Staging, Futamura Projections - Guannan Wei https://www.typetheoryforall.com/2024/03/11/37-Guannan-Wei.html 3 comments programminglanguages
- Type Theory Forall Podcast #33 Z3 and Lean, the Spiritual Journey - Leo de Moura https://www.typetheoryforall.com/2023/09/09/33-Leo-de-Moura.html 2 comments coq
- #29 - Can PL Theory Make you a better software engineer? feat. Jimmy Koppel https://www.typetheoryforall.com/2023/04/09/29-Jimmy-Koppel.html 4 comments compsci
- #29 - Can PL Theory Make you a better software engineer? feat. Jimmy Koppel https://www.typetheoryforall.com/2023/04/09/29-Jimmy-Koppel.html 51 comments programminglanguages
- Type Theory Forall Podcast #26 - Mechanizing Modern Mathematics with Kevin Buzzard https://www.typetheoryforall.com/2023/01/16/26-Kevin-Buzzard.html#07a08a85 3 comments programminglanguages
- Type Theory Forall Podcast #25 - Formally Verifying the Tezos Codebase with Formal Land https://www.typetheoryforall.com/2022/11/21/24-Formal-Land.html#a1a1b471 2 comments programminglanguages
- Type Theory Forall - #24 The History of Isabelle https://www.typetheoryforall.com/2022/10/06/24-Larry-Paulson.html 7 comments programminglanguages
- Type Theory Forall - #23 What is the SIGPLAN? [The ACM Special Interest Group on Programming Languages] https://www.typetheoryforall.com/2022/09/23/23-SIGPLAN.html 3 comments programminglanguages
- Type Theory Forall - #18 Gödel's Incompleteness Theorems - Cody Roux https://www.typetheoryforall.com/2022/05/19/18-Godel-Incompleteness-Theorems-(Cody-Roux).html#93109f49 5 comments haskell
- Type Theory Forall Podcast - #18 Gödel's Incompleteness Theorems - Cody Roux https://www.typetheoryforall.com/2022/05/19/18-Godel-Incompleteness-Theorems-(Cody-Roux).html#93109f49 3 comments math
- Type Theory Forall Episode #17 The Lost Elegance of Computation - Conal Elliott https://www.typetheoryforall.com/2022/05/09/17-The-Lost-Elegance-of-Computation-(Conal-Elliott).html#1fe23b61 11 comments haskell
- Type Theory Forall Episode 16 - Agda, K Axiom, HoTT, Rewrite Theory - Guest: Jesper Cockx https://www.typetheoryforall.com/2022/04/02/16-Agda,-K-Axiom,-HoTT,-Rewrite-Theory-(Jesper-Cockx).html#c359641b 5 comments coq
- Type Theory Forall Podcast Episode #10 - Classical Logic vs Intuitionistic Logic, feat. Thorsten Altenkirch and Anupam Das https://www.typetheoryforall.com/ 3 comments haskell