Skip to content
View vbgl's full-sized avatar
76 followers · 187 following

Organizations

@jasmin-lang

Block or report vbgl

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 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
@alivic505
alivic505
@Herbrant
Davide Carnemolla Herbrant
PhD student @ University of Catania, Italy.

Italy

@osbm
osman - オスマン osbm
in love with universal function approximators and nix

Turkey

@S4IL21
S4IL S4IL21
Code. Learn. Repeat. 🧑‍💻

Tatom [Owner] Barcelona, Spain

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@FantomeBeignet
Tom Béné FantomeBeignet
Computer Science student at TELECOM Nancy.

Nancy, France

@ethancedwards8
Ethan Carter Edwards ethancedwards8
Harvard EE/CS '29.

@harvard localhost

@namasikanam
Xingyu Xie namasikanam
Dream to find rigorousness and meaning in the messy world. Learning how to interact with people.

Max Planck Institute for Security & Privacy Bochum, Germany

@zhengjieyu
Jieyu Zheng zhengjieyu

Fudan University Shanghai

@fib1d
Marc Gourjon fib1d
@AYUSHMIT
aapp AYUSHMIT

USA

@parjavadian
Parmida Javadian parjavadian
@inayet
Inayet Hadi inayet
Exciting times where tech is at your finger tips, apis, webhooks, llm, learn and share, being thankful

Dreams API Denver, CO

@NickCao
Nick Cao NickCao

Red Hat Boston, MA

@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, France

@MrDaiki
MrDaiki
@juliofleitas
Julio Fleitas juliofleitas
@Gustavo2622
Gustavo2622
@alxbnct
Yosef Weissmann alxbnct
@yawen-guan
Miya (Yawen Guan) yawen-guan

Switzerland

@ulrikstrid
Ulrik Strid ulrikstrid
I write stuff in OCaml and Reason, I like the web, CI/CD and OIDC.

Strid Tech AB Gothenburg, Sweden

@TheFanatr
Yan TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.

\Device\HardDisk1

@aeyno
Tom Gouville aeyno
PhD student in Pesto team, Inria, France I like security, cryptography, software architecture, low level programming and free software

France

@lafeychine
Vincent Lafeychine lafeychine
@x0000000001
Antoine Toussaint x0000000001
Computer science enthusiast.

Galadrim, Mines Nancy Nantes, France

@Rixxc
Aaron Kaiser Rixxc

MPI-SP Germany

@erikmd
Erik Martin-Dorel erikmd
Software developer, ex-academic

Toulouse, France

@Alizter
Ali Caglayan Alizter

London, United Kingdom

@SeshatCZ
SeshatCZ

Czech republic

@tbrk
Timothy Bourke tbrk

Inria Paris

@m9h
Morgan Hough m9h
Developmental Neurobiology @ OREL Community Manager @ NeuroTechX; Neurotech Lead @ Frontier Tower; Research and Development @ Biopunk Lab

@orel-group, @neurotechx, @frontier-tower, @biopunklab San Francisco, CA

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@loutr
Lucas loutr
I moved to Codeberg!
@intoverflow
Tim Carstens intoverflow

Seattle, WA

@miguel-ambrona
Miguel Ambrona miguel-ambrona
I choose not to believe in free will

Madrid, Spain

@francoisschwarzentruber
François Schwarzentruber francoisschwarzentruber
Developer of @tableaunoir (and by duality of @tableaublanc)

ENS de Lyon Lyon, France

@ahmadsafirun
ahmadsafirun
@maxammann
Max Ammann maxammann

@KittyCAD ex @trailofbits @digitalfabrik @maplibre Germany

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@Johnvono
Johnvono
@imsomedev
SomeDev imsomedev
@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France

@hugolgst
Hugo hugolgst

Norway

@NicolasBertrand
Nicolas Bertrand NicolasBertrand
@MQuaresma
Miguel Quaresma MQuaresma
Security and Cryptography Researcher & Engineer at Least Authority | Ph.D. Candidate in PQC at the Max-Planck Institute for Security and Privacy

Least Authority Germany

@sternenseemann
sternenseemann
@carlosal1015
Oromion carlosal1015
My interests ⊆ Mathematics ∩ LaTeX.

National University of Engineering Lima, Peru

@vyp
vyp
@ghuysmans
ghuysmans

Belgium