A probability puzzle involving random fractions
mathematicaloddsandends.wordpress.com·5d
🎯Arithmetic Coding
Some History Notes on Casting Out Nines, and an extension you probably never heard of.
pballew.blogspot.com·13h·
Discuss: www.blogger.com
🎯Arithmetic Coding
Outbound Modeling for Inventory Management
arxiv.org·1d
🔗Constraint Handling
Valuing Assets with Different Volatilities
niklasbuschmann.github.io·1d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
SFT Is Bad RL
justinchiu.netlify.app·23h·
Discuss: Hacker News
🧠Machine Learning
Dynamic Inventory Optimization with Censored Demand
towardsdatascience.com·2d
🧮Kolmogorov Bounds
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·6h·
Discuss: Hacker News
🤝Distributed Consensus
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·15h
🕸️Algebraic Topology
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·22h
⚡Proof Automation
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·9h·
Discuss: Hacker News
💻Local LLMs
How AI Detects Cancer in Whole Slide Images
hackernoon.com·1d
🧠Machine Learning
How to Overlay a Heatmap on a Real Map with Python
towardsdatascience.com·1d
🔶Voronoi Diagrams
Uncertainty-Informed Scheduling of Decision Points for Intelligent Mobile Health Interventions
arxiv.org·1d
🧠Intelligence Compression
How to reason from first principles
caseyhandmer.wordpress.com·1d·
Discuss: Hacker News
🎯Proof Tactics
What are Matrix Operations?
dev.to·1d·
Discuss: DEV
📐Linear Algebra
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·15h
🧮Kolmogorov Complexity
Divide-Then-Rule: A Cluster-Driven Hierarchical Interpolator for Attribute-Missing Graphs
arxiv.org·1d
🕸️Neo4j
A Wide Reduction Trick (2022)
words.filippo.io·16h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
NOCTA: Non-Greedy Objective Cost-Tradeoff Acquisition for Longitudinal Data
arxiv.org·15h
⧗Information Bottleneck