Writing a type-checking calculator

To learn about typecheckers, I decided to make a small typed calculator. I figured this could be useful to other folks trying to learn about implementing typed languages. High-level requirements 🔗 Support integer, float and boolean datatypes and common operations on them Support typechecking of expressions Support variables Take multiple expressions, one per line, and evaluate each in order: Report type errors if any Print evaluation result if no errors An expression can use variables set in previous expressions Example program 🔗 1 2 3 a = 42; b = 10; a + b < 100; Running the above should print

Attention - this value does not exist

Building a fuzzy, hallucinating key-value store using attention

Notes on CNNs

…Because the shape-fu involved needs to be relearned everytime

Python's for loop syntax is more flexible than I thought!

TL;DR - All assignment LHS forms are valid syntax for the for-loop target

Tihai in Indian music

Simple or complex rhythmic patterns designed to be played thrice as a bridge

Seeüberquerung 2022

Crossing the Zürisee (partly)

Quantum programming baby steps

Quantum programming languages expose low-level detail; Opportunities abound for abstractions

Remapping delete to escape on Arch Linux

This will work for X based installations, and not just for the Del key. KDE/Gnome usually have tools to remap a fixed set of keys to escape (e.g., Caps Lock), but I could not find a setting in KDE for Del -> Esc. First, use xev to figure out what the hex keySym is for your Del key. In my case it showed 0xffff, but turned out that was not it.

The Bloch sphere

Notes on visualizing qubits with the Block sphere

What program does that dialog pop-up come from?

Because rogue dialogs are a thing