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
The DeNihilist
DLewisIrving
Learning, adapting, and planning for a future that I'm in control of
OER Albany, OR
PreviousNext