🔆
Brenner ubønnhørlig i ravnens ild
I write Rust/Ruby. Devops in the past. I know some C++, Haskell, Nixlang, Elixir, and Ocaml. Interested in math, ATS, TLA+, Alloy, Isabell, Coq, Lean, Arend.
- Hong Kong SAR
Earned achievements
YOLO
YOLO
Loading
Pair Extraordinaire
Pair Extraordinaire
Loading
Quickdraw
Quickdraw
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
Starstruck
Loading
Pull Shark
x2
Pull Shark
x2
Loading