l-mdev

Karma: 17
Created: 1 year ago

About

https://github.com/l1mey112 https://l-m.dev/

Recent Submissions

1. ▲ Destroying My Homelab with Kubernetes – Linux Society UNSW 2026 [video] (youtube.com) 8 points · 2 months ago · 1 comment
2. ▲ Formally Verifying Peephole Optimisations in Lean (l-m.dev) 26 points · 10 months ago · 9 comments
3. ▲ Randomx.js: Bringing Webmining Back from the Grave [video] (youtube.com) 1 point · 10 months ago · 0 comments

All submissions on HN · View profile on HN