| | How to Become a GOOD Theoretical Physicist (2003) (uu.nl) |
| 2 points by wallflower on May 13, 2017 | past |
|
| | Xmonad from Coq: Programming a Window Manager with a Proof Assistant (2012) [pdf] (uu.nl) |
| 104 points by brudgers on April 23, 2017 | past | 7 comments |
|
| | Tree Oriented Programming [pdf] (uu.nl) |
| 118 points by breck on April 23, 2017 | past | 26 comments |
|
| | Operation of ancient biological clock uncovered (uu.nl) |
| 2 points by grkvlt on March 19, 2017 | past |
|
| | Packet.net donates 250 cores over 30 servers to NixOS for GitHub PR testing (uu.nl) |
| 3 points by iElectric2 on Jan 28, 2017 | past |
|
| | Announcing: NixOS Security Team (uu.nl) |
| 2 points by grhmc on Jan 6, 2017 | past |
|
| | HOW to BECOME a BAD THEORETICAL PHYSICIST (uu.nl) |
| 2 points by maverick_iceman on Oct 12, 2016 | past | 1 comment |
|
| | NixOS 16.03 released (uu.nl) |
| 4 points by iElectric2 on April 1, 2016 | past |
|
| | The Semantics of Version Control [pdf] (uu.nl) |
| 1 point by pointfree on Dec 17, 2015 | past |
|
| | How to Become a Good Theoretical Physicist (uu.nl) |
| 208 points by tokenadult on Dec 10, 2015 | past | 75 comments |
|
| | NixOS 15.09 released (uu.nl) |
| 5 points by iElectric2 on Oct 1, 2015 | past |
|
| | Xmonad in Coq: Programming a Window Manager with a Proof Assistant (2012) [pdf] (uu.nl) |
| 1 point by brudgers on April 23, 2015 | past |
|
| | How to Become a GOOD Theoretical Physicist (uu.nl) |
| 1 point by jonnybgood on April 2, 2015 | past |
|
| | Big Omicron and Big Omega and Big Theta (1976) [pdf] (uu.nl) |
| 9 points by raldu on Feb 13, 2015 | past |
|
| | NixOS 14.12 released (uu.nl) |
| 135 points by iElectric2 on Dec 31, 2014 | past | 31 comments |
|
| | Mathematics of the ISO 8601 calendar (uu.nl) |
| 19 points by luu on Aug 31, 2014 | past | 2 comments |
|
| | Theory-testing in psychology and physics: a methodological paradox (1967) [pdf] (uu.nl) |
| 16 points by gwern on June 1, 2014 | past | 3 comments |
|
| | How to become a Good Theoretical Physicist (uu.nl) |
| 122 points by tokenadult on May 18, 2014 | past | 33 comments |
|
| | Flexible Muscle-Based Locomotion for Bipedal Creatures (uu.nl) |
| 1 point by objectivefs on Feb 19, 2014 | past |
|
| | Flexible Muscle-Based Locomotion for Bipedal Creatures (uu.nl) |
| 1 point by andrelaszlo on Jan 15, 2014 | past |
|
| | Flexible Muscle-Based Locomotion for Bipedal Creatures (uu.nl) |
| 1 point by charlieirish on Jan 14, 2014 | past | 1 comment |
|
| | The Amplituhedron (uu.nl) |
| 1 point by cinquemb on Sept 18, 2013 | past |
|
| | NixOps 1.0 (uu.nl) |
| 1 point by vimes656 on June 28, 2013 | past |
|
| | Programming Language Theory Texts Online (uu.nl) |
| 4 points by llambda on April 10, 2013 | past |
|
| | The Mathematics of the ISO 8601 Calendar (uu.nl) |
| 4 points by tingletech on March 3, 2013 | past |
|
| | Ask-Elle: an online Haskell tutoring system with intelligent feedback (uu.nl) |
| 3 points by Borkdude on Jan 24, 2013 | past |
|
| | How to Become a Good Theoretical Physicist (uu.nl) |
| 8 points by anusinha on June 1, 2012 | past | 4 comments |
|
| | How to become a good theoretical physicist |
| 1 point by Rickasaurus on May 29, 2012 | past |
|
| | Assortative meeting and mating: organized settings for partner choices (uu.nl) |
| 1 point by chegra on Sept 23, 2011 | past |
|
| | How to Become a Bad Theoretical Physicist (uu.nl) |
| 3 points by robertk on Oct 8, 2010 | past | 1 comment |
|
|
| More |
