Skip to content
View aionescu's full-sized avatar
73 followers · 51 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report aionescu

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
@razvanperial
Razvan Perial razvanperial
Computer Science MSc. student @ TUM. I like low-level programming, cloud computing & security.
@fufexan
Mihai Fufezan fufexan
Student @ TUCN. Passionate about Nix/NixOS.

Cluj-Napoca, Romania

@BMarelli
Bautista Marelli BMarelli
Estudiante de LCC en la UNR

@markethub-technologies Rosario, Argentina

@jtkristensen
Joachim Tilsted Kristensen jtkristensen
I am unconditionally exited about all things in computer science. I also really love making, playing and listening to music.

The University in Oslo. 3410 Sylling, Norway.

@Wincent01
Wincent Holm Wincent01

Sweden

@AndreiDuma
Andrei Duma AndreiDuma
Worked on cloud infrastructure & tooling at @google, @adobe and @CERN. Then I hand-assembled a FORTH interpreter for RISC-V. Currently studying Agda.

@unibuc-cs Romania

@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@sgraf812
Sebastian Graf sgraf812

Karlsruhe, Germany

@iokasimov
Murat Kasimov iokasimov
Software designer

เชียงใหม่

@Tritlo
Matthías Páll Gissurarson Tritlo
uncertified haskell engineer | certified researcher

DPella AB Gothenburg, Sweden

@dpella
DPella AB dpella
DPella AB

Göteborg, Sweden

@jul1u5
Julius Marozas jul1u5
PhD @ Chalmers

Chalmers University of Technology Sweden/Lithuania

@tpetricek
Tomas Petricek tpetricek
Academic interested in new ways of thinking about programming and history & philosophy of computing. Likes @fsharp, works at @d3sprog & sometimes @fsharpworks.

Charles University Prague

@Rewbert
Robert Krook Rewbert
PhD student at Chalmers University of Technology. Compilers, IoT, Languages, Testing

Chalmers University of Technology Gothenburg

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@cstml
Vlad L cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"

Sheffield, United Kingdom

@emilypi
Emily Pillmore emilypi
I've stopped maintenance of most things in favor of taking care of animals. I encourage y'all to do the same.

@kadena-io Salt Lake City, Utah

@tchoutri
Théophile Choutri de Tarlé tchoutri
Functional Programmer with a knack for resilient systems.

@scrive Montreuil, Paris

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@explodingcamera
Henry Gressmann explodingcamera

Germany

@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@FractalFir
Fractal Fir(Michał Kostrubiec) FractalFir
Young programmer from Poland, interested in writing compilers, and procedural generation.

Szczecin, Poland, EU

@jamii
Jamie Brandon jamii
Feral man-ape.

Vancouver, BC

@jespercockx
Jesper Cockx jespercockx

TU Delft

@anfelor
Anton Felix Lorenzen anfelor

Edinburgh, UK

@doyougnu
Jeffrey Young doyougnu
PhD in programming languages. Artificer. GHC developer and JS backend core developer. I write a lot of Haskell.
@Bodigrim
ˌbodʲɪˈɡrʲim Bodigrim
Director at Haskell Foundation

Odessa, Ukraine

@fricklerhandwerk
Valentin Gagarin fricklerhandwerk

@NixOS @tweag Hamburg, Germany

@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.
@kit-ty-kate
Kate kit-ty-kate
Contractor working on opam (OCaml Package Manager). Previously @tarides / @ocamllabs -------- Autogestion à toute échelle, pain et liberté.

@ahrefs @ocaml-sf Glasgow, Scotland

@igingu
Ionut Gingu igingu
Formerly working on backend systems, now very interested in crypto, blockchain and smart contracts.
@faizilham
Faiz Ilham faizilham
Doing computer stuffs

Netherlands

@Kleidukos
Hécate Kleidukos
Haskell developer // Technical writer // Community organiser

Montreuil

@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

@mgajda
Michał J. Gajda mgajda
Software developer with experience in functional programming, JS, CSS, XML, and zillions of other languages. No, I do not SSH telepathically ;-).

Singapore

@MaksymilianDemitraszek
Maksymilian Demitraszek MaksymilianDemitraszek

Optiver Amsterdam

@dbnor0
dbnor0
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@jaspervdj
Jasper Van der Jeugt jaspervdj
Haskell programmer. I like to make things.

programmer at @snyk Zurich, Switzerland

@akrmn
akrmn akrmn

Zürich, Switzerland

@lehins
Alexey Kuleshevich lehins
Software Engineer at IOHK

@input-output-hk Colorado

@ana-pantilie
Ana Pantilie ana-pantilie

@input-output-hk

@aniteicristi
Anitei Cristian-Daniel aniteicristi

Cluj-Napoca

@GaussianWonder
Teodor GaussianWonder
@AlexandruIca
Alexandru Ică AlexandruIca
Writing FORTRAN without wearing a blue tie is a syntax error
@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@dombinorbert
dombinorbert
@raduom
Radu Ometita raduom

IOHK Cluj Napoca

@mihaiolteanu
Mihai Olteanu mihaiolteanu

Cluj / Romania

@blinkenlight
Asztalos Attila Oszkár blinkenlight

Romania