erri120
erri120
I'm a random dude who loves music, videogames, programming and playing the piano.
@Nexus-Mods Germany
Justin Swanson
Noggog
Software Developer. Open source hobby projects are primarily coding utilities or modding tools for games.
Chicago, IL
Artyom Bologov
aartaka
Dreaming of multi-modal interfaces and creating seemingly meaningless programs.
Distributed
ArangoDB Community
ArangoDB-Community
Community driven projects for the ArangoDB database
San Francisco
Mark
Mytherin
I'm the co-founder of DuckDB Labs. I like databases.
DuckDB Labs Amsterdam, Netherlands
Chris Hall
chrisosaurus
Ex-Googler (Chrome Browser).
Buzzwords: Programming languages, Type theory, Mathematical Proofs, Hash tables, Memory management, Accessibility, UX/UI.
@google Sydney, Australia
Veit Heller
hellerve
if i unfollowed or unstarred you recently, that’s because my homefeed got spammy. sorry about that, y’all!
@feenkcom Erlangen
Anton Osika
AntonOsika
Founder & CTO at Depict (2x top YC startup)
Founder & CEO at Lovable.dev, building the last piece of software.
Also into Particle Physics.
Nathaniel Yazdani
nateyazdani
I research the theory and practice of programming languages and formal methods @nuprl, also as a full-time programming languages researcher at STR.
@nuprl Boston, Massachusetts
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Toran Bruce Richards
Torantulino
Founder of AutoGPT - #24th most popular GitHub Repo in the world! 🐙
UK
Jonathan Campbell
joncampbell123
Multimedia and retro MS-DOS/Windows enthusiast.
I develop DOSBox-X and DOSLIB, and produce a series of videos about MS-DOS and retro development.
Alexander Artemenko
svetlyak40wt
Founder of Ultralisp.org. Common Lisper.
I'm making videos about CL: https://www.youtube.com/@40ants
40Ants
PreviousNext