The Institute for Type Safe Memetic Research

@typememetics

Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazard.

London, England

Joined July 2025

Pinned
The Institute for Type Safe Memetic Research
@typememetics
Nov 22, 2025
We are rewriting FFmpeg in Rust. C has been rolling dice with the internet's video infrastructure for 50 years and it is time to end the memetic hazard. If you are tired of buffer overflows, UB roulette, and "works on my machine" energy, help us fund the rewrite.
The Institute for Type Safe Memetic Research
@typememetics
1h
Imperative programmers have somehow confused the contingent design of a computer with ontology. "The machine is imperative." Brother, why the fuck do you care what the machine thinks? We could create languages, runtimes, hardware around human reasoning and human flourishing.
The Institute for Type Safe Memetic Research
@typememetics
13h
In proper languages like Haskell, OCaml, and Lean, you try to describe reality while fighting your own inability to fully grasp it. In languages like C, C++, and Zig, you try not to accidentally invoke undefined behavior while fighting some retarded decision a retard made years
The Institute for Type Safe Memetic Research
@typememetics
Aug 11
Devs who attack our Western values are sad. Join the Defenders of Complexity to repudiate the unwashed masses and defend our way of life.
The Institute for Type Safe Memetic Research
@typememetics
Aug 10
SHOW ME YOUR TYPEFUCKERY