1. | | Mono 4.0.0 Release Notes (mono-project.com) |
|
171 points by tizoc on April 4, 2015 | past | 62 comments
|
2. | | Next version of Shen will be BSD licensed (groups.google.com) |
|
119 points by tizoc on Jan 6, 2015 | past | 46 comments
|
3. | | Introducing Transport Layer Security in pure OCaml (openmirage.org) |
|
106 points by tizoc on July 8, 2014 | past | 43 comments
|
4. | | What to know before debating type systems (perl.org) |
|
2 points by tizoc on March 31, 2014 | past
|
5. | | When Nerds Collide (medium.com/p) |
|
6 points by tizoc on March 24, 2014 | past
|
6. | | A Plea for Lean Software – Niklaus Wirth, 1995 (cr.yp.to) |
|
2 points by tizoc on March 22, 2014 | past
|
7. | | Nymote: Lifelong control of your networked personal data (on top of Open Mirage) (nymote.org) |
|
2 points by tizoc on Jan 26, 2014 | past
|
8. | | Unikernels: Rise of the Virtual Library Operating System (acm.org) |
|
44 points by tizoc on Jan 13, 2014 | past | 22 comments
|
9. | | DefinitelyTyped: The repository for high quality TypeScript type definitions. (github.com/borisyankov) |
|
1 point by tizoc on June 19, 2013 | past
|
10. | | The Many Faces of a Temporal Recursion (moso.com.au) |
|
1 point by tizoc on May 26, 2013 | past
|
11. | | Random thoughts on the substring procedure (on strict vs lax/fuzzy APIs & magic) (more-magic.net) |
|
3 points by tizoc on Feb 17, 2013 | past
|
12. | | Python Static Type Checking (groups.google.com) |
|
2 points by tizoc on Aug 24, 2012 | past
|
13. | | Homer, God and Beautiful Code (lambdassociates.org) |
|
16 points by tizoc on Jan 25, 2012 | past | 1 comment
|
14. | | Dojo Toolkit 1.7 Released. (dojotoolkit.org) |
|
42 points by tizoc on Dec 1, 2011 | past | 33 comments
|
15. | | 1st draft of R7RS small language available (all changes listed on linked page) (groups.google.com) |
|
71 points by tizoc on April 16, 2011 | past | 12 comments
|
16. | | Modern Microprocessors: A 90 Minute Guide (lighterra.com) |
|
283 points by tizoc on April 9, 2011 | past | 30 comments
|