🍏 Darwin

XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Why feature selection methods rarely agree (I tested five side by side)
aayushig950.substack.com·1h·
Discuss: Substack
🧪Property-Based Testing
Holding It Together
onelook.com·13h·
Discuss: Hacker News
📝Term Rewriting
The Scientific Virtues (2022)
slimemoldtimemold.com·21h·
Discuss: Hacker News
🎮Verification Games
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·17h·
Discuss: Hacker News
🩹Self-Healing Systems
Human vs. JSON output formatting: avoid mixing concerns
blog.liw.fi·2d·
Discuss: Hacker News
🧩Parser Combinators
Load Llama-3.2 WebGPU in your browser from a local folder
simonwillison.net·1d·
Discuss: Hacker News
📺Vintage Apple
IO is special
blog.ploeh.dk·2d·
Discuss: Lobsters
💎Refinement Types
Run Any MCP as Agent
blog.inxm.ai·1d·
Discuss: Hacker News
🐳Containerization
Linus: "Can we please stop this automated idiocy?"
lore.kernel.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Deliberate Abstraction
entropicthoughts.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Trying out import std
nibblestew.blogspot.com·3d·
Discuss: Hacker News, nibblestew.blogspot.com
🔄Reproducible Builds
The world has a running Rational R1000/400 computer again (2019)
datamuseum.dk·3d·
Discuss: Hacker News
🔧Unikernel Development
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io·7m·
Discuss: Hacker News
👁️System Observability
macOS Tahoe 26 introduces Repair Assistant for Mac
9to5mac.com·16h
🍎Apple
Ask HN: How do I escape OS-switching-cost hell?
news.ycombinator.com·2d·
Discuss: Hacker News
📺Vintage Apple
UNAUTHORIZED WINDOWS/386
virtuallyfun.com·3d·
Discuss: Lobsters, Hacker News, Hacker News
💾Retro Computing
Show HN: A local first AI engine and orchestrator
krionis.com·2d·
Discuss: Hacker News
👁️System Observability
Memetic Conquest
medium.com·3h·
Discuss: Hacker News
🍎Apple
Show HN: Sphinx – the Jupyter-native AI copilot for data scientists
sphinx.ai·23h·
Discuss: Hacker News
🧠Automated Reasoning
Built an AI news agent that stops information overload
reckoning.dev·1d·
Discuss: Hacker News
🩹Self-Healing Systems