Highlights
- Pro
Jonathan Cubides
jonaprieto
Research Engineer.
Read/write types and proofs for fun and profit.
Better HoTT than cold.
Kaan Ozgur
KaanOzgurr
I am a student from Turkey who wants to improve in Software Development. I made some small applications for improve myself .
Istanbul
Zack Eisbach
zackbach
CS + Math @ Northeastern. Logic, types, compilers, categories.
@oxcaml Boston, MA
Archer
qddegtya
Author/Lead Maintainer of @astack-tech / @hlang-tech. Focus on Agentic System (Coding Agent, Workflow Use, Browser Use, Computer Use). Ex @alibaba
CitroLabs Shanghai
Dr. Hunter Thompson Lockwood
HunterLockwood
Nonnative linguist working for Native people (Myaamia Center, Miami University)
Myaamia Center at Miami University Cincinnati, OH
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Aaditya Ansh
ADItya0367
E-Cell IIT Kharagpur | Tech enthusiast | DSA | C++ | Full Stack | Leetcode @ 250+ | Founder @CODEPECT
Pietro Peterlongo
pietroppeter
Data Scientist at AgileLab. Python/PyData Milan organizer. Recurser. Python🐍, Nim 👑, Elm, Gleam, ....
AgileLab Milan, Italy
Leticia Madureira
Leticia-maria
Computational Quantum Chemist. Developing QC packages in Julia.
PhD student at Carnegie Mellon University.
@JuliaChemicalReactions, @HartreeFoca Pittsburgh, Pennsylvania, US
Olivia Brode-Roger
nibrivia
Currently doing a PhD at Brown.
Previously at MIT, @recursecenter (participant), Brilliant.org, and iCivics.
Brown University Somerville, MA
PreviousNext