Hacker Newsnew | past | comments | ask | show | jobs | submit | tizoc's submissionslogin
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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: