|
|
| | Formalizing 100 Theorems (88% done) (ru.nl) | |
7 points by ciderpunx on May 28, 2014 | past
|
|
| | Formalizing 100 Theorems (ru.nl) | |
1 point by lelf on Sept 19, 2013 | past
|
|
| | Computer can read letters directly from the brain (ru.nl) | |
97 points by turing on Aug 24, 2013 | past | 32 comments
|
|
| | Formalizing 100 Theorems (ru.nl) | |
1 point by wslh on July 12, 2011 | past
|
|
| | Re-implementing the XMonad window manager core in Coq: PDF (ru.nl) | |
37 points by dons on April 3, 2011 | past | 3 comments
|
|
| | [2007] [pdf] A Principled Approach to Version Control (ru.nl) | |
1 point by thyrsus on Nov 11, 2010 | past
|
|
| | The Frog That Learned to Fly (ru.nl) | |
2 points by zeynel1 on Oct 5, 2010 | past | 1 comment
|
|
| | Mysticism and beyond - The meditation process described by a renowned logician (ru.nl) | |
3 points by ulvund on June 26, 2010 | past
|
|
| | Formalizing 100 Theorems (ru.nl) | |
1 point by TriinT on Dec 15, 2009 | past
|
|
| | The Making of Algol 68 (ru.nl) | |
1 point by fogus on Nov 23, 2009 | past
|
|
| | Buddhist Phenomenolody - by mathematician Henk Barendregt (ru.nl) | |
5 points by rsheridan6 on May 17, 2009 | past
|
|
| | 2D games (platform games, side scrollers) using the functional language Clean (ru.nl) | |
2 points by eru on March 15, 2009 | past
|
|
| | Security Flaw in Mifare Classic RFID chips (ru.nl) | |
3 points by parenthesis on Oct 6, 2008 | past | 1 comment
|
|
|
Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
