Norways first adventure game part 1
spillhistorie.no·1d·
Discuss: Hacker News
🎮Verification Games
Impulse, Airbnb’s New Framework for Context-Aware Load Testing
infoq.com·1d·
Discuss: r/programming
📊Runtime Verification
Jef Raskin’s cul-de-sac and the quest for the humane computer
arstechnica.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
📺Vintage Apple
Implementing Namespaces and Coding Standards in WordPress Plugin Development
developer.wordpress.org·1d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Root Managed Services
rootmanagedservices.com·1d·
Discuss: Hacker News
🖥Self-Hosting
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.com·12h·
Discuss: Hacker News
🔄Reproducible Builds
Findings from six months of running `govulncheck` in CI
brandur.org·1d·
Discuss: Hacker News
📊Runtime Verification
The bloat of edge-case first libraries
43081j.com·3d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
New VS Code extension to run all frontier open models
marketplace.visualstudio.com·1d·
Discuss: Hacker News
🐫OCaml
Sanity check: New hardware for DIY NAS
reddit.com·2d·
Discuss: r/homelab
🔬Unikernels
Performance Improvements in .NET 10
devblogs.microsoft.com·2d·
Discuss: Lobsters, Hacker News, r/programming
📊Runtime Verification
Access ChatGPT on a Feature Phone
issei.space·20h·
Discuss: Hacker News
🌐NetworkProtocols
Building multi-agent tools for engineering
newstoretech.substack.com·22h·
Discuss: Substack
👁️System Observability
How to keep package.json under control
blog.val.town·2d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Valkyrie – A community-powered security scanner for your CI/CD
github.com·1d·
Discuss: Hacker News
📊Runtime Verification
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·3d·
Discuss: Hacker News
🔬Unikernels
Show HN: VibeDbg – Cconversational, LLM-Powered AI Assistant for WinDbg
github.com·12h·
Discuss: Hacker News
🔧Unikernel Development
Homelab Virgin
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
Co-developed a comprehensive UUID API - 17+ features, completely free
reddit.com·22h·
Discuss: r/programming
🔄Reproducible Builds
How To Work With Local AI in the Zed IDE
thenewstack.io·2d
🔧Unikernel Development