HN
Hacker News
Top
New
Best
Ask
Show
Jobs
joomy
87 karma · joined February 27, 2014
http://joomy.korkutblech.com
submissions
comments
Why Rocq is better than Lean for program verification
joomy.korkutblech.com
·
7 pts
·
joomy
·
1
What Happens to Software When Proof Is Cheap? [video]
youtube.com
·
1 pts
·
joomy
·
0
Scraper for Twitter embedded timelines
github.com
·
2 pts
·
joomy
·
0
A Haskell program to check the vezin (prosody) of Ottoman Divan poetry
github.com
·
3 pts
·
joomy
·
0