Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Ibrahim Ghonem
Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog
Sky limit Egypt
Kyle Lin
ChAoSUnItY
CSIE student form Taiwan. Compiler researcher. @vlang member. @CleanroomMC co-founder.
Taiwan, Taipei
Ayberk Tosun
ayberkt
Researcher in formal verification @zeroth-research
Zeroth Research Birmingham, UK
CHENG KUN
ck76
一期一会
Software Engineering is about tradeoffs, there is no one right answer.
NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai
Wen Kokke
wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai
Scotland
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Tommy Chiang
oToToT
Lots of drafted repos here.
I make things safer and faster.
PGP: 345C3A4D42D5023E0C12F52F2CAA28B5410E84
/dev/urandom Taipei, Taiwan
Andy Pan
andy0130tw
Write code to explore any possibilities, not to seek the answers, but to understand the questions.
/* FOSS collection: @qbane */
NTUOSC Taipei, Taiwan
PreviousNext