🤝 Unification Algorithms - matmat · Scour

Unification of Deterministic Higher-Order Patterns

arxiv.org·1d

λLambda Encodings

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·15h·

Discuss: Hacker News

⟷Bidirectional Programming

Making a Language

thunderseethe.dev·9h

🛠Language Design

Subterms Modulo Theories I

philipzucker.com·3d

🎯Automata theory

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·3h

🧮SMT Solvers

Dealing with alternatives

jemarch.net·1d

🔧Binary Parsing

abelianization of an additive category in nLab

ncatlab.org·15h

🧮Algebraic Archives

AI helps find trees in a forest: Researchers achieve 3D forest reconstruction from remote sensing data

phys.org·10h

🏺Computational Archaeology

LLMs - What are they good for, anyway?

dev.to·1d·

Discuss: DEV

🧮Kolmogorov Complexity

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌳Context free grammars

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·1d·

Discuss: Hacker News

🧮Kolmogorov Bounds

Filtering as domain logic

blog.ploeh.dk·2d·

Discuss: r/programming

🗄️Database Internals

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·20h

📊Static Analysis

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Postmortem on TreeTracker Join: Simple, Optimal, Fast

zhu45.org·2d·

Discuss: Hacker News

🌲B-tree Variants

**Abstract:** This paper introduces a novel approach to automated proof verification within quantifiable type theory, significantly exceeding existing capaci...

freederia.com·4d

👑Coq Tactics

kaylorjc-protocol/semantic-integration-layer-SIL-protocol: Proposal for a Semantic Integration Layer (SIL) that uses Large Language Models (LLMs) as universal protocol translators, enabling interoperability between legacy and modern systems without strict API standardization.

github.com·2d·

Discuss: Hacker News

📝ABNF Parsing

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·1d·

Discuss: Substack

🔲Cellular Automata

Using Strands Agents to create a multi-agent solution with Meta’s Llama 4 and Amazon Bedrock

aws.amazon.com·14h

From Retrieval to Relevance: 5 Reranker Types Defining Modern Search Systems

pub.towardsai.net

·1d

🎯Retrieval Systems

Loading more...