∘ Category Theory - 2601 · Scour

A single equation for intelligence – from quantum mechanics to AGI in 5 axioms ⚖️Inference Rules

holon.sh·4d·Hacker News, Hacker News

Algebraic Structure Discovery for Real World Combinatorial Optimisation Problems: A General Framework from Abstract Algebra to Quotient Space Learning 🔢Algebraic Datatypes

arxiv.org·2d

Incremental Lambda Calculus 🔗Dependent Types

inc-lc.github.io·8h·Hacker News

Dead Ringers: CT Scans Show What Dupes and Counterfeits Hide Inside 🔄Systems Thinking

lumafield.com·3d·Hacker News

MedGemma 1.5 Technical Report 🌱Minimal ML

arxiv.org·2d

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🎭Racket

jointhefreeworld.org·7h·Lobsters, Hacker News

Hallucination as output-boundary misclassification: a composite abstention architecture for language models 🪜Recursive Descent

arxiv.org·1d

MADL Encyclopedia 🔍Lens Libraries

madl.si5.pl·20h·Hacker News

A language where you describe the system and the compiler verifies it 📚Self-Documenting Code

spine-lang.org·5h·Hacker News

Graph Topology Information Enhanced Heterogeneous Graph Representation Learning 🔗Network Motifs

arxiv.org·2d

Automatic Textbook Formalization 🌳Pattern Match Compilation

arxiv.org·4d

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔄Subinterpreters

pvk.ca·22h·Hacker News

FlowExtract: Procedural Knowledge Extraction from Maintenance Flowcharts 🪜Recursive Descent

arxiv.org·1d

mm0/mm0-rs/mmc.md at master 📏Linear Types

github.com·12h·Hacker News

Déjà Code: How LLMs Quietly Cheat on Repos They've Already Seen 🌳Tree Shaking

blogs.latentforce.ai·2h·Hacker News

The Topology of Multimodal Fusion: Why Current Architectures Fail at Creative Cognition 🔄Systems Thinking

arxiv.org·3d

The acyclic e-graph: Cranelift's mid-end optimizer 🚀Code Motion

cfallin.org·13h·Lobsters, Hacker News, r/rust

DosimeTron: Automating Personalized Monte Carlo Radiation Dosimetry in PET/CT with Agentic AI 🎲Probabilistic Programming

arxiv.org·1d

Issue 646 🚂Error Propagation

datascienceweekly.substack.com·21h·Substack

Reflection On Recursion • 2 🪜Recursive Descent

inquiryintoinquiry.com·1d

Loading more...