| | Dimensionful Matrices (sigfpe.com) |
| 5 points by psibi on Aug 7, 2016 | past |
|
| | Data and Codata (2007) (sigfpe.com) |
| 26 points by mathgenius on March 6, 2016 | past |
|
| | Shuffles, Bayes' theorem and continuations (sigfpe.com) |
| 2 points by gwern on July 11, 2015 | past |
|
| | The Mother of All Monads (2008) (sigfpe.com) |
| 1 point by octatoan on March 6, 2015 | past |
|
| | What Category Do Haskell Types and Functions Live In? (2009) (sigfpe.com) |
| 2 points by lelf on Oct 6, 2014 | past |
|
| | The IO Monad for People who Simply Don't Care (2007) (sigfpe.com) |
| 9 points by davidkellis on Aug 18, 2014 | past | 2 comments |
|
| | Reasons to use Haskell as a Mathematician (2006) (sigfpe.com) |
| 93 points by cottonseed on June 14, 2014 | past | 74 comments |
|
| | The Three Projections of Doctor Futamura (CS) (sigfpe.com) |
| 4 points by gwern on May 25, 2014 | past |
|
| | Types, and two approaches to problem solving (sigfpe.com) |
| 2 points by walrus on May 18, 2014 | past |
|
| | Reverse Engineering Machines with the Yoneda Lemma (2006) (sigfpe.com) |
| 7 points by rwosync on April 22, 2014 | past |
|
| | Monads in C (sigfpe.com) |
| 2 points by memracom on Dec 5, 2013 | past |
|
| | You Could Have Invented Monads (And Maybe You Already Have.) (sigfpe.com) |
| 5 points by Garbage on Nov 23, 2013 | past |
|
| | A pictorial proof of the hairy ball theorem (sigfpe.com) |
| 2 points by ColinWright on Nov 21, 2013 | past |
|
| | Lossless decompression and the generation of random samples (sigfpe.com) |
| 44 points by joelg236 on Aug 8, 2013 | past | 6 comments |
|
| | The Three Projections of Doctor Futamura (compiler-compilers) (sigfpe.com) |
| 1 point by creamyhorror on June 25, 2013 | past |
|
| | Overloading Python list comprehension (sigfpe.com) |
| 1 point by ColinWright on May 8, 2013 | past |
|
| | A Third Order Quine in Three Languages [2008] (sigfpe.com) |
| 1 point by jgeralnik on April 19, 2013 | past | 1 comment |
|
| | Shuffles, Bayes' Theorem and Continuations (sigfpe.com) |
| 1 point by johnbender on Dec 30, 2012 | past |
|
| | From Löb's theorem to spreadsheet evaluation (sigfpe.com) |
| 30 points by aufreak3 on Oct 15, 2012 | past | 5 comments |
|
| | Overloading Python list comprehension (sigfpe.com) |
| 1 point by primodemus on Aug 1, 2012 | past |
|
| | Overloading Python list comprehension (sigfpe.com) |
| 2 points by llambda on June 17, 2012 | past |
|
| | Overloading Python list comprehension (sigfpe.com) |
| 4 points by ColinWright on June 17, 2012 | past |
|
| | .. the notion of entropy can be generalised to monads other than probability (sigfpe.com) |
| 4 points by dons on April 9, 2012 | past |
|
| | An elementary way to approach Fourier transforms (sigfpe.com) |
| 1 point by wickedchicken on Jan 23, 2012 | past |
|
| | Sampling from a probability distribution is equivalent to lossless decompression (sigfpe.com) |
| 1 point by tripzilch on Jan 7, 2012 | past | 3 comments |
|
| | Lossless decompression and the generation of random samples (sigfpe.com) |
| 8 points by llambda on Jan 7, 2012 | past |
|
| | Quick and dirty reinversion of control (sigfpe.com) |
| 2 points by genieyclo on Nov 1, 2011 | past |
|
| | Simulating visual artifacts with Fourier optics (sigfpe.com) |
| 26 points by dons on June 4, 2011 | past | 1 comment |
|
| | Virtual Cinematography - Image-based rendering and some ancient history (sigfpe.com) |
| 2 points by samlittlewood on April 9, 2011 | past |
|
| | A Haskell program that prints out a Perl program that prints out... (sigfpe.com) |
| 54 points by caustic on March 14, 2011 | past | 2 comments |
|
|
| More |
