Users following reduce-algebra
Yi Fang
Sdywolf
I'm a PhD student in the Programming Language Lab of Peking University. I'm interested in program verification, particularly in system and protocol.
Peking University Beijing, China
Mauro Risonho de Paula Assumpção
firebitsbr
Pencil/Paper, Algorithm, Telex, Sharp ELSI MATE IEL-8016R(my mother's calculator), AppleII, MSX2, Pentium 75Mhz ... IBM Quantum.
Transcending Digitally...
Universe Universe
Jeffrey H. Johnson
johnsonjh
Not RPM developer Jeffrey Johnson. Not XTree developer Jeffrey Johnson. Not Jeffrey Johnson, Google Senior Software Engineer. Not the robotic engineer, either.
BAN AI Systems https://keybase.io/trnsz