It is your fault if your application is down
ufried.com·2d
🛡️Error Boundaries
Flag this post
New trend: programming by kicking off parallel AI agents
blog.pragmaticengineer.com·2d
⚙️Proof Engineering
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·2d·
Discuss: Hacker News
✅Format Verification
Flag this post
Bedrock, a modular, WAN-replicated database based on SQLite
bedrockdb.com·5h·
Discuss: Hacker News
🔄Sync Engine
Flag this post
The Development of Pie
terathon.com·1h·
Discuss: Hacker News
🔗Concatenative Languages
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·1h·
Discuss: Substack
🧠Machine Learning
Flag this post
Scraping Next.js web sites in 2025
trickster.dev·1d·
Discuss: Hacker News
🌀Brotli Internals
Flag this post
"The Bug Hunt" blog post pattern
writethatblog.substack.com·3d·
Discuss: Substack
🦀Rusty Databases
Flag this post
Subagents with MCP
cra.mr·4d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
[R] We found LRMs look great…until the problems get harder (AACL 2025)
reddit.com·2d·
Discuss: r/MachineLearning
🧮Theorem Proving
Flag this post
The Sphinx Protocol: Encoding Ambiguity, Ascent, and Refusal in AI/ML Systems
dev.to·3d·
Discuss: DEV
🌐DNS Security
Flag this post
Beyond the Hype: The Hidden Economics of AI Inference
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Flag this post
I am a beginner to Golang, what mini-projects would you suggest?
reddit.com·3d·
Discuss: r/golang
🐚Shell Monads
Flag this post
Evaluating YARA Rules for macOS Malware Hunting in Spectra Analyze
reversinglabs.com·2d
🦠Malware Analysis
Flag this post
UnifiedFL: A Dynamic Unified Learning Framework for Equitable Federation
arxiv.org·1d
📝ABNF Parsing
Flag this post
AI-Driven Spectrum Allocation Optimization via Bayesian Federated Learning on Edge SDR Platforms
dev.to·20h·
Discuss: DEV
📡Bluetooth Archaeology
Flag this post
GHC Developer Blog: GHC 9.14.1-rc1 is now available
haskell.org·3d
🔗Functional Compilers
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·22h·
Discuss: Hacker News
👑Dependent Haskell
Flag this post
Neither Consent nor Property: A Policy Lab for Data Law
arxiv.org·1d
🧲Magnetic Philosophy
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
dev.to·20h·
Discuss: DEV
🤖Archive Automation
Flag this post