Postgres in 2025: No managed service required?
docs.codefloe.com·15h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Instant Macropad: Just Add QMK
hackaday.com·5h
🔬Unikernels
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·18h
🔍Formal Verification
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·10h·
Discuss: Hacker News
🐫Embedded OCaml
Micro Lab! Self-contained cluster for Air-gapped Platform Engineering
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Show HN: Pluely v0.1.1 – OSS Cluely alternative with custom/local LLM support
github.com·6h·
Discuss: Hacker News
🔬Unikernels
systemd 259 To Raise Linux System Requirements
phoronix.com·5h·
Discuss: Hacker News
🔬Unikernels
Pyghidra-mcp: Run Ghidra headless for multi‑binary reverse engineering with LLMs
clearbluejar.github.io·9h·
Discuss: Hacker News
👁️System Observability
The Release of LibreLane
fossi-foundation.org·2d·
Discuss: Hacker News
🔬Unikernels
Immutable Turtles All the Way Down (froscon2025)
cdn.media.ccc.de·4d
⎈Kubernetes
Fuzzing Hardware Like Software (2021)
arxiv.org·1d·
Discuss: Hacker News
🔬Unikernels
how to resolve a halting paradox
academia.edu·22h·
Discuss: r/programming
🔄Finite State Machines
OSS under attack: four lessons in how trust gets exploited"
open-source-ward.com·3h·
Discuss: Hacker News
🔬Unikernels
If Nix Then Nix
whimsicalcode.com·1d·
Discuss: Hacker News
❄️Nix
Kubernetes Isn’t Enough for a Production-Ready Platform
thenewstack.io·3h
⎈Kubernetes
GPT-OSS from the Ground Up
cameronrwolfe.substack.com·1d·
Discuss: Substack
⚙️Operating System Design
Building a Distributed Filesystem for Scalable Research
hudsonrivertrading.com·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Peeking Under the Hood of Claude Code
medium.com·8h·
Discuss: Hacker News
🛡️seL4
From Monolith to Cloud: Automating Your Migration Journey
blog.qaware.de·2d·
Discuss: Hacker News
🔄Reproducible Builds
What is the point of libraries now that you can just generate them?
ghuntley.com·12h·
Discuss: Hacker News
🔬Unikernels