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


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

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

erlang-questions: A tale of push VS pull and authority VS lolberty

I just plowed through my email backlog for the first time in a long time to find that the venerable and seemingly eternal resource for n00bs and webtards in need sage graybeard advice known as the “erlang-questions” mailing list is now deprecated by the Erlang Something-or-other (Foundation? whatever). I suppose this means they intend to […]

Building Erlang on Devuan/Debian/Ubuntu

Erlang R24 is out! …but there are, as usual with a version X.0 release, a few rough edges (enough of them around the important-but-annoying WX and OpenGL updates that I’ll be writing another post about that shortly…). In the meantime, R23.3.4.3 is excellent and quite reliable. The steps for building with kerl are nearly identical […]


いくつかの無駄な考え: 天地万物はプランク限界でピクセル化されています。 エベレットとボーアの解釈はどちらも正しい: 宇宙は遅延評価され、未来は「記憶」するには費用がかかりすぎる. 相対論的効果は、イベントの評価に必要な伝播遅延と削減バジェットのために発生する創発現象です。 確率は文脈から外れて滑らかに見えますが、ピクセル化とイベント順序の依存関係により、無限に小さな確率のイベントが実際に発生することが制限されます。 実数は偽物であり、有理数は実数です。 すべての数値には有限の解像度があります。 上記の点のために、残念ながらかなり多くの数学が間違っています (たとえば、真のタンジェントは、単一の値ではなく、そのスコープによって制限される範囲です)。 しかし、偽の数学は、その大部分が真っ赤な嘘であると認めれば、工学を完成させるのに十分に妥当な近似値です。 人は、自分の幻覚に夢中になりすぎて、上記のことを注意深く考えることができません。

Tsuriai: Now engaging in smart contract work

I never thought I’d see the day, but Tsuriai (the tiny Japanese software company I work for) is now in the Ethereum smart contract market as a developer — which means I am now in that same market. Need a smart contract or blockchain/IPFS-based project developers/consultants/educators*?Just shoot the office an email at info@tsuriai.jp and they’ll […]