Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL
Vlad L
cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
Sheffield, United Kingdom
Reinhard Oosthuizen
Jesuis33
We will find the answers we seek in the heavens above........!!!!!! Fly me to THE MOON Love and Peace To The Bots of the World CyberDogs woof woof!!!!💕😍👌
Finethings Lichtenburg North West 2740 South Africa
agnosticlines
reverse engineering, program analysis and exploit dev |
i ⭐ a lot of things, not a bot. Just use github as a personal search engine for cool projects
[object Object] /dev/kmem
Jeffrey H. Johnson
johnsonjh
Not RPM developer Jeffrey Johnson. Not XTree developer Jeffrey Johnson. Not Jeffrey Johnson, Google Senior Software Engineer. Not the robotic engineer, either.
BAN AI Systems https://keybase.io/trnsz
tumdum
tumdum
https://git.sr.ht/~ttt or https://bitbucket.org/tumdum https://tilde.cat
work account: @tomaszklak
~
Tom Neugebauer
tomnewg
Investment analyst | Python programmer | Main focus: financial data analysis, modeling, data science and machine learning
London and Sydney
Ben Harris
benharri
things are not what they appear to be. nor are they otherwise.
- i run tilde.team
- pinball addict
- irc nerd
Traverse City, MI
Chiantine P. Manigos
xchanmolx
Full-Stack web/software developer focusing on .net core web api, angular, and sql server, mysql etc...
Manigos Information Technology Solutions Philippines
Selim Horri
SelimHorri
Software Engineer | AI & Data Engineering | DevOps | Cloud-Native | Former instructor | ..☕ 🍃 🅰️ 🗃 🐳 ☸️ ☁️..
Amaris Consulting Tunisia