Skip to content
View fizruk's full-sized avatar
♾️
♾️
359 followers · 66 following

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@cmc-msu-ai @haskell-servant @GetShopTV @polystat @rzk-lang

Block or report fizruk

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
@pkuderov
Petr Kuderov pkuderov
AI / computational cognitive modelling researcher at AIRI. MIPT PhD graduate

AIRI Moscow, Russia

@SiriusCourses
Сириус.Курсы SiriusCourses
We build educational platforms

Russia, Moscow

@hirrolot
hirrolot
At any cost, but for free
@jasonhemann
Jason Hemann jasonhemann

Seton Hall University

@rusyaev-roman
Roman Rusyaev rusyaev-roman

Huawei Russia

@tomdjong
Tom de Jong tomdjong
@geffk2
Ekaterina geffk2
@FrozenWinters
Astra Kolomatskaia FrozenWinters
Studies mathematics.

Wesleyan University

@kkkrama
kkkrama
@pavelpavlov
Pavel E. Pavlov pavelpavlov

Huawei Technologies Co. Ltd. Novosibirsk

@jonalfcam
Jonathan Campbell jonalfcam
@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@EgbertRijke
Egbert Rijke EgbertRijke
Postdoc in Mathematics

Johns Hopkins University Baltimore, MD

@zulip
Zulip zulip
Chat for distributed teams
@gabriel-fallen
Alexander Chichigin gabriel-fallen
ML/Software Engineer. Commit juggler.

Kontur Tbilisi, Georgia

@shd
Dmitry Shtukenberg shd
@khaledismaeel
Khaled Ismaeel khaledismaeel
@pruemmer
Philipp Ruemmer pruemmer

Uppsala University

@aya-prover
The Aya Theorem Prover aya-prover
@haskell-debugger
haskell-debugger haskell-debugger
@rzk-lang
rzk proof assistant, satellite tools, and formalisations rzk-lang
@aabounegm
Abdelrahman Aly Abounegm aabounegm
Front-end Web Developer

Egypt

@fredrik-bakke
Fredrik Bakke fredrik-bakke

NTNU Norway

@sergei-romanenko
Sergei Romanenko sergei-romanenko
@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@mortberg
Anders Mörtberg mortberg

Sweden

@ivanperez-keera
Ivan Perez, PhD ivanperez-keera
Principal Research Scientist @ NASA Ames Research Center |Haskell software architect | Public Speaker

@NASA Ames Research Center / KBR San Jose, CA

@PATH242
Menna Awadallah PATH242
Computer science graduate
@itp-school-2023
itp-school-2023
@sinhp
Sina Hazratpour sinhp
Category Theory, Type Theory, Formalization, ML

Johns Hopkins, US

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@TonitaN
Antonina Nepeivoda TonitaN

Program Systems Institute of RAS Pereslavl-Zalesskiy

@jaycech3n
Josh Chen jaycech3n

University of Nottingham

@dboulytchev
Dmitry Boulytchev dboulytchev

St. Petersburg University St.Petersburg

@WhatisRT
Andre Knispel WhatisRT

IOHK

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@cangiuli
Carlo Angiuli cangiuli
@anuyts
anuyts

KU Leuven

@andreas-roehler
Andreas Röhler andreas-roehler

freelance Berlin/Germany

@yegor256
Yegor Bugayenko yegor256
Author of "Angry Tests" and "Elegant Objects" books (buy them on Amazon); architect of @objectionary; founder of @zerocracy; creator of @zold-io

@zerocracy China

@IamMaxim
Maxim Stepanov IamMaxim
Love programming

Russia

@Saizan
Andrea Vezzosi Saizan
@jojhelfer
Joseph Helfer jojhelfer
@wowsel
Aleksei Papushin wowsel
@swamp-agr
Andrey Prokopenko swamp-agr

Utrecht, The Netherlands

@nikita-volkov
Nikita Volkov nikita-volkov
Expert-level Haskell and Rust consultant.

codemine.io Moscow, Russia

@kosmikus
Andres Löh kosmikus

Well-Typed LLP Regensburg

@NorfairKing
Tom Sydney Kerckhove NorfairKing
Professional Weirdo

CS Kerckhove Zürich