l-mdev | Dark Hacker News

user:	l-mdev
created:	November 23, 2024
karma:	15
about:	https://github.com/l1mey112 https://l-m.dev/

1.	1 points by l-mdev 1 hour ago \| discuss
2.	Destroying My Homelab with Kubernetes – Linux Society UNSW 2026 [video](youtube.com) 7 points by l-mdev 6 hours ago \| 0 comments
3.	Formally Verifying Peephole Optimisations in Lean(l-m.dev) 26 points by l-mdev 236 days ago \| 9 comments
4.	Randomx.js: Bringing Webmining Back from the Grave [video](youtube.com) 1 points by l-mdev 244 days ago \| 0 comments
5.	1 points by l-mdev 1 year ago \| discuss