181
How Chordcat works – a chord naming algorithm
chordcat is a chord-naming application and a pet project of mine. It is written in C++ and SFML.
182
Solving climate change by abusing thermodynamic scaling laws
A wintertime climate change solution
183
A proof of proof by infinite descent
WARNING: the following contains a whole lot of pedantry about proving theorems at a level of detail such that you could likely convince a co...
184
Understanding the Y Combinator
This article is about the Y combinator, a fixed-point combinator that provides a way of using recursion in scenarios and programming languages where symbols are not available. The concept of the Y combinator itself is closely related to lambda calculus (λ-calculus) and functional programming languages. More…
185
Breaking Bell's Inequality with Monte Carlo Simulations in Python
The article explains the Bell inequality using Monte Carlo simulations in Python, and shows how non-local action-at-a-distance can be used to break it with entangled qubits.
186
Doing First Grade Math in Rust's Type System
MIT student who enjoys performance engineering, compilers, and creating unconventional code
187
Hacking physics from the back of a napkin (2020)
February 24, 2020. The computational power of a humble napkin is awesome. I discuss three napkin algorithms — dimensional analysis, Fermi estimates, and random walks — and use them to figure out why rain falls, the length of the E. coli genome, and the mass of a proton, among other things. These examples suggest a…
188
Quicksort with Jenkins for fun and no profit
I first encountered Jenkins in 2007 while contributing to the Apache Nutch project. It was called Hudson back then. The nightly builds for the project ran on Hudson at that time. I remember sifting through my emails and reviewing build result notifications to keep an eye on the patches that got merged into the trunk…
189
Square roots and maxima
A brief numerical and graphical check on a 3Blue1Brown video.
190
191
192
Floating points between zero and one
floating-points-between-zero-and-one - Chad Nauseam Home
193
Taming floating-point sums
Suppose you have an array of floating-point numbers, and wish to sum them. You might naively think you can simply add them, e.g. in Rust:
194
Fine, I'll Play With Skiplists
Follow me on Bluesky! A Log-Structured Merge tree, or LSM, is a popular data structure for storage engines. It’s what is used by RocksDB, which is sort of...
195
196
Maximum likelihood estimation and loss functions
When I started learning about loss functions, I could always understand the intuition behind them. For example, the mean squared error (MSE) for regression seemed logical—penalizing large deviations from the ground-truth makes sense. But one thing always bothered me: I could never come up with those loss functions on…
197
Not so fast, Mr. Fourier
A real explanation of discrete Fourier transform (DFT, FFT), discrete cosine transform (DCT), and their inverses.
198
Strange Attractors (2018)
Interactive Mathematical Applets and Animations
199
Sets, types and type checking
My currently understanding of types
200
Defining Statistical Models in Jax?
This is Bob. And I’d like to know the best way for us to code a bunch of models in JAX to use to evaluate parallel algorithms including normalizing flows. I’m going to dump out my current thinking, but I’m really hoping to get feedback from experts on the best way to do this without starting a flame war in the…
201
Not all graphs are trees
It's pretty easy to imagine how to represent relational algebra expressions as a tree—they are already structurally rooted trees where each operator has its...
202
Romeo and Julia, Where Romeo Is Basic Statistics
Hello there. This is an open access book entitled: “Romeo and Julia, where Romeo is Basic Statistics”. So I guess it’s gonna be about a programming language named Julia and its usage for basic statistics.
203
Make a "Magic Eye" image using Excel
I’ve been on a weird kick lately making images using Excel. [Here’s one post. I hope to post more soon.] If you add a background color to each cell in a spreadsheet and resize the cell …
204
Turing Machines
An interactive introduction to Turing machines, the theoretical foundation of modern computing.
205
Linear Algebra of Types (2019)
It gives my brain a pleasant thrum to learn new mathematics which mimics the algebra I learned in middle school. Basically this means that the new system has operations with properties that match those of regular numbers as much as possible. Two pretty important operations are addition and multiplication with the…
206
One Plus One Equals Two (2006)
From the highly eclectic blog of Mark Dominus
207
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…
208
Collatz’s Ant
if $n \equiv 0 \, (\text{mod}\, 2)$ the ant turns 90º clockwise, else the ant turns 90º counter-clockwise. On both accounts, the state of the cell is flipped and the ant moves forward one unit. This is repeated until $n = 1$.
209
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!
210
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