🍕
So hungry...
kasumiko
kasumiko
Theoretical material science. Tsukuba Univ. Graduate School of Pure and Applied Sciences.
C, Fortran, Ruby
Tsukuba.Japan
Takashi Suwa
gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer
Kyoto, Japan
Hiromi Ishii
konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.
Jij, Inc. @Jij-inc Tokyo