For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Knuth-Morris-Pratt in Haskell (2007) (twanvl.nl)
3 points by ziyao_w on Jan 10, 2020 | past
The complete correctness of sorting (2013) (twanvl.nl)
28 points by lelf on Nov 14, 2014 | past | 1 comment
The complete correctness of sorting in Agda (twanvl.nl)
1 point by omaranto on May 24, 2013 | past
Finding rectangles in images using Haskell (twanvl.nl)
48 points by dclaysmith on Sept 29, 2011 | past | 6 comments

Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You