End-to-end testing of Gen AI Apps
dev.to·57m·
Discuss: DEV
🔍Concolic Testing
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·5d·
Discuss: DEV
📏Code Metrics
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·12h·
Discuss: Hacker News
🎧Learned Audio
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
My Claude Code Setup
justindfuller.com·2d·
Discuss: Hacker News
⚡Proof Automation
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·18h·
Discuss: DEV
💾Storage Replication
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·1d
🔲Cellular Automata
Intent Weaving for AI Coding Agents
autohand.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Why LLMs cannot reach GenAI, but why it looked like they could
haversine.substack.com·14h·
Discuss: Substack
🧠Intelligence Compression
Falsehoods Vibe Coders Believe About LLMs
wilsonhobbs.com·2d·
Discuss: Hacker News
💧Liquid Types
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·23h·
Discuss: Hacker News
🎯Performance Proofs
Love C, Hate C: Web Framework Memory Problems
alew.is·1d·
Discuss: Hacker News
🔩Systems Programming
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
The Programmer Identity Crisis
hojberg.xyz·3d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.io·4h·
Discuss: Hacker News, r/ClaudeAI
🎙️Whisper
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·2d
🧮Kolmogorov Complexity
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·8h·
Discuss: DEV
💻Local LLMs
Why The Future of Code Is More Human Than Ever
dev.to·1d·
Discuss: DEV
📏Code Metrics
In-Depth Analysis: "Attention Is All You Need"
dev.to·21h·
Discuss: DEV
🧠Intelligence Compression