🍏 Darwin

XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Elizabeth I and the 'Blackamoors': the deportation that never was
mirandakaufmann.com·2d·
Discuss: Hacker News
➡️Category Theory
Improving Cursor Tab with RL
cursor.com·2d·
Discuss: Hacker News
📚Automata Learning
What Should I Get Paid When a Chatbot Eats My Books?
nytimes.com·13h·
Discuss: Hacker News
✓Automated Theorem Proving
Week 1: Building ZipZen – Zero-Config Apt/YUM/Helm Repos
indiehackers.com·5d·
Discuss: Hacker News
🐳Containerization
Best Backup Strategy for 2 Proxmox Hosts (1x ZFS, 1x UFS) - ZFS Proxmox has TrueNAS VM?
forum.proxmox.com·4d·
Discuss: r/homelab
🏠HomeLab
1,200 undergrads hung out to dry after jailbreak attack on laundry machines
theregister.com·1d·
Discuss: Hacker News
🔬Unikernels
Engineering a High-Performance Go PDF Microservice
reddit.com·4d·
Discuss: r/programming
🔧Unikernel Development
Show HN: CarbonCodeX – AI Coding Assistant Built for Web Developers
carboncodex.app·1d·
Discuss: Hacker News
🔄Reproducible Builds
Context Pruning in Conversational Agent
poonai.xyz·4d·
Discuss: Hacker News
✓Automated Theorem Proving
KeepassDX has landed passkeys support (beta)
github.com·19h·
Discuss: Hacker News
🍎Apple
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai·3d·
Discuss: Hacker News
🧩Parser Combinators
A Humble Blog Post
nvegater.com·6d·
Discuss: Hacker News
💎Refinement Types
Why OpenAI’s solution to AI hallucinations would kill ChatGPT tomorrow
theconversation.com·1d·
Discuss: Hacker News
📚Automata Learning
What 30k Free Users Taught Me About Charging $10/Month
news.ycombinator.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Patterns in Chaos: How Data Visualisation Helps To See the Invisible (mrmcd25)
cdn.media.ccc.de·18h
🩹Self-Healing Systems
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Idle thoughts about how we replace keyboards
interconnected.org·3d·
Discuss: Hacker News
🍎Apple
Flox, the Nix Foundation, and NVIDIA Partner for CUDA
flox.dev·3d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Designing user interfaces with bots not buttons
interconnected.org·2d·
Discuss: Hacker News
🔬Unikernels
Collecting my thoughts about notation and user interfaces
interconnected.org·2d·
Discuss: Hacker News
🔄Finite State Machines