📖
Learning...
Interested in and learning mathematical logic
- Guangdong, China
-
01:20
- 8h ahead - https://hagb.name
delthas
delthas
Passionate developer: multimedia (compression & streaming), networking (hole-punching, IM protocols, IRCv3). ♥Go/C/Flutter.
Coding on sr.ht & other Git servers
France
ChocoFleece
ChocoFleece
简体中文用户
ArchLinux User
I'm originally from China, but I'm currently studying in Japan.
Tokyo, Japan
billchenchina
billchenchina
🏳️⚧️
Currently working at deepin (UnionTech). This is my personal account. Employee account: @UTsweetyfish
Wuhan
Yu Zhuohao
yuzh2001
Second year of the Doctorate program majored in Software Engineering in ISCAS.
Developer of the Bamboo Debate Timer(debatetimer.cn).
ISCAS(中国科学院软件研究所) Beijing, China
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Lye Hongtao
doouding
Things look simple at a distance, but as I get closer, details emerge and I gain a more nuanced perspective.
@toeverything undefined, China
Sunset Mikoto
SunsetMkt
Lead Programmer of @Sunset-Edu-Tech-Group. English & Chinese.
@Sunset-Edu-Tech-Group Japan
PreviousNext