Hacker News
- The Three Projections of Doctor Futamura (2009) http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html 7 comments
- What is a photon? (2017) http://blog.sigfpe.com/2017/08/what-is-photon.html 66 comments
- Lossless decompression and the generation of random samples http://blog.sigfpe.com/2012/01/lossless-decompression-and-generation.html 6 comments
- You Could Have Invented Monads (And Maybe You Already Have) http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html 6 comments
- Make sure a program never hangs. http://blog.sigfpe.com/2007/07/data-and-codata.html 28 comments programming
- From Löb's Theorem to Spreadsheet Evaluation http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet.html 6 comments haskell
- Cofree meets Free http://blog.sigfpe.com/2014/05/cofree-meets-free.html 18 comments haskell
- A Neighborhood of Infinity: The Monad called Free http://blog.sigfpe.com/2014/04/the-monad-called-free.html 9 comments haskell
- Reinversion Revisited (building an imperative game DSL) http://blog.sigfpe.com/2014/02/reinversion-revisited.html 9 comments haskell
- Cellular automata as comonads http://blog.sigfpe.com/2006/12/evaluating-cellular-automata-is.html 9 comments haskell
- Data and Codata: a short sketch of the motivation for the concept of codata http://blog.sigfpe.com/2007/07/data-and-codata.html 3 comments compsci
- Lossless decompression and the generation of random samples http://blog.sigfpe.com/2012/01/lossless-decompression-and-generation.html 3 comments programming
- Profunctors in Haskell - A Neighborhood of Infinity http://blog.sigfpe.com/2011/07/profunctors-in-haskell.html 9 comments haskell
- An elementary way to approach Fourier transforms http://blog.sigfpe.com/2011/06/another-elementary-way-to-approach.html 7 comments programming
- Build Yourself a Bluetooth Controlled Six-Legged Robot : A Neighborhood of Infinity http://blog.sigfpe.com/2011/02/build-yourself-bluetooth-controlled-six.html 3 comments programming
- Generalising Gödel's Theorem with Multiple Worlds. Part III : A Neighborhood of Infinity http://blog.sigfpe.com/2011/02/generalising-godels-theorem-with.html 3 comments programming
- Quine Central ... because everyone needs to be able to make nth order quines http://blog.sigfpe.com/2011/01/quine-central.html 6 comments haskell
- Constraining Types with Regular Expressions :: A Neighborhood of Infinity http://blog.sigfpe.com/2010/08/constraining-types-with-regular.html 14 comments programming
- Death to Hydrae (or the operational semantics of ordinals) http://blog.sigfpe.com/2010/07/death-to-hydrae-or-denotational.html 4 comments math
- A Neighborhood of Infinity :: Constructing Intermediate Values http://blog.sigfpe.com/2010/05/constructing-intermediate-values.html 6 comments haskell
- The Trivial Monad (great intro with exercises) http://blog.sigfpe.com/2007/04/trivial-monad.html 9 comments haskell
- A Neighborhood of Infinity - The Categorification of the Naturals http://blog.sigfpe.com/2010/02/decategorification-of-naturals.html 5 comments haskell
- A Neighborhood of Infinity: Tagging Monad Transformer Layers http://blog.sigfpe.com/2010/02/tagging-monad-transformer-layers.html 14 comments haskell
- Explaining Monads without Category Theory or broken methaphors http://blog.sigfpe.com/2010/01/monads-are-trees-with-grafting.html 10 comments programming
- A Neighborhood of Infinity: Monads are Trees with Grafting http://blog.sigfpe.com/2010/01/monads-are-trees-with-grafting.html 9 comments haskell
- A Neighborhood of Infinity: Buffon's Needle, the Easy Way http://blog.sigfpe.com/2009/10/buffons-needle-easy-way.html 5 comments programming
- A Neighborhood of Infinity: "What Category do Haskell Types and Functions Live In?" http://blog.sigfpe.com/2009/10/what-category-do-haskell-types-and.html 9 comments programming
- A Neighborhood of Infinity: "What Category do Haskell Types and Functions Live In?" http://blog.sigfpe.com/2009/10/what-category-do-haskell-types-and.html 4 comments haskell
- A Neighborhood of Infinity: Vectors, Invariance, and Math APIs http://blog.sigfpe.com/2009/10/vectors-invariance-and-math-apis.html 5 comments programming
- A Neighborhood of Infinity: Finite Differences of Types http://blog.sigfpe.com/2009/09/finite-differences-of-types.html 8 comments programming
- Eleven Reasons to use Haskell as a Mathematician http://blog.sigfpe.com/2006/01/eleven-reasons-to-use-haskell-as.html 14 comments math
- A Neighborhood of Infinity: A Monad for Combinatorial Search with Heuristics http://blog.sigfpe.com/2009/07/monad-for-combinatorial-search-with.html 3 comments haskell
- Hashing molecules http://blog.sigfpe.com/2009/06/hashing-molecules.html 10 comments programming
- Making compilers from interpreters using specialization http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html 16 comments compsci
- A Neighborhood of Infinity: The Three Projections of Doctor Futamura http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html 37 comments programming
- Monoids and their uses : worth another read http://blog.sigfpe.com/2009/01/haskell-monoids-and-their-uses.html?repost 5 comments programming
- How to outrun a photon http://blog.sigfpe.com/2009/04/faster-than-speeding-photon.html 24 comments science
- A Neighborhood of Infinity: Faster than a speeding photon http://blog.sigfpe.com/2009/04/faster-than-speeding-photon.html 10 comments haskell
- A Neighborhood of Infinity: Beyond Monads http://blog.sigfpe.com/2009/02/beyond-monads.html 9 comments haskell
- Beyond monads http://blog.sigfpe.com/2009/02/beyond-monads.html 12 comments programming