Visual intuition for the Euclidean algorithm

I have a broader goal of demystifying cryptocurrency, and making it generally useful for ordinary people to do ordinary non-criminal commerce with it. Part of that is improving tooling, and part of that is making the theoretical underbelly of cryptography and cryptocurrency more accessible. Here’s the thing: none of this is complicated. All of it […]

Podcast: The Roman Rapist Mindset, measuring your goals and why Euclid’s parallel copy procedure breaks (answer: I did it incorrectly)

This started as one of my Euclid videos, and ended up being an interesting conversation over an entire range of topics. The Euclid parallel copy question got answered, at 01:37:34. The first two hours or so are about the Euclid series as a whole, explaining the idea and what my plans are with the series. […]

(Video) Sharper intuition for tensors

Previously, I wrote a post laying out some rough intuition for tensors. I made a video where I took the intuition one additional step closer to being concrete The basic setup is we have a matrix. We then just ask simple questions about the matrix, and see how this “tensor” structure emerges as a natural(ish) […]

Rough intuition for tensors

As part of some original work I’m doing (which I will be elucidating here for you all soonish), I’ve been learning about tensors, a subject with which I am only vaguely familiar. The tensor abstraction is very mathematically weird, because it is stateful. It’s almost like object-oriented programming ported into mathematics. Despite it’s mathematical weirdness, […]

Experimental new series: Foundations of QAnal

I may or may not stick with this. I am having horrible writer’s block trying to write this all out in a LaTeX PDF, Erlang, my videos, or in my Revelations. So I’m trying the blog medium. The blog has the “fire and forget” property. So we’ll see. QAnal is my fork of mathematics. QAnal […]

Standarditis

This is a repost of a Substack post If you don’t know, I have a series of “podcast length” mathematical documents that I call Revelations, which you can find on my GitLab. I’m composing a new one (Revelations 27) right now about WF Algebra, which is a mindblowing take on formal logic. I wrote out […]

Testing Textually Composed Numbers for Primality

Last night on Twitter one of my favorite accounts, @fermatslibrary, put up an interesting post: Start with 82 and go backwards to 1 82818079787776757473727170696867666564636261605958575655545352515049484746454443424140393837363534333231302928272625242322212019181716151413121110987654321 …this number is prime!— Fermat’s Library (@fermatslibrary)November 20, 2019 Start at 82 and write it down, then 81, write that down, etc. until you reach one, and you’ve written a (huge) […]

Erlang: Naive Matrix Multiplication

Someone asked what was surely a homework question today on StackOverflow about matrix multiplication in Erlang. I set out to answer him in as simple a way as possible, but wound up writing a naive matrix generation and multiplication module. The code to the module might be of interest to new Erlangers, as it adheres […]