XNU Kernel, Mach Microkernel, BSD Layer, macOS Foundation

Norfolk County Council beats Apple in -L-385M battle (2024)
edp24.co.uk·1d·
Discuss: Hacker News
🍎Apple
We’re building future technologies for the Moon without closing missed milestones
jatan.space·3h·
Discuss: Hacker News
🧗Climbing Tech
Silentype Font v2.0 Released – the europlus zone
blog.europlus.zone·4d·
Discuss: Hacker News
📺Vintage Apple
Freshdesk Integration with Jira. Step-by-Step Guide
getint.io·9h·
Discuss: Hacker News
🔄Reproducible Builds
Removing 95% of podcast ads with transcript segmentation and LLMs
benbowler.com·7h·
Discuss: Hacker News
🍎Apple
first-class merges and cover letters
dotat.at·1d·
🔄Reproducible Builds
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com·3d·
Discuss: Hacker News
💾Retro Computing
Quiet Influence: A Guide to Nemawashi in Engineering
hodgkins.io·2d·
👁️System Observability
Taste
moderndescartes.com·2h·
Discuss: Hacker News
🔠Type-Level Programming
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·2d·
🧮Lambda Calculus
Lenovo thinkserver rd450x wont post
i.redd.it·3d·
Discuss: r/homelab
🏠HomeLab
The Rise of Async Programming
braintrust.dev·1d·
🤖Program Synthesis
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
💎Refinement Types
The Tmux Menagerie
worksonmymachine.ai·5d·
Discuss: Hacker News
📺Vintage Apple
Exploratory Retrieval-Augmented Planning For Continual Embodied Instruction Following
arxiv.org·1d
📚Automata Learning
It’s time to work different.
brilliantcrank.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Designing user interfaces with bots not buttons
interconnected.org·1d·
Discuss: Hacker News
🔬Unikernels
What 30k Free Users Taught Me About Charging $10/Month
news.ycombinator.com·10h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
NPM Security Collapsed Thanks to a 2FA Exploit
securityboulevard.com·1d·
Discuss: Hacker News
❄️Nixified Development
You Can Just Do Things
elite-ai-assisted-coding.dev·2d·
Discuss: Hacker News
Automated Theorem Proving