LinkHub

Some articles, videos, and projects that I like. This list is by no means complete.

Mathematics

• article Don't you mix up semantics inside a theory with the semantics of that theory.
• article Oh, my favorite! Löb's theorem is so beautiful.
• video A very surprising estimator in statistics.
• video A simple game to demonstrate (nonpositive) almost-sure termination.
• video The necessity of Brownian motion and its role in stock markets.
• video I love topological combinatorics, so this one is a must.
• project A useful library of graphs.
• video Finding oil, cheaply.
• other Many interesting perspectives on the trace of a matrix.
• video A market manipulation simulator.
• article A computer scientists perspective on Galois Fields.

Graphics and Games

• video Bézier Curves.
• video On raytracing for audio in 3D games.
• project Native vulkan bindings for rust.
• video Splines and forms of continuity.
• video Making a slim Vue/Angular clone.
• article Use exponential smoothing for animations!
• article Graph Coloring for Contact Generation.

Programming

• article A cache-friendly binary search.
• article Edward Kmett on invariant functors and their purpose.
• project The HVM is an impressive feat of recursion theory and clever data structures.
• article How Minecraft is modded through the direct manipulation of Java bytecode.
• article How Facebook uses dynamic hotswapping of Haskell code for their rollouts.
• article I just thought this one on `typed-protocols` looks neat.
• article Haskell has no state monad, who would have thought?
• article The builder pattern may be useful after all!
• article If you [dont fear the monad], look at the continuation submonad!
• article A visual comparison of rate limiting algorithms.
• project Run python in hardware.

Optimization

• article Some intution on Nesterov’s (almost optimal) gradient method.
• video Robert Bixby explains how the dual simplex method should be implemented.
• article Simple enough Integer Programming for Compiler.s

Model Checking

• project An easy-to-use python frontend for the Storm model checker.
• article How to mine bitcoins with the C bounded model checker!
• paper A very interesting application of model checking from Amazon: Verified Foundations for Differential Privacy.

Project Management

• spec Semantic Versioning.
• spec Changelogs matter.
• spec Commit to your messages.

Other

• project A neural atlas construction game. Do you know Theia?
• article The protein of the month (with cool illustrations)!
• article The irony of the irony of the Dunning-Kruger effect. It's not there.
• video The mount-stupid curve, or the irony of the Dunning-Kruger effect.