Language Design: When Less is More

Yesterday I was invited to do an interview with the man behind Erlang Punch, Mathieu Kerjouan. Mathieu is a truly great programmer, an absolutely excellent interviewer, and it was a lot of fun to get to do something task-focused with him like this. He asked some pretty broad questions about Erlang as a language, as […]

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

Ethereum RLP Encoding w/code in Erlang and TypeScript

This is a standard for encoding arbitrary(ish)-depth lists of lists of … of lists of bytestrings, as a single bytestring. -type decoded_data() :: binary() | [decoded_data()]. -spec encode(Data) -> RLP when Data :: decoded_data(), RLP :: binary(). -spec decode(RLP) -> {Data, Rest} when RLP :: binary(), Data :: decoded_data(), Rest :: binary(). Ethereum’s docs are […]

Base64 v. Base58 with code in Erlang and TypeScript

Base64 and Base58 are two algorithms for encoding byte arrays to plain text. I initially assumed these were two instances of the same “Base N” algorithm. This is not the case. These are two fundamentally different algorithms. Base64 is simpler. It treats your byte array as a stream of bytes. It encodes 3 bytes at […]

Diaries of a non-consensual JavaScript developer, episode 2: my grand scheme to make my code style more readable has failed mildly

From my grand scheme to make my code style more readable has failed mildly did you know that javascript is retarded Idea: transform async function foo_doo(bar: baz, quux: quuz, buzz: fuzz) : Promise<fuzz> { … } into async function foo_doo(bar : baz, quux : quuz, buzz : fuzz) : Promise<fuzz> { … } I […]

Diaries of a non-consensual JavaScript developer, episode 1: dumdum JS object pointer logic

As part of an elaborate S&M fantasy roleplay, I have over the last handful of months been forced to spend significant time developing a real commercial project in JavaScript and TypeScript. During this period, I have learned quite a lot about both languages and how they work. And I’m going to share what I have […]

Angry dragon problems: when great floods happen, it’s time to overthrow the emperor

Let’s start with debunking the narrative that “dragons are a myth”. The liberal media would have you believe that the Welsh, the Japanese, the Chinese, the Greeks, and even the Eskimos independently invented identical myths about giant fire-breathing reptiles who live inside bodies of water and are the source of chaos in the world. Right. […]

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

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