1981
SATisfying Solutions to Difficult Problems
This post covers the same material as my !!Con 2024 talk , for which the slides are here .
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 2,392 posts.
1982
1983
The Busy Beaver Game
This month, a bunch of ‘logic hackers’ have been seeking to determine the precise boundary between the knowable and the unknowable. The challenge has been around for a long time. But on…
1984
Skip Lists are Fascinating
Skip lists are a fascinating data structure: very simple, and yet have the same asymptotic efficiency as much more complicated AVL trees and red-black trees.
1985
Decision Table Patterns
Decision tables are easy, simple, and powerful. You can teach them in five minutes and write one in half that time. You can look at a table and understand what it’s saying, see if it matches your problem, and check for design flaws. So it’s kinda weird that there’s basically nothing about them online. I wrote an…
1986
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
1987
1988
RSA: Theory and Implementation
RSA has been a staple of public key cryptography for over 40 years, and is still being used today for some tasks in the newest TLS 1.3 standard. This post describes the theory behind RSA - the math that makes it work, as well as some practical considerations; it also presents a complete implementation of RSA key…
1989
Bitwise Binary Search: Elegant and Fast
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 :
1990
TypeScript and Set Theory
How does set theory help to understand type assignability and resolution in TypeScript?
1991
1992
The Single Rotation rule: simple and rich reversible cellular automaton (2013)
See also other posts tagged Single Rotation . In the previous post I have presented the Reversible Cellular Automata simulator , along ...
1993
A Gentle Introduction to Backpropagation
A gentle introduction to backpropagation, a method of programming neural networks
1994
An Introduction to Hierarchical Modeling
A visual explanation of multi-level modeling
1995
1996
Zero-allocation Trie Traversal
As part of a demonstration in an upcoming article , I wrote a simple trie implementation. A trie is a search tree where the keys are a sequence of symbols (i.e. strings). Strings with a common prefix share an initial path down the trie, and the keys themselves are stored implicitly by the structure of the trie. It’s…
1997
Avoiding visible texture repetition (2015)
Tutorials and articles of Inigo Quilez on computer graphics, fractals, math, art, demoscene, shaders and more.
1998
1999
Modelling a Basic Income with Python and Monte Carlo Simulation
Basic Income is a popular policy floating around the internet lately. The idea consists of declaring that the government will pay each living adult a fixed amount of money every month - an amount comparable to a minimum wage job. This policy would then replace all current welfare programs - welfare, unemployment …
2000
The largest number representable in 64 bits
A rewrite of this blog post with many new insights and updates appeared in Jan 2026
2001
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!
2002
Math for kids outside of the Calculus Sequence
The Enrichment side of the "Accelerate vs Enrich" dichotomy in math education for kids who love math.
2003
Two Workers Are Quadratically Better Than One
For latency, anyway. A common architecture pattern is the “task queue”: tasks enter an ordered queue, workers pop tasks and process them. This pattern is used everywhere from distributed systems to thread pools. It applies just as well to human systems, like waiting in line at a supermarket or a bank. Task queues are…
2004
2005
Mathematical Jargon Failures
From the highly eclectic blog of Mark Dominus
2006
Closing the “green gap”: energy savings from the math of the landscape function
I recently returned from the 2025 Annual Meeting of the “Localization of Waves” collaboration (supported by the Simons Foundation, with additional related support from the NSF), where I…
2007
Computing primes with CSS
I’ve been working on a redesign of this site, so doing more CSS, finally internalizing Sass, etc. During my reading, the nth-child pseudo-class caught my eye.
2008
Gödel's Incompleteness Theorem explained
This theorem is one of the most important proven in the twentieth century. Here are a few brief selections that will help you start to understand it. Gödel’s original paper “On Formally Undecidable Propositions” is available in a modernized translation . It’s also in print from Dover in a nice, inexpensive edition …
2009
Optimizing Your Wife
If a man can expect to meet exactly N eligible women in his life, what strategy should he use to maximize his chances of choosing the very best one? We typically make some idealized assumptions when solving this type of problem, such as assuming that he meets the women in random order of "goodness", that there is an…
2010
The Holy Trinity: Logic, Languages, Categories (2011)
The Christian doctrine of trinitarianism states that there is one God that is manifest in three persons, the Father, the Son, and the Holy Spirit, who together form the Holy Trinity. The doctrine…