software engineer, unix expert and knife collector

Sometimes playing a bit low level with Rust and Zig, other times developing garbage tools, but always reading papers and writing shitty code.

I like to play with type theories and lang dev. Functional programmer by default, no OOP allowed on this website.

               ,        ,
              /(        )`
              \ \___   / |
              /- _  `-/  '
             (/\/ \ \   /\
             / /   | `    \
             O O   ) /    |
             `-^--'`<     '
            (_.)  _  )   /
             `.___/`    /
               `-----' /
  <----.     __ / __   \
  <----|====O)))==) ) /====|
  <----'    `--' `.__,' \
               |        |
                \       /       /\
           ______( (_  / \______/
         ,'  ,-----'   |
         `--{__________)

  ______
 |  ____| __ ___  ___ 
 | |__ | '__/ _ \/ _ \
 |  __|| | |  __/  __/
 | |   | | |    |    |
 |_|   |_|  \___|\___|
  ____   _____ _____
 |  _ \ / ____|  __ \
 | |_) | (___ | |  | |
 |  _ < \___ \| |  | |
 | |_) |____) | |__| |
 |     |      |      |
 |____/|_____/|_____/