🍏 Darwin

XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Mudlet 2025 Survey Responses
mudlet.org·9h·
Discuss: Hacker News
🔬Unikernels
Everything Wrong with Material 3 Expressive
xylight.dev·1d·
Discuss: Hacker News
🍎Apple
Belzebub.ai: AI Deception Platform
beelzebub.ai·1d·
Discuss: Hacker News
🖥Self-Hosting
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·2d·
Discuss: Hacker News, r/golang
📐Denotational Semantics
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·1d·
Discuss: Hacker News
❄️Nixified Development
You Can Just Do Things
elite-ai-assisted-coding.dev·22h·
Discuss: Hacker News
✓Automated Theorem Proving
Designing user interfaces with bots not buttons
interconnected.org·2h·
Discuss: Hacker News
🔬Unikernels
Lexy: A parser combinator library for C++17
github.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Show HN: Browse the new MCP registry with Remote MCP
github.com·54m·
Discuss: Hacker News
🐳Containerization
Rich Answered That
gist.github.com·1d·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Dave Richards – City of Largo Work Blog (2016)
davelargo.blogspot.com·5d·
Discuss: Hacker News
🔧Unikernel Development
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
On the weird economics of semiconductors and GenAI
gauthierroussilhe.com·19h·
Discuss: Lobsters, Hacker News
⚙️Operating System Design
Flox, the Nix Foundation, and NVIDIA Partner for CUDA
flox.dev·22h·
Discuss: Lobsters, Hacker News
❄️Nixified Development
The HackberryPi CM5 handheld computer
github.com·2d·
Discuss: Hacker News
💾Retro Computing
Visualising Topology Inspired Computing Algorithms
antifold.com·1d·
Discuss: Hacker News
🧩Separation Logic
Expanding Lenovo Tiny Proxmox host with 8-bay backplane (like Jonsbo N3)
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Load Llama-3.2 WebGPU in your browser from a local folder
simonwillison.net·2d·
Discuss: Hacker News
📺Vintage Apple
IO is special
blog.ploeh.dk·3d·
Discuss: Lobsters
💎Refinement Types
Show HN: FSP2 Tested on excerpt "Romeo and Juliet" impressive compresion results
news.ycombinator.com·3h·
Discuss: Hacker News
🧮Lambda Calculus