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·1d·
Discuss: Hacker News
➡️Category Theory
Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion
cdnsciencepub.com·1d·
Discuss: Hacker News
🔧Unikernel Development
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
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
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: CarbonCodeX – AI Coding Assistant Built for Web Developers
carboncodex.app·20h·
Discuss: Hacker News
🔄Reproducible Builds
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
What 30k Free Users Taught Me About Charging $10/Month
news.ycombinator.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The second wave of MCP: Building for LLMs, not developers
vercel.com·4d·
Discuss: Hacker News
💎Refinement Types
You Can Just Do Things
elite-ai-assisted-coding.dev·3d·
Discuss: Hacker News
Automated Theorem Proving
VaultGemma: The world's most capable differentially private LLM
research.google·1d·
🧩Separation Logic
Patterns in Chaos: How Data Visualisation Helps To See the Invisible (mrmcd25)
cdn.media.ccc.de·11h
🩹Self-Healing Systems
ByteDance's Seedream 4.0 matches (or beats) Google's "Nano Banana"
seedream.best·2d·
Discuss: Hacker News
📺Vintage Apple
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