🎨 Graph Coloring

Constraint Satisfaction, Register Allocation, Scheduling Problems, Algorithmic Graph Theory

Finding Order-Preserving Subgraphs
arxiv.org·1d
🕸️Graph Algorithms
Billions of Edges per Second with Postgres
onesparse.com·1d·
Discuss: Hacker News
🗜️Graph Compression
Rethinking Distributed Computing for the AI Era
cacm.acm.org·8h
⚡Incremental Computation
Understanding Registers and Data Movement in x86-64 Assembly
blog.codingconfessions.com·15h
🔧RISC-V Assembler
Machine Learning Fundamentals: dimensionality reduction
dev.to·12h·
Discuss: DEV
📐Linear Algebra
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
Extensions and Shadows (6)
sites.psu.edu·2d
🎯Proof Tactics
Computer Architecture: A quantitative approach
ikerexxe.github.io·2d
🖥️Hardware Architecture
2011 N1 = 2024 A2
blog.evanchen.cc·10h
🔬Lean
News for June 2025
ptreview.sublinear.info·2d
🕸️Graph Algorithms
AtCoder Finals Problem Statement
atcoder.jp·10h·
Discuss: Hacker News
🇯🇵Japanese Computing
Caches and Abstractions
parallelprogrammer.substack.com·4h·
Discuss: Substack, r/programming
💨Cache Analysis
A Wide Reduction Trick (2022)
words.filippo.io·1h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
How to reason from first principles
caseyhandmer.wordpress.com·8h
🎯Proof Tactics
ADHD Devs: Does Rust's structure help or hinder your brain?
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros