| 1. | | Great Horse Manure Crisis of 1894 (historic-uk.com) |
| 1 point by thesz on Aug 10, 2023 | past |
|
| 2. | | Bluespec hardware design language and simulation tools (github.com/b-lang-org) |
| 1 point by thesz on Feb 1, 2022 | past |
|
| 3. | | Neural Networks (Maybe) Evolved to Make Adam the Best Optimizer (parameterfree.com) |
| 1 point by thesz on Dec 7, 2020 | past |
|
| 4. | | Type Assisted Synthesis of Programs with Algebraic Data Typ Es [pdf] (csail.mit.edu) |
| 2 points by thesz on Jan 22, 2015 | past |
|
| 5. | | Transport Triggered Architecture (CPU on bypasses) (wikipedia.org) |
| 1 point by thesz on Aug 4, 2014 | past |
|
| 6. | | Comment about effect of heavy gaming on thought process (slashdot.org) |
| 1 point by thesz on Nov 17, 2011 | past |
|
| 7. | | Interesting Slashdot comment on SOPA consequences. (slashdot.org) |
| 2 points by thesz on Nov 17, 2011 | past |
|
| 8. | | Sound of simple C and Javascript expressions (countercomplex.blogspot.com) |
| 8 points by thesz on Nov 12, 2011 | past |
|
| 9. | | Scheme was (partially) designed to be not so useful (lambda-the-ultimate.org) |
| 1 point by thesz on Oct 16, 2011 | past |
|
| 10. | | Strength Training Aids Mental Acuity in Elderly Women, (nytimes.com) |
| 1 point by thesz on July 16, 2011 | past |
|
| 11. | | Happy Healthy Long Life: The Longevity/Vigor Quest by centenarian Joe Rollino. (happyhealthylonglife.com) |
| 2 points by thesz on July 16, 2011 | past |
|
| 12. | | HaNS is a pure Haskell network stack: 802.3, IPv4, ..., UDP, and TCP. (haskell.org) |
| 82 points by thesz on June 1, 2011 | past | 12 comments |
|
| 13. | | Using type inference to understand natural languages (psu.edu) |
| 12 points by thesz on May 31, 2011 | past |
|
| 14. | | Modular functional programming - 'find' command using enumerators (mew.org) |
| 1 point by thesz on March 30, 2011 | past |
|
| 15. | | Kauffman Foundation Research Series: Firm Formation and Economic Growth (kauffman.org) |
| 2 points by thesz on March 28, 2011 | past |
|
| 16. | | Distillation - supercompilation from quadratic (and exp) programs to linear ones (pereslavl.ru) |
| 5 points by thesz on March 22, 2011 | past |
|
| 17. | | Spsc - A Small Positive Supercompiler in Scala, Haskell, Python & Ruby (code.google.com) |
| 41 points by thesz on March 22, 2011 | past | 16 comments |
|
| 18. | | Cross-Language Benchmarks - PHP, Node, Haskell Warp/Yesod (yesodweb.com) |
| 5 points by thesz on March 20, 2011 | past |
|
| 19. | | Short story about Fukusima plant past reliability history (reuters.com) |
| 4 points by thesz on March 13, 2011 | past |
|
| 20. | | Picosecond financial trading. (efinancialnews.com) |
| 2 points by thesz on March 4, 2011 | past |
|
| 21. | | Simple unit tests within dependent type system (pozorvlak.livejournal.com) |
| 14 points by thesz on Feb 21, 2011 | past |
|
| 22. | | Bill Milliken (now almost 100 yo car designer) (bentleypublishers.com) |
| 5 points by thesz on Jan 28, 2011 | past |
|
| 23. | | Camber control ahead of its time (2002) (telegraph.co.uk) |
| 2 points by thesz on Jan 28, 2011 | past |
|
| 24. | | CompCert, a verified (optimizing) C compiler for embedded systems. (inria.fr) |
| 2 points by thesz on Dec 21, 2010 | past |
|
| 25. | | Awesome DIY dance floor gadget (3 axis spinning LEDs) (youtube.com) |
| 1 point by thesz on Dec 4, 2010 | past |
|
| 26. | | How to get rid of unit tests (Ruby Scottish Conf video). (scottishrubyconference.com) |
| 2 points by thesz on Dec 2, 2010 | past |
|
| 27. | | Demo of bidirectional graph query/transform framework (biglab.org) |
| 1 point by thesz on Oct 4, 2010 | past |
|
| 28. | | Is transactional memory actually easier? (pdf, study on students) (utexas.edu) |
| 4 points by thesz on Sept 14, 2010 | past |
|
