Kazuhiko Sakaguchi
pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity
CNRS, ENS de Lyon, UCBL, LIP Lyon, France
Kris Mok
rednaxelafx
Worked on the HotSpot and Zing JVMs in the past. Now working on Spark at Databricks. Compiler and managed runtime enthusiast.
Databricks Sunnyvale, CA
Tokuhiro Matsuno
tokuhirom
Go/Kotlin/Rust/Python engineer.
I wrote Java, Perl5, C, C++, Kotlin, and golang for $DAYJOB.
Sakura Internet Tokyo, Japan
TAKANO Mitsuhiro
takano32
Ruby committer / Pharo Smalltalk contributor #UNIX #Linux #DevOps #LISP #Python #Emacs #dwango #teamlab #荒川智則 #AS2526 #AS55394
Sakura, Chiba, Japan
Hiroshi SHIBATA
hsbt
Full-time OSS developer. I'm a member of Ruby core team, RubyGems team and rbenv and ruby-build maintainer.
@ruby @rubygems @rbenv @88labs @andpad-dev Tokyo, Japan
Aman Karmani
tmm1
Open source fanatic. Formerly early engineering team at Cursor and GitHub. Creator of the merge button.
California
PreviousNext