Seteh's Following
- AndrasKovacs
- AsahiLinux
- augustssGothenburg, Sweden
- baronfel@microsoft
- cdepillaboutSapporo, Japan
- clayratIMDEA Software
- clojurians-org数皆智能
- dboulytchevSt. Petersburg University
- deemp
- dsyme
- epoberezkin@simplex-chat
- eviefp@prisma
- formal-land
- haskell-beginners-2022United Kingdom
- HoTT
- jaspervdjprogrammer at @snyk
- jozefgAarhus
- leanprover-community
- lichess-org
- mrkkrp@tweag
- nikita-volkovMoscow, Russia
- Odomontois
- plt-amyBrazil
- procraft
- rpearce@articulate
- RussKieMicrosoft
- s-and-witch
- serokellWorld
- serras@JetBrains
- snowleopardJane Street
- sslotin
- stschiffMax Planck Institute for Evolutionary Anthropology
- swamp-agrUtrecht, The Netherlands
- ulysses4everLafayette, IN
- VictorTaelinHigher Order Company
- yogsototh@threatgrid