📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Computer Architecture: A quantitative approach
ikerexxe.github.io·15h
🖥️Hardware Architecture
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·18h
🧠Computational Logic
The Best C++ Library
mcyoung.xyz·15h·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
News for June 2025
ptreview.sublinear.info·17h
🕸️Graph Algorithms
FSM Library for Embedded C Projects
hackster.io·21h
🦀Embedded Rust
Song recommendations with pipes and filters
blog.ploeh.dk·7h
λLambda Formalization
Coroutines in C
hackaday.com·6h
🔩Systems Programming
Extensions and Shadows (6)
sites.psu.edu·4h
🎯Proof Tactics
Ralph Wiggins as a "Software Engineer"
ghuntley.com·17h·
Discuss: Hacker News, Hacker News
🦀Rust Macros
How AI on Microcontrollers Works: Registering Operators
danielmangum.com·9h·
Discuss: Hacker News
🧮SMT Solvers
Algebra Problems of the Day (Algebra Regents, June 2025 Part III)
mrburkemath.blogspot.com·3h·
Discuss: www.blogger.com
🔄Graph Rewriting
How to Optimize Your Python Code Even If You’re a Beginner
kdnuggets.com·6h
🌊Streaming Algorithms
Grok 4 Arrives With Impressive Coding Powers
hackernoon.com·16h
🎯Gradual Typing
go-dev-frame/sponge
github.com·20h·
Discuss: Hacker News
⚡gRPC
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1h
📝Text Parsing
Machine Code Isn't Scary
jimmyhmiller.github.io·5h
🔤Character Encoding
Model Context Protocol (MCP)
leimao.github.io·1d
📋Protocol Buffers
"high level" languages are easier to optimize
jyn.dev·2d·
Discuss: Hacker News
🔨Compilers
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·1d
🌐DNS Security
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·18h·
Discuss: r/programming
✅Format Verification