Skip to content
View saviorand's full-sized avatar
💭
Working
💭
Working

Block or report saviorand

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@duckki
Duckki Oe duckki
Static Analysis & Formal Methods Software Engineer.

Apollo GraphQL Seattle, WA, USA

@PatrickAllenCooper
Patrick PatrickAllenCooper
Deep learning researcher and practitioner. Interests: Embodied AI Robotics Var Inference, Dyn Sys

CU Boulder Boulder, CO

@Liby99
Ziyang Li Liby99
No Code No Life | Assistant Professor in CS at Johns Hopkins University

Johns Hopkins University Baltimore, MD

@mcalejo
Miguel Calejo mcalejo

InterProlog Consulting Portugal

@zipproth
Stefan Zipproth zipproth
C++ developer and founder of acrion innovations GmbH. For my current open-source projects including Ditana, Cbeam, and zelph, please see @acrion 🚀

acrion innovations GmbH St. Ursen

@mayneyao
Mayne mayneyao
building local-first web app for personal data freedom
@jfmc
Jose F. Morales jfmc
Interested in logic (and) programming.
@yogthos
Dmitri Sotnikov yogthos
Author of the Luminus framework and Web Development with Clojure book.

Lumanu Toronto, Canada

@palladin
Nick Palladinos palladin
It's Full of Stars!

Greece

@quoll
Paula Gearon quoll
Clojurista and Semantic Webstress

Ardoq Virginia

@vlaaad
vlaaad vlaaad

@refold Stockholm

@whilo
Christian Weilbach whilo
I am a computer scientist and have interests in critical theory and mathematics. I explore distributed systems and AI to improve social processes.

Vancouver

@nalgeon
Anton Zhiyanov nalgeon
Open source maintainer.
@giuseppemag
Giuseppe Maggiore giuseppemag

Hoppinger, Hogeschool Rotterdam, GrandeOmega Nederland

@alexpetros
Alexander Petros alexpetros
the web is for everyone // triptych author // htmx maintainer

New York, New York

@hajimehoshi
Hajime Hoshi hajimehoshi
CTO at Odencat. Author of Ebitengine.

Odencat Tokyo, Japan

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@myitcv
Paul Jolly myitcv
Gopher working on the @cue-lang project!

myitcv.io London, UK

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@kitlangton
Kit Langton kitlangton
Program writer for a respectable software company.

Anomaly San Francisco, CA

@graninas
Alexander Granin graninas
Software architect, book author, international speaker | "Functional Design and Architecture" (Manning) | "Pragmatic Type-Level Design"

UAE, Dubai

@konnov
igor@konnov.phd konnov
Independent Researcher in Formal Verification and Security, with degrees in academia and experience and industry

konnov.phd Vienna, Austria

@ConnorGray
Connor Gray ConnorGray
Mojo Library Engineer @modularml

@Modularml Champaign, Illinois

@vikramsg
Vikram vikramsg
Software Engineer | Big Data

Orbio Hamburg, Germany

@mookums
muki mookums
fsck-ing around

Seattle, WA

@JannisBush
Jannis Rautenstrauch JannisBush
Web Security PhD Candidate

@cispa Germany

@mnot
Mark Nottingham mnot
I work on the Internet.

Melbourne, Australia

@rtfeldman
Richard Feldman rtfeldman
Creator of the Roc programming language. Author of Elm in Action.

@zed-industries Philadelphia, PA

@josiahls
josiahls
I am an AI computer vision engineer! On the side, I do even more AI and robotics :)
@soshsquatch
Sasha Goodman Chase soshsquatch
Computational social science.

California

@refaktor
Refaktor refaktor
coder, a language nut ... occasional amateur forester/firefighter/builder/farmer

Slovenia

@jeaye
Jeaye Wilkerson jeaye
Creator of jank, the native Clojure dialect on LLVM.

Seattle, Washington, USA

@Gilbocc
Giuseppe Pisano Gilbocc
Research Fellow @ University of Bologna

Italy

@siboxd
Enrico siboxd
I'm a Software Engineer. In 2019 I earned a Master's degree in Computer Science and Engineering from University of Bologna

Italy