tiferrei's Top FindsLoading...
I Configure BorgBackup and Borgmatic
justus.pw·1d·
Discuss: Hacker News
🍎XNU Internals
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·2d·
Discuss: Hacker News
➡️Category Theory
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Announcing Precomputed Reachability Analysis in Socket
socket.dev·2d·
Discuss: Hacker News
🛡️seL4
This web framework was built by Claude
rgk.io·13h·
Discuss: Hacker News
🔬Static Analysis
Using Containers to Speed Up Development, to Run Integration Tests and to Teach About Distributed Systems
arxiv.org·3d
⎈Kubernetes
From TDD to EDD: Why Evaluation-Driven Development Is the Future of AI Engineering
medium.com·1d·
Discuss: r/programming
🔄Reproducible Builds
Python and NixOS: A match made in hell
crescentro.se·4d·
Discuss: Hacker News
❄️Nixified Development
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
➡️Category Theory
Working on creating a friends-only NAS/Streaming server, any advice?
preview.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Tips for starting homelabbing
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Lessons from 10 Years at GitHub
rickwinfrey.com·15h·
Discuss: Hacker News
🔄Reproducible Builds
Maybe the Fastest Disk Usage Program on macOS
healeycodes.com·2d·
Discuss: Hacker News, r/programming
🍎XNU Internals
Mun Programming Language
mun-lang.org·18h·
Discuss: Hacker News
🍎XNU Internals
A Periodic Table of System Design Principles
github.com·3d·
Discuss: Hacker News
⚙️Operating System Design
CVE-2025-43253: Bypassing Launch Constraints on macOS
wts.dev·1d·
Discuss: Hacker News
🍎XNU Internals
Integrating Nix and Buck2
tweag.io·2d·
Discuss: Hacker News
❄️Nixified Development
Let's Upgrade a 2010 iMac – The Retro Millennial
retropunk.substack.com·1d·
Discuss: Substack
💾Retro Computing
Hashcat v7.0.0 Released
github.com·5h·
Discuss: Hacker News
🔄Reproducible Builds
Code with LLMs and a Plan
richstone.io·23h·
Discuss: Hacker News
🛡️seL4