Hacker News
- Propositions as Filenames, Builds as Proofs: The Essence of Make http://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html 19 comments
Lobsters
- Simple semantics for defaults in Catala https://bentnib.org/posts/2023-01-16-catala.html 2 comments plt
- Authenticated Data Structures, as a Library, for Free! http://bentnib.org/posts/2016-04-12-authenticated-data-structures-as-a-library.html 2 comments ml , security
- Compiling higher-order specifications to SMT solvers https://bentnib.org/posts/2023-01-17-higher-order-specs-to-smt.html 7 comments programminglanguages
- Data types with Negation https://bentnib.org/posts/2023-01-15-datatypes-with-negation.html 6 comments programminglanguages
- The Essence of Make http://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html 5 comments coding
- Propositions as Filenames, Builds as Proofs: The Essence of Make http://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html 12 comments programming
- Productive Coprogramming with Guarded Recursion http://bentnib.org/posts/2013-03-29-productive-coprogramming.html 8 comments haskell
Lambda the Ultimate
- The Syntax and Semantics of Quantitative Type Theory http://bentnib.org/quantitative-type-theory.html 5 comments Semantics , Theory , Type Theory
- Conservation laws for free! http://bentnib.org/conservation-laws.pdf 5 comments Category Theory , Fun , Functional , Lambda Calculus , Scientific Programming , Semantics , Theory , Type Theory