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 comes along.

Thumbnail for 5 Weekend Reads You Missed: BOOMlang v2, Blue Team Strikes Back, ET, CVSS 4.1, and DLLModules
Thumbnail for 5 Weekend Reads You Missed: BOOMlang v2, Blue Team Strikes Back, ET, CVSS 4.1, and DLLModules

5 Weekend Reads You Missed: BOOMlang v2, Blue Team Strikes Back, ET, CVSS 4.1, and DLLModules

Breaking news, awesome stuff happened!

2025‑04‑01
8 minute read
satire infosec programming
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
12 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
10 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
4 minute read
project scala programming