πŸ“ E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Pythagoras and Matrices,
pballew.blogspot.comΒ·21hΒ·
Discuss: www.blogger.com
πŸ“œManuscript Algebras
Why – Decompression Through Inquiry
williamolivers.substack.comΒ·9hΒ·
Discuss: Substack
πŸ“‘Information theory
What Every Data Scientist Should Know About Graph Transformers
unite.aiΒ·5dΒ·
Discuss: Hacker News
πŸ•ΈοΈGraph Embeddings
GPT-5 Thinking in ChatGPT (aka Research Goblin) is shockingly good at search
simonwillison.netΒ·1dΒ·
Discuss: Hacker News, Hacker News
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
SQLite can handle most of it
binaryigor.comΒ·2dΒ·
Discuss: Hacker News
πŸ—„οΈSQLite Internals
AWS cost us 48 hours
medium.comΒ·9hΒ·
Discuss: Hacker News
🌊Streaming Systems
Build an AI PR Reviewer with MCP and Gemini
decodingml.substack.comΒ·2dΒ·
Discuss: Substack
βš™οΈProof Engineering
[D] Thought experiment: β€œRolling without slipping” as a blueprint for nDβ†’(nβˆ’1) embeddings?
reddit.comΒ·1dΒ·
Discuss: r/MachineLearning
πŸŒ€Differential Geometry
The Compensation Principle
news.ycombinator.comΒ·10hΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
Show HN: Ion, a Rust/Tokio powered JavaScript runtime for embedders
github.comΒ·15hΒ·
Discuss: Hacker News
πŸ¦€Rust Borrowing
Unveiling Chromatin Phase Transitions in "Genomic Deserts": A Multi-scale Computational Analysis
dev.toΒ·1dΒ·
Discuss: DEV
🧬Copy Number Variants
Tutorial - Building an AI Deepfake Detector Chrome Plugin
dev.toΒ·16hΒ·
Discuss: DEV
πŸ’ΏFLAC Archaeology
Automated Artifact Segmentation & Anomaly Detection in Diffusion Tensor MRI using Graph Neural Networks
dev.toΒ·16hΒ·
Discuss: DEV
πŸŒ€Hyperbolic Geometry
Taming Infinity: How AI Plans with Delayed Decisions
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”²Cellular Automata
Mycroft: Tracing Dependencies in Collective Communication Towards Reliable LLM Training
arxiv.orgΒ·3d
πŸ’§Liquid Types
Dynamic Electrochemical Control of Selective Oxygen Evolution via Machine Learning-Guided Alloy Design
dev.toΒ·10hΒ·
Discuss: DEV
πŸ”²Cellular Automata
The AI Agent Revolution: How LangChain and GPT-4 are Shaping the Future of Automation
dev.toΒ·6hΒ·
Discuss: DEV
⚑Proof Automation
go-yaml/yaml has been forked into yaml/go-yaml
github.comΒ·2dΒ·
Discuss: r/golang
πŸ”’Linear Types
Automated Anomaly Detection in 3D Confocal Microscopy Stacks via Hyperdimensional Vector Analysis
dev.toΒ·1dΒ·
Discuss: DEV
πŸš€SIMD Text Processing
Autonomous Optimization of Alkaline Cleaning Formulations via Bayesian Reinforcement Learning
dev.toΒ·2dΒ·
Discuss: DEV
βš™οΈModern Assembly