📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

xb.sql and xbi.sql - Explain Oracle Execution Plans Better! (Part 3 - Cardinality Misestimates)
tanelpoder.com·1d
🧠Query Planners
Flag this post
Yes really, curl is still developed
daniel.haxx.se·12h·
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
Fungus: The Befunge CPU(2015)
bedroomlan.org·3d·
Discuss: Hacker News
⚡Homebrew CPUs
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
Tell HN: People putting AI-generated fake projects on GitHub
news.ycombinator.com·13h·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·17h
✨Effect Handlers
Flag this post
The Winning Approach to AI: Plan. Prompt. Validate. Refactor.
dev.to·13h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·17h
🕸️Graph Embeddings
Flag this post
AccessFix Update!
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·17h
⚡Incremental Computation
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
How I Use Every Claude Code Feature
blog.sshh.io·2d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Flag this post
A generative adversarial network optimization method for damage detection and digital twinning by deep AI fault learning: Z24 Bridge structural health monitorin...
arxiv.org·17h
🏺Computational Archaeology
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.org·17h
🧠Neural Codecs
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
MeixnerNet: Adaptive and Robust Spectral Graph Neural Networks with Discrete Orthogonal Polynomials
arxiv.org·17h
📊Spectral Graphs
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·2d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post