-
Institute of Information Science, Academia Sinica
- Taiwan
- https://l-tchen.github.io
- @ltchen@mathstodon.xyz
Kyle Lin
ChAoSUnItY
CSIE student form Taiwan. Compiler researcher. @vlang member. @CleanroomMC co-founder.
Taiwan, Taipei
Ayberk Tosun
ayberkt
PhD student at the University of Birmingham.
University of Birmingham 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
Andrew Kvapil
viluon
Any technology distinguishable from magic is insufficiently advanced.
Except for AI. Shut it down.
@Deutsche-Boerse Czech Republic
PreviousNext