Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·55m
🔗Graph Isomorphism
Ship Broken Things
matmul.net·9h·
Discuss: Hacker News
🔬Binary Analysis
An enough week
blog.mitrichev.ch·8h·
Discuss: blog.mitrichev.ch
📈Linear programming
Getting a Hypergraph of Functions to a Browser
systeminit.com·12h·
Discuss: Hacker News
📐E-graphs
Efficient and accurate search in petabase-scale sequence repositories
nature.com·1d·
Discuss: Hacker News
🔄Burrows-Wheeler
Should You Use Upper Bound Version Constraints?
iscinumpy.dev·2d·
Discuss: Lobsters, r/programming
🔗Dependency Resolution
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·17h·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
From Toil to Empowerment: Building Self-Service Ingress with GitOps
usenix.org·1h
🕸️Mesh Networking
Programmer in Wonderland
binaryigor.com·12h·
Discuss: Hacker News
🔩Systems Programming
Preference-aware routing for Claude Code 2.0
archgw.com·7h·
Discuss: Hacker News
🧩WASM Components
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🧮Kolmogorov Complexity
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·16h
⚡Proof Automation
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·3h·
Discuss: r/programming
✅Format Verification
Less Is More: Recursive Reasoning with Tiny Networks
github.com·1d·
Discuss: Hacker News
📊Quantization
An enough week
blog.mitrichev.ch·8h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
LINQ and Learning to Be Declarative
nickstambaugh.dev·14h·
Discuss: Hacker News
🔗Concatenative Programming
"i like making things—" no. you like things.
kivikakk.ee·22h
📏Code Metrics
The Pain Driven Workflow
magistr.me·10h·
Discuss: Hacker News
⚡Incremental Computation
Is there a single book/resource that is actually good?
reddit.com·10h·
Discuss: r/golang
🦀Rust Macros