thesz
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Great Horse Manure Crisis of 1894 (historic-uk.com)
- Neural Networks (Maybe) Evolved to Make Adam the Best Optimizer (parameterfree.com)
- Type Assisted Synthesis of Programs with Algebraic Data Typ Es [pdf] (people.csail.mit.edu)
- Transport Triggered Architecture (CPU on bypasses) (en.wikipedia.org)
- Comment about effect of heavy gaming on thought process (games.slashdot.org)
- Interesting Slashdot comment on SOPA consequences. (yro.slashdot.org)
- Sound of simple C and Javascript expressions (countercomplex.blogspot.com)
- Scheme was (partially) designed to be not so useful (lambda-the-ultimate.org)
- Strength Training Aids Mental Acuity in Elderly Women, (nytimes.com)
- Happy Healthy Long Life: The Longevity/Vigor Quest by centenarian Joe Rollino. (happyhealthylonglife.com)
- HaNS is a pure Haskell network stack: 802.3, IPv4, ..., UDP, and TCP. (hackage.haskell.org)
- Using type inference to understand natural languages (citeseerx.ist.psu.edu)
- Close Combat Training - interesting facts (?) about fear effects (closecombattraining.com)
- Distillation - supercompilation from quadratic (and exp) programs to linear ones (meta2010.pereslavl.ru)
- Spsc - A Small Positive Supercompiler in Scala, Haskell, Python & Ruby (code.google.com)
- Cross-Language Benchmarks - PHP, Node, Haskell Warp/Yesod (docs.yesodweb.com)
- Picosecond financial trading. (efinancialnews.com)
- Simple unit tests within dependent type system (pozorvlak.livejournal.com)
- Bill Milliken (now almost 100 yo car designer) (bentleypublishers.com)
- Camber control ahead of its time (2002) (telegraph.co.uk)
- CompCert, a verified (optimizing) C compiler for embedded systems. (compcert.inria.fr)