📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Into the Deep DNS Sea with the JSCEAL Campaign
circleid.com·2d
📡DNS Archaeology
What Happens After I'm Gone? The Future of the Online Me
btxx.org·23h
🏠Personal Archives
Effects of natural extracts in cognitive function: systematic meta-analysis
frontiersin.org·11h·
Discuss: Hacker News
🔍Information Retrieval
The Real Python Podcast – Episode #265: Python App Hosting Choices & Documenting Python's History
realpython.com·1d
🏺ZIP Archaeology
Care about keeping your design files clean (2018)
monzo.com·2d·
Discuss: Lobsters, Hacker News
🎨Nordic Design
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·4d·
Discuss: Hacker News
🌊Streaming Systems
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Analysis and Control of Acoustic Emissions from Marine Energy Converters
arxiv.org·2d
🎼Audio Lambda Calculus
JuCoin Evolves To Ju.com - Where Point, Click, Trade Meets Infinite Possibility
hackernoon.com·2d
🧬Bitstream Evolution
Quantum Variational Solver Optimization via Adaptive Kernel Ridge Regression
dev.to·3d·
Discuss: DEV
⚛️Quantum Algorithms
Vibe Coding Fails Enterprise Reality Check
thenewstack.io·2d
📏Code Metrics
Automated Semantic Disentanglement of Hierarchical Visual Features for Pattern Recognition
dev.to·2d·
Discuss: DEV
🤖Advanced OCR
LearnSphere: Transforming Every Syllabus into a Personalized Learning Journey 📚🚀✨
dev.to·2d·
Discuss: DEV
🤖AI Curation
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·5d·
Discuss: r/LocalLLaMA
🔗Functional Compilers
Plantbot: Integrating Plant and Robot through LLM Modular Agent Networks
arxiv.org·4d
⚙️TLA+
The Future of Multi-VM Blockchain Innovation
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Trusting builds with Bazel remote execution
blogsystem5.substack.com·1d·
Discuss: Substack
🛡️WebAssembly Security
Evaluating the Efficiency of Latent Spaces via the Coupling-Matrix
arxiv.org·4d
🧠Machine Learning
Mitigating Spurious Correlations Between Question and Answer via Chain-of-Thought Correctness Perception Distillation
arxiv.org·4d
💻Local LLMs
Rust compiler performance survey 2025 results
blog.rust-lang.org·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀Rust Macros