tiferrei's Likes

Lambda calculus: compiler, type inference, and evaluator in less than 100 LOC
gist.github.com·15w·
Discuss: Hacker News
🐫OCaml
RISC Architecture Really Did Change Everything
wired.com·18w·
Discuss: Hacker News, r/hardware, r/programming, r/technews
⚙️Operating System Design
Infinite Mac OS X
blog.persistent.info·18w·
Discuss: blog.persistent.info, Lobsters, Hacker News, Hacker News
💾Retro Computing
Best Practices for Nix at Work
determinate.systems·18w·
Discuss: Lobsters, Hacker News
❄️Nixified Development
LLMs on a PowerPC Mac
theresistornetwork.com·18w·
Discuss: www.theresistornetwork.com, Lobsters, Hacker News
🐫Embedded OCaml
Setting Up Nix on macOS
nixcademy.com·19w·
Discuss: Hacker News
❄️Nix
Scaling a State Machine Saga with Kubernetes
medium.com·19w·
Discuss: r/programming
⎈Kubernetes
Taming Servers for Fun and Profit
blog.railway.com·19w·
Discuss: Hacker News
🏠HomeLab
OCaml's Standard Library (Stdlib)
batsov.com·19w·
Discuss: Hacker News
🐫Embedded OCaml
Verification-First Development
buttondown.com·19w·
Discuss: Hacker News
🔍Formal Verification
Bialgebraic Reasoning on Stateful Languages
arxiv.org·19w
🔄Finite State Machines
Active Learning For Repairable Hardware Systems With Partial Coverage
arxiv.org·18w
👁️System Observability
Structure and Meaning
shrsv.github.io·18w·
Discuss: Hacker News
➡️Category Theory
What We Know About the Closure of Heathrow Airport
nytimes.com·18w·
Discuss: Hacker News
🍎Apple
(Asahi Linux) Progress Report: Linux 6.14
asahilinux.org·18w·
Discuss: Lobsters, Hacker News, r/linux
🔬Unikernels
macOS 15.4: Four new features are coming to your Mac soon
9to5mac.com·18w
🍎Apple
A proof checker meant for education
jsiek.github.io·18w·
Discuss: Hacker News
✓Automated Theorem Proving
Leaking Passwords (and More) on macOS
wts.dev·18w·
Discuss: Lobsters, Hacker News
🍎XNU Internals