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

how the real revolution will begin

in the future cops will be fat pieces of shit like the humans in WALL-E (interesting things in that movie if you haven’t seen it yet) whose job will be controlling the sexual assault mobs in the Metaverse rather than actually policing real streets. Meanwhile actual policing of the streets will be handed over to […]

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

Erlang: How to browse ZX/Erlang source files on Windows

Windows is a profoundly annoying development platform for non-MS languages and a fairly rare deployment target so it doesn’t really get much in the way of attention or tooling. The smoothest Erlang experience on Windows so far is running applications via Vapor (a GUI frontend for ZX), but that depends on applications being developed and […]

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

Erlang: Protip — `throw` is an antipattern

throw is bad. EEP 0049 is a whole set of bad ideas. Deeply nested case is bad. Using if where it doesn’t belong is bad. try … catch is bad, but there are a handful of builtins and library functions that force you to use it instead of providing an ok | error return (use […]

Economics: Advent of the Generic CEO

“Financialization”, a process characterized by stakeholders in a business activity mixing up the metric of success (money) with metrics of performance (operational standards), has manifested some bizarre outcomes over the last few decades. These effects have come to dominate the economic landscape as money has become less and less representative of reality and government involvement […]