tiferrei's Top FindsLoading...
Help (Unable to solve the assignments on Coursera)
coursera.org·1h·
Discuss: r/programming
💻CS
Iceberg, the Right Idea – The Wrong Spec – Part 2 of 2: The Spec
database-doctor.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
The NNCPNET email network
lwn.net·23h·
Discuss: Hacker News
🌐NetworkProtocols
I Configure BorgBackup and Borgmatic
justus.pw·1d·
Discuss: Hacker News
🍎XNU Internals
Announcing Precomputed Reachability Analysis in Socket
socket.dev·2d·
Discuss: Hacker News
🛡️seL4
This web framework was built by Claude
rgk.io·21h·
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
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
'Hello world' in Bismuth
enikofox.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Python and NixOS: A match made in hell
crescentro.se·5d·
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
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
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·22h·
Discuss: r/homelab
🏠HomeLab
Lessons from 10 Years at GitHub
rickwinfrey.com·23h·
Discuss: Hacker News
🔄Reproducible Builds
Mun Programming Language
mun-lang.org·1d·
Discuss: Hacker News
🍎XNU Internals
Thoughts on an open source deployment platform?
zeitwork.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
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
If Odin Had Macros
gingerbill.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml