🌌
TLA⁺ core developer
-
Disjunctive
- Seattle, Washington, USA
- https://ahelwer.ca/
- @ahelwer@discuss.systems
- in/ahelwer
- https://codeberg.org/ahelwer
- https://sr.ht/~ahelwer/
Annareddy Venkata Vishnuvardhan Reddy
Vishnuvardhan-143
Motivated Computer Science student interested in learning new skills and problem solving.
E. M.
Emraors
Software Engineer | Mathematician.
I use GitHub mainly for exercises and learning. Nothing particularly interesting here yet.
Milan
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
Germany
Peiyang He
BaldDemian
2nd year master student in CS at Nanjing University
Nanjing University Nanjing, China
Fernando Marcon
FernandoMarcon
I have a background in biotechnology, with a masters in bioinformatics.
Charleno Pires
charlenopires
Polyglot Developer (Working: Python, TS, Rust, Elixir, ML, AI Agents, NLP, LLM, GraphRAG, Web3; Know: JavaScript, Erlang, Kotlin, Ruby, Dart, Java, Go
Amarante | PI | Brazil
Arindam Das
arindas
Specializes in distributed systems, deep learning inference and AI SaaS at scale.
@claritas-healthtech India
Dong Liu
NoakLiu
Working on @ ML & Distributed System
Researcher @ UCLA & Yale University
Bachelor of CS @ UW-Madison
UW-Madison, UCLA, Yale University New Haven, CT
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Deepak Khemchandani
phantomplankton
^ I solve problems that are worth solving
^ I conduct research at the root-level
^ I build and execute the objectives
@Dinosco-AI Singapore
Sean P. Myrick V19.1.7.2
seanpm2001
I'm an experienced programmer, with the intent to make the world a much better place, and protect freedoms of the Internet. I am skilled in Python, and web dev.
Self-employed; looking for tips Walla Walla Washington, USA, Earth, Milky way, <Universe>
Novus Nota
novusnota
Amateur Tree-sitter-sitter.
UX and DX aficionado.
Monad deez docs.
If only you knew the power of the Dart side...
Remote
Ilya Baryshnikov
zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
Onyedikachukwu Okonkwo
aye-ko
Retired Army Veteran | Aspiring Data Scientist | Eternal Student of the Game
ATLANTA, GA
Feng Wenhan
fwhdzh
Feng Wenhan is a Ph.D. student at Institute of Software, University of Chinese Academy of Science.
Beijing
PreviousNext