🍏 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
HTTPS: //calming.tools/ – Some help for anxiety
calming.tools·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion
cdnsciencepub.com·2d·
Discuss: Hacker News
🔧Unikernel Development
In the Land of Living Skies: Reacquainting ourselves with the night (2022)
harpers.org·2d·
Discuss: Hacker News
🔬Unikernels
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
The Rise of Async Programming
braintrust.dev·3d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·4d·
Discuss: Hacker News
💎Refinement Types
Running Code On a PAX Credit Card Payment Machine
hackaday.com·2d
🔧Unikernel Development
A New Type of Computing
news.ycombinator.com·3d·
Discuss: Hacker News
🧩Separation Logic
Show HN: Browse the new MCP registry with Remote MCP
github.com·3d·
Discuss: Hacker News
🐳Containerization
Best option to move a zfs pool from 3.5 HDDs to nvme ?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Architecting Resilient LLM Agents: A Guide to Secure Plan-then-Execute Implementations
arxiv.org·4d
🛡️seL4
VaultGemma: The world's most capable differentially private LLM
research.google·3d·
Discuss: Hacker News, r/LocalLLaMA
🧩Separation Logic
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·5d·
Discuss: r/rust
❄️Nixified Development
ByteDance's Seedream 4.0 matches (or beats) Google's "Nano Banana"
seedream.best·4d·
Discuss: Hacker News
📺Vintage Apple
Generative Quasi-Continuum Modeling of Confined Fluids at the Nanoscale
arxiv.org·4d
🐳Containerization
Spectre haunts CPUs again: VMSCAPE vulnerability leaks cloud secrets
theregister.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Question when moving from pfSense to UDM Pro Max: Firewall rules, Zone Based Firewall and VLANs
reddit.com·2d·
Discuss: r/homelab
🖥Self-Hosting
Spec-Driven Development Is the Future of Software Engineering
medium.com·2d·
Discuss: Hacker News
🤖Program Synthesis