🍏 Darwin

XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·1d·
Discuss: Hacker News
💎Refinement Types
International anarchy? Modern adoption of Hobbes's state of nature
frontiersin.org·23h·
Discuss: Hacker News
⚡Process Calculi
Defold makes a big step towards first-class Teal support
defold.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Consentless – A minimalist, privacy-preserving traffic counter
consentless.joeldare.com·1d·
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·5d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Week 1: Building ZipZen – Zero-Config Apt/YUM/Helm Repos
indiehackers.com·4d·
Discuss: Hacker News
🐳Containerization
Stay vs. Live: How Verb Choice Reveals Cultural Maps of Rootedness
zakelfassi.com·14h·
Discuss: Hacker News
📚Automata Learning
Engineering a High-Performance Go PDF Microservice
reddit.com·4d·
Discuss: r/programming
🔧Unikernel Development
KeepassDX has landed passkeys support (beta)
github.com·44m·
Discuss: Hacker News
🍎Apple
You are not going to turn into Google eventually
idiallo.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
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·2d·
Discuss: Hacker News
🧩Parser Combinators
A Humble Blog Post
nvegater.com·5d·
Discuss: Hacker News
💎Refinement Types
YouWare Observation #1: Discussing Vibe Coding and the Creator Community
medium.com·3d·
Discuss: Hacker News
🔬Unikernels
Nano11 cuts Windows 11 down to size, grabbing just 2.8 GB of disk space
theregister.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Home Servers with dynamic IPv6 prefix, and external DNS entries.
reddit.com·1d·
Discuss: r/homelab
📡Network Protocol Design
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
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·2d·
Discuss: Hacker News
💎Refinement Types