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

Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.org·4h
🎯Performance Proofs
Meet the Flummoxagon
n-e-r-v-o-u-s.com·19h·
Discuss: Hacker News
📐Mathematical Art
Toy Binary Decision Diagrams
philipzucker.com·2d
🧮Algebraic Datatypes
A grand week
blog.mitrichev.ch·2d·
🧮SMT Solvers
State-Compute Replication: Parallelizing High-Speed Stateful Packet Processing
danglingpointers.substack.com·17h·
Discuss: Substack
📡Network Stack
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·4h
🎯Performance Proofs
Beginner to NAS...Build Advice?
preview.redd.it·14h·
Discuss: r/homelab
🦀Rusty Databases
Fast Matrix Multiply on an Apple GPU
percisely.xyz·11h·
Discuss: Hacker News
SIMD Vectorization
The Chip That Spoke Lisp
jxself.org·20h
🤖Lisp Machines
Online activities 6 – 12 October
ests.wordpress.com·23h
🏗️Constructive Mathematics
Cactus Language • Semantics 1
inquiryintoinquiry.com·1d
🔢Denotational Semantics
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·21h
🎯Proof Tactics
Beating the L1 cache with value speculation (2021)
mazzo.li·1d·
CPU Microarchitecture
Tracing large job failures to serial console bottlenecks from OOM events
cep.dev·7h
👁️Observatory Systems
Handoffs vs. flowcharts for agents, in light of OpenAI's visual builder
blog.rowboatlabs.com·18h·
Discuss: Hacker News
🔌Interface Evolution
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·21h·
Discuss: DEV
Performance Mythology
Show HN: Color Palette Pro – A synthesizer-style color palette generator
colorpalette.pro·13h·
Discuss: Hacker News
🌈Color Science
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·1d·
Discuss: Substack
🔩Systems Programming
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·1d
Proof Automation
The Mondrian introduction to functional optics
marcosh.github.io·22h·
Discuss: Hacker News
Bidirectional Programming