let-def
Follow
John Eismeier
jeis4wpi
Enjoy enabling students with Linux and HPC skills starting their research.
YOSHIHIRO Imai
yoshihiro503
CEO of proof ninja, Inc.
Coq proof developer
@proof-ninja, Inc Chiba, Japan
Ethan Reece
sudoer777
Interested in Nix, Linux, Rust, systems, and DevOps. See Codeberg for my main projects.
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Takashi Suwa
gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer
Kyoto, Japan
rodrigo47363
CCNA: Switching, Routing, and Wireless Essentials, CCNA: Enterprise Networking, Security, and Automation, ISC2 Candidate / Ethical Hacker / Red Team / Pentester
Yuto Takano
yutotakano
CS Masters student at ETH Zurich. Contributor to @compsoc-edinburgh, @VIS-ETH, and @discord-haskell.
ETH Zรผrich Zรผrich, CH
Samuel Narvaez
SamuelNarvaez
Acoustics and Digital Audio Researcher, Mathematician, Musician, Data Sonification, Max Patch Enthusiast
Boulder
Pedro Pinto
pemdp
"If you're going to build a time machine into a car, why not do it with some style?" - Dr. Emmett Brown
Fay Carsons
FayCarsons
Generative artist, full-stack dev, and musician living in Richmond, Virginia
Virginia
chunvanlierop
ICT, organization, finance and life: empowerment ignites! Strengthening individuals, and stimulating growth through optimism and pragmatism
Amsterdam
Cogito Ergo Sum
standardgalactic
๐๐ฐ๐ฎ๐ฆ ๐ฐ๐ง ๐ต๐ฉ๐ฆ ๐๐๐๐๐๐๐๐ ๐ถ๐๐๐๐๐๐๐ ๐ฐ๐๐๐๐๐๐๐
Xanadu Canada
PreviousNext