Biconnected components
emi-h.com·1d·
Discuss: Hacker News, r/programming
🕸️Tarjan Algorithms
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·5h
🪢Rope Data Structures
Automated Conformance Assessment of Smart Grid Device Profiles via Graph Neural Networks
dev.to·10h·
Discuss: DEV
👑Dominator Analysis
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·5h·
Discuss: Hacker News
🏗️Calculus of Constructions
Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
arxiv.org·5h
🧮Combinator Calculus
connect-four-ai: A high-performance, perfect Connect Four solver
reddit.com·1d·
Discuss: r/rust
🧩Constraint Solvers
Minimizing an Uncrossed Collection of Drawings
arxiv.org·5h
🗺️Graph Traversal
Sketching approximations and LP approximations for finite CSPs are related
arxiv.org·5h
🎨Graph Coloring
Adhesive category theory for graph rewriting in Rocq
arxiv.org·5h
🔗Category Theory
SMART-3D: Three-Dimensional Self-Morphing Adaptive Replanning Tree
arxiv.org·5h
🌊Loop Invariant Motion
The FLP Theorem
shachaf.net·17h·
Discuss: Lobsters, Hacker News, r/programming
🤝Session Protocols
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·5h
📞Session Types
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.com·1h·
Discuss: Hacker News
💬Interactive REPLs
Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·5h
🌳Pattern Match Compilation
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·5h·
Discuss: DEV
🪢Rope Data Structures
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·1d·
Discuss: Hacker News, r/programming
📚Stack Allocation
Virtual Arc Consistency for Linear Constraints inCost Function Networks
arxiv.org·5h
🧩Constraint Solvers
Substrate-Timing-Independence for Meta-State Stability of Distributed Robotic Swarms
arxiv.org·5h
🏰Capability Machines
From domain-landmark graph learning to problem-landmark graph generation
arxiv.org·5h
📊Graph Compilers
original ↗
redblobgames.com·1d·
Discuss: Hacker News
🚪Escape Hatch