Valentin Semirulnik
7rulnik
JS engineer at aviasales.com
https://t.me/valya_reads_issue
@KosyanMedia Tbilisi, Georgia
Julian Pokrovsky
raventid
Rust and Ocaml daily. Infra dev in the past. Used to write C++, Haskell, Nixlang, Ruby, Elixir. Interested in math, ATS, TLA+, Alloy, Isabell, Coq, Lean, Agda
Hong Kong SAR