Y Hacker News new | ask | show | jobs

user: happy4crazy created: 2010-08-11 karma: 683 github.com/cqfd submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Flow cookbook (gradual typechecker for js) 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Intuitionistic mathematics for physics 1 points | 0 comments Smooth infinitesimal analysis 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Ask HN: How do you get your code reviewed? 8 points | 6 comments 0 points | 0 comments High Performance Computing 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Exploring Emacs 125 points | 40 comments 0 points | 0 comments 0 points | 0 comments