🎨 Graph Coloring

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

Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·22h
🔗Graph Isomorphism
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·4h·
Discuss: Hacker News
🎯Performance Proofs
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·16h
💎Information Crystallography
Categorical systems theory
topos.institute·14h
🔀Category Theory
PCBs and parts are on hand - beginning construction of new 1130MRAM board
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
⚙️DIY Electronics
Cactus Language • Semantics 3
inquiryintoinquiry.com·10h
🔢Denotational Semantics
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·1d
🕸️Graph Algorithms
Building the Reasoning Engine at Axiom
axiommath.ai·6h·
Discuss: Hacker News
⚔️Lean Tactics
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·23h·
Discuss: DEV
🧩RISC-V
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·10h
📐Mathematical Art
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🧮Kolmogorov Complexity
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Experimenting with ACL2 and Claude Code
mikedodds.org·14h·
Discuss: Hacker News
👑Isabelle
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·2h
🌊Stream Processing
Three ways formally verified code can go wrong in practice
buttondown.com·9h
📜Proof Carrying Code
Printing Petscii Faster
retrogamecoders.com·3h·
Discuss: Hacker News
📺VT100
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com·6h·
Discuss: Hacker News, r/hardware
🖥️Terminal Renaissance