Y Hacker News new | ask | show | jobs

user: joomy created: 2014-02-27 karma: 81 http://joomy.korkutblech.com submissions: 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