About me

Type theorist. Rolling my own crypto.

• E-mail: mdwuaidiuawhdiuhe@lajxujxujuxjujus.rs
• GitHub: @L-as
• Matrix: @Las:matrix.org

Posts

• All you need is higher kinded types - 2023-01-13
• Using Haskell as my shell - 2021-07-23
• vfork, close_range, and execve for launching processes in Procex - 2021-07-20
• F2FS swap files broken and the arcane ritual to fix them - 2021-07-07

This page has a markdown version

Atom Feed

Public PGP key (6B66 1F36 59D3 BAE7 0561 862E EA8E 9467 5140 F7F4)