Arrival Radar Air Traffic Control Game
xkqr.org·17h·
Discuss: Lobsters, Hacker News
🎮Verification Games
RSPAX: Mirror Tokens for common SpaceX stock
republic.com·15h·
Discuss: Hacker News
📦Unikernel Systems
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·3d·
Discuss: Substack, r/TwoBestFriendsPlay
🎮Verification Games
How to Cry (and react to criers) at Work
courtneyjoy.substack.com·10h·
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
How Buyers Build Their Shortlist – and Why It's So Hard to Break In
learning.propelgrowth.com·17h·
Discuss: Hacker News
🛡️seL4
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
The Twin Users of the Future – Human and Agents
shouche.in·5d·
Discuss: Hacker News
💎Refinement Types
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
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
Chromebook SuzyQ cable open hardware: simple closed debugging cable breakout PCB
github.com·2d·
Discuss: Hacker News
🔧Unikernel Development
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
Spatiotemporal graph neural process for reconstruction, extrapolation, and classification of cardiac trajectories
arxiv.org·1d
📚Automata Learning
Will competition over advanced AI lead to war?
lesswrong.com·2d
✓Automated Theorem Proving