Instant Domain Search MCP Server – Search domain name availability in AI chats
instantdomainsearch.com·1d·
Discuss: Hacker News
📡Network Protocol Design
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·11h·
Discuss: Substack
🩹Self-Healing Systems
Making family IT support effortless (and free)
garrit.xyz·3d·
Discuss: Hacker News
💾Retro Computing
How Buyers Build Their Shortlist – and Why It's So Hard to Break In
learning.propelgrowth.com·18h·
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
Python async: a step in the wrong direction
harshal.sheth.io·5d·
Discuss: Hacker News
⚡Process Calculi
When Is Your Pyrex Not The Pyrex You Expect?
hackaday.com·4h
🩹Self-Healing Systems
Serious Chemical Threat Sniffer on a Budget
hackaday.com·1d
🩹Self-Healing Systems
Off To the Races With ESP32 and eInk
hackaday.com·2d
👁️System Observability
Spatiotemporal graph neural process for reconstruction, extrapolation, and classification of cardiac trajectories
arxiv.org·1d
📚Automata Learning
Chromebook SuzyQ cable open hardware: simple closed debugging cable breakout PCB
github.com·2d·
Discuss: Hacker News
🔧Unikernel Development
AMDVLK open-source project is discontinued
github.com·1d·
Discuss: Hacker News, r/linux
🔧Unikernel Development
Will competition over advanced AI lead to war?
lesswrong.com·2d
✓Automated Theorem Proving
InfoGain-RAG: Boosting Retrieval-Augmented Generation via Document Information Gain-based Reranking and Filtering
arxiv.org·1d
🧩Parser Combinators
I regret to inform you Meta’s new smart glasses are the best I’ve ever tried
theverge.com·9h·
Discuss: Hacker News
🍎Apple
Engineering Spatial and Molecular Features from Cellular Niches to Inform Predictions of Inflammatory Bowel Disease
arxiv.org·3d
🧮Lambda Calculus