Skip to content
View relrod's full-sized avatar
314 followers · 401 following

Achievements

Achievement: QuickdrawAchievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Highlights

Organizations

@scalaz @pikelang @W8UPD @edge-sys-design @fedora-infra @haskell-infra @noexc @dpndnt @ansible-community @Checkmk @dagd

Block or report relrod

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
@Amp9312
Anthony Hake Amp9312
A pebble ready to become a mountain

Warren, OH

@gallettilance
Lance Galletti gallettilance
Passionate about AI safety, Privacy, and Typed Functional Programming. I make Data Science videos sometimes.

Red Hat | Boston University

@taviso
Tavis Ormandy taviso
@Ptival
Valentin Robert Ptival
Programming Languages and Software Verification

Galois, Inc. Portland, OR

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

University of Cambridge Cambridge, Cambridgeshire, UK

@nek0
rys ostrovid nek0
This account exists only for historical purposes. To see my current projects, go to https://gitea.nek0.eu
@bishboria
Stuart Gaλe bishboria
Former mathematician. Glaikit type theory phd student

Glasgow

@jbgi
Jean-Baptiste G. jbgi
@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@tvieira
Tiago Moreira Vieira tvieira
Technologist and problem solver

Grafana Labs Brazil

@evangsherlock
Evan Sherlock evangsherlock
I'm 31. I enjoy programming and basset hounds.

Ohio

@jwsternthal
Jonathan W. Sternthal jwsternthal
Full time student. Part time coder.

Hermitage, Pennsylvania

@niklasb
Niklas Baumstark niklasb

Frankfurt, Germany

@nkpart
Nick Partridge nkpart

Brisbane, Australia

@jdegoes
John A. De Goes jdegoes

Ziverge Inc. Maryland, USA

@garyb
Gary Burgess garyb

Manchester, UK

@pcapriotti
Paolo Capriotti pcapriotti
Senior Haskell Developer at Wire. Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.

Wire Fermo, Italy

@mortberg
Anders Mörtberg mortberg

Sweden

@ruuk
Rick Phillips ruuk

Plex Bremerton, WA

@aaronvargo
Aaron Vargo aaronvargo
@wilcoxjay
James Wilcox wilcoxjay

University of Washington Seattle, Washington

@estradjm
Jenn Lupiáñez estradjm
Passionate about areas within the intersections of information security, wireless communications/RF, embedded systems, signal processing, and machine learning.

@lanl United States

@vcvpaiva
Valeria de Paiva vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

@zoep
Zoe Paraskevopoulou zoep
Assistant Prof 🎓 Programming Languages and Verification 💜 Coq, Haskell

National Technical University of Athens Athens, Greece

@danopia
Daniel Lamando danopia
Site Reliability, cloud architecture, reactive application design, etc

Forto GmbH Berlin, DE

@pixelnull
pixelnull pixelnull
Now on mastodon: @pixelnull@infosec.exchange

Behind a computer

@feralhosting
feralhosting feralhosting
@mchav
Michael Chavinda mchav
Software engineer focused on fraud detection, high-performance data systems, expressive APIs, and functional programming.

Seattle, WA

@pixiebones
Kalyn pixiebones
@Fuco1
Matus Goljer Fuco1
Emacs hacker, spaces > tabs

@ydistri Czech Republic, Bulgaria

@phalt
Paul Hallett phalt
Python | Django | HTTP APIs | OSS
@amarmaduke
Andrew Marmaduke amarmaduke
@jhjourdan
Jacques-Henri Jourdan jhjourdan

CNRS, LMF Paris

@levinotik
Levi Notik levinotik
@gjkerns
G. Jay Kerns gjkerns

Youngstown State University Youngstown, Ohio, USA

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@lkuper
Lindsey Kuper lkuper

UC Santa Cruz

@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@jstolarek
Jan Stolarek jstolarek
I am a Haskell Developer at BinarApps. My main focus are functional programming languages.

BinarApps sp. z o.o. Łódź, Poland

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@spacekitteh
Sophie Taylor spacekitteh
@mathstuf
Ben Boeckel mathstuf

Kitware, Inc.

@enshankar
Natarajan Shankar enshankar

SRI International Computer Science Laboratory Menlo Park CA

@samowre
Sam Owre samowre

SRI International

@capalmer1013
Chris Palmer capalmer1013
Software Engineer

Pittsburgh, PA

@JasonGross
Jason Gross JasonGross

Machine Intelligence Research Institute Berkeley, California, United States

@cesaramh
César A. Muñoz cesaramh
@markfarrell
Mark Farrell markfarrell

Canada

@Jenneh
Jenn Jenneh
UX Designer

@spacetelescope Baltimore