Image Optimization for Next.js with Imgproxy
imgproxy.net·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·10h
🔍Formal Verification
Bastille 1.0 – Bastille Day 2025
github.com·23h·
Discuss: Hacker News
🔬Unikernels
Open-Source Security Paradox: More Code, More Validation
onekey.so·2d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·17h·
Discuss: Hacker News
🌐NetworkProtocols
Escalated, the AI Browser Wars Have – Quickly
spyglass.org·1d·
Discuss: Hacker News
🔬Unikernels
Semaphore Enterprise Edition is free for small teams
semaphore.io·22h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Complete guide to implementing OpenTelemetry in Nextjs applications - Traces, Metrics & Logs
signoz.io·2d·
Discuss: Hacker News, r/programming
👁️System Observability
KDE's native virtual machine manager, Karton, inches closer to potential stable release
neowin.net·1d·
Discuss: Hacker News
🔬Unikernels
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·1d·
Discuss: Hacker News
📡Network Protocol Design
About to start a weekend project, sense-check me please!
reddit.com·3h·
Discuss: r/homelab
🏠HomeLab
Binding Application in Idris
andrevidela.com·15h·
Discuss: Hacker News
🔠Type-Level Programming
Advanced Strategies to Deploy Phoenix Applications with Kamal
blog.appsignal.com·3d·
Discuss: Hacker News
⎈Kubernetes
You don't have to use Nix to manage your dotfiles
jade.fyi·4d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Introducing UringMachine, a Ruby gem for performing concurrent I/O
noteflakes.com·3d·
Discuss: Hacker News
🔬Unikernels
It's therapy or the cluster...
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·22h·
Discuss: Hacker News
❄️Nixified Development
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·1d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: I rebuilt few years old project and now it covers my expenses
hextaui.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·2d
🔄Reproducible Builds