🍏 Darwin

XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·21h·
Discuss: Hacker News
💎Refinement Types
Effects of natural extracts in cognitive function: systematic meta-analysis
frontiersin.org·8h·
Discuss: Hacker News
🧠Automated Reasoning
Show HN: SigNull – a to-do app that separates Signal from Noise
signull.app·2d·
Discuss: Hacker News
🍎Apple
Self-Assembly Gets Automated in Reverse of ‘Game of Life’
quantamagazine.org·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Interactive LLM Chat
bkdev.xyz·15h·
Discuss: Hacker News
🧩Parser Combinators
The Divine Drudgery of Chores and Art
sothismedias.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Running Code On a PAX Credit Card Payment Machine
hackaday.com·12h
🔧Unikernel Development
The Tmux Menagerie
worksonmymachine.ai·5d·
Discuss: Hacker News
📺Vintage Apple
You Can Just Do Things
elite-ai-assisted-coding.dev·2d·
Discuss: Hacker News
✓Automated Theorem Proving
What 30k Free Users Taught Me About Charging $10/Month
news.ycombinator.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
NPM Security Collapsed Thanks to a 2FA Exploit
securityboulevard.com·1d·
Discuss: Hacker News
❄️Nixified Development
Designing user interfaces with bots not buttons
interconnected.org·1d·
Discuss: Hacker News
🔬Unikernels
The Little Book of Everything
github.com·4d·
Discuss: Hacker News
➡️Category Theory
Show HN: Browse the new MCP registry with Remote MCP
github.com·1d·
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
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·4d·
Discuss: r/rust
❄️Nixified Development
ByteDance's Seedream 4.0 matches (or beats) Google's "Nano Banana"
seedream.best·2d·
Discuss: Hacker News
📺Vintage Apple
Spectre haunts CPUs again: VMSCAPE vulnerability leaks cloud secrets
theregister.com·1d·
Discuss: Hacker News
🔧Unikernel Development