BusyBeaver(5) is now known to be 47,176,870
scottaaronson.blog·9h
🧮Combinator Calculus
A recursive algorithm for reliability evaluation of multi-state hierarchical systems with stochastic dependent components
sciencedirect.com·13h
🚂Error Propagation
Two Mathematical Perspectives on AI Hallucinations and Uncertainty
lesswrong.com·16h
⚖️Inference Rules
Supercharging Unit Test Generation with in-IDE TestSpark
blog.jetbrains.com·16h
🎲Test Generators
Three highlights from Apple’s recent workshop on natural language processing
9to5mac.com·6h
🗺️Region Inference
I'm back to Java, and this is what I found (so far)
dev.to·10h·
Discuss: DEV
🔧API Design
Agents turn simple keyword search into compelling search experiences
softwaredoug.com·13h·
Discuss: Hacker News
🔍Search Algorithms
Code distances: a new family of invariants of linear codes
arxiv.org·1d
🐪OCaml GADTs
Quartic Quantum Speedups for Planted Inference
journals.aps.org·15h
🧩Constraint Solvers
Optimal 4-Approximation for the Correlated Pandora's Problem
arxiv.org·1d
🌿Trie Variants
NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning
arxiv.org·1d
📈Earley Parsing
EHR-MCP: Real-world Evaluation of Clinical Information Retrieval by Large Language Models via Model Context Protocol
arxiv.org·2d
🌱Minimal ML
Hierarchical Retrieval: The Geometry and a Pretrain-Finetune Recipe
arxiv.org·1d
⚖️Weighted Automata
Vanishing of Schubert coefficients in probabilistic polynomial time
arxiv.org·1d
🧮Combinator Calculus
Automated Contractual Dispute Resolution via Hybrid Symbolic-Probabilistic Reasoning for Ship Brokering
dev.to·1d·
Discuss: DEV
📈Earley Parsing
ME-Mamba: Multi-Expert Mamba with Efficient Knowledge Capture and Fusion for Multimodal Survival Analysis
arxiv.org·1d
⚖️Weighted Automata
HICode: Hierarchical Inductive Coding with LLMs
arxiv.org·1d
🌳Parser Visualization
Automated Forksheet N-P Spacing Optimization via Dynamic Kernel Resonance Mapping
dev.to·5h·
Discuss: DEV
🗺️Region Inference
Mastering Go Memory Benchmarking: Practical Tips for Better Performance
dev.to·2h·
Discuss: DEV
📊Memory Profilers
EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving
arxiv.org·1d
🌱Minimal ML