8000 david-bakin (David Bakin) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View david-bakin's full-sized avatar
7 followers · 6 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Organizations

@PDP-10

Block or report david-bakin

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
@Veridise
Veridise Veridise
Hardening Blockchain Security with Formal Methods
@vector-of-bool
vector-of-bool
@computersforpeace
Brian Norris computersforpeace
@ccrraaiigg
Craig Latta ccrraaiigg
Improviser of music, movies, and code. Maker with dynamic languages and open hardware. Founder of Black Page Digital: Live Code for Fast Ideas.

Black Page Digital Berkeley

@daveshields
dave shields daveshields
Mathematician (BS Caltech 66) and Computer Scientist (PhD CIMS 83): Professional programmer since 1965.

Scarsdale, NY

@Ash258
Jakub Čábera Ash258

Brno, Czech Republic

0