tiferrei's Likes
Lambda calculus: compiler, type inference, and evaluator in less than 100 LOC
🧮Lambda Calculus
Flag this post
Infinite Mac OS X
🍏Darwin
Flag this post
Best Practices for Nix at Work
❄️Nix Flakes
Flag this post
LLMs on a PowerPC Mac
🐫Embedded OCaml
Flag this post
Setting Up Nix on macOS
❄️NixOS
Flag this post
Scaling a State Machine Saga with Kubernetes
⎈Kubernetes
Flag this post
Taming Servers for Fun and Profit
🏠HomeLab
Flag this post
OCaml's Standard Library (Stdlib)
📦Module Systems
Flag this post
Verification-First Development
🔍Formal Verification
Flag this post
Bialgebraic Reasoning on Stateful Languages
arxiv.org·32w
📐Hoare Logic
Flag this post
Active Learning For Repairable Hardware Systems With Partial Coverage
arxiv.org·32w
🩹Self-Healing Systems
Flag this post
Structure and Meaning
⬜Minimalism
Flag this post
macOS 15.4: Four new features are coming to your Mac soon
9to5mac.com·32w
🍎Apple
Flag this post
Leaking Passwords (and More) on macOS
💬Mach Messages
Flag this post