Programming Languages

Sometimes shortened as PL.

Posts here explore the wonderful world of programming languages, differences and intricacies between languages, compiler theory, type theory, and all the baggage that come along.

Thumbnail for N[Subtype Metaprogramming] is N[Mostly Harmless]
Thumbnail for N[Subtype Metaprogramming] is N[Mostly Harmless]

N[Subtype Metaprogramming] is N[Mostly Harmless]

Inheritance go brrrrrrrr... abusing turing-complete typesystems to write fun programs in Python.

2023‑10‑02
13 minute read
programming ctf types
Thumbnail for The Mathematics of Types
Thumbnail for The Mathematics of Types

The Mathematics of Types

Programming isn't about mindlessly typing away on a keyboard. There is an aesthetic quality that comes with approaching a problem.

2023‑04‑24
12 minute read
programming mathematics haskell
Thumbnail for SEAL
Thumbnail for SEAL

SEAL

Some Extensions for the Amy Language – a programming language project made with Scala.

2021‑12‑18
5 minute read
project scala programming