🎨 Graph Coloring

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

Feeds to Scour
SubscribedAll
Scoured 15533 posts in 324.6 ms
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·4h
🧮SMT Solvers
Preview
Report Post
Building scalable agentic assistants: A graph-based approach
thenewstack.io·15h
🌊Stream Processing
Preview
Report Post
CAP Theorem Explained: Beyond the "Pick Two" Myth
blog.ahmazin.dev·3h·
Discuss: Hacker News
🤝Consensus Algorithms
Preview
Report Post
Algebra Problems of the Day (Algebra Regents, August 2025 Part I)
mrburkemath.blogspot.com·19h·
Discuss: Blogger
📐Linear Algebra
Preview
Report Post
From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
arxiv.org·1d
🎯Automata theory
Preview
Report Post
abelianization of an additive category in nLab
ncatlab.org·17h
🧮Algebraic Archives
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·1d·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
Preview
Report Post
**Random Combination:** Combining Closure Operads (a branch of category theory dealing with higher-dimensional generalizations of closures) with Topological ...
freederia.com·2d
🕸️Algebraic Topology
Preview
Report Post
Intel axes 12th Gen Alder Lake and 4th Gen Xeon Sapphire Rapids — final orders for Intel's first hybrid CPUs end in just a few months
tomshardware.com
·16h·
Discuss: r/technews
⚡Nordic Processors
Preview
Report Post
🎡Beginner-Friendly Guide 'Minimum Pair Removal to Sort Array I' - Problem 3507 (C++, Python, JavaScript)
dev.to·6h·
Discuss: DEV
🔗Topological Sorting
Preview
Report Post
For Illumination
larrysanger.org
·1d
🔬Projection Optics
Preview
Report Post
In Praise of APL (1977)
jsoftware.com·52m·
Discuss: Hacker News
📊APL Heritage
Preview
Report Post
Lab: Distributing Level-2 IS-IS Routes into Level-1 Areas
blog.ipspace.net·1d
🧩WASM Components
Preview
Report Post
Setting Up A Cluster of Tiny PCs For Parallel Computing - A Note To Myself
kenkoonwong.com·14h·
Discuss: Hacker News
⚡Parallel Computing
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·17h·
Discuss: Hacker News
🤝Unification Algorithms
Preview
Report Post
One ISA, Infinite Use Cases: RISC-V and the Road to Workload-Specific Silicon
riscv.org·13h
🧲RISC-V Preservation
Preview
Report Post
Color‑Driven Code Navigation
poppastring.com·4h·
Discuss: Lobsters, Hacker News
🌈Color Archaeology
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl·2d
🐚Shell Calculus
Preview
Report Post
Dealing with alternatives
jemarch.net·1d
🔧Binary Parsing
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help