Y Hacker News new | ask | show | jobs

user: joomy created: 2014-02-27 karma: 82 http://joomy.korkutblech.com submissions: 0 points | 0 comments Why Rocq is better than Lean for program verification 7 points | 1 comments What Happens to Software When Proof Is Cheap? [video] 1 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 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 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 0 points | 0 comments Scraper for Twitter embedded timelines 2 points | 0 comments A Haskell program to check the vezin (prosody) of Ottoman Divan poetry 3 points | 0 comments