AI locates missing person by analyzing camera footage
koreaherald.com·1d·
Discuss: Hacker News
📚Automata Learning
Britain built some of the safest roads
ourworldindata.org·1d·
Discuss: Hacker News
🔄Finite State Machines
Steve Jobs's Miracle Year
blog.awais.io·1d·
Discuss: Hacker News
🍎Apple
Early return and goroutine leak
rednafi.com·3d·
Discuss: Hacker News
📊Runtime Verification
Simple wisdom for making better decisions: Hell Yeah or No by Sivers
sive.rs·1d·
Discuss: Hacker News
➡️Category Theory
Give Your Twist Connections Some Strength
hackaday.com·14h
📡Network Protocol Design
Building AI-Powered Payments with MCP at Cashfree Payments
tech.cashfree.com·20h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AI Isn't Biased Enough
hedgehogreview.com·2d·
Discuss: Hacker News
📚Automata Learning
Debian Trixie: the 2025 flavor release
collabora.com·12h·
Discuss: Hacker News
🔬Unikernels
The Android Linux Commander
hackaday.com·12h
🐳Containerization
The 90-Day Clock: How Expiring SSL Certificates Became a Ticking Time Bomb
vanitycert.com·3d·
Discuss: Hacker News
🛡️seL4
VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
arxiv.org·6d
🛡️seL4
The Evolution of Technical Scams: Why Developer Knowledge Isn't Enough
news.ycombinator.com·2d·
Discuss: Hacker News
🎮Verification Games
Facial Emotion Recognition does not detect feeling unsafe in automated driving
arxiv.org·2d
📚Automata Learning
🔗 I've got your shovelware right here
justin.searls.co·1d·
Discuss: Substack, Hacker News
👁️System Observability
Cost-Optimized Systems Engineering for IoT-Enabled Robot Nurse in Infectious Pandemic Management
arxiv.org·6d
👁️System Observability
Jaguar Land Rover Operations 'Severely Disrupted' by Cyberattack
securityweek.com·4d·
Discuss: Hacker News
📊Runtime Verification
Unified Representation Learning for Multi-Intent Diversity and Behavioral Uncertainty in Recommender Systems
arxiv.org·2d
📚Automata Learning
GPT-5: The Case of the Missing Agent
secondthoughts.ai·5d·
Discuss: Hacker News
🔬Unikernels
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·16h·
Discuss: r/programming
💎Refinement Types