📐 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·10h
✅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
How DNS Actually Works
blog.algomaster.io·2d
🌐DNS Security
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
High Dimensional Optimization Remains Hard
win-vector.com·4d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Show HN: FSP2 Tested on excerpt "Romeo and Juliet" impressive compresion results
news.ycombinator.com·2d·
Discuss: Hacker News
📝Text Compression
Machine Learning-Based Prediction of Speech Arrest During Direct Cortical Stimulation Mapping
arxiv.org·2d
🧠Machine Learning
Using topological data analysis to compare inter-subject variability across resting state functional MRI brain representations
arxiv.org·2d
🕸️Algebraic Topology
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
Kubernetes and GKE for Beginners - Richard Belleville, gRPC Maintainer
youtube.com·19h
⚡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
GHC Developer Blog: GHC 9.10.3 is now available
haskell.org·3d
🔗Functional Compilers
Cheater Genius in Action: Gamifying AI and Self-Awareness
dev.to·7h·
Discuss: DEV
🚀Indie Hacking
Automated Semantic Disentanglement of Hierarchical Visual Features for Pattern Recognition
dev.to·2d·
Discuss: DEV
🤖Advanced OCR
Agent Diary: Sep 11, 2025 - The Great Test Cleanup: When Deleting 1,712 Lines Feels Like Victory
dev.to·2d·
Discuss: DEV
🐛Fuzzing