| 1. | | What's in a Surname? The Effects of Surname Initials on Academic Success (2006) [pdf] (stanford.edu) |
| 2 points by mrkgnao on Sept 19, 2018 | past |
|
| 2. | | Digging Across Panama (2011) (neh.gov) |
| 2 points by mrkgnao on Sept 16, 2018 | past | 1 comment |
|
| 3. | | TensorFlow in Haskell (github.com/tensorflow) |
| 1 point by mrkgnao on March 31, 2018 | past |
|
| 4. | | Lagrange Multipliers Without Permanent Scarring [pdf] (stanford.edu) |
| 6 points by mrkgnao on Feb 12, 2018 | past | 1 comment |
|
| 5. | | Artem vs. Predator (ribbonfarm.com) |
| 1 point by mrkgnao on Feb 1, 2018 | past |
|
| 6. | | Space Shuttle Operational Flight Rules, Volume A (2002) [pdf] (nasa.gov) |
| 1 point by mrkgnao on Nov 10, 2017 | past |
|
| 7. | | Generating mazes with inductive graphs (jelv.is) |
| 3 points by mrkgnao on Oct 20, 2017 | past |
|
| 8. | | Using Haskell to debug a C chess engine (michaelburge.us) |
| 125 points by mrkgnao on Oct 13, 2017 | past | 5 comments |
|
| 9. | | Declaratively building a Snake clone in the terminal (samtay.github.io) |
| 10 points by mrkgnao on Oct 10, 2017 | past | 2 comments |
|
| 10. | | glirc: an advanced console IRC client (in Haskell) (github.com/glguy) |
| 1 point by mrkgnao on Oct 4, 2017 | past |
|
| 11. | | Attempto Controlled English (wikipedia.org) |
| 3 points by mrkgnao on Oct 3, 2017 | past |
|
| 12. | | Building a CPU with Haskell, part 1 (yager.io) |
| 17 points by mrkgnao on Oct 3, 2017 | past | 1 comment |
|
| 13. | | You don't need more than one cursor in Vim (medium.com/schtoeffel) |
| 1 point by mrkgnao on Sept 30, 2017 | past |
|
| 14. | | Simula: a 3D/VR window manager for Linux written in Haskell (github.com/simulavr) |
| 3 points by mrkgnao on Sept 23, 2017 | past | 1 comment |
|
| 15. | | NixOps – Declarative cloud provisioning and deployment with NixOS (nixos.org) |
| 248 points by mrkgnao on Sept 17, 2017 | past | 66 comments |
|
| 16. | | An Asteroids clone in CodeWorld, a Haskell teaching playground (code.world) |
| 2 points by mrkgnao on Aug 12, 2017 | past |
|
| 17. | | A Little More Nuance (kieranhealy.org) |
| 1 point by mrkgnao on July 28, 2017 | past |
|
| 18. | | Notes on fusion in Haskell (teh.id.au) |
| 3 points by mrkgnao on July 1, 2017 | past | 1 comment |
|
| 19. | | Rope Science 11: A practical syntax highlighting algorithm (github.com/google) |
| 1 point by mrkgnao on June 28, 2017 | past |
|
| 20. | | SuperMemo algorithm version 2 (supermemo.com) |
| 1 point by mrkgnao on June 28, 2017 | past |
|
| 21. | | Monsanto Canada Inc V Schmeiser (wikipedia.org) |
| 1 point by mrkgnao on June 20, 2017 | past |
|
| 22. | | Mathematicians deliver formal proof of Kepler conjecture, open for 300 years (eurekalert.org) |
| 3 points by mrkgnao on June 17, 2017 | past |
|
| 23. | | Visualizing geometries (parametricity.com) |
| 1 point by mrkgnao on June 8, 2017 | past |
|
| 24. | | Yak Shaving (2000) (csail.mit.edu) |
| 2 points by mrkgnao on June 7, 2017 | past |
|
| 25. | | Kahan summation algorithm (wikipedia.org) |
| 1 point by mrkgnao on May 20, 2017 | past |
|
| 26. | | Gentzen's consistency proof (wikipedia.org) |
| 1 point by mrkgnao on May 17, 2017 | past |
|
| 27. | | The Programming Languages Zoo (andrej.com) |
| 2 points by mrkgnao on May 8, 2017 | past |
|
| 28. | | From Monads to Machine Code (stephendiehl.com) |
| 181 points by mrkgnao on April 23, 2017 | past | 33 comments |
|
| 29. | | Tarski's high school algebra problem (wikipedia.org) |
| 6 points by mrkgnao on April 19, 2017 | past |
|
| 30. | | Freeman Dyson on “birds” and “frogs” (columbia.edu) |
| 1 point by mrkgnao on April 3, 2017 | past |
|
|
| More |
