😋
Lover of formal specifications • Compiler developer • Linker enjoyer
-
00:04
(UTC +03:00)
Highlights
- Pro
Dennis P
dioptx
Surfing on/off-chain
Before data @binance, @glassnode, @optimism, @Arkham
| All neural outputs are my own or my dog
Athens, Greece
Gabriela Moreira
bugarela
Building Quint at @informalsystems
@informalsystems Joinville, SC - Brazil
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
Germany
Kadanstsev Georgii
FeorgeGeorge
Pure Mathematics graduate student, working on formalisation of category theory + mathematical logic
Beijing, China