Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Bad Apple but it's Lean Tactics (unnamed.website)
6 points by isaacimagine 3 months ago | past
Proving a stupid sort algorithm with Dafny (unnamed.website)
1 point by fanf2 6 months ago | past
Floats Are Weird (unnamed.website)
3 points by aebtebeten 6 months ago | past | 14 comments
Haskelling My Python (unnamed.website)
172 points by barrenko 6 months ago | past | 70 comments
RNG and Cosine in Nix (unnamed.website)
42 points by todsacerdoti 6 months ago | past
ICanProveItCanSort (unnamed.website)
1 point by todsacerdoti 8 months ago | past
Fenwick Trees Are Awesome (unnamed.website)
1 point by fanf2 8 months ago | past | 1 comment
Dodecahedra (unnamed.website)
5 points by vismit2000 9 months ago | past | 2 comments
Fenwick Trees Are Awesome (unnamed.website)
2 points by todsacerdoti 9 months ago | past

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

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

Search: