Mathematician working in applied topos theory. Also interested in functional programming.
-
University of Antwerp / University of Padova
- Augsburg, Germany
- https://www.ingo-blechschmidt.eu/
- @iblech@mathstodon.xyz
Rahaf Perween
stackbyrahaf
👩💻 Full Stack Developer | Building cool stuff | Hackathon Enthusiast | Learning DSA & System | Exploring ML, Agents
Shreekanth A Guttedar
shreekanthashokg-lang
I'm an AI/ML Engineer and Data Scientist based in Bangalore, building production-grade intelligent systems while pursuing my MCA in AI/ML & Data Science
India Bangalore Sattva Global Tech Park 560059
Taylor Belcher
hotdogontology
Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev
South Carolina Governor's School for Science and Mathematics Hartsville, SC
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Savo Kordes
SavoKordes
"Frontend developer in the making. Focused on clean code, real projects, and learning every day."
eL63
eL63
From career switch to code: Retraining as Application Development Specialist | Excited to build real-world apps → open for internship / junior opportunities
Germany
Rick Elrod
relrod
Most development of my personal/side projects will now be primarily developed on Codeberg.
https://codeberg.org/relrod
Checkmk GmbH Germany
Henry Blanchette
rybla
programming languages, formal verification, game dev, game theory
CS PhD student at UMD Washington, DC
Mehmet Keçeci
WhiteSymmetry
Physicist (Completed the dissertation phase of the Ph.D. in Physics), Reviewer, Author, Lecturer, Occupational Safety Specialist, Editor
<M|ehme|t><K|eçec|i>
Türkiye
nelson jr mota
motanelson
America is the best
https://youtube.com/@nelsonmotamota-e5j Portugal,Lisbon
Nelli Funk
nellifunk
Graph Theory Enthusiast | Student Master of Science Mathematik @ Uni Augsburg | Coding Newbie | Currently interested in Webdevelopment & DevOps
University of Augsburg
PreviousNext