🎨 Graph Coloring

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

Announcing coreboot 25.09 release
blogs.coreboot.org·23h
🔌Operating system internals
Framework under fire for Omarchy/DHH/Hyprland support?
crimier.github.io·13h·
Discuss: Hacker News
🐚Nordic Shell
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·1d·
Discuss: Hacker News
🚀Indie Hacking
Server CPU: Clearwater Forest comes as Xeon 6+ with up to 288 cores
heise.de·2d
⚡Nordic Processors
1k LEDs Is No Limit
xayax.net·2d·
Discuss: Lobsters, Hacker News
⚡Homebrew CPUs
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·1d·
Discuss: Hacker News, r/programming
🛡️Byzantine Fault Tolerance
Tools Amplify Culture – Platform Engineering
platformengineering.org·1h·
Discuss: Hacker News
❄️Nix Adoption
Programmer in Wonderland
binaryigor.com·2d·
Discuss: Hacker News
🔩Systems Programming
Vibing a Non-Trivial Ghostty Feature
mitchellh.com·23h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·10h·
Discuss: DEV
📏Code Metrics
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·1d
🔄Burrows-Wheeler
Automated Spectral Analysis for Precision Dimension Stone Grading & Yield Optimization
dev.to·12h·
Discuss: DEV
🌈Spectroscopy
Stop Worrying and Love the Bomb
bitbytebit.substack.com·9h·
Discuss: Substack
⚙️Build Archaeology
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
⚡Proof Automation
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
Why People Say “F*** LeetCode”: Difficulty, Fairness, Real-World Value — and a Better Way
dev.to·2d·
Discuss: DEV
📏Code Metrics
AgentAsk: Multi-Agent Systems Need to Ask
arxiv.org·1d
🧮Kolmogorov Complexity
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔐Quantum Cryptography
Beating the L1 cache with value speculation (2021)
mazzo.li·5d·
Discuss: Lobsters, Hacker News, Hacker News
⚡CPU Microarchitecture