🎨 Graph Coloring

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

Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·15h
📞Session Types
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Keyboard Holders, Generation 1
cceckman.com·1d·
Discuss: Hacker News
⌨️Mechanical Keyboards
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·43m·
Discuss: Hacker News
⬌Bidirectional Typing
Has anyone tried csprimer and have any reviews on it?
csprimer.com·9h·
Discuss: Hacker News
💻CS
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.org·2d
🎯Performance Proofs
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·19h
🌈Spectral Methods
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·19h
⛪Church Encoding
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·1d·
Discuss: Hacker News
🌊Stream Processing
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
⚙️Proof Engineering
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔢Reed-Solomon Math
Neuro-Symbolic AI
en.wikipedia.org·9h·
Discuss: Hacker News
🔲Cellular Automata
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
🔨Compilers
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·10h·
Discuss: Hacker News
🎯Performance Proofs
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4h·
Discuss: Hacker News
🔗Concatenative Programming