Skip to content

@HoTT Homotopy Type Theory

@ardalaan
Ardalan Ebrahimnia ardalaan
@a-u-93
Alexander Ushakov a-u-93

Antarctica

@djtrack16
Darius Liddell djtrack16
Stanford CS. Ruby. Functional Programming Enthusiast. Slow Traveller. Cycling.
@0l1fe
0l1fe
@uchukwu
uchukwu
@dawnchan030920
Dawn Chan dawnchan030920
Student from WHU.

Wuhan, Hubei Province, China

@ck76
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

@drzo
drzo
@lane-core
Lane Biocini lane-core
type theory researcher, programmer based in nyc

brooklyn

@risavkarna
Risav risavkarna
Semantics & language research, software architecture and development (social enterprises, cruise ships, hospitality, research & e-commerce). g.dev/risav

plaruh UG, nep.work, cosys.work

@daniele-bolla
Daniele Bolla daniele-bolla

London

@ndcroos
ndcroos
@Gravifer
Tci Gravifer Fang Gravifer
Zu nihilum gehöre; Den iukoto echo tipote. Festina! Delai cto chocesh quand tu le pouvez encore!

Tsinghua University Beijing

@Lemonsity
Youzhang (Mark) Sun Lemonsity
Programming Languages ∧ Mathematics

@Lodestone-Team

@fxeqxmulfx
Mikhail Borisov fxeqxmulfx

Ufa

@start974
Jeremy Damour start974

Paris

@modalsoul0226
Eyes Wide Open modalsoul0226
@larbi1512
larbi larbi1512
Hello, I am Larbi a 4th year AI and data science student.

@Student-s-Hub Algeria

@mohammedbelgoumri
Mohammed Belgoumri mohammedbelgoumri
Beware of the bugs in the code below; I have only proved it correct, not tried it.

Deakin university Victoria

@Bowuigi
Bowuigi Bowuigi
Developer, experienced in C, Lua/Love2D, Scheme (Chicken, Guile), HTML/CSS/JS, Godot/GDScript and much more. Linux sysadmin, free software activist.
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@jd-hernandez
Jorge Hernández jd-hernandez

Encora, Inc. Mexico City, Mexico

@yetzalp
yetzalp
@oskin1
Ilya oskin1
@pomadchin
Grigory pomadchin

@disneystreaming Philadelphia, PA

@lebrancconvas
Poom Yimyuean lebrancconvas
Area of Interest: Web Dev, Game Dev, Data Science, Computer Graphics, Web Automation, Functional Programming, Multimedia and Language Learning.

Work from Any Workplace :P {"Thailand": ["Bangkok", "Surat Thani"]}

@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@matematiflo
Florent Schaffhauser matematiflo

Heidelberg University Heidelberg

@exxjob
exxjob
i have no mouth and i must beatbox
@Deonisseyy
Deonisseyy
@luqmanmalik
Luqman Malik luqmanmalik
Technologist | Quant

Watters Enterprises, Inc. San Francisco, California

@anagha012004
Anagha Badhe anagha012004
Engineer of digital marvels, crafting code symphonies.⭐

Shri Sant Gajanan Maharaj College Of Engineering Malkapur

@mathephysicist7
Mohandeep Singh mathephysicist7
📚 Philomath 😮 Extremely curious ☮️ Empathetic & Compassionate ⚛️ Novice Mathematical Physicist
@jscarfy
Alien Mathematicians jscarfy
Since mathematics is the same across this expanding universe for all species, we aliens 👽👽👽 have been trying to communicate with you humans via mathematics.
@toum120
Follow自动机 toum120
@pmbittner
Paul Bittner pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG| Allergic to syntax without semantics

University of Paderborn Paderborn

@cosdong7
cosdong7
@daohengdao
灰之魔女伊蕾娜 daohengdao
@flukacs561
Ferenc Lukács flukacs561
mathematician, software consultant

TNG

@wangweixuan
Wang Weixuan wangweixuan

Peking University China

@poroh
Dmitry Poroh poroh
@milinxiaobo
linxiaobo milinxiaobo
@FadiShawki
Fadi Shawki FadiShawki
The Universalis' afoot @orbitmines

@orbitmines The Netherlands

@martipares
Martí Parés Baraldés martipares

Vic

@RyanJBuchanan
Ryan Jamie Buchanan RyanJBuchanan
Eccentric hundredaire; armchair loopspace theorist

SpiralSource Roseburg, OR

@Anillc
Anillc
Anillc dayo~
@OtavioSC
Otávio Carmo OtavioSC
Software Engineer

Brazil

@SDTEFU
SDTEFU
@BrentKylling
BrentKylling
@asuka-mio
tarsin asuka-mio
withTimeout(life.available) { val waifu = AIBishojo.await() as Loli withContext(NonCancellable) { do { h(waifu) } while(true) } }

フォルクロール,ふえや street light