⚙ algorithms - bombata053

A Barrier-Modulated Architecture for Safe Affine Formation Control in Second-Order Multi-Agent Systems

🔄Dynamic Programming Academic

arxiv.org·

Aperio: Lightweight search engine in Rust – GBs of data in < 1ms, < 256MB RAM

λFunctional Programming Code

github.com··Hacker News, r/opensource

Multi-Objective Submodular Maximization with Differential Privacy

📈Optimization Academic

arxiv.org·

Auditable Graph-Guided Root Cause Analysis for Kubernetes Incidents

💻programming Academic

arxiv.org·

Worst-Case Update Complexity of the Preisach Extremum Stack

⏱️Computational Complexity Academic

arxiv.org·

Network node immunization: improving Netshield algorithm through random rooted forests

🔵Eigenvalues Academic

arxiv.org·

Frequent Itemset Mining with Quantum Computing

⏱️Computational Complexity Academic

arxiv.org·

Quantum Time Lower Bounds by Permutation Invariance

⏱️Computational Complexity Academic

arxiv.org·

Graph Traversal on Tensor Cores: A BFS Framework for Modern GPUs

🗺️Graph Algorithms Academic

arxiv.org·

Aperon Technical Report: Hierarchical No-Pointer Tangent-Local Search for High-Dimensional Approximate Nearest Neighbors

🗺️Graph Algorithms Academic

arxiv.org·

Less-relevant results

sparckix/ztare: Zero-Trust Adversarial Reasoning Engine - autoresearch inspired kernel to create and validate new science.

🏗️Design Patterns Code

github.com··Hacker News

Temporal matching in trees

⏱️Computational Complexity Academic

arxiv.org·

Larch: Learned Query Optimization for Semantic Predicates

🔄Dynamic Programming Academic

arxiv.org·

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

🔬Static Analysis Code

github.com··Hacker News

Generative Frontier Planning for Adaptive Peer-Referral Recruitment under Covariate-Dependent Arrivals

🔄Dynamic Programming Academic

arxiv.org·

Release 2026.607.1724 · uBlockOrigin/uBOL-home

SPDM: Geometry-Modulated State Space Modeling with Manifold Constraints for Time Series Forecasting

From Validator Selection to Portfolio Collection Optimization in Proof-of-Stake Blockchains

meleantonio forked meleantonio/DEQN_Galo_03_2026 from sischei/DEQN_Galo_03_2026

N-Player Binary Games with Unidirectional Dependencies: Cycle Robustness and Induced Indifference

A Barrier-Modulated Architecture for Safe Affine Formation Control in Second-Order Multi-Agent Systems

Aperio: Lightweight search engine in Rust – GBs of data in < 1ms, < 256MB RAM

Multi-Objective Submodular Maximization with Differential Privacy

Auditable Graph-Guided Root Cause Analysis for Kubernetes Incidents

Worst-Case Update Complexity of the Preisach Extremum Stack

Network node immunization: improving Netshield algorithm through random rooted forests

Frequent Itemset Mining with Quantum Computing

Quantum Time Lower Bounds by Permutation Invariance

Graph Traversal on Tensor Cores: A BFS Framework for Modern GPUs

Aperon Technical Report: Hierarchical No-Pointer Tangent-Local Search for High-Dimensional Approximate Nearest Neighbors

sparckix/ztare: Zero-Trust Adversarial Reasoning Engine - autoresearch inspired kernel to create and validate new science.

Temporal matching in trees

Larch: Learned Query Optimization for Semantic Predicates

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

Generative Frontier Planning for Adaptive Peer-Referral Recruitment under Covariate-Dependent Arrivals