Norways first adventure game part 1
spillhistorie.no·23h·
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·17h·
Discuss: Lobsters, Hacker News, Hacker News
📺Vintage Apple
The Compounding Effect of Version Control Performance
diversion.dev·1d·
Discuss: Hacker News
🔧Unikernel Development
Beyond NIST: How NSF-Funded Research Shapes AI Persona, Memory, and Systems
news.ycombinator.com·5h·
Discuss: Hacker News
🩹Self-Healing Systems
VaultGemma: The world's most capable differentially private LLM
research.google·20h·
Discuss: Hacker News, r/LocalLLaMA
🧩Separation Logic
MiniRust
github.com·5h·
Discuss: Hacker News
🐫OCaml
The Case for Mixed Deployment
lesswrong.com·1d
🩹Self-Healing Systems
Homelab Virgin
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
FreeCAD Foray: Good Practices
hackaday.com·1d
🔬Unikernels
Analog Optical Computer for Inference and Combinatorial Optimization
hackaday.com·1d
💻CS
LLM-Generated Rules Engines for LLM Explainability
brain.co·16h·
Discuss: Hacker News
🧠Automated Reasoning
Findings from six months of running `govulncheck` in CI
brandur.org·1d·
Discuss: Hacker News
📊Runtime Verification
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·1d·
Discuss: Hacker News
📊Runtime Verification
“I Got Pwned”: npm maintainer of Chalk & Debug speaks on the massive supply-chain attack
youtube.com·13h·
Discuss: Hacker News, r/programming
❄️Nixified Development
Show HN: Root Managed Services
rootmanagedservices.com·1d·
Discuss: Hacker News
🖥Self-Hosting
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
Access ChatGPT on a Feature Phone
issei.space·13h·
Discuss: Hacker News
🌐NetworkProtocols
Performance Improvements in .NET 10
devblogs.microsoft.com·2d·
Discuss: Lobsters, Hacker News, r/programming
📊Runtime Verification