Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View potan's full-sized avatar

Block or report potan

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
@berkus
Berkus Decker berkus
Principal Software Engineer at @microsoft, supporter of @FreeFeed, timeless leader of @metta-systems

@microsoft Cydonia, Mars

@lean-dojo
LeanDojo lean-dojo
Machine Learning for Theorem Proving in Lean

United States of America

@TatianaShavrina
Tatiana Shavrina TatianaShavrina
Natural Language Processor
@samsergey
Sergey B. Samoylenko samsergey

Institute of Volcanology and Seismology Kamchatka, Russia

@uw-math-ai
UW Math AI Lab uw-math-ai
Accelerate Mathematics Research with AI

United States of America

@willow-ahrens
Willow Ahrens willow-ahrens
Compilers Grad Student

Massachusetts Institute of Technology

@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance

Research Scientist NYC

@CharlesCNorton
CharlesCNorton
Machina Vincit Omnia

@voxel51

@FusionBrainLab
FusionBrain Laboratory FusionBrainLab
Multimodal generative AI research laboratory
@miraneko
Mira Ciel Nekomimi-Sireneva miraneko
just some little silly neurodivergent enby catperson
@djdarland
Dennis Darland djdarland
Interested in clearing up problems in philosophy of logic and mind using logic and examples using WildLIFE.

None Illinois. USA

@yenat
yenat

Ethiopia

@vsbogd
Vitaly Bogdanov vsbogd
Basic, Clipper, Pascal, C, C++, Perl, Objective C, Java, Python, Go, JavaScript, Rust, to be continued...

@singnet @trueagi-io Saint-Petersburg

@HackerPoet
HackerPoet
Also known as CodeParade, I run a YouTube channel.

CodeParade United States

@aindilis
aindilis
Interested in AI for personal organization.
@DmytroMitin
Dmytro Mitin DmytroMitin
www.researchgate.net/profile/Dmytro_Mitin stepik.org/users/2096185/teach

KNU Kyiv, Ukraine

@wouterbeek
Wouter Beek wouterbeek
Co-founder at Triply, Semantic Web researcher at VU University Amsterdam, logic-programmer.

Triply, VU University Amsterdam Amsterdam

@cab404
Cabia Rangris cab404
X▄▄▄▄▄X█X█▄▀X▀XX█XXX█X█X▄X█▀▀▄X█▄▄▄█X█▄▀███X▀▄▄▄▄▄▄▄█▀XXX▀X▄▄▄XX▀▀▄X▀▄X▀X█▀▄█XX▀██▄▄▀▀X█▀▄▄▀█X█▀▀▀X████▄▀▄▄█▄█▄▄▄▄▄▄▄██▄ decode for a head pat
@xnning
Ningning xnning
Types are all you need.

University of Toronto

@Des333
Denis Gabidullin Des333
FPGA / Linux Kernel / Network protocols

STC Metrotek Saint Petersburg

@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

Dubai

@m-ou-se
Mara Bos m-ou-se
Rust leadership council member, former Rust library team lead, Author of Rust Atomics and Locks, Director of RustNL, Founder of Fusion Engineering and Hexcat

Netherlands

@emiflake
emiflake

Liqwid Labs Amsterdam, The Netherlands

@julialongtin
Julia Longtin julialongtin
Free Software Hacker

Haskell-Things Berlin, Germany

@isislovecruft
isis agora lovecruft isislovecruft
i adore my sixty four. i'm occasionally available for cryptographic contracting/consultant work. curriculum vitae: https://patternsinthevoid.net/cv.pdf

Independent Consultant/Contractor San Francisco

@vcvpaiva
Valeria de Paiva vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

@tetrapharmakon
fouche tetrapharmakon
Category theorist, coend sifu. Member of https://compose.ioc.ee

https://compose.ioc.ee Tallinn, Estonia

@snjax
Igor Gulamov snjax
Maintainer of ZeroPool

@zeropoolnetwork Decentralized

@ksenia-portu
Ksenia Portu ksenia-portu
Generative AI. Haskell. Blockchain. Functional Programming
@argent-smith
Pavel Argentov argent-smith

Evrone.com Tver, Russia

@badd1e
Alisa badd1e
Excellence is what mediocrity fears most

independent hyperspace

@julbinb
Julia Belyakova julbinb

Purdue University Lafayette, IN, USA