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

Preference falsification: common sense in the back, compliance in the front

Watering the streets Last summer a massive typhoon hit southern Japan, Taiwan, and eastern China. In Taiwan and Japan, such things are minor annoyances. Not so in communist China. You would think that a 5000-year-old civilization whose mythology centers almost entirely around managing floods would have the whole “managing floods” thing sorted out. But apparently […]

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

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

The chromopill

This was originally a Substack post. I would like to congratulate zxq9 on contracting me as his new star columnist. This is a major milestone for his publication, and you should all be proud of him. Every system that works rests upon a foundation of useful lies. There are three stages in understanding this Blue […]