Hacker Newsnew | past | comments | ask | show | jobs | submit | l-mdev's submissionslogin
1.
Formally Verifying Peephole Optimisations in Lean (l-m.dev)
26 points by l-mdev 4 months ago | past | 9 comments
2.
Randomx.js: Bringing Webmining Back from the Grave [video] (youtube.com)
1 point by l-mdev 4 months ago | past

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: