Skip to content
View proofconstruction's full-sized avatar

Block or report proofconstruction

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
@sins921
Jesús Jiménez lozano sins921
por favor alguien que me explique

apichi gadalajara

@zadorski
Pavel Zadorski zadorski
Our hobbies define us better than chapter "About me" :)

Ciklum Köln, Deutschland

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@Ramyromel
Ibrahim Ghonem Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog

Sky limit Egypt

@SomeoneSerge
Someone SomeoneSerge
Applied mathematics, inverse graphics, computer vision (dense image correspondences), Nix

Independent + Aalto U, former HSE & Skoltech Helsinki, FI

@felschr
Felix Schröter felschr
Turning 🍵 into scalable systems.

@cmdscale Lüneburg, Germany

@hmltn-0
Julius Hamilton hmltn-0
Developer honing skills in system design, project management, and full stack. Focused on SQL, data science, and category theory. Let's innovate together.

Hamilton, Inc. Salt Lake City

@mightyiam
Shahar "Dawn" Or mightyiam
Author of the Full Time Nix podcast and open source contributor

Chiang Mai, Thailand

@ConnorBaker
Connor Baker ConnorBaker
Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!

Costa Mesa, CA

@Dreampopsickle
Christian Dreampopsickle
Barista turned SWE. I like to make beats and commits.

Commonplace Cooperative Providence, RI

@jboarman
Jonathan Boarman jboarman

Sparkfish Addison, TX

@strickvl
Alex Strick van Linschoten strickvl
Software engineer (currently working as ML Engineer)

ZenML Delft, The Netherlands