🎨 Graph Coloring

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

A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·11h
🌸Bloom Variants
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·1h·
Discuss: Hacker News
📞Session Types
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Intel reveals 288-core Clearwater Forest Xeon at Hot Chips — 18A process' first outing promises big efficiency and performance gains
tomshardware.com·1h
⚡CPU Microarchitecture
Teaching programming languages
kmjn.org·1d
💻Programming languages
vLLM on x86: Because Not Everyone Can Afford a GPU Cluster
dev.to·5h·
Discuss: DEV
⚡Homebrew CPUs
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·21h·
Discuss: Substack
🔗Topological Sorting
Notes on Autograd
aschrein.github.io·21h·
Discuss: Hacker News
⚡Incremental Computation
AIAI Seminar-Friday 3rd October 2025 by Visiting Speaker: Marija Slavkovik
informatics.ed.ac.uk·3h
🌍Cultural Algorithms
Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.org·1d
🕸️Network Topology
Computer Architecture Lessons from the Kitchen
sigarch.org·1d
🧮Algorithmic Cooking
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·18h
🎯Performance Proofs
FLINT: Fast Library for Number Theory
flintlib.org·21h
🧮Algebraic Datatypes
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·11h
🎯Performance Proofs
Structural vs. Mathematical “Under” (2023)
dyalog.com·15h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Paradigms of Intelligence Team
github.com·2h·
Discuss: Hacker News
🔲Cellular Automata
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·1h·
Discuss: Hacker News
⚡Hardware Transactional Memory
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing