≤ Order Theory - tiferrei · Scour

An Algebraic Introduction to Persistence 🔀Galois Connections

arxiv.org·5d

GAL-2 72h Three-Node Live-Operation Baseline with Local Continuity Daemon on Commodity Macs 💬Mach Messages

zenodo.org·1d·Hacker News

Continuity 🔲Cellular Automata

bloodsweatfailures.substack.com·5d·Substack

VIKAS9793/antigravity-continuity-engine: Designing a continuity-first system for agentic AI workflows under quota constraints in Google Antigravity IDE 👁️System Observability

github.com·3d·Hacker News

Which Relations Can Be Generalized Implicitly? 🔁Fixed-Point Theory

lesswrong.com·1d

BQN: Implementation of Ordering Functions ⏱️Computational Complexity

mlochbaum.github.io·5d·Hacker News

Globally Optimal Pose from Orthographic Silhouettes 📐Linear Algebra

arxiv.org·1d

5NF and Database Design 🔢Algebraic Data Types

kb.databasedesignbook.com·3d·Lobsters, Hacker News

uziiuzair/continuity: Global Memory for AI Agents 🔀OCaml Multicore

github.com·5d·Hacker News

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology 🧮SMT Solvers

arxiv.org·4d

Session-roam – Resume Claude Code conversations from any machine via Syncthing 🌐NetworkProtocols

github.com·3d·Hacker News

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets ⚖️Weighted Automata

arxiv.org·1d

Discrete Mean Field Games on Finite Graphs as Initial Value Optimization 📐Linear Algebra

arxiv.org·6d

A Deductive System for Contract Satisfaction Proofs 🧠Automated Reasoning

arxiv.org·1d

ATANT: An Evaluation Framework for AI Continuity 🧠Apple Neural Engine

arxiv.org·5d

"Theater of Mind" for LLMs: A Cognitive Architecture Based on Global Workspace Theory 🔲Cellular Automata

arxiv.org·4d

On Worst-Case Optimal Polynomial Intersection 🔍CBMC

arxiv.org·1d

Hard-constrained Physics-informed Neural Networks for Interface Problems 🔲Cellular Automata

arxiv.org·4d

DesigNet: Learning to Draw Vector Graphics as Designers Do 🔀OCaml Multicore

arxiv.org·5d·Hacker News

AudioKV: KV Cache Eviction in Efficient Large Audio Language Models 🧠Apple Neural Engine

arxiv.org·5d

Loading more...