---
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)