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.
![terry davis on his van](terry_davis.webp)
, , /( )` \ \___ / | /- _ `-/ ' (/\/ \ \ /\ / / | ` \ O O ) / | `-^--'`< ' (_.) _ ) / `.___/` / `-----' / <----. __ / __ \ <----|====O)))==) ) /====| <----' `--' `.__,' \ | | \ / /\ ______( (_ / \______/ ,' ,-----' | `--{__________)
______ | ____| __ ___ ___ | |__ | '__/ _ \/ _ \ | __|| | | __/ __/ | | | | | | | |_| |_| \___|\___| ____ _____ _____ | _ \ / ____| __ \ | |_) | (___ | | | | | _ < \___ \| | | | | |_) |____) | |__| | | | | | |____/|_____/|_____/