New
The latest blog posts to take off on Hacker News. 221 posts.
A mathematical formalization of dimensional analysis (2012)
Mathematicians study a variety of different mathematical structures, but perhaps the structures that are most commonly associated with mathematics are the number systems, such as the integers $late…
Painting with math: A gentle study of raymarching
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.
What Is Dimensional Analysis?
Mathematics is famously concerned with numbers . However, most of the physical quantities that we encounter in everyday experience cannot be expressed as numbers alone.
How large is that number in the Law of Large Numbers?
All large numbers are large, but some are larger than others
Category Theory Illustrated – Sets
Ready, set , begin… (you don’t know how hard I tried to resist to making that pun). We begin our inquiry with the theory of sets. Set theory and category theory share many similarities. We can view category theory as a generalization of set theory. That is, it’s meant to describe the same thing as set theory…
Towards a new SymPy
This is the first part of a series of posts on big changes for SymPy with particular focus on speed. What I am going to describe in these posts are:
Chemists develop new way to split water
The news portal offers current information about studies, research and life at Münster University.
Scientists use quantum device to slow chemical process by factor of 100B
In a world-first experimental result, scientists at the University of Sydney have used a quantum computer to coax an atom to behave the same way as a photo-chemical process that underpins the speed of human vision and solar energy harvesting - only at speeds 100 billion times slower than in nature.
Bézier Curves and the logic behind them
The logic behind Bézier Curves used in CSS animations and visual elements.
Types versus sets (and what about categories?) (2022)
A recent Twitter thread brought home to me that there is widespread confusion about what types actually are, even among the most prominent researchers. In particular: are types the same thing as sets ? At the risk of repeating some of my prior posts, perhaps it’s time for a little history about type theory, set theory…
Echo Chess: The Quest for Solvability
Chess puzzles, but you are what you eat.
How Correlated Are You?
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…
How far can you jump from a swing?
In this post I derive the physics of pumping a swing and the physics of jumping from a swing. Then, using both pieces I compute the optimal strategy of jumping from a swing to maximize the traveled distance. I propose this game as a new Olympic sport.
C.R. Rao: A Life in Statistics (2020)
Presently into the 100th year of his life of vast experience, living in his Buffalo residence, here is a video message communicated by his daughter when he turned 99, at the beginning of a year-long celebration, with conferences in his honour at various places.
Thoughts about what worked in math circles
Thoughts about what worked in math circles After about 7 months of math circles with a group of 7- turning 8-year-old boys and girls, I decided to take a...
Domain Repetition
Tutorials and articles of Inigo Quilez on computer graphics, fractals, math, art, demoscene, shaders and more.
My favorite prime number generator
Many years ago I've re-posted a Stack Overflow answer with Python code for a terse prime sieve function that generates a potentially infinite sequence of prime numbers ("potentially" because it will run out of memory eventually). Since then, I've used this code many times - mostly because it's short and clear. In this…
Fusion Foolery
Great. The fusion hype is bad enough already. Now its resurgence is going to interrupt the series of posts I’m in the middle of publishing in order for this post to be “timely.”
NP-hard does not mean hard (2017)
When NP-hardness pops up on the internet, say because some silly blogger wants to write about video games, it’s often tempting to conclude that the problem being proved NP-hard is actually very hard! “Scientists proved Super Mario is NP-hard? I always knew there was a reason I wasn’t very good at it!” Sorry, these two…
Exploring the design space of binary search trees
Open-source research project that explores the design space of binary search trees to implement persistent and concurrent linear list data structures.
Symmetry in Chaos
The following is based upon systems of equations found in "Symmetry in Chaos, A Search for Pattern in Mathematics, Art, and Nature" (the second edition) by Michael Field and Martin Golubitsky. They ask the question whether there are aperiodic chaotic attractors that generate symmetric patterns? Can there be order…
Fastest branchless binary search
Fastest general and simple binary search C++ implementation
Do Machine Learning Models Memorize or Generalize?
An interactive introduction to grokking and mechanistic interpretability.