hn
.
reader
top
new
show
ask
jobs
back
L-
user profile
l-mdev
15
karma
·
5
submissions
·
November 23, 2024
about
https://github.com/l1mey112 https://l-m.dev/
recent activity
(5 total)
8 pts
Destroying My Homelab with Kubernetes – Linux Society UNSW 2026 [video]
(youtube.com)
20h ago
·
1 comments
26 pts
Formally Verifying Peephole Optimisations in Lean
(l-m.dev)
7mo ago
·
9 comments
1 pts
Randomx.js: Bringing Webmining Back from the Grave [video]
(youtube.com)
8mo ago
·
discuss