Protovalidate Is Now v1.0
buf.build·1d·
Discuss: Hacker News
💎Refinement Types
By the way, what’s a AA? -- An Attempt at Taxonomizing Video Game Scope
hushcrasher.substack.com·2d·
Discuss: Substack, r/TwoBestFriendsPlay
🎮Verification Games
Why is the name of the Microsoft Wireless Notebook Presenter Mouse 8000 hard-coded into the Bluetooth drivers?
devblogs.microsoft.com·2d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
How to Cry (and react to criers) at Work
courtneyjoy.substack.com·8h·
Discuss: Substack
🩹Self-Healing Systems
Inflation by Design, Deflation by Technology
bitcoininstitute.ch·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Call Center Staffing Calculator
callcentercalculator.com·5d·
Discuss: Hacker News
📡Network Protocol Design
Christopher Allen: Moonbit developers are lying to you
bitemyapp.com·4d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
SQL performance improvements: finding the right queries to fix
ohdear.app·1d·
Discuss: Hacker News
📊Runtime Verification
All You Need Is MCP – LLMs Solving a DEF Con CTF Finals Challenge
wilgibbs.com·6d·
Discuss: Hacker News
🛡️seL4
Python async: a step in the wrong direction
harshal.sheth.io·5d·
Discuss: Hacker News
⚡Process Calculi
Ubuntu 25.10's Rust Coreutils Transition Has Uncovered Performance Shortcomings
phoronix.com·2d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Off To the Races With ESP32 and eInk
hackaday.com·2d
👁️System Observability
Serious Chemical Threat Sniffer on a Budget
hackaday.com·1d
🩹Self-Healing Systems
A funny companion: Distinct neural responses to perceived AI- versus humangenerated humor
arxiv.org·2d
📚Automata Learning
Automatic Regression for Governing Equations with Control (ARGOSc)
arxiv.org·3d
🩹Self-Healing Systems
CoDiCodec: Unifying Continuous and Discrete Compressed Representations of Audio
arxiv.org·3d
💻CS
Perception Before Reasoning: Two-Stage Reinforcement Learning for Visual Reasoning in Vision-Language Models
arxiv.org·1d
📚Automata Learning
AMDVLK open-source project is discontinued
github.com·1d·
Discuss: Hacker News, r/linux
🔧Unikernel Development
Show HN: Spring Boot and OpenAPI Generator – type-safe clients with generics
github.com·3d·
Discuss: Hacker News
💎Refinement Types
Spatiotemporal graph neural process for reconstruction, extrapolation, and classification of cardiac trajectories
arxiv.org·1d
📚Automata Learning