91
What's Going on in Machine Learning? Some Minimal Models
Stephen Wolfram explores minimal models and their visualizations, aiming to explain the underneath functionality of neural nets and ultimately machine learning.
New
The latest blog posts to take off on Hacker News. 266 posts.
92
Algorithms we develop software by
Pathfinding applied to the software solution domain
93
How to get from high school math to cutting-edge ML/AI
1) Foundational math. 2) Classical machine learning. 3) Deep learning. 4) Cutting-edge machine learning.
94
Abel, the Mozart of Mathematics
“Although Abel shared with many mathematicians a complete lack of musical talent, I will not sound absurd if I compare his kind of productivity and his personality with Mozart’s.” — Felix Klein
95
Seven basic rules for causal inference
Personal website of Dr. Peder M. Isager
96
Galois Theory
Note: These pages make extensive use of the latest XHTML and CSS Standards . They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in…
97
Exact Polygonal Filtering: Using Green's Theorem and Clipping for Anti-Aliasing
Efficient filtering of polygonal shapes with closed-form solutions based on Green’s theorem with piecewise-polynomial filters (e.g. box/bilinear/bicubic).
98
Sort, sweep, and prune: Collision detection algorithms (2023)
Sweep-and-prune is my go-to algorithm when I want to quickly implement collision detection for a game. I think it’s an awesome and elegant algorithm, so I wrote a post about it.
99
How good can you be at Codenames without knowing any words?
About eight years ago, I was playing a game of Codenames where the game state was such that our team would almost certainly lose if we didn't correctly guess all of our remaining words on our turn. From the given clue, we were unable to do this. Although the game is meant to be a word guessing game based on word…
100
Generating Simpson's Paradox with Z3
I’ve been reading Pearl’s Causal Inference in Statistics , and one of the exercises poses this problem:
101
102
Qwen2-Math
GITHUB HUGGING FACE MODELSCOPE DISCORD 🚨 This model mainly supports English. We will release bilingual (English and Chinese) math models soon. Introduction Over the past year, we have dedicated significant effort to researching and enhancing the reasoning capabilities of large language models, with a particular focus…
103
How long does music stardom last? A statistical analysis
When do music stars achieve fame, and how long does fame typically last?
104
Crafting formulas: Lambdas all the way down
We build complex mathematical formulas bottom-up using pure lambda calculus. Includes instructions of how to translate Taylor series and other approximations to lambda terms.
105
Evaluating a class of infinite sums in closed form
A family of infinite sums that evaluate to rational numbers, sometimes integers, and and effective algorithm for finding the sum.
106
Primitive Recursive Functions for a Working Programmer
Programmers on the internet often use Turing-completeness terminology. Typically, not being Turing-complete is extolled as a virtue or even a requirement in specific domains. I claim that most such discussions are misinformed --- that not being Turing complete doesn't actually mean what folks want it to mean, and is…
107
The Truth About Linear Regression (2015)
This is basically a compilation of the lecture notes I wrote when teaching 36-401, Modern Regression, in fall 2015 . I offer it here on the chance that it might be of interest to those learning, or teaching, linear regression. There's no shortage of resources on that, but I have tried to present the subject as though…
108
Tritone Substitutions
A ‘tritone substitution’ is a popular trick for making your music sound more sophisticated. I’ll show you a couple of videos with lots of examples. But since I’m mathematici…
109
110
Bayesian Statistics: The three cultures
A traditional subjective Bayesian will assume a data generating distribution (aka a likelihood when viewed as a function of the parameters). Then, conditional on this assumption, they encode their prior beliefs as a prior distribution over parameters. After this, they turn the crank on posterior inference and don’t…
111
AI solves International Math Olympiad problems at silver medal level
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics
112
My Favorite Algorithm: Linear Time Median Finding (2018)
Finding the median in a list seems like a trivial problem, but doing so in linear time turns out to be tricky. In this post I’m going to walk through one of my favorite algorithms, the median-of-medians approach to find the median of a list in deterministic linear time. Although proving that this algorithm runs in…
113
Generating sudokus for fun and no profit
A guide on how to generate sudokus of any difficulty.
114
Space-filling curves, constructively
In 1890 Giuseppe Peano discovered a square-filling curve , and a year later David Hilbert published his variation . In those days people did not waste readers’ attention with dribble – Peano explained it all on 3 pages, and Hilbert on just 2 pages, with a picture!
115
Turing's topological proof that every written alphabet is finite (2010)
Recently one of my colleagues was reading Alan Turing’s groundbreaking 1936 article “On Computable Numbers with an Application to the Entscheidungsproblem.” This is the article in…
116
What Is Entropy?
I wrote a little book about entropy; here’s the current draft: • What is Entropy? If you see typos and other mistakes, or have trouble understanding things, please let me know! An altern…
117
Closed form arc length parametrization is impossible for quadratic Bézier curves
Bézier curves are widely used for defining vector graphics. They are basically polynomial parametric curves, but given in the Bernstein basis, which enables us to define the curve using control points. The first and last control point define the start and endpoint of the curves, the intermediate control points kind of…
118
Prover-Verifier Games improve legibility of language model outputs
Discover how prover-verifier games improve the legibility of language model outputs, making AI solutions clearer, easier to verify, and more trustworthy for both humans and machines.
119
Wide angle lens distortion correction from lines
Hugo Hadfield - Cross stack robotics engineer and computer vision researcher specializing in deep learning, sensor fusion, geometric algebra and applications in self-driving cars and robotic manipulation.
120
Optimizing a bignum library for fun
Can I make math operations run 100x faster on really, really big numbers?