tiferrei's Top FindsLoading...
Built a free API testing tool - no registration, instant endpoints
reddit.com·12h·
Discuss: r/programming
❄️Nixified Development
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·1d
🛡️seL4
Learn System Design Fundamentals With Examples
javatechonline.com·4d·
Discuss: r/programming
📡Network Protocol Design
I Configure BorgBackup and Borgmatic
justus.pw·16h·
Discuss: Hacker News
🍎XNU Internals
When Flatpak’s Sandbox Cracks: Real‑Life Security Issues Beyond the Ideal
linuxjournal.com·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·1d
🔬Static Analysis
Planning My First Homelab Server (NAS, Media, VMs, Docker) – Need Advice on Older but Efficient hardware
reddit.com·9h·
Discuss: r/homelab
🏠HomeLab
The NNCPNET email network
lwn.net·6h·
Discuss: Hacker News
🌐NetworkProtocols
Cogito V2 Preview
deepcogito.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
3 Node K3s Cluster + NAS 3D Printed Mini Rack Project
reddit.com·1d·
Discuss: r/homelab
⎈Kubernetes
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1d·
Discuss: Hacker News
➡️Category Theory
Ubiquiti Launches UniFi OS Server for Self-Hosting
lazyadmin.nl·1d·
Discuss: Hacker News
🏠HomeLab
Thoughts on an open source deployment platform?
zeitwork.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
'Hello world' in Bismuth
enikofox.com·13h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
SFrame Stack Trace Format
sourceware.org·5h·
Discuss: Hacker News
❄️Nixified Development
Code with LLMs and a Plan
richstone.io·15h·
Discuss: Hacker News
🛡️seL4
GreenteaOS – brand new operating system reaches alpha Windows .exe support
gist.github.com·1d·
Discuss: Hacker News
🔬Unikernels
Announcing Precomputed Reachability Analysis in Socket
socket.dev·2d·
Discuss: Hacker News
🛡️seL4
CVE-2025-43253: Bypassing Launch Constraints on macOS
wts.dev·1d·
Discuss: Hacker News
🍎XNU Internals
This web framework was built by Claude
rgk.io·5h·
Discuss: Hacker News
🔬Static Analysis