Bret Devereaux (A Collection of Unmitigated Pedantry)2023121 points5 commentscited by 3History & Retro Computing details
One of the first questions anyone asks about past societies is, ‘how many people were there?’ It is one of those basic bits of information and generally speaking those of us who teach t…
Premature optimisation might be the root of all evil, but overdue optimisation is the root of all frustration. No matter how fast hardware becomes, we find it easy to write programs which run too slow. Often this is not immediately apparent. Users can go for years without considering a program’s performance to be an…
We describe a graph-theoretic analogue of vector calculus. The linear operators of vector calculus (gradient, divergence, laplacian) correspond to the matrices naturally associated to graphs (incidence matrix, adjacency matrix). This analogy is useful for formalizing the discretization of some problems in image and…
A compilation of my Raymarching and Signed Distance Field learnings and work. In it, I teach you how to leverage those techniques along with lighting models, smoothmin, soft shadows, and some math to create beautiful 3D raymarched scenes ranging from abstract shapes to infinite realistic-looking landscapes.
Lisp in Life is a Lisp interpreter implemented in Conway’s Game of Life.
John D. Norton Department of History and Philosophy of Science, University of Pittsburgh Pittsburgh PA 15260. Homepage: www.pitt.edu/~jdnorton This page is available at www.pitt.edu/~jdnorton/goodies
An embedding is the representation of a piece of text like a word, sentence, or paragraph. Traditionally this value is in the form of a mathematical vector - a point in space. You can think of it as analogous to coordinates on a map that just happens to have many, many dimensions.
Much has been written about how to generate random 64-bit integers; people might argue over which particular (CS)PRNG is best suited for a given task, but there is agreement on the general shape of the solution: keep some state around, and then extract 64 bits of randomness at a time, where each bit is equally likely…
A common assumption I see on the ‘net is that NP-complete problems are impossible to solve. I recently read that dependency management in Python is hard because package resolution is NP-complete. This is true in principle, but the reality is more complicated. When we say “NP-complete is hard” we’re talking about…
I came across a question: How does one efficiently solve Two Sum in C? There’s a naive quadratic time solution, but also an amortized linear time solution using a hash table. Without a built-in or standard library hash table, the latter sounds onerous. However, a mask-step-index table , a hash table construction…
Some anomalies/questions which are not necessarily important, but do puzzle me or where I find existing explanations to be unsatisfying.
I was buying a used book through Amazon this evening. Three resellers offered the book at essentially the same price. Here were their ratings: 94% positive out of 85,193 reviews 98% positive out of 20,785 reviews 99% positive out of 840 reviews Which reseller is likely to give the best service? Before you assume it's
I recently read the article Beautiful Branchless Binary Search by Malte Skarupke. In it they discuss the merits of the following snippet of C++ code implementing a binary search :
Tutorials and articles of Inigo Quilez on computer graphics, fractals, math, art, demoscene, shaders and more.
A rewrite of this blog post with many new insights and updates appeared in Jan 2026
The Enrichment side of the "Accelerate vs Enrich" dichotomy in math education for kids who love math.
(This is a guest post by Bhavik Mehta) On March 16, 2023, a paper by Campos, Griffiths, Morris, and Sahasrabudhe appeared on the arXiv, announcing an exponential improvement to the upper bound on R…
Exact line rendering of smooth surfaces is harder than anyone would think
I've tried to write a blog post on tag systems for years now. Literally years, I think I first started drafting it out in 2018 or so? The problem is that...
This post is an offshoot from Chapter 1 of Probably Overthinking It, which is available for pre-order now! Suppose you measure the arm and leg lengths of 4082 people. You would expect those measurements to be correlated, and you would be right. In the ANSUR-II dataset, among male members of the armed forces, this…
Emergency special: The information we need to understand what Q* is was right in front of us, but the memes are more fun than reality.
Once upon a time, my curiosity of dependent types transitioned into an endeavour to learn how they work under the bonnet. Then I found the paper called “A Tutorial Implementation of a Dependently Typed Lambda Calculus” or just “Simply Easy” – and began reading it. However, the affairs happening there were so complex…
Frequency-domain blue noise generator
No reckoning allowed save the marvelous arithmetics of distance (from Smelling the Wind by Audre Lorde) Suppose a child comes up to you and says “I know 1 is odd and 2 is even, but I think 4 is mor…
My colleagues and I are disagreeing on the differentiation between machine learning and Bayesian statistical approaches. I find them philosophically distinct, but there are some in our group who would like to lump them together as both examples of machine learning. I have been favoring a definition for Bayesian…
Mathematics is famously concerned with numbers . However, most of the physical quantities that we encounter in everyday experience cannot be expressed as numbers alone.
Five not-quite-normal uses
Recently, somebody shared on Twitter a new proof of the irrationality of √2. Its claimed advantage is that “it requires no knowledge of mathematics above the definition of what it means for a number to be irrational, and can be written almost in one line.” These claims are dubious: the usual proof, which I’ve…
