The Inverse Cube Force Law
golem.ph.utexas.edu·15h
🧫Cellular Automata
Flag this post
After More Than Three Centuries, a Geometry Problem That Originated with a Royal Bet Is Solved
goodnewsnetwork.org·18h
📈Complexity Theory
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
🔗Parser Combinators
Flag this post
I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
🧮Programming Language Theory
Flag this post
Can-t stop till you get enough
⚙Functional Programming
Flag this post
Data Quality and Filtering at Scale for Training Large Language Models
pub.towardsai.net·8h
🔗Parser Combinators
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·6d
🧭SMT Solvers
Flag this post
Learning When to Quit in Sales Conversations
arxiv.org·2d
⚖Algorithmic Game Theory
Flag this post
Branched Signature Model
arxiv.org·2d
🔐Cryptography
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
🎲Probabilistic Programming
Flag this post
A Modular, Data-Free Pipeline for Multi-Label Intention Recognition in Transportation Agentic AI Applications
arxiv.org·3h
🎲Probabilistic Programming
Flag this post
Formal Verification’s Value Grows
semiengineering.com·1d
🧩Theorem Proving
Flag this post
Information recycling in coherent state discrimination
arxiv.org·1d
🔐Cryptography
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Variational Geometric Information Bottleneck: Learning the Shape of Understanding
arxiv.org·1d
📊Information Theory
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
BRAINS: A Retrieval-Augmented System for Alzheimer's Detection and Monitoring
arxiv.org·1d
🔗Parser Combinators
Flag this post
Causal Graph Neural Networks for Healthcare
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Loading...Loading more...