🎨 Graph Coloring

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

A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·18h
🌸Bloom Variants
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·7h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·5h·
Discuss: DEV
🔲Cellular Automata
How Many Paths of Length K Are There Between a and B?
horace.io·2d·
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·7h
⚡CPU Microarchitecture
Teaching programming languages
kmjn.org·1d
💻Programming languages
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·1d·
Discuss: Substack
🔗Topological Sorting
Notes on Autograd
aschrein.github.io·1d·
Discuss: Hacker News
⚡Incremental Computation
AIAI Seminar-Friday 3rd October 2025 by Visiting Speaker: Marija Slavkovik
informatics.ed.ac.uk·9h
🌍Cultural Algorithms
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·1d
🎯Performance Proofs
Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.org·1d
🕸️Network Topology
Computer Architecture Lessons from the Kitchen
sigarch.org·1d
🧮Algorithmic Cooking
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Structural vs. Mathematical “Under” (2023)
dyalog.com·21h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·18h
🎯Performance Proofs
Paradigms of Intelligence Team
github.com·8h·
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·7h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
Securing Kubernetes Layer by Layer: An OSI Approach
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security