| | 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
|
|
| | The Three Projections of Doctor Futamura (sigfpe.com) |
|
1 point by primodemus on March 7, 2011 | past
|
|
|
|
More |
