joomy | Dark Hacker News

1.	Why Rocq is better than Lean for program verification(joomy.korkutblech.com) 7 points by joomy 43 days ago \| 1 comment
2.	What Happens to Software When Proof Is Cheap? [video](youtube.com) 1 points by joomy 120 days ago \| 0 comments
3.	Scraper for Twitter embedded timelines(github.com) 2 points by joomy 12 years ago \| 0 comments
4.	A Haskell program to check the vezin (prosody) of Ottoman Divan poetry(github.com) 3 points by joomy 12 years ago \| 0 comments