🍏 Darwin

XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·15h·
Discuss: Hacker News
💎Refinement Types
International anarchy? Modern adoption of Hobbes's state of nature
frontiersin.org·12h·
Discuss: Hacker News
⚡Process Calculi
Show HN: Consentless – A minimalist, privacy-preserving traffic counter
consentless.joeldare.com·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Defold makes a big step towards first-class Teal support
defold.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
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·9h·
Discuss: Hacker News
🧩Parser Combinators
Stay vs. Live: How Verb Choice Reveals Cultural Maps of Rootedness
zakelfassi.com·4h·
Discuss: Hacker News
📚Automata Learning
Engineering a High-Performance Go PDF Microservice
reddit.com·3d·
Discuss: r/programming
🔧Unikernel Development
Nano11 cuts Windows 11 down to size, grabbing just 2.8 GB of disk space
theregister.com·1d·
Discuss: Hacker News
🔧Unikernel Development
ServiceNow Says Windsurf Gave Its Engineers a 10% Productivity Boost
thenewstack.io·9h
👁️System Observability
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
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai·1d·
Discuss: Hacker News
🧩Parser Combinators
You are not going to turn into Google eventually
idiallo.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Malicious NPM Versions (chalk, debug, strip-ANSI) Found in September 2025 Attack
blog.firstpoint.com.tr·2d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
Exploratory Retrieval-Augmented Planning For Continual Embodied Instruction Following
arxiv.org·2d
📚Automata Learning
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·3d·
Discuss: Hacker News
💎Refinement Types
Running Code On a PAX Credit Card Payment Machine
hackaday.com·6h
🔧Unikernel Development