Skip to content
View effectfully's full-sized avatar
380 followers · 314 following

Achievements

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

Achievements

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

Organizations

@input-output-hk @dpndnt @monadfix @effectfully-ou

Block or report effectfully

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
@msooseth
Mate Soos @ Argot msooseth
Formal Verification Engineer at the Argot Collective (formerly employed by the Ethereum Foundation). Personal account: @msoos

Argot Collective @argotorg Berlin, Germany

@andreabedini
Andrea Bedini andreabedini
Haskell / Nix / Build Systems / DevEx. Theoretical physicist, experimental mathematician, or something in between. Strangely attracted by old codebases.

@tweag Perth, Australia

@hasufell
Julian Ospald hasufell
Haskell freelancer, Opensource enthusiast.

Durian Consulting Pte. Ltd. Taipei

@LSLeary
Leary LSLeary
@Anastasia-Labs
Anastasia Labs Anastasia-Labs
Haskell Web3 Consultancy
@rodrigogribeiro
Rodrigo Geraldo Ribeiro rodrigogribeiro
@alexfmpe
Alexandre Esteves alexfmpe
@riaqn
Zesen Qian riaqn
Modelling the world.

Jane Street London, UK

@rafi230144
rafi230144
Alt for posting small standalone items, usually to Twitter
@Tritlo
Matthías Páll Gissurarson Tritlo
uncertified haskell engineer | certified researcher

DPella AB Gothenburg, Sweden

@t3dotgg
Theo Browne t3dotgg
I'm just here for the vibes, man

CEO @ Ping.gg San Francisco, CA

@GBERESEARCH
GBERESEARCH
@etiamz
Louis F. Ashfield etiamz
@L0neGamer
Benjamin L0neGamer
@rhendric
Ryan Hendrickson rhendric
@g4titanx
alake g4titanx
si vis pacem, para bellum

@MiragePrivacy

@domandlj
Juan Domandl domandlj
Computer Science @ FaMAF Contact: [email protected]

Argentina

@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@thelissimus
kei thelissimus
type theory / compilers / specifications
@anghel4d
Anghel anghel4d
@MarisaKirisame
霧雨魔理沙 MarisaKirisame
Ordinary Magician

魔法の森, Gensokyo

@faust403
Vladislav Vasil'ev faust403
Rust • C++ • Haskell — Distributed Systems • Low Latency Programming • Heterogeneous computing

@hadronlabs-org Internet

@nielstron
Niels Mündler nielstron
Working on Code LLM security, open-source libraries.

ETH Zurich Switzerland

@inconvergent
ncnvrgnt inconvergent
play my new browser game for free at: https://boxtype.app

norway

@damianfral
Damián Franco Álvarez damianfral

Spain

@aleeusgr
Fifty aleeusgr
as if Rincewind was a programmer.
@RGBCube
RGBCube RGBCube
May include trace amounts of functional programming.

Doofenshmirtz Evil Inc.

@keinsell
keinsell

Szydłowiec, Polska

@mihaimaruseac
Mihai Maruseac mihaimaruseac
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Google San Francisco

@scheminglunatic
alcuin scheminglunatic
少女再帰中

Arlington, VA

@edusporto
Eduardo Sandalo Porto edusporto
Computer Science @ IME-USP

University of São Paulo São Paulo, Brazil

@ad-si
Adrian Sieber ad-si
CEO @Airsequel | Haskell, Elm, PureScript, Rust

@Airsequel Frankfurt am Main

@pmbittner
Paul Bittner pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG

@TUBS-ISF Würzburg

@SeungheonOh
SeungheonOh SeungheonOh
≝

@input-output-hk

@elaforge
Evan Laforge elaforge
@MicroProofs
microproofs MicroProofs
Blockchain Engineer and Smart Contract Developer on Cardano.

IOHK Miami

@Quantumplation
Pi Lanningham Quantumplation
@kozross
Koz Ross kozross
Intersectional feminist. Open source adorer. He/him.
@colll78
colll78

Anastasia Labs

@NathanielB123
Nathaniel Burke NathanielB123

TU Delft Delft, Netherlands

@raehik
Ben Orchard raehik
夢を抱きしめろ Embrace your dreams

@artificialio computer

@ysangkok
Janus Troelsen ysangkok
Looking for a job

Ciudad de México

@simonjohnthompson
simonjohnthompson
@HarmonicLabs
HLabs HarmonicLabs
@rphair
Robert Phair rphair
Web app & blockchain designer; devops & security consultant; open source advocate; writer & standards architect.

COSD (Cardano stake pool & consultancy) Ireland + USA + nomadic

@Unisay
Yura Unisay
Monoids for Humanoids

Cardano Berlin

@NorfairKing
Tom Sydney Kerckhove NorfairKing
Professional Weirdo

CS Kerckhove Zürich

@disassembler
Samuel Leathers disassembler
@euonymos
Ilia Rodionov euonymos

Cuernavaca, Mexico

@roife
roife roife
Interested in PL and Compiler.

@pascal-lab