301
Revisiting Moneyball
Data, sports, payrolls, and memes
New
The latest blog posts to take off on Hacker News. 2,851 posts.
302
Scarcity, Inventory, and Inequity: A Deep Dive into Airline Fare Buckets
Airline pricing may seem mystifying, but behind every airfare is a complex system of fare buckets and inventory controls. Airlines don't just sell seats - they manage a dynamic inventory of fares, divided into booking classes (fare buckets) with different prices and rules. For the technically curious, understanding…
303
Gemini with Deep Think achieves gold-medal standard at the IMO
The International Mathematical Olympiad (“IMO”) is the world’s most prestigious competition for young mathematicians, and has been held annually since 1959. Each country taking part is represented by six elite, pre-university mathematicians who compete to solve six exceptionally difficult problems in algebra…
304
“Dynamic programming” is not referring to “computer programming”
When seeing the phrase “dynamic programming” in an algorithms class or leetcode study guide, the first question people ask is “what does ‘dynamic’ mean in this context?”.
305
All AI models might be the same
what can language model embeddings tell us about whales speech, and decoding ancient texts? (on The Platonic Representation Hypothesis and the idea of *universality* in AI models)
306
To be a better programmer, write little proofs in your head
This is a brief write-up of a trick I learned that helps me write code faster and more accurately. I say "trick", but it's really something I started to do without noticing as I moved further into my career. When you're working on something difficult, sketch a
307
Algorithms for making interesting organic simulations
Article explaining simulation algorithms that produce complex organic behaviours, starting with the classic physarum algorithm from Jeff Jones.
308
Introduction to Digital Filters (2024)
INTRODUCTION TO DIGITAL FILTERS WITH AUDIO APPLICATIONS
309
Lossless Float Image Compression
Back in 2021 I looked at OpenEXR lossless compression options (and I think my findings led a change of the default zip compression level , as well as change of the compression library from zlib to libdeflate . Yay blogging about things!) . Then in 2023 I looked at losslessly compressing a bunch of floating point data…
310
Optimizing a Math Expression Parser in Rust
Optimizing a math expression parser for speed and memory.
311
312
Million Times Million
Is a million times a million a billion or is it a trillion ? For my entire childhood, it was a billion, only for me to grow up and realise, as an adult, that it had better be a trillion!
313
314
Bloom Filters by Example
A Bloom filter is a data structure designed to tell you, rapidly and memory-efficiently, whether an element is present in a set.
315
People Keep Inventing Prolly Trees
A novel data structure has been invented four times now, with three different names. We think that's a good sign.
316
BusyBeaver(6) Is Quite Large
For overdetermined reasons, I’ve lately found the world an increasingly terrifying and depressing place. It’s gotten harder and harder to concentrate on research, or even popular scienc…
317
Graph Theory Applications in Video Games
A detailed look at Graph Theory and how it can be applied to video games.
318
Normalizing Flows Are Capable Generative Models
Normalizing Flows (NFs) are likelihood-based models for continuous inputs. They have demonstrated promising results on both density…
319
The economics behind "Basic Economy" – A masterclass in price discrimination
Basic Economy fares are ultra-restricted airline tickets that offer a lower base price in exchange for fewer benefits than standard economy class. Introduced by major U.S. carriers in the 2010s, these fares have become a widespread strategy for market segmentation - a textbook example of price discrimination in…
320
Reinforcement learning, explained with a minimum of math and jargon
To create reliable agents, AI companies had to go beyond predicting the next token.
321
Solving LinkedIn Queens Using Haskell
Solving LinkedIn Queens in the LogicT monad
322
Modeling the World in 280 Characters
An exploration of the mindset, methods, and motivations behind crafting tiny, expressive shaders that combine code, art, and constraint.
323
The probability of a hash collision (2022)
Exploring the math behind hash collisions.
324
Learn you Galois fields for great good (2023)
This is the introduction to a series on Abstract Algebra. In particular, our focus will be on Galois Fields (also known as Finite Fields) and their applications in Computer Science. This is a project I've been excited about for many years now, but have been too busy to dedicate the adequate effort to meet my…
325
Minimal Boolean Formulas (2011)
28 . That's the minimum number of AND or OR operators you need in order to write any Boolean function of five variables. Alex Healy and I computed that in April 2010. Until then, I believe no one had ever known that little fact. This post describes how we computed it and how we almost got scooped by Knuth's Volume 4A…
326
The Missing 11th of the Month (2015)
Personal website of David R Hagen, scientific software engineer
327
Infinite Grid of Resistors
There is a well-known puzzle based on the premise of an �infinite� grid of resistors connecting adjacent nodes of a square lattice. A small portion of such a grid is illustrated below.
328
The Hat, the Spectre and SAT Solvers (2024)
Introduction In this blog post you are going to read about two things:
329
100 years of Zermelo's axiom of choice: What was the problem with it? (2006)
Cantor conceived set theory in a sequence of six papers published in the Mathematische Annalen during the five year period 1879–1884. In the fifth of these papers, published in 1883, 1 he stated as a law of thought ( Denkgesetz ) that every set can be well-ordered or, more precisely, that it is always possible to…
330
Solving LinkedIn Queens with SMT
For sure easier than solving it in SAT!