--- author: Las Safin keywords: - functional programming - nix - haskell - rust title: Las Safin ... # About me Type theorist. Rolling my own crypto. - E-mail: mdwuaidiuawhdiuhe`@`{=html};lajxujxujuxjujus.rs - GitHub: [\@L-as](https://github.com/L-as) - Matrix: [\@Las:matrix.org](https://matrix.to/#/@Las:matrix.org) # Posts - [All you need is higher kinded types](/blog/all-you-need-is-hkt-s.html) - 2023-01-13 - [Using Haskell as my shell](/blog/haskell-as-shell.html) - 2021-07-23 - [vfork, close_range, and execve for launching processes in Procex](/blog/vfork_close_execve.html) - 2021-07-20 - [F2FS swap files broken and the arcane ritual to fix them](/blog/f2fs.html) - 2021-07-07 This page has a [markdown version](./index.md) [Atom Feed](/atom.xml) [Public PGP key (6B66 1F36 59D3 BAE7 0561 862E EA8E 9467 5140 F7F4)](/public-pgp-key.txt)