📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

The "high-level CPU" challenge
yosefk.com·7h·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
Automated Code Dependency Analysis & Remediation via Graph Neural Networks
dev.to·21h·
Discuss: DEV
🔗Topological Sorting
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
arxiv.org·11h
🎯Performance Proofs
Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens – 2508.01191v2.pdf
jmason.ie·50m
📏Linear Logic
Cactus Language • Pragmatics 13
inquiryintoinquiry.com·2h
🔢Denotational Semantics
Song recommendations with free monads
blog.ploeh.dk·1d
🐚Shell Monads
My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
wareya.wordpress.com·9h·
Discuss: Lobsters, Hacker News
🏗️Compiler Archaeology
[Media] Tur - A language for defining and executing Turing machines with multi-platform visualization tools (Web, TUI and CLI) written in Rust 🦀
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
The Stochastic Code Monkey Theorem
stephendiehl.com·14h
📏Code Metrics
Exploring the Challenges and Opportunities of AI-assisted Codebase Generation
arxiv.org·11h
🏗️Compiler Archaeology
How Graphs Boost LLM Precision and Explainability in Cybersecurity
hackernoon.com·20h
💻Local LLMs
Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidity
osec.io·9h·
Discuss: Hacker News
🔒Type Safety
Syncthing 2.0 Released
github.com·8h·
Discuss: Hacker News, r/linux
📲syncthing
Generate AWS Architecture Diagrams with Amazon Q
awsfundamentals.com·1d·
Discuss: Hacker News
📐Proof Assistants
Programming languages and dimensions of units of measure
cl.cam.ac.uk·1d·
Discuss: Hacker News
💻Programming languages
Reading Code Effectively: An Overlooked Developer Skill • Marit van Dijk & Hannes Lowette
youtube.com·2h
📏Code Metrics
Lambdas, Nested Functions, and Blocks
thephd.dev·15h·
Discuss: Hacker News
🐚Shell Combinators
60% faster substring search with SIMD in Zig
aarol.dev·1d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
🚀SIMD Text Processing
Should We Never Use Non-Logical Properties?
meiert.com·23m·
Discuss: Hacker News
📏Linear Logic
Evaluating GPT5's reasoning ability using the Only Connect game show
ingram.tech·1h·
Discuss: Hacker News
🧠Computational Logic