Determinate Systems
DeterminateSystems
Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪
Everywhere
Sky Wilshaw
zeramorphic
Part III Mathematics student at Cambridge. Soon to become a PhD student at Nottingham, researching semantics of memory safety and borrowing.
Cambridge, UK
François G. Dorais
fgdorais
Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science
University of Vermont Burlington, Vermont, USA
Equim
Equim-chan
If you are designing a system whose functions include providing evidence, it had better be able to withstand hostile review. - Ross J. Anderson
GF(2)
Yaël Dillies
YaelDillies
First year PhD student at Stockholm Universitet in additive combinatorics.
Stockholm Universitet Stockholm
Yusuke Endoh
mame
World No.1 IOCCC player. http://www.ioccc.org/winners.html#Yusuke_Endoh
@heyinc Japan
Jason Rute
jasonrute
Former mathematician turned data scientist turned AI researcher. My passion is teaching AI systems to reason, especially in mathematics.
@ibm Greater Boston, MA
mkpoli
Co-founder of @LambdaInnovation . Member of @nk2028. Founder of @ai-art-club .
@LambdaInnovation @nk2028 @ai-art-club @PurplePalette Peking → Tokyo → Osaka
Arthur Paulino
arthurpaulino
I'm a computer scientist with many interests
Argument Computer Corporation Brazil
AnimeThemes
AnimeThemes
A simple and consistent repository of anime opening and ending themes
PreviousNext