Skip to content
View cyberglot's full-sized avatar
👋
good bye
👋
good bye
1k followers · 713 following

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Block or report cyberglot

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
@Mokosha
Pavel Krajcevski Mokosha

San Francisco, CA

@gelisam
Samuel Gélineau gelisam
Haskeller

well.co Montréal

@DanilaFe
Daniel DanilaFe
Programming Languages ❤️

Hewlett Packard Enterprise Portland, OR

@damasktb
Damask Talary-Brown damasktb
C++ dev (EAI) @Morgan-Stanley & Instructor @glblcd. Always willing to pick a fight in support of Python.

@Morgan-Stanley London, UK

@andrew-wja
Andrew Anderson andrew-wja
Compilers et cetera

Ireland

@luc-tielen
Luc Tielen luc-tielen
Interested in functional programming, compilers and logic. Mainly working on Eclair, a high performance Datalog that compiles to LLVM.

Lambda Tech Belgium

@doomemacs
Doom Emacs doomemacs
A configuration framework for GNU Emacs.

~/.config/emacs

@nilehmann
Nico Lehmann nilehmann

University of California, San Diego San Diego, CA

@flux-rs
flux-rs
@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

@cue-lang Vienna, Austria

@kris-brown
Kris Brown kris-brown
Applied Category Theory research at the Topos Institute Stanford PhD 2021

Topos Institute

@cangiuli
Carlo Angiuli cangiuli
@ToposInstitute
Topos Institute ToposInstitute
@smunix
Providence Salumu smunix
Mad Scientist Math, Haskell and The Pursuit of Laziness

Montréal

@typst-community
Typst Community typst-community
A community-driven organization for sustaining software related to the Typst ecosystem.
@Sorixelle
Ruby Iris Juric Sorixelle
fox on the internet

Melbourne, Australia

@SophieBosio
Sophie Bosio SophieBosio
Software engineer at Ardoq and Emacs enthusiast λ Haskell & Clojure

Ardoq Oslo, Norway

@mclear-tools
mclear-tools
@mclearc
Colin McLear mclearc
Associate Professor & Open Source Developer | Advancing Critical Thinking & Responsible Innovation in Education

United States

@rougier
Nicolas P. Rougier rougier
Researcher in computational and cognitive neuroscience supporting open source, open access and open science.

@INRIA Bordeaux, France

@marcinjangrzybowski
MJG marcinjangrzybowski
@jethrokuan
Jethro Kuan jethrokuan
Author of Org-roam. previously: bytedance, twitter, carousell

@abnormal-security San Francisco

@HaoZeke
Rohit Goswami HaoZeke

@Quansight-Labs, @TheochemUI University of Iceland

@taimoorzaeem
Taimoor Zaeem taimoorzaeem
@kutyel
Flavio Corpa kutyel
Functional Engineer 𝝺 Haskell & Elm

@scrive Alicante, Spain

@vezwork
Elliot vezwork
Ꮖ 🥕 editors

Canada

@koekeishiya
Åsmund Vikane koekeishiya

Stavanger, Norway

@Bodigrim
ˌbodʲɪˈɡrʲim Bodigrim
Director at Haskell Foundation

Odessa, Ukraine

@Martinsos
Martin Šošić Martinsos
Creator of Wasp and Edlib. Enthusiastic about web dev, Linux, Emacs, Clean code, functional programming (Haskell), startups, building a product.

wasp-lang.dev Croatia

@lambda-garden
The Lambda Garden lambda-garden
Making creative computing safe, fun, and human.
@bishboria
Stuart Gaλe bishboria
Former mathematician. Glaikit type theory phd student

Glasgow

@syl20bnr
Sylvain Benner syl20bnr
(づ｡◕‿‿◕｡)づ ♬♩♪·♫ ♬♩♪·♫♬♩

Tracel Technologies Quebec City, Canada

@yvan-sraka
Yvan Sraka yvan-sraka

Brussels, Belgium

@pseudonom
Eric Easley pseudonom

San Francisco

@zlonast
Ilya Baryshnikov zlonast
@plumenator
Karthik Ravikanti plumenator

Singapore

@poplmark-reloaded
poplmark-reloaded
@glottologist
Jason Ridgway-Taylor (~misfur-mondut) glottologist
Polygot functional programmer, sometime beekeeper and most importantly, father. @scala @haskell @idris @ocaml @f# @rust @f*

Ontologi UK

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@jcabrero
José Cabrero-Holgueras jcabrero
Cryptography + AI. Development, Research, DevOps and pretty much everything in computing. @NillionNetwork

@NillionNetwork Madrid

@lix-project
Lix Project lix-project
A delicious package manager with sprinkles on top.
@szumixie
Szumi Xie szumixie
(x : Haskell) → Agda x
@colltoaction
Martin Coll colltoaction
Let's rethink computing

🇦🇷

@francesca64
Francesca Lovebloom francesca64
indie game developer

Portland, OR, US

@fizruk
Nikolai Kudasov fizruk
Haskeller falling down a rabbit hole.

@InnopolisUniversity

@heft-lang
heft-lang
@hydro-project
Hydro hydro-project
A research project at UC Berkeley designing new programming models for distributed systems.

Berkeley, CA

@romac
Romain Ruetschi romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems

@informalsystems Lausanne, Switzerland

@zeramorphic
Sky Wilshaw zeramorphic
PhD student at Nottingham, researching semantics of memory safety and borrowing.

Cambridge, UK

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany