Topics /

Math & Algorithms

The most popular blog posts about math & algorithms on Hacker News. 151 posts.

2020
95

The polls messed up

To continue our post-voting, pre-vote-counting assessment (see also here and here ), I want to separate two issues which can get conflated: 1. Problems with poll-based election forecasts.

98

Transformers Are Graph Neural Networks

Engineer friends often ask me: Graph Deep Learning sounds great, but are there any big commercial success stories? Is it being deployed in practical applications? Besides the obvious ones–recommendation systems at Pinterest, Alibaba and Twitter–a slightly nuanced success story is the Transformer architecture, which…

101

Doing a math assignment with the Lean theorem prover

Note: this post was written for Lean 3; the latest version, Lean 4, is a very different language. Turn back the clock to 2009: a confused physics major newly infatuated with math and computer science, I enrolled in MATH 273: Numbers and Proofs at the University of Calgary. This wasn’t my first encounter with…

111

MathJax Turns 3.0

When I launched bit-player.org in 2006, displaying any sort of mathematical notation on the web was torture. I would typeset an equation in LaTeX, convert the output to a JPEG image, upload the image file to a directory on the server, and embed a reference to the file in an HTML img tag. The process was cumbersome and…

115

Was Knuth Really Framed?

Recently, the formal methods specialist Hillel Wayne posted an interesting article discussing whether Donald Knuth was actually framed when Jon Bentley asked him to demonstrate literate programming . (Knuth came up with an 8-page long monolithic listing, whereas in a critique Doug McIlroy provided a six line shell…

120

Twenty Proofs of Euler's Formula: V-E+F=2

Many theorems in mathematics are important enough that they have been proved repeatedly in surprisingly many different ways. Examples of this include the existence of infinitely many prime numbers , the evaluation of \(\zeta(2)\), the fundamental theorem of algebra (polynomials have roots), quadratic reciprocity (a…