🍏 Darwin

XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·18h·
Discuss: Hacker News
💎Refinement Types
How FOSS Projects Handle Legal Takedown Requests
f-droid.org·1d·
Discuss: Hacker News, Hacker News
🛡️seL4
Show HN: Consentless – A minimalist, privacy-preserving traffic counter
consentless.joeldare.com·20h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Effects of natural extracts in cognitive function: systematic meta-analysis
frontiersin.org·5h·
Discuss: Hacker News
🧠Automated Reasoning
Behind the Scenes of MapYourGrid
mapyourgrid.org·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: SigNull – a to-do app that separates Signal from Noise
signull.app·2d·
Discuss: Hacker News
🍎Apple
Fixing my gripes with GitHub using Gleam and a Raspberry Pi
giacomocavalieri.me·4d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Interactive LLM Chat
bkdev.xyz·12h·
Discuss: Hacker News
🧩Parser Combinators
The Divine Drudgery of Chores and Art
sothismedias.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
You are not going to turn into Google eventually
idiallo.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Nativewind: Utility-First Tailwind CSS Experience for React Native
github.com·1d·
Discuss: Hacker News
🍎XNU Internals
Beyond the Binary: The System of All-round Evaluation of Research and Its Practices in China
arxiv.org·2d
➡️Category Theory
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·2d·
Discuss: Hacker News
💎Refinement Types
Exploratory Retrieval-Augmented Planning For Continual Embodied Instruction Following
arxiv.org·2d
📚Automata Learning
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·3d·
Discuss: Hacker News
💎Refinement Types
Running Code On a PAX Credit Card Payment Machine
hackaday.com·10h
🔧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
Designing user interfaces with bots not buttons
interconnected.org·1d·
Discuss: Hacker News
🔬Unikernels