A software conference that advocates for quality
bettersoftwareconference.com·8h·
Discuss: Hacker News
🛡️seL4
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Red Hat just expanded free access to RHEL for business developers
zdnet.com·2d·
Discuss: Hacker News, r/programming
🔬Unikernels
Grok 4
x.ai·6h·
Discuss: Hacker News
🎮Verification Games
An InfoSec Architect's First Taste of Temporal
supasaf.com·3d·
Discuss: Hacker News
⚙️PL Implementation
https:// daniel.haxx.se/blog/2025/07/11 /cybersecurity-risk-assessment-request/
daniel.haxx.se·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Building a Proxmox server around EPYC 4545P - need board suggestions. Question
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Curated List of Windows Utilities
orga.cat·3d·
Discuss: Hacker News
🔬Unikernels
Bringing granular updates to React, the Clojure way
romanliutikov.com·2d·
Discuss: r/programming, r/reactjs
🧱Immutable Infrastructure
Show HN: Looking for Beta Testers: Run AI-Generated Code in AgentSphere Sandbox
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Qthreads – large numbers of threads conveniently and easily
github.com·1d·
Discuss: Hacker News
🍎XNU Internals
The Koala Benchmarks for the Shell: Characterization and Implications
usenix.org·3d·
Discuss: r/programming
🔬Unikernels
Chalk – Metadata Code Tracking Made Easy
github.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Wizarr 2025.7.2/3 – Multi-Server Invitations, Dashbpard, Komga Support, UI Overhaul, and More!
reddit.com·8h·
Discuss: r/homelab
📦Unikernel Systems
Advanced Strategies to Deploy Phoenix Applications with Kamal
blog.appsignal.com·3d·
Discuss: Hacker News
⎈Kubernetes
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
🔐 Secure Multi-language Code Execution API – One REST Call to Run Code in 14+ Languages
reddit.com·3d·
Discuss: r/programming
🔄Reproducible Builds
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·4d·
Discuss: Hacker News
🔬Unikernels
guile lab notebook: on the move!
wingolog.org·3d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Building Your First ETL Pipeline in Rust
ryuru.com·2d·
Discuss: r/programming
🔬Static Analysis