🍏 Darwin

XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Impulse, Airbnb’s New Framework for Context-Aware Load Testing
infoq.com·2d·
Discuss: r/programming
📊Runtime Verification
Elizabeth I and the 'Blackamoors': the deportation that never was
mirandakaufmann.com·2d·
Discuss: Hacker News
➡️Category Theory
Defold makes a big step towards first-class Teal support
defold.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
The Learning Zone Matrix
pointc.co·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Improving Cursor Tab with RL
cursor.com·2d·
Discuss: Hacker News
📚Automata Learning
AI Will Not Make You Rich
joincolossus.com·2d·
Discuss: Hacker News, Hacker News
💾Retro Computing
Best Backup Strategy for 2 Proxmox Hosts (1x ZFS, 1x UFS) - ZFS Proxmox has TrueNAS VM?
forum.proxmox.com·4d·
Discuss: r/homelab
🏠HomeLab
1,200 undergrads hung out to dry after jailbreak attack on laundry machines
theregister.com·1d·
Discuss: Hacker News
🔬Unikernels
Context Pruning in Conversational Agent
poonai.xyz·3d·
Discuss: Hacker News
✓Automated Theorem Proving
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai·2d·
Discuss: Hacker News
🧩Parser Combinators
A Humble Blog Post
nvegater.com·6d·
Discuss: Hacker News
💎Refinement Types
Nano11 cuts Windows 11 down to size, grabbing just 2.8 GB of disk space
theregister.com·2d·
Discuss: Hacker News
🔧Unikernel Development
What 30k Free Users Taught Me About Charging $10/Month
news.ycombinator.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Patterns in Chaos: How Data Visualisation Helps To See the Invisible (mrmcd25)
cdn.media.ccc.de·16h
🩹Self-Healing Systems
Generative Quasi-Continuum Modeling of Confined Fluids at the Nanoscale
arxiv.org·3d
🐳Containerization
Spectre haunts CPUs again: VMSCAPE vulnerability leaks cloud secrets
theregister.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Flox, the Nix Foundation, and NVIDIA Partner for CUDA
flox.dev·3d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·3d·
Discuss: Hacker News
🧠Automated Reasoning
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Designing user interfaces with bots not buttons
interconnected.org·2d·
Discuss: Hacker News
🔬Unikernels