tiferrei's Likes

Lambda calculus: compiler, type inference, and evaluator in less than 100 LOC

gist.github.com·8w·
Discuss: Hacker News
 
🐫OCaml

RISC Architecture Really Did Change Everything

wired.com·11w·
Discuss: Hacker News, r/hardware, r/programming, r/technews
 
⚙️Operating System Design

Infinite Mac OS X

blog.persistent.info·11w·
Discuss: blog.persistent.info, Hacker News
 
💾Retro Computing

Best Practices for Nix at Work

determinate.systems·11w·
Discuss: Lobsters, Hacker News
 
❄️Nixified Development

LLMs on a PowerPC Mac

theresistornetwork.com·11w·
Discuss: www.theresistornetwork.com, Lobsters, Hacker News
 
🐫Embedded OCaml

Setting Up Nix on macOS

nixcademy.com·13w·
Discuss: Hacker News
 
❄️Nix

Scaling a State Machine Saga with Kubernetes

medium.com·13w·
Discuss: r/programming
 
⎈Kubernetes

Taming Servers for Fun and Profit

blog.railway.com·12w·
Discuss: Hacker News
 
🏠HomeLab

OCaml's Standard Library (Stdlib)

batsov.com·12w·
Discuss: Hacker News
 
🐫Embedded OCaml

Verification-First Development

buttondown.com·12w·
Discuss: Hacker News
 
🔍Formal Verification

Bialgebraic Reasoning on Stateful Languages

arxiv.org·12w 
🔄Finite State Machines

Active Learning For Repairable Hardware Systems With Partial Coverage

arxiv.org·12w 
👁️System Observability

Structure and Meaning

shrsv.github.io·12w·
Discuss: Hacker News
 
➡️Category Theory

What We Know About the Closure of Heathrow Airport

nytimes.com·12w·
Discuss: Hacker News
 
🍎Apple

(Asahi Linux) Progress Report: Linux 6.14

asahilinux.org·12w·
Discuss: Lobsters, Hacker News, r/linux
 
🔬Unikernels

macOS 15.4: Four new features are coming to your Mac soon

9to5mac.com·12w 
🍎Apple

A proof checker meant for education

jsiek.github.io·12w·
Discuss: Hacker News
 
✓Automated Theorem Proving

Leaking Passwords (and More) on macOS

wts.dev·12w·
Discuss: Lobsters, Hacker News
 
🍎XNU Internals