Skip to content
View iblech's full-sized avatar
236 followers · 218 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Organizations

@augsburgpm @matheschuelerzirkel-augsburg @curry-club-aux @luga-ev

Block or report iblech

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
@DmxLarchey
Dominique Larchey-Wendling DmxLarchey

CNRS Nancy, France

@JoernStoehler
JoernStoehler
@MatteoCus
Matteo Cusin MatteoCus
M.Sc. Degree student, full-stack developer

University of Padua Padua, Italy

@fch
Florian Chudigiewitsch fch
Theoretical CS PhD Student @ University of LΓΌbeck

Germany

@Kruemmelspalter
Kruemmelspalter Kruemmelspalter
πŸ³οΈβ€πŸŒˆπŸ³οΈβ€βš§οΈ
@alyssais
Alyssa Ross alyssais
736C CDF9 EF51 BD97 Avatar by Chipiku.
@ghost-not-in-the-shell
ghost!@shell ghost-not-in-the-shell
@DavidJaz
David Jaz Myers DavidJaz
A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".
@Nmargolis
Natalia Margolis Nmargolis

Oakland, CA

@cdepillabout
Dennis Gosnell cdepillabout

Sapporo, Japan

@dieulot
Alexandre Dieulot dieulot

France

@katarinabrdnik
Katarina Brdnik katarinabrdnik

Slovenia

@merua
merua
@worldofpeace
WORLDofPEACE worldofpeace
⚧️ love all of you

they/them

@very-emmazing
Emma Heinle very-emmazing

Augsburg

@fdilke
Felix Dilke fdilke

@mention springernature London, UK

@Debakel
Moritz DuchΓͺne Debakel

Germany

@jadeqwang
Jade Q Wang jadeqwang

Sandstorm 78756

@mkoconnor
Michael O'Connor mkoconnor
@lukego
Luke Gorrie lukego
Software performance modelling and optimization guy.

Permo Sweden

@xave
xave
@jakebian
Jake Bian jakebian
Runs @keplr-io, @otim-project. Likes algebraic stacks but sometimes stuck with software stacks.

London, UK

@charlottemertz
charlottemertz
@jpaykin
Jennifer Paykin jpaykin
@sophiebits
Sophie Alpert sophiebits
principal engineer. powered by dumplings!

San Francisco, CA

@xymostech
Emily Eisenberg xymostech
Former Full-stack Dev @ Spring Discovery + Cricket Health + Khan Academy, Former Cupcake Baker, Occasionally hacking on TeX and other stuff

Berkeley

@M4GNV5
Jakob LΓΆw M4GNV5
Part time IT-Security Researcher β€” Full time Hacker β€” Any time Innovator β€” Twizy driver β€” Tiny House resident

Germany

@DavidMichaelRoberts
David Roberts DavidMichaelRoberts
@gebner
Gabriel Ebner gebner

Microsoft Research Seattle, Wash.

@UlfNorell
Ulf Norell UlfNorell
@iamrecursion
Ara Adkins iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Audio mixing, mastering and music. Skiing, parkour, martial arts and sailing.

CTO & CFO @tactile-metrology, Principal Engineer @reilabs Amsterdam, NL

@Lysxia
Xia Li-yao Lysxia
@nakaday
Yukihide Nakada nakaday
@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and aΜΈiΜΈ | good job, y'all ruined ai

Scotland

@knrafto
Kyle Raftogianis knrafto
@paulaneeley
Paula Neeley paulaneeley
Ph.D. student in Logic, Computation, and Methodology at Carnegie Mellon University

Silver Spring, MD

@jessfraz
Jess Frazelle jessfraz
A superhero with supervillain tendencies.

@KittyCAD PID 1

@fuzzyleapfrog
FuzzyLeapfrog fuzzyleapfrog

DΓΌren

@akissinger
Aleks Kissinger akissinger
@CptMaister
Alexander Mai CptMaister
Siehe https://gitlab.com/CptMaister
@haukex
Hauke D haukex
πŸ‘¨β€πŸ’»β€ƒπŸ‡©πŸ‡ͺ πŸ‡ΊπŸ‡Έβ€ƒπŸͺ 🐍 πŸ•ΈοΈ πŸ”Œ π‚β€ƒπŸ§ πŸͺŸ 🍎

@IGB-Berlin Berlin, Germany

@txa
Thorsten Altenkirch txa

The University of Nottingham Nottingham, UK

@MercuryBench
PhilippWacker MercuryBench
@koraa
Karolin Varner koraa
https://twitter.com/dakoraa

Rosenpass e.V. | Max Planck Institute for Security and Privacy | @formosa-crypto Europa, Saturn System, The Universe

@sassela
Abby Sassel sassela

London

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@nikivazou
Niki Vazou nikivazou
Research Assistant Professor and Haskeller

IMDEA Madrid

@danielwessel
danielwessel
@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London