Software developer. Java, Typescript/Javascript, Python, SQL, Solidity, C/C++, Rust, Haskell, Agda, Assembly, Rust, Shell.