J. Ryan Stinnett
jryans
Exploring how to make programs more malleable and computing more humane | My communities: @malleable-systems, @matrix-org, @mozilla
London, UK
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Gkoran Stoilkovits
maxbyz
Gkoran Stoilkovits-Visual Artist who make paintings, sculptures, byzantine icons, printmaking.
Enthusiastic about coding and self-taught, amateur programmer 😊
Atelier Stoilkovits Porto Heli, GREECE
Simone Paolucci
Magicianred
Code Imagineer - Application Web Developer - Software Permaculturist - Addicted to Open Source
Italy
Omar K.
OAKO-UCONN
Full Stack developer with passion for secure and open source tech. Leveraging a broad background in technology, education, dining, healthcare and much more.
University Of Connecticut NYC Area
Lilian Besson
Naereen
Full-time teacher of computer science in Classes Préparatoires MP2I in Strasbourg in France.
Passionate Magic: the Gathering player and active L1 judge.
Lycée Kléber | Éducation Nationale Strasbourg, France
LadyK
KatzPetz
I play Minetest. If I forked your mod, it's because I really like it a lot.
Novice at coding and creating updates/PR's. Please bear with me.
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formally verified formal methods.
ENS Rennes, Saarland University, CISPA Saarbrücken
Samuel Chase
samebchase
I like desert-island programming languages like Raku and Common Lisp.
At work, I write Go (used to be Clojure and Java).
Pune, India
Andres Mariscal
SerialDev
@SerialDev
Machine learning engineer.
Worked in infosec, Computer Vision, NLP.
Super into Compiler & game engines.. LLMs and, AUDIO foundation models!
Helsinki, Finland
PreviousNext