BusyBeaver(5) is now known to be 47,176,870
scottaaronson.blog·52m
🧮Combinator Calculus
Accurate Thyroid Cancer Classification using a Novel Binary Pattern Driven Local Discrete Cosine Transform Descriptor
arxiv.org·15h
📐Succinct Data Structures
Supercharging Unit Test Generation with in-IDE TestSpark
blog.jetbrains.com·7h
🎲Test Generators
On the Existence and Complexity of Core-Stable Data Exchanges
arxiv.org·15h
📮Message Queues
Token Models as Statistical Simulations: A Different Take
medium.com·1d·
Discuss: Hacker News
🔍Tokenizers
Selective Population Protocols
arxiv.org·15h
📡Async Channels
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
🎯Pattern Matching
Localizing Malicious Outputs from CodeLLM
arxiv.org·15h
🌳Pattern Match Compilation
Adhesive category theory for graph rewriting in Rocq
arxiv.org·15h
🔗Category Theory
The low-cost path to AI Mastery
antonyarkov.substack.com·2d·
Discuss: Substack
💬Interactive REPLs
Question Answering with LLMs and Learning from Answer Sets
arxiv.org·15h
🔍ML Language
Robust Native Language Identification through Agentic Decomposition
arxiv.org·15h
🔍ML Language
Medical priority fusion: achieving dual optimization of sensitivity and interpretability in nipt anomaly detection
arxiv.org·15h
✨Effect Inference
A Large Language Model-based multi-agent manufacturing system for intelligent shopfloor
arxiv.org·15h
🔄Coroutines
Randomized matrix computations: Themes and variations
arxiv.org·15h
🧮Linear Algebra
I'm back to Java, and this is what I found (so far)
dev.to·1h·
Discuss: DEV
🔧API Design
Code distances: a new family of invariants of linear codes
arxiv.org·15h
🐪OCaml GADTs
Quartic Quantum Speedups for Planted Inference
journals.aps.org·6h
🧩Constraint Solvers
Optimal 4-Approximation for the Correlated Pandora's Problem
arxiv.org·15h
🌿Trie Variants
NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning
arxiv.org·15h
📈Earley Parsing