📐 E-graphs - matmat · Scour

CPU-less parallel execution of lambda calculus in digital logic

arxiv.org·17h

🔗Functional Compilers

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·6h·

Discuss: Hacker News

🤝Unification Algorithms

Graph-based refactor analysis for Go projects , Arbor v1.4

reddit.com·12h·

Discuss: r/golang

🔗Topological Sorting

Dealing with alternatives

jemarch.net·1d

🔧Binary Parsing

Building scalable agentic assistants: A graph-based approach

thenewstack.io·4h

🌊Stream Processing

(PUBLIC) Building a better Go linker

docs.google.com·9h·

Discuss: Hacker News

🔗Static Linking

Multi-Location Software Model Completion

arxiv.org·17h

🏗️Compiler Archaeology

I profiled Claude Code some more, Part 2: Do Androids Dream of O(n) Diffs?

dev.to·9h·

Discuss: DEV

🔩Systems Programming

abelianization of an additive category in nLab

ncatlab.org·6h

🧮Algebraic Archives

Making an LSP for great good

thunderseethe.dev·22h·

Discuss: Lobsters, Hacker News

🌳Incremental Parsing

FLUX.2-klein-4B Pure C Implementation

simonwillison.net·2d

⚡Incremental Computation

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·10h

📊Static Analysis

ANN v3: 200ms p99 query latency over 100 billion vectors

turbopuffer.com·22h·

Discuss: Hacker News

💨Cache Optimization

BPF Verifier State Pruning: Timeline

pchaigno.github.io·1d

🛡️Archive Verification

CodeSOD: Validation Trimmed Away

thedailywtf.com·15h

✅Format Validation

Designing a Programming Language for the Desert

futhark-lang.org·6h·

Discuss: Hacker News

🔗Functional Compilers

Software as clay on the wheel

dri.es·1d

⚡Proof Automation

Prisma 7: Rust-Free Architecture and Performance Gains

infoq.com·1d·

Discuss: Hacker News

🦀Rust Macros

One ISA, Infinite Use Cases: RISC-V and the Road to Workload-Specific Silicon

riscv.org·2h

🧲RISC-V Preservation

Qdrant - Vector Database

qdrant.tech·23h

🗂️Vector Databases

Loading more...