Joshua Ballanco
jballanc
Formerly of Apple, I currently write software to solve all manner of interesting problems. I work and live in Miami with my beautiful wife and two kids.
Miami, FL
Peiyang Song
Peiyang-Song
CS major w/ Robotics minor @caltech.
AI Researcher @ucberkeley & @Stanford.
Applying for a PhD position starting Fall 2026.
California Institute of Technology Pasadena, CA, United States of America
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Sebastian Junges
sjunges
Assistant Professor at the Radboud University Nijmegen. Previously at Berkeley @BerkeleyLearnVerify and RWTH Aachen University @moves-rwth
Radboud University Nijmegen
Nathan Lambert
natolambert
Machine learning scientist. Closing paw requests like it's my job.
Ai2 // Interconnects.ai
Mohsen BANAN
mohsenBanan
Over the past two decades, I have been developing the Libre-Halaal ByStar Digital Ecosystem. We use github as a secondary public source distribution mechanism.
ByStar Digital Ecosystem -- http://www.by-star.net Seattle, USA -- Isfahan, Iran
Callum McDougall
callummcdougall
Interpretability Researcher at Google DeepMind. ex-director of the ARENA program.
London
Massimiliano Mirra
bard
programming polyglot / software engineer / toolmaker
Intueri Tech Ltd London, UK
Barton Rhodes
bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency
being exerted on systems"
@plurigrid san francisco
Michiel Borkent
borkdude
Clojure developer, author and maintainer of clj-kondo, babashka, SCI and squint.
Amersfoort
Jung Han
junghan0611
Meditations on Technology, Learning, Life with Text-editor #pkm #toolsforlife #emacs #hangul #lisp #authology
Suwon