🎨 Graph Coloring

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

SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·12h
💧Liquid Types
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·17h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Decomposition of Symmetrical Classes of Central Configurations
arxiv.org·2h
💎Information Crystallography
Why Computer Science Is No Good, Redux
cacm.acm.org·13h
🎯Performance Proofs
The Christofides Algorithm
alon.kr·14h·
Discuss: Hacker News
🕸️Graph Algorithms
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Three challenges in machine-based reasoning
amazon.science·1h·
Discuss: Hacker News
🧮Theorem Proving
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·1d
💻Local LLMs
Gotta Go Fast: Jobs, Emails and Cache with Rails
blog.codeminer42.com·13h
🔄Sync Engine
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
A New Concurrent ML in Guile Scheme
wingolog.org·22h·
Discuss: Hacker News
🔄Lens Laws
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·14h
🧮Kolmogorov Complexity
Rod Burstall: In Memoriam
arxiv.org·13h·
Discuss: Lobsters
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Design Arts Medias | Designing with Abstractions: CSS and the Case of Masonry Layouts
journal.dampress.org·15h
📖Nordic Typography
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·2d·
Discuss: Hacker News
🔢Bitwise Algorithms
Software Internals Book Club
eatonphil.com·1d
⚙️Operating System Design
Taming Go’s Garbage Collector with Memory Pools: A Practical Guide
dev.to·6h·
Discuss: DEV
🧠Memory Allocators
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
Graph Lineages and Skeletal Graph Products
arxiv.org·2d
🔗Graph Isomorphism