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.
Interested in making things safe and fast.
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
Andrea Laretto
iwilare
λ(λ1(00))(λ1(00)) • モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？
Tallinn University of Technology Tallinn, Estonia
PreviousNext