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

Building a fuzzy, hallucinating key-value store using attention

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

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

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

Crossing the Zürisee (partly)

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

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.

Notes on visualizing qubits with the Block sphere

Because rogue dialogs are a thing