Top all-time · #18681
Liam Leadbetter
Personal blog · l-m.dev/cs · on HN as l-mdevprogrammingsystems
Liam Leadbetter's personal blog at l-m.dev covers programming and systems. Since 2023, 4 different Hacker News readers have linked it 4 times. No feed was found, so read it on the site itself.
l-m.dev is the personal site of Liam Leadbetter (l-m), Head of Product at Zenith Hosting. Writing on compilers, WebAssembly, Lean4, Kubernetes and low level systems.
What Hacker News says?
Submitted Formally Verifying Peephole Optimisations in Lean as a story · 2 points
HN discussionSubmitted Just in Time for the Most Overengineered Calculator (2023) as a story · 2 points
HN discussionSubmitted Simulating Softbody Dynamics in Vlang as a story · 2 points
HN discussionSubmitted The V WebAssembly Compiler Back End, Rewritten as a story · 1 points
HN discussion