🍏 Darwin

XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

What laptops are Lobsters rocking in 2025?
lobste.rs·1d·
Discuss: Lobsters
💾Retro Computing
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
The Rust Foundation Maintainers Fund
rustfoundation.org·17h·
Discuss: Lobsters, Hacker News, r/rust
🔧DevOps
Flag this post
Consent of the Upgraded
progressivedelivery.com·19h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Modern Toasts Using the Native Popover API
telebugs.com·19h·
Discuss: Hacker News
🍎Apple
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·1d·
Discuss: googleprojectzero.blogspot.com, Lobsters, Hacker News
🔧Unikernel Development
Flag this post
OpenAI ChatKit Review: Technical Deep Dive and Why We Didn't Adopt It
quickchat.ai·18h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
mudler/edgevpn
github.com·8h
🌐NetworkProtocols
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·2d·
Discuss: Hacker News
🔧DevOps
Flag this post
Debian's APT Will Soon Begin Requiring Rust: Debian Ports Need To Adapt Or Be Sunset
phoronix.com·3d·
Discuss: Hacker News
🏗️Dune
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·1d
🔄Reproducible Builds
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
dev.to·1d·
Discuss: DEV
🧱Immutable Infrastructure
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1d
⚙️Compiler Design
Flag this post
iPod for Android
github.com·22h·
Discuss: Hacker News
🍎Apple
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·5h
🔗Curry-Howard
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·1d
🖥️Self-hosted Infrastructure
Flag this post
WebAssembly (WASM) arch support for the Linux kernel
github.com·3d·
Discuss: Lobsters, Hacker News
🐋Docker
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🔀OCaml Multicore
Flag this post
Kubernetes Isn’t Your AI Bottleneck — It’s Your Secret Weapon
thenewstack.io·18h
🔧DevOps
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
📦OPAM
Flag this post