Users following Lean-zh
Enthusjast
Enthusjast
History is also mystory
University of Science and Technology of China Qingdao, China
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form
ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.
@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy
opdai
opd-ai
OPD-AI specializes in open-source tools for creative workers, with a focus on tabletop RPG content generation and Bitcoin-based paywall solutions.
Zhehao 0xFF
KCN-judu
The price of reliability is the pursuit
of the utmost simplicity.
@Luna-Flow @moonbit-community Tokyo, Japan
Minhui You
bookworm1988
math education
Bajiaolou Junior High School, Zengdu District, Suizhou City, Hubei Province, China No. 9 Jishiliang Street, Dongcheng Subdistrict, Suizhou City, Hubei Province, China
Victrix Cheung
VZstless
🏳️⚧️ As once, as always.
Galactic Organization of Trade & Tariffs Planet: Aineias
PreviousNext