Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·8h
🔗Unification Algorithms
An enough week
blog.mitrichev.ch·16h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·2h
🧮Combinator Calculus
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🌲Deforestation
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·1d
🕸️Tarjan Algorithms
Multi-Core By Default
rfleury.com·10h·
Discuss: Hacker News
🔀SIMD Programming
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·9h·
Discuss: DEV
🔮CPU Branch Prediction
Getting a Hypergraph of Functions to a Browser
systeminit.com·19h·
Discuss: Hacker News
🏛️Elm Architecture
PCBs and parts are on hand - beginning construction of new 1130MRAM board
rescue1130.blogspot.com·14h·
Discuss: rescue1130.blogspot.com
📦Compact Data
From CAP to GAP?
fsharpforfunandprofit.com·5h·
Discuss: DEV
🧪Testing Compilers
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·2h·
Discuss: Substack
🪢Rope Data Structures
Efficient and accurate search in petabase-scale sequence repositories
nature.com·1d·
Discuss: Hacker News
📝Text Algorithms
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·20h·
Discuss: DEV
📋Datalog
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·12h·
Discuss: Hacker News
🔬Nanopasses
Splitting OpenShift machine config pool without node reboots
developers.redhat.com·5h
🎯Ring Buffers
Keyboard Holders, Generation 1
cceckman.com·21h·
Discuss: Hacker News
📝Rope Editors
Categorical systems theory
topos.institute·6m
🔗Category Theory
SAT problems are kind of cool
blog.karanjanthe.me·1d·
Discuss: Hacker News
🧩SAT Solvers
In the Shadow of the Hadamard Test: Using the Garbage State for Good and Further Modifications
journals.aps.org·12h
⚡Partial Evaluation
LINQ and Learning to Be Declarative
nickstambaugh.dev·21h·
Discuss: Hacker News
📋Datalog