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: Why does Euclid’s parallel copy construction break in this weird way?

Update (2023-04-22): it was because I did it incorrectly. I have a very nonconventional approach to math. There’s a fake question that’s posed a lot in math, which is is mathematics invented or discovered? I previously thought it was a stupid question because it has no impact on how one does math, until I heard […]

(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, […]

QAnal is exactly Entropist mathematics

The two thinkers who have had the most influence on my thinking are Norman Wildberger and Nassim Nicholas Taleb. In a sense, my two big projects are a reflection of each school of ideas: QAnal is Wildberger’s influence, and Entropism is Taleb’s influence. There’s a rough idea here that I haven’t quite figured out how […]

First steps in rational geometry | FQA 4

This is part of an ongoing series called Foundations of QAnal Outline Today we’re going to talk about very basic points and lines geometry. Specifically we are going to address the following questions: What is a point? What is a line? How do we calculate the line that intersects a pair of distinct points (the […]

The SHOCKING truth about determinants

I recently wrote an article about how to code rational arithmetic in Erlang. In the article, I mentioned that the criteria for two rationals a/b and c/d to be equal is if ad – bc = 0. If you are even a little bit familiar with linear algebra, you will recognize that as a determinant. […]

Rational number arithmetic in Erlang | FQA 2

This is post number 2 in an ongoing series called Foundations of QAnal. Outline The goal for today is for you to understand what a rational number is how it is represented in Erlang how the operations are defined basic properties of the operations This is going to be brief (ish). I want to talk […]

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 […]