📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

KATMAP: A new way to understand and predict gene splicing
phys.org·2h
🧬Copy Number Variants
Flag this post
xb.sql and xbi.sql - Explain Oracle Execution Plans Better! (Part 3 - Cardinality Misestimates)
tanelpoder.com·1d
🧠Query Planners
Flag this post
Using Street Lamps as EV Chargers – Tech Briefs
techbriefs.com·6h·
Discuss: Hacker News
💿WORM Storage
Flag this post
Inline vs. Pipeline Ray Tracing
evolvebenchmark.com·10h·
Discuss: Hacker News
🏺Computational Archaeology
Flag this post
Patching 68K Software – SimpleText
tinkerdifferent.com·1h·
Discuss: Hacker News
📺VT100
Flag this post
Yes really, curl is still developed
daniel.haxx.se·15h·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·1d·
Discuss: r/LLM
🤖Grammar Induction
Flag this post
Document-Driven Development in Next.js: How I Stopped Losing My Mind Managing Requirements
danielkliewer.com·1d·
Discuss: Hacker News, r/reactjs
🦋Format Metamorphosis
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·1d·
Discuss: Lobsters, Hacker News
📏Code Metrics
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·3d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·1d·
Discuss: Hacker News
💻Local LLMs
Flag this post
MeixnerNet: Adaptive and Robust Spectral Graph Neural Networks with Discrete Orthogonal Polynomials
arxiv.org·19h
📊Spectral Graphs
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🖥️Game Emulation
Flag this post
EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.org·19h
🔐Homomorphic Encryption
Flag this post
From Uniform to Adaptive: General Skip-Block Mechanisms for Efficient PDE Neural Operators
arxiv.org·19h
🧠Neural Codecs
Flag this post
10 AI Coding Patterns That'll Make You Look Like a Wizard 🧙‍♂️
dev.to·2h·
Discuss: DEV
📏Code Metrics
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·2d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Optimizing Electric Vehicle Charging Station Placement Using Reinforcement Learning and Agent-Based Simulations
arxiv.org·19h
🧠Machine Learning
Flag this post