XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Modern Toasts Using the Native Popover API
telebugs.com·17h·
Discuss: Hacker News
🍎Apple
Flag this post
Cisco C1000 setup
cisco.com·12h·
Discuss: r/homelab
📡Network Protocol Design
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·14h·
🔧DevOps
Flag this post
Consent of the Upgraded
progressivedelivery.com·17h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·1d·
🔧Unikernel Development
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·2d·
Discuss: Hacker News
🔧DevOps
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·1d
🔄Reproducible Builds
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·2d·
Discuss: Hacker News
🛡️seL4
Flag this post
InvisioVault: Because Sometimes You Just Want to Hide Stuff 🤫
dev.to·13h·
Discuss: DEV
💾Retro Computing
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
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
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
🔀OCaml Multicore
Flag this post
iPod for Android
github.com·19h·
Discuss: Hacker News
🍎Apple
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·2h
🔗Curry-Howard
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·1d
🖥️Self-hosted Infrastructure
Flag this post
Kubernetes Isn’t Your AI Bottleneck — It’s Your Secret Weapon
thenewstack.io·15h
🔧DevOps
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
📦OPAM
Flag this post