Skip to content
View nasosev's full-sized avatar
☸️
☸️

Organizations

@sirius-beta @oneironautic

Block or report nasosev

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
@frasertweedale
Fraser Tweedale frasertweedale
cogito ergo coproduct

Red Hat

@colltoaction
Martin Coll colltoaction
Let's rethink computing

🇦🇷

@alok
Alok Singh alok
If you’re a smooth operator, you can infinitely differentiate yourself.

Berkeley, CA

@BeNikis
BeNikis

Vilnius , Lithuania

@oneironautic
Oneironaut oneironautic
Bespoke mathematical software solutions

Australia

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

University of Cambridge Cambridge, Cambridgeshire, UK

@chshersh
Dmitrii Kovanikov chshersh
Senior Software Engineer at Bloomberg using OCaml

Bloomberg London, UK

@vrom911
Veronika Romashkina vrom911
#Learn4Haskell mentor 👩🏼‍🏫 Haskell Developer. Check out @kowainik to see more projects I'm working on. I also do @bindthegap

@kowainik London

@kowainik
Kowainik kowainik
Anyone can change the world. We do. 🌌

London, UK

@jmcph4
Jack McPherson jmcph4
Securing blockchains and building blocks @sigp

@sigp Brisbane, Queensland, Australia

@athon-millane
Athon Millane athon-millane
Representation Learning, Genomics, Finance

Melbourne, Australia

@FaizAther
ather FaizAther

Casa Systems Sydney

@katrinafyi
Kait Lam katrinafyi
program analysis researcher, university of queensland.

Australia

@jhuni
John Bernier jhuni
Double category theorist and functional programmer
@xbarnett
Will Barnett xbarnett

Brisbane, Australia

@sirius-beta
Sirius Beta Labs sirius-beta
Introspective Modelling and Affordances

Australia

@nicolaikraus
Nicolai Kraus nicolaikraus

University of Nottingham

@alexanderevangelou
Alexander Evangelou alexanderevangelou
Student interested in AI and games

Brisbane

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@prathyvsh
Prathyush prathyvsh
Software Designer

Prabros This spinning rock

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

CodeParade United States

@emilypi
Emily Pillmore emilypi
よ• Rust/Haskell • Comfy

@kadena-io SLC

@mattearnshaw
Matt Earnshaw mattearnshaw

Tallinn University of Technology Tallinn, Estonia

@DavidJaz
David Jaz Myers DavidJaz
A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".
@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@mattecapu
Matteo Capucci mattecapu
PhD student at University of Strathclyde. Applied Category Theory + ε. Retired web dev.

Glasgow, UK

@b-mehta
Bhavik Mehta b-mehta
PhD Mathematics student at Trinity College, Cambridge

Cambridge