Trieu Hong Quan
QuanTrieuPCYT
Linux sysadmin since 2019. Tech tinkerer and @apple products user.
Founder at @ThiccMC Hanoi, Vietnam
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@coq-community Vietnam
David Nguyen
educatedpolarbear
From Hanoi with a little wind.
Posts and Telecommunications Institute of Technology Ha Noi - Viet Nam
PastaGringo
PastaGringo
Session ID :
059dce3709e7ad272ed8d598b5a26668c96a769fed6fab5ae192d56b8b42dbd160
In Da Cloud