🍏 Darwin

XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Dripo AI – All in One AI Image and Video Generator
dripo.ai·12h·
Discuss: Hacker News
🍎Apple
We’re building future technologies for the Moon without closing missed milestones
jatan.space·7h·
Discuss: Hacker News
🧗Climbing Tech
Silentype Font v2.0 Released – the europlus zone
blog.europlus.zone·4d·
Discuss: Hacker News
📺Vintage Apple
Removing 95% of podcast ads with transcript segmentation and LLMs
benbowler.com·11h·
Discuss: Hacker News
🍎Apple
first-class merges and cover letters
dotat.at·1d·
Discuss: Lobsters, Hacker News, r/programming
🔄Reproducible Builds
Self-Assembly Gets Automated in Reverse of ‘Game of Life’
quantamagazine.org·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Beyond the Binary: The System of All-round Evaluation of Research and Its Practices in China
arxiv.org·1d
➡️Category Theory
A quarter century of chasing simplicity
loopwerk.io·3d·
Discuss: Hacker News
💾Retro Computing
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
💎Refinement Types
The Rise of Async Programming
braintrust.dev·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Exploratory Retrieval-Augmented Planning For Continual Embodied Instruction Following
arxiv.org·1d
📚Automata Learning
What 30k Free Users Taught Me About Charging $10/Month
news.ycombinator.com·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The second wave of MCP: Building for LLMs, not developers
vercel.com·3d·
Discuss: Hacker News
💎Refinement Types
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
Show HN: Browse the new MCP registry with Remote MCP
github.com·1d·
Discuss: Hacker News
🐳Containerization
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