lock1

...joined 5 months ago, and has 117 karma

submissions / comments / favourites

just a random guy which likes type system & (useless) math a little bit too much.

bit polyglot, 4 natural languages (funnily enough, one of them has the same name with PL) and quite a lot of PLs.

day to day: Java, Rust

other PLs, in descending order of familiarity: C99, Javascript, Typescript, Python, Haskell, x86 asm, C++23, Lua, Windows & Linux Shell Scripts, Pascal, Julia, Matlab, C#, Prolog.