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
Using Street Lamps as EV Chargers โ€“ Tech Briefs
techbriefs.comยท50mยท
Discuss: Hacker News
๐Ÿ’ฟWORM Storage
Flag this post
Inline vs. Pipeline Ray Tracing
evolvebenchmark.comยท4hยท
Discuss: Hacker News
๐ŸบComputational Archaeology
Flag this post
Yes really, curl is still developed
daniel.haxx.seยท9hยท
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
Why We Migrated from Python to Node.js
blog.yakkomajuri.comยท1dยท
๐ŸŒŠStream Processing
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.orgยท3dยท
Discuss: Hacker News
โšกHomebrew CPUs
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.comยท1dยท
๐Ÿ“Code Metrics
Flag this post
Tell HN: People putting AI-generated fake projects on GitHub
news.ycombinator.comยท10hยท
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ยท13h
โœจEffect Handlers
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.comยท16hยท
๐ŸŒ€Brotli Internals
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.orgยท13h
๐Ÿ•ธ๏ธGraph Embeddings
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.orgยท13h
โšกIncremental Computation
Flag this post
How I Use Every Claude Code Feature
blog.sshh.ioยท2dยท
โšกProof Automation
Flag this post
The Winning Approach to AI: Plan. Prompt. Validate. Refactor.
dev.toยท10hยท
Discuss: DEV
โš”๏ธLean Tactics
Flag this post
AccessFix Update!
dev.toยท22hยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.orgยท13h
๐Ÿง Neural Codecs
Flag this post