🍏 Darwin

XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Speculation grows on Satoshi Nakamoto's return as quantum threatens Bitcoin
icoholder.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Making Discogs Data 13% Smaller with Parquet
harmonique.one·2d·
Discuss: Hacker News
🧮Lambda Calculus
HTTPS: //calming.tools/ – Some help for anxiety
calming.tools·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Findings from six months of running `govulncheck` in CI
brandur.org·3d·
Discuss: Hacker News
📊Runtime Verification
Simple referral cards to turn intros into meetings
getquickintro.com·5h·
Discuss: Hacker News
📡Network Protocol Design
In the Land of Living Skies: Reacquainting ourselves with the night (2022)
harpers.org·2d·
Discuss: Hacker News
🔬Unikernels
BVP: Mastering product-market fit- A detailed playbook for AI founders
bvp.com·2d·
Discuss: Hacker News
👁️System Observability
🚀 Looking for Feedback on ClearWork: Real-World Process Mapping, Future-State Design & Agentic Workflows
clearwork.io·4d·
Discuss: DEV, Hacker News
👁️System Observability
Clever Hans Couldn't Do Arithmetic, and LLMs Don't Understand
codemanship.wordpress.com·2d·
Discuss: Hacker News
📚Automata Learning
Looking back at Steve Jobs's NeXT, Inc – the most successful failure
appleinsider.com·2d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Understanding Floating-Point Numbers
dennisforbes.ca·2d·
Discuss: Hacker News
🏹Effect Systems
GPUs as Collateral – Chip Based Asset-Backed Securities
medium.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Malicious NPM Versions (chalk, debug, strip-ANSI) Found in September 2025 Attack
blog.firstpoint.com.tr·4d·
Discuss: Hacker News
🔄Reproducible Builds
Exploratory Retrieval-Augmented Planning For Continual Embodied Instruction Following
arxiv.org·4d
📚Automata Learning
A New Type of Computing
news.ycombinator.com·3d·
Discuss: Hacker News
🧩Separation Logic
DiFlow-TTS: Discrete Flow Matching with Factorized Speech Tokens for Low-Latency Zero-Shot Text-To-Speech
arxiv.org·3d
🧩Parser Combinators
Running Code On a PAX Credit Card Payment Machine
hackaday.com·2d
🔧Unikernel Development
Show HN: Browse the new MCP registry with Remote MCP
github.com·3d·
Discuss: Hacker News
🐳Containerization
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·5d·
Discuss: r/rust
❄️Nixified Development
Best option to move a zfs pool from 3.5 HDDs to nvme ?
reddit.com·22h·
Discuss: r/homelab
🏠HomeLab