Skip to content

@FormalizedFormalLogic FormalizedFormalLogic

@meluge
One An meluge

University of Pennsylvania Philadelphia, PA

@pdf-jube-joba
pdf-jube-joba
@synkathairo
Charles Zhu synkathairo

New York University New York, NY

@Stars1233
Stars trek Stars1233
I'm student . I don't know anything . 🤭
@nsrknth
nsrknth
@kmz
kmz
@jamesj64
James jamesj64
@unsoundsystem
unsoundsystem
Interested in Systems software and their formal verification

Japan

@dif-engine
differential engine dif-engine
@notarealdeveloper
Jason Wilkes notarealdeveloper
This is not a bio.

@thedynamiclinker San Diego, CA

@kisepichu
きせ kisepichu

Tokyo Institute of Technology / traP Japan

@taimoon
Leong Teng Man taimoon
兴趣使然

Malaysia

@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@appelson
Elijah Appelson appelson
Activist and Computational Social Scientist with experience in web scraping, predictive modeling, and data storytelling. Using data to create accountability.

ACLU of Louisiana New York

@lucasbrixner
Lucas Brixner Riça lucasbrixner
@XiaoshuangYang999
Xiaoshuang XiaoshuangYang999
@shosonoda
shosonoda
@RichardKelley
Richard Kelley RichardKelley

Reno, NV

@pathologicalhandwaving
UnMary pathologicalhandwaving
Patron Saint of "The Receipts".

any number of places

@manyoso
AT manyoso
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@johnsidi77
Ioannis Sidiropoulos johnsidi77

London

@idoleat
C.W. Chien idoleat
Novice. Light mode user. Come to the bright side :D

Taiwan

@thamugadi
aramya thamugadi
@gruhn
Niklas Gruhn gruhn

@DeepLcom Cologne, Germany

@jf-li00
Jiefeng Li jf-li00

Huazhong University Of Science and Technology Wuhan, Hubei, China

@funemy
Yanze Li funemy
Misinterpreting PL and math
@codyroux
codyroux
@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@shraddhabarke
Shraddha Barke shraddhabarke
Senior Researcher at RiSE (Microsoft Research)

Microsoft Research Seattle

@typesAreSpaces
Jose Abel Castellanos Joo typesAreSpaces
@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@YiqiXu
Yiqi Xu YiqiXu
@vcvpaiva
Valeria de Paiva vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

@lachrymaLF
lachrymal lachrymaLF

Toronto

@seewoo5
Seewoo Lee seewoo5
Graduate student in Mathematics

Berkeley, CA

@alreadydone
Junyan Xu alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Heidelberg / Shenzhen

@gio256
Nick Ward gio256
@beike-zh
beike-zh
@or4nge19
Matteo Cipollina or4nge19
BA Philosophy (Università Cattolica - Milano) MA Mathematical Logic & Philosophy of Science (Università Cattolica - Milano)
@nrs-status
nrs nrs-status
@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@Harineko0
Harineko0
nya nya

Japan

@YukihiroOda
Yukihiro Oda YukihiroOda
Researching Logic.

Tohoku Univ.

@tarc
Tarcísio Genaro Rodrigues tarc
I'm mainly focused on C++ development. Lately I've been writing some Python mostly related to CI/CD of C/C++ projects and libraries.

São Paulo, Brazil

@Raycaesar
Ray Drury Raycaesar
Logic of Social Networks

The University of Auckland Auckland NZ

@junghan0611
Jung Han junghan0611
Meditations on Technology, Learning, Life with Text-editor #pkm #toolsforlife #emacs #hangul #lisp #authology

Suwon

@crosssun
crosssun
@Yosuke-Ito-345
Yosuke Ito Yosuke-Ito-345
FIAJ (Fellow of the Institute of Actuaries of Japan)

Sompo Himawari Life Insurance Inc. Tokyo, Japan