🍏 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
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
AI Will Not Make You Rich
joincolossus.com·2d·
Discuss: Hacker News, Hacker News
💾Retro Computing
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·15h·
Discuss: Hacker News
🔄Reproducible Builds
Exploratory Retrieval-Augmented Planning For Continual Embodied Instruction Following
arxiv.org·2d
📚Automata Learning
DiFlow-TTS: Discrete Flow Matching with Factorized Speech Tokens for Low-Latency Zero-Shot Text-To-Speech
arxiv.org·1d
🧩Parser Combinators
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·2d·
Discuss: Hacker News
💎Refinement Types
The second wave of MCP: Building for LLMs, not developers
vercel.com·4d·
Discuss: Hacker News
💎Refinement Types
Running Code On a PAX Credit Card Payment Machine
hackaday.com·1d
🔧Unikernel Development
The Tmux Menagerie
worksonmymachine.ai·6d·
Discuss: Hacker News
📺Vintage Apple
You Can Just Do Things
elite-ai-assisted-coding.dev·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·4d·
Discuss: r/rust
❄️Nixified Development
The Little Book of Everything
github.com·5d·
Discuss: Hacker News
➡️Category Theory
Show HN: Browse the new MCP registry with Remote MCP
github.com·2d·
Discuss: Hacker News
🐳Containerization
Architecting Resilient LLM Agents: A Guide to Secure Plan-then-Execute Implementations
arxiv.org·2d
🛡️seL4
VaultGemma: The world's most capable differentially private LLM
research.google·1d·
Discuss: Hacker News, r/LocalLLaMA
🧩Separation Logic
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·2d
🐳Containerization