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

Feeds to Scour
SubscribedAll
Majority Element: Easy Problem, Sneaky Insight
dev.to·6h·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
UP Xtreme ARL AI Dev Kit review – Benchmarks and AI workloads on an Intel Core Ultra 5 225H Arrow Lake SBC
cnx-software.com·17h
🔌Operating system internals
Preview
Report Post
Claude in a Game Theory Tournament
matthodges.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Preview
Report Post
From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
arxiv.org·2d
🎯Performance Proofs
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·20h·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·2d
Format Verification
Preview
Report Post
Intelligent Multi-Agent Trip Planning System
dev.to·4h·
Discuss: DEV
Incremental Computation
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·2d
⚔️Lean Tactics
Preview
Report Post
MCP Writing Code to Call MCP: MCPs All the Way Down
rouxbot.com·22h·
Discuss: Hacker News
🛡️WASM Sandboxing
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·2d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Designing a DSP architecture for 1M QPS CPM ads without overspending
news.ycombinator.com·1d·
Discuss: Hacker News
Redis Internals
Preview
Report Post
IsEven(int32_t) in O(1)
ceayo.neocities.org·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
Teaching Art to Computers the Hard Way
perladvent.org·3d·
Discuss: Hacker News
📐Mathematical Art
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·5d
🧮Theorem Proving
Preview
Report Post
Solving Boggle (2021)
benknoble.github.io·4d·
Discuss: Hacker News
🧮Z3 Solver
Preview
Report Post
Surviving the RAM Squeeze: Efficiency Tips for JavaScript Developers
blog.codeminer42.com·3d
🧠Memory Allocators
Preview
Report Post
Unambiguisability and Register Minimisation of Min-Plus Models
arxiv.org·3d
⚙️Syntactic Monoids
Preview
Report Post
One Agent Isn't Enough
benr.build·1d·
Discuss: Hacker News
🧠Intelligence Compression
Preview
Report Post
Topology Identification and Inference over Graphs
arxiv.org·2d
🕳️Persistent Homology
Preview
Report Post