Show HN: Claudio – Audio Input for Claude.ai
earthpilot.ai·2d·
Discuss: Hacker News
✓Automated Theorem Proving
SCP-1313 – Equation for Bear
scp-wiki.wikidot.com·5d·
Discuss: Hacker News
🍎Apple
Artificial connections: Romantic relationship engagement with AI in the US
journals.sagepub.com·2d·
Discuss: Hacker News
📚Automata Learning
How the "Kim" Dump Exposed North Korea's Credential Theft Playbook
dti.domaintools.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Stop Burning Money on Performance Firefighting
blog.platformatic.dev·3d·
Discuss: Hacker News, r/webdev
👁️System Observability
Stress testing Biome's noFloatingPromises lint rule
vercel.com·3d·
Discuss: Hacker News
💎Refinement Types
I started something again, maybe it's not too late to start
starterslab.co·2d·
Discuss: Hacker News
🧗Climbing Tech
GPT-5 Thinking in ChatGPT (aka Research Goblin) is shockingly good at search
simonwillison.net·1d·
Discuss: Hacker News, Hacker News
💾Retro Computing
FastCaps: A Design Methodology for Accelerating Capsule Network on Field Programmable Gate Arrays
arxiv.org·4d
⚙️Operating System Design
Virtual panel: How software engineers and team leaders can excel with AI
infoq.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Hitting Peak File IO Performance with Zig
steelcake.com·3d·
Discuss: Lobsters, Hacker News
🐳Containerization
Protobuffers Are Wrong
reasonablypolymorphic.com·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Ask HN: When it's too much observability?
news.ycombinator.com·13h·
Discuss: Hacker News
👁️System Observability
Cut Costs, Not Accuracy: LLM-Powered Data Processing with Guarantees
arxiv.org·4d
📊Runtime Verification
MTQA:Matrix of Thought for Enhanced Reasoning in Complex Question Answering
arxiv.org·3d
➡️Category Theory
Automating Security Research: AI Engine Exploits Complex Blind Code Injection
blog.ostorlab.co·3d·
Discuss: Hacker News
✓Automated Theorem Proving
AI Agents Security: The on-behalf-of concept
ayende.com·1d·
Discuss: Hacker News
🛡️seL4
Deciphering the Kelly Criterion
farhadg.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
SQLite can handle most of it
binaryigor.com·2d·
Discuss: Hacker News
👁️System Observability
Vibe Coding a Broadcasting Graphics Solution in 6 Hours
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
🤖Program Synthesis