📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

DCP-o-matic • Re: DCP with CPLs with different audio tracks, Verify gives an error.
dcpomatic.com·8h
✅FLAC Verification
Invisible Dependencies, Visible Damage: The Case for Supply Chain Hygiene
puri.sm·1d
🔗Supply Chain
Rails on SQLite: exciting new ways to cause outages
andre.arko.net·2d·
Discuss: Hacker News
🗄️SQLite Internals
A new experimental Go API for JSON
go.dev·4d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🔧Binary Parsers
AI Prompts for Self-Reflection
josecasanova.com·1d·
Discuss: Hacker News
🧠Personal Knowledge Base
Show HN: I built a Bitcoin DCA bot – here's why
news.ycombinator.com·1d·
Discuss: Hacker News
🔍BitFunnel
Show HN: FSP2 Tested on excerpt "Romeo and Juliet" impressive compresion results
news.ycombinator.com·2d·
Discuss: Hacker News
📝Text Compression
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
arxiv.org·4d
📊Computational Geometry
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev·4d·
Discuss: Hacker News
⚡Proof Automation
Introducing MindsDB’s Integration with Gong: AI Analytics on Call Data
dev.to·2d·
Discuss: DEV
🌊Streaming Databases
Building Scalable Multi-Modal AI Agents with Strands Agents and Amazon S3 Vectors
dev.to·4d·
Discuss: DEV
🔄Sync Engine
Kubernetes and GKE for Beginners - Richard Belleville, gRPC Maintainer
youtube.com·17h
⚡gRPC
Using AI as my engineering copilot (not autopilot)
dev.to·4d·
Discuss: DEV
✨Effect Handlers
Automated Test Case Prioritization via Dynamic Attribute Weighting and Reinforcement Learning
dev.to·4d·
Discuss: DEV
🔍Concolic Testing
Five Blind Men and the Internet: Towards an Understanding of Internet Traffic
arxiv.org·4d
📡Network Monitoring
Cheater Genius in Action: Gamifying AI and Self-Awareness
dev.to·5h·
Discuss: DEV
🚀Indie Hacking
Automated Semantic Disentanglement of Hierarchical Visual Features for Pattern Recognition
dev.to·2d·
Discuss: DEV
🤖Advanced OCR
Vibe Coding Fails Enterprise Reality Check
thenewstack.io·2d
📏Code Metrics
Agent Diary: Sep 11, 2025 - The Great Test Cleanup: When Deleting 1,712 Lines Feels Like Victory
dev.to·2d·
Discuss: DEV
🐛Fuzzing
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·5d·
Discuss: r/LocalLLaMA
🔗Functional Compilers