Skip to content
View edvmorango's full-sized avatar
59 followers · 427 following
  • São Paulo
  • 12:20 (UTC -03:00)

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report edvmorango

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
@MonoidMusician
Verity Scheel MonoidMusician
@mrcjkb
Marc Jakobi mrcjkb
Insanity is running the same build over and over again and getting different results.

Zurich, Switzerland

@lemmy
Markus Alexander Kuppe lemmy

@NVIDIA Redmond, USA

@hwayne
Hillel Wayne hwayne

Chicago

@bishabosha
Jamie Thompson bishabosha
Language design ❤️
@Rida-Hamadani
Rida Hamadani Rida-Hamadani
math grad that likes coding

Pau, France

@jameshaydon
James Haydon jameshaydon

Imiron Tokyo, Japan

@penberg
Pekka Enberg penberg
Founder & CTO at @tursodatabase. Previously @scylladb and Linux kernel.

Finland

@astro
Astro astro
Rust, Nix, Haskell, Erlang, XSLT, Prolog, JavaScript, C – roughly in that order

osdyne Dresden

@jackyzha0
Jacky Zhao jackyzha0
distributed systems, interaction design, and enjoying sunsets

@replit San Francisco

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

DPella AB Gothenburg, Sweden

@adamgfraser
Adam Fraser adamgfraser
@ftynse
Oleksandr "Alex" Zinenko ftynse
Compilers and optimization. Polyhedral model. TensorComprehensions. MLIR.

@google Paris, France

@ysangkok
Janus Troelsen ysangkok
Looking for a job

Ciudad de México

@jamesdbrock
James Brock jamesdbrock

@woven-by-toyota Yokohama, Japan

@JonathanLorimer
Jonathan Lorimer JonathanLorimer

Toronto, Ontario

@oyvindberg
Øyvind Raddum Berg oyvindberg

Oslo, Norway

@benclifford
Ben Clifford benclifford
Functional programming. Distributed systems. Programming languages. LEDs.
@lpil
Louis Pilfold lpil
Creator of the Gleam programming language.

London, UK

@hayleigh-dot-dev
Hayleigh Thompson hayleigh-dot-dev
Hi, I'm Hayleigh! Building an isomorphic web framework @lustre-labs, doing core team shit at @gleam-lang, and making node-shaped uis @xyflow ^.^

@xyflow

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

AWS Seattle

@mbg
Michael B. Gale mbg

UK

@neilmayhew
Neil Mayhew neilmayhew
Software developer and consultant, specializing in Linux server, web and desktop application development and deployment. Haskell and NixOS enthusiast.

@input-output-hk Calgary, Alberta, Canada

@avinassh
Avinash Sajjanshetty avinassh
I git stuff done

@tursodatabase Bangalore, India

@T-Brick
Thea Brick T-Brick
yippeeee

Pittsburgh

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@bugarela
Gabriela Moreira bugarela
Building Quint at @informalsystems

@informalsystems Joinville, SC - Brazil

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@vaibhawvipul
Vipul Vaibhaw vaibhawvipul
Distributed systems. Parallel and Concurrent programming.

@pre6ai Bengaluru, India

@amuricys
Deco amuricys
haskell. cur: @carboncloud, prev @klarna @nubank
@cfallin
Chris Fallin cfallin
Software engineer with a focus on compilers. Currently hacking on WebAssembly-related technologies at F5.

F5 Sunnyvale, CA, USA

@grahamc
Graham Christensen grahamc

Berkshire County, MA

@brendandburns
Brendan Burns brendandburns

Microsoft Seattle, WA

@jberryman
Brandon Simmons jberryman
Server/haskell engineer at Hasura

hasura Richmond, VA

@m-bock
Michael Bock m-bock
Freelance Developer #PureScript, #Haskell, #Nix, #TypeScript, #Rust, #Elm

Berlin

@kosmikus
Andres Löh kosmikus

Well-Typed LLP Regensburg

@rybla
Henry Blanchette rybla
programming languages, formal verification, game dev, game theory

CS PhD student at UMD Washington, DC

@mbovel
Matt Bovel mbovel
PhD student at @lampepfl, working on refinement types for Scala 3. Former intern at @oracle Labs, worked on GraalWasm and Truffle. CS MSc/BSc from EPFL.

EPFL Lausanne, Switzerland

@iagoleal
Iago Leal iagoleal
Generalized specialist

find / -name "Iago Leal"

@lkuper
Lindsey Kuper lkuper

UC Santa Cruz

@evertedsphere
Soham Chowdhury evertedsphere

Paris

@michal-z
Michal Ziulek michal-z
Independent programmer. In the past: zig-gamedev project, AMD, DICE, Intel.
@DanBurton
Dan Burton DanBurton

San Francisco Bay Area, CA

@jonathanlking
Jonathan King jonathanlking
I'm interested in functional programming and programming languages.

London

@zliu41
Ziyang Liu zliu41
functional programmer, snooker player

@input-output-hk Millbrae CA

@nixosbrasil
NixOS Brasil nixosbrasil
@otavio
Otavio Salvador otavio
A Embedded Systems Architect and businessman passionate about technology.

O.S. Systems Brazil

@lfborjas
Luis Borjas Reyes lfborjas

New York City

@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

@bryal
JoJo bryal
person who likes compilers, type theory, computer graphics, and emacs -- more stuff on https://sr.ht/~jojo/

Sweden