Skip to content
View bordaigorl's full-sized avatar
🎓
🎓
98 followers · 49 following

Achievements

Achievement: Galaxy BrainAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx2

Achievements

Achievement: Galaxy BrainAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx2

Highlights

  • Pro

Block or report bordaigorl

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@gleam-lang
Gleam gleam-lang
A statically typed language for the Erlang VM and JavaScript ✨

On the BEAM!

@Julek
Julian Sutherland Julek
Head of Formal Verification @NethermindEth.

@NethermindEth London, UK

@boystrange
Luca Padovani boystrange
@AzadehFarzan
Azadeh Farzan AzadehFarzan

University of Toronto Toronto, Canada

@japerezp
Jorge A. Pérez japerezp
@drdreyer
Derek Dreyer drdreyer

MPI-SWS Saarbruecken, Germany

@andrew-appel
Andrew Appel andrew-appel
Professor Emeritus of Computer Science

Princeton University Princeton, NJ

@rlepigre
Rodolphe Lepigre rlepigre

Saarbrücken

@co-dan
Daniel Frumin co-dan

Groningen

@pl-semiotics
pl-semiotics
@ddvk
ddvk ddvk
an average nerd

Zurich

@giltho
Sacha Ayoun giltho
CTO of Soteria Tools Ltd. and postdoctoral research at Imperial College London

Soteria Tools Ltd.

@johnwickerson
John Wickerson johnwickerson
Associate Professor, Department of Electrical and Electronic Engineering, Imperial College London

Imperial College London Cambridge/London, UK

@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@fmontesi
Fabrizio Montesi fmontesi
Professor of Computer Science, Danish Institute for Advanced Study (DIAS) and University of Southern Denmark

Danish Institute for Advanced Study / University of Southern Denmark / italianaSoftware s.r.l.

@kostis
Kostis Sagonas kostis

NTUA, Greece + Uppsala University, Sweden Athens + Uppsala

@PaperclipBadger
Blaine Rogers PaperclipBadger
Probably jamming out to some low-quality electronica, reading some AI paper or building a game engine from scratch during Ludum Dare like a madman.

AI Safety 東京 Tokyo

@julien-lange
Julien Lange julien-lange

Royal Holloway, University of London London, UK

@3b1b
Grant Sanderson 3b1b
I make videos about math.

3Blue1Brown

@PetarMax
Petar Maksimović PetarMax

Nethermind / Imperial College London United Kingdom

@cascremers
Cas Cremers cascremers
@SebastianMuskalla
Sebastian Muskalla SebastianMuskalla

@SchwarzIT @SebastianMuskalla-SchwarzDigits Germany

@malyzajko
Eva Darulova malyzajko

Uppsala University

@frenchy64
Ambrose Bonnaire-Sergeant frenchy64

Madison, Wisconsin

@ilyasergey
Ilya Sergey ilyasergey
CS Prof

National University of Singapore Singapore

@Wolff09
Sebastian Wolff Wolff09

New York University New York City

@Aminadav
Aminadav Glickshtein Aminadav
Fullstack & Blockchain "hands-on" Architect, developer & consultant. StackOverflow rated him at the top 1% developers.

Israel

@yourealwaysbe
yourealwaysbe
@mbostock
Mike Bostock mbostock
Building a better computational medium. Co-founder @observablehq. Creator @d3. Former @nytgraphics. Pronounced BOSS-tock.

@observablehq San Francisco, CA

@pnwamk
Andrew Kent pnwamk
Senior Software Engineer @ NVIDIA Programming Languages PhD

@NVIDIA Beaverton, OR

@davdar
David Darais davdar
Principal Scientist at Stealth Software.

Stealth Software Technologies, Inc. Salt Lake City, UT

@samizdatco
Christian Swinehart samizdatco

Samizdat Drafting Co. Brooklyn, NY

@adam-p
Adam Pritchard adam-p

Psiphon Inc., Proven Security Solutions Inc. Toronto, Canada

@jubobs
jubobs
@dzufferey
Damien Zufferey dzufferey
@lukeong
Luke Ong lukeong
Professor of Computer Science, University of Oxford

University of Oxford https://goo.gl/maps/NZxg7QaNJLcZb5Fo7

@owst
Owen Stephens owst

UK

@rahul-ramadas
Rahul Ramadas rahul-ramadas
@facelessuser
Isaac Muse facelessuser

Colorado

@cesaro
César Rodríguez cesaro
I develop automated program analysis techniques for formal verification, bug finding, and test generation.

Cadence & University Paris 13, Sorbonne Paris Cité Oxford, UK

@ahorn
ahorn

Oxford, UK

@jgm
John MacFarlane jgm

Berkeley, CA

@Qrrbrbirlbel
Qrrbrbirlbel
@gian
Gian Perrone gian

Nav Wisconsin

@ranjitjhala
Ranjit Jhala ranjitjhala

University of California, San Diego San Diego, CA

@rneatherway
Robin Neatherway rneatherway
@marcelosousa
Marcelo Sousa marcelosousa
AI Security @ Snyk. Prev Co-Founder Reviewpad (acquired by Snyk)

@reviewpad @explore-dev @snyk Istanbul | London | Porto | Geneva

@dvanhorn
David Van Horn dvanhorn

@plum-umd Washington, DC

@wbond
Will Bond wbond
Staff AI DevEx engineer @uber, previously at @sublimehq. Author of Package Control and occasional designer. Proud husband and father.

@uber Plymouth, NH