🍏 Darwin

XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Looking for feedback: heads-up poker training app
app.pokerheads.de·2d·
Discuss: r/programming
🎮Verification Games
Charlie Kirk Didn’t Shy Away From Who He Was. We Shouldn’t Either.
nytimes.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Large-scale semi-discrete optimal transport with distributed Voronoi diagrams
sciencedirect.com·4h·
Discuss: Hacker News
🔧Unikernel Development
Show HN: I Built a Free Site for Students to Test Their Knowledge on Their Notes
pdftoquiz.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Land vs. Expand in the AI Era
guruchahal.substack.com·22h·
Discuss: Substack
⚙️Operating System Design
Show HN: Train – AI Workout App for Smarter, Adaptive Fitness
play.google.com·8h·
Discuss: Hacker News
🧗Climbing Tech
Clever Hans Couldn't Do Arithmetic, and LLMs Don't Understand
codemanship.wordpress.com·2d·
Discuss: Hacker News
📚Automata Learning
The CRITICAL Records Integrated Standardization Pipeline (CRISP): End-to-End Processing of Large-scale Multi-institutional OMOP CDM Data
arxiv.org·3d
🔄Reproducible Builds
Manage all your email accounts in one app – Free and Hassle-Free
freeter.io·15h·
Discuss: Hacker News
🐳Containerization
Minimal Data, Maximum Clarity: A Heuristic for Explaining Optimization
arxiv.org·3d
🤖Program Synthesis
Rust compiler performance survey 2025 results
blog.rust-lang.org·4d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
❄️Nixified Development
Dotter: Dotfile manager and templater written in Rust
github.com·4d·
Discuss: Hacker News
🐳Containerization
Is user onboarding better now that we have AI?
medium.com·1d·
Discuss: Hacker News
🍎Apple
Explaining the Reputational Risks of AI-Mediated Communication: Messages Labeled as AI-Assisted Are Viewed as Less Diagnostic of the Sender's Moral Character
arxiv.org·2d
✓Automated Theorem Proving
Nativewind: Utility-First Tailwind CSS Experience for React Native
github.com·3d·
Discuss: Hacker News
🍎XNU Internals
Beyond the Binary: The System of All-round Evaluation of Research and Its Practices in China
arxiv.org·3d
➡️Category Theory
Trends in Economic Inputs to AI
lesswrong.com·3d
🖥️Self-hosted Infrastructure
Home Servers with dynamic IPv6 prefix, and external DNS entries.
reddit.com·2d·
Discuss: r/homelab
📡Network Protocol Design
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·3d·
Discuss: Hacker News
💎Refinement Types
Virtual staining for 3D X-ray histology of bone implants
arxiv.org·2d
💾Retro Computing