Norways first adventure game part 1
spillhistorie.no·1d·
Discuss: Hacker News
🎮Verification Games
Quantum Algorithm Zoo
quantumalgorithmzoo.org·2d·
Discuss: Hacker News
🧠Automated Reasoning
Implementing Namespaces and Coding Standards in WordPress Plugin Development
developer.wordpress.org·1d·
Discuss: Hacker News
⚙️PL Implementation
Jef Raskin’s cul-de-sac and the quest for the humane computer
arstechnica.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
📺Vintage Apple
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.com·19h·
Discuss: Hacker News
🔄Reproducible Builds
Domain-Driven Design with TypeScript Decorators and Reflection
auslake.vercel.app·2d·
Discuss: r/programming
💎Refinement Types
New VS Code extension to run all frontier open models
marketplace.visualstudio.com·1d·
Discuss: Hacker News
🐫OCaml
Bring back your old Mac: 5 ways to refresh the OS on elderly Apples
theregister.com·6h·
Discuss: Hacker News
📺Vintage Apple
Co-developed a comprehensive UUID API - 17+ features, completely free
reddit.com·1d·
Discuss: r/programming
🔄Reproducible Builds
Proxmox delivers datacenter manager beta that makes it a more viable VMware contender
theregister.com·1d·
Discuss: Hacker News
🖥Self-Hosting
MLPerf Inference v5.1 Results Land with New Benchmarks and Record Participation
hpcwire.com·2d·
Discuss: Hacker News
👁️System Observability
Zaku: Fast, open-source API client with fangs
github.com·5h·
Discuss: Hacker News
🍏Darwin
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·3d·
Discuss: Lobsters, Hacker News, r/LocalLLaMA, r/programming
🧮Lambda Calculus
Show HN: Vibe Code Kit code with confidence
vibecodekit.dev·1d·
Discuss: Hacker News
🤖Program Synthesis
Designing software architecture for parallel AI sessions
rashidazarang.com·2d·
Discuss: Hacker News
🛡️seL4
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·4d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: Valkyrie – A community-powered security scanner for your CI/CD
github.com·1d·
Discuss: Hacker News
📊Runtime Verification
Show HN: Carimbo now have a better stack trace and Sentry integration
nullonerror.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
humanely dealing with humungus crawlers
flak.tedunangst.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🍎Apple
Warp Code Gets Closer to an Emacs for the Modern AI Era
thenewstack.io·3h
🐳Containerization