1081
Writing my own dithering algorithm in Racket
My journey implementing a new dithering algorithm in the Racket programming language.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 2,391 posts.
1082
Lambda Calculus Diagrams (2015)
The following table shows diagrams of identity, the booleans, some standard combinators, some Church numerals, the predecessor function on Church numerals, and Omega. term definition diagram alternative I/1 λx.x K/true λx.λy.x false/0 λx.λy.y S λx.λy.λz.(x z)(y z) Y λf.(λx.x x)(λx.f(x x)) 2 λf.λx.f(f x) 3 λf.λx.f(f(f…
1083
Pi and the Golden Ratio
Two of my favorite numbers are pi: $latex \pi = 3.14159… $ and the golden ratio: $latex \displaystyle{ \Phi = \frac{\sqrt{5} + 1}{2} } = 1.6180339… $ They’re related: $latex \pi =…
1084
A dive into spatial search algorithms
Searching through millions of points in an instant
1085
1086
1087
The Art and Mathematics of Genji-Ko
You might think it’s unlikely for any interesting mathematics to arise from incense appreciation, but that’s only because you’re unfamiliar with the peculiar character of Muromachi (室町) era Japanese nobles. There has never been a group of people, in any time or place, who were so driven to display their sophistication…
1088
Linear algebra explains why some words are effectively untranslatable
A modest mathematical framing of language
1089
Weighing a Car with Tire Pressures
The first thing I wanted to do with my Saab 96 was to establish a baseline weight.
1090
What are the complex numbers, really?
Where did complex numbers come from? You might think that people invented \(i\) just so that they had a solution to the quadratic equat...
1091
Toward an API for the Real Numbers
Towards an API for the real numbers, Boehm, PLDI’20 Last time out we saw that even in scientific computing applications built by experts, problems with floating point numbers are commonplace. …
1092
Compressing Images with Neural Networks
An introduction to learned image compression using neural networks.
1093
1094
Double encryption: Analyzing the NSA/GCHQ arguments against hybrids
In 2019, Google and Cloudflare ran an experiment where they upgraded HTTPS for many "real users’ connections" to use post-quantum encryption. They then reported statistics on how affordable this was. Google had also run a similar experiment in 2016: "While it's still very early days for quantum computers, we're…
1095
Hamilton-Jacobi-Bellman Equation: Reinforcement Learning and Diffusion Models
Why the HJB is Bellman's equation in continuous time, why continuous time matters, and how to solve the resulting control problem with neural policy iteration.
1096
To approximate 52! by hand, compute 54! and divide by 3000
Some time ago I gave a talk in which I showed that something unexpected happened with a deck of playing cards. I had some volunteers try it, and while they did so I talked about just how many orderings there are for 52 cards. I computed (an approximation to) $52!$ (52 factorial) by hand. It's not so hard - you just…
1097
1098
1099
1100
Path Tracing 3D Fractals
In some ways path tracing is one of the simplest and most intuitive ways to do ray tracing.
1101
Gaussian Processes from Scratch (2019)
This post explores some concepts behind Gaussian processes, such as stochastic processes and the kernel function. We will build up deeper understanding of Gaussian process regression by implementing them from scratch using Python and NumPy.
1102
A brief introduction to the beauty of Information Theory
Lambdaclass's blog about distributed systems, machine learning, compilers, operating systems, security and cryptography.
1103
1104
1105
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…
1106
An unwinnable seed of Slay the Spire
Overview In this post, I will describe a collaborative effort that proved that unwinnable Slay the Spire seeds exist. This project is joint work with gamerpuppy and ForgottenArbiter and is based on the several attempts that have been made to prove unwinnability for seeds in Slay the Spire.
1107
Signals, the push-pull based algorithm
We have been using Signals in production for years via several modern front-end frameworks like Solid, Vue, and others, but few of us are able to explain how they work internally. I wanted to dig into it, especially diving deep into the push-pull based algorithm, the core mechanism behind their reactivity.
1108
Basic skeletal animation with geometric algebra
Klein - Realtime Projective Geometric Algebra
1109
A ternary plot of citrus geneology
Interactive ternary chart of citrus ancestry
1110
Calculus on Computational Graphs: Backpropagation (2015)
Backpropagation is the key algorithm that makes training deep models computationally tractable. For modern neural networks, it can make training with gradient descent as much as ten million times faster, relative to a naive implementation. That’s the difference between a model taking a week to train and taking 200,000…