Homotopy Type Theory
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.
Paul Bittner
pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG
@TUBS-ISF Würzburg
Ryan Jamie
RyanJBuchanan
Independent researcher, blogger, and ukelele enthusiast
SpiralSource Oregon
tarsin
asuka-mio
withTimeout(life.available) {
val waifu = AIBishojo.await() as Loli
withContext(NonCancellable) {
do { h(waifu) } while(true)
}
}
フォルクロール,ふえや street light
Brian
br337
C++ - Working on anything Linux related - interested in compilers and software verification
Germany
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Yifeng He
EYH0602
PhD student @ UC Davis | B.S. in CS & Applied Math @ UC Davis
@SecurityLab-UCD Davis, CA
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
ZHU Siyuan
floatshadow
programming language, compiler;
participated in ASC'22, ISC'23
Hangzhou, China
