Skip to content
View ligurio's full-sized avatar
💥
💥
388 followers · 490 following

Organizations

@tarantool @luafun @sqaunderhood

Block or report ligurio

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
@struct
Chris Rohlf struct
I do security stuff and software development in C/C++
@hakank
Hakan Kjellerstrand hakank
Independent Researcher. Interests: Constraint Modeling, Logic Programming, (Recreational) Mathematics, Probabilistic programming. Co-author of the Picat book.

Software Developer (Retired) / Independent Researcher Malmoe, Sweden

@muratdem
Murat Demirbas muratdem
Working on distributed [systems, databases, consensus, blockchains]. Blogs at http://muratbuffalo.blogspot.com

Buffalo, NY

@gogabr
Georgy Bronnikov gogabr

Moscow, Russia

@volodeyka
Vladimir Gladshtein volodeyka
I do formal verification with interactive theorem provers

National University of Singapore Singapore

@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@bioothod
Evgeniy Polyakov bioothod
@aman-goel
Aman Goel aman-goel
Applied Scientist @ AWS

Amazon Web Services Seattle, WA

@sergos
Sergey Ostanevich sergos

MailRu

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@pkriens
Peter Kriens pkriens
Java & OSGi expert

aQute Montpellier, France

@rystsov
Denis Rystsov rystsov

Seattle, WA

@arminbiere
Armin Biere arminbiere
Professor University of Freiburg

Freiburg im Breisgau, Germany

@marco-c
Marco Castelluccio marco-c

@mozilla Napoli

@hishamhm
Hisham Muhammad hishamhm

Porto Alegre, Brazil

@roberto-ieru
Roberto Ierusalimschy roberto-ieru

PUC-Rio

@wg
Will Glozer wg
@mristin
Marko Ristin mristin
PhD in Computer Vision, MSc in Computer Science

Zurich, Switzerland

@jmid
Jan Midtgaard jmid
Hacks on FP and property-based testing. Former academic. Open to work.

Independent Denmark

@kroening
Daniel Kroening kroening
@nano-o
Giuliano Losa nano-o

Stellar Development Foundation Washington

@fperrad
François Perrad fperrad

France

@koalaman
Vidar Holen koalaman
@axboe
Jens Axboe axboe

Facebook

@mfleming
Matt Fleming mfleming
Founder at Nyrkiö. Systems Engineer at Cloudflare. Ex kernel maintainer.
@pjd
Pawel Jakub Dawidek pjd

Fudo Security USA

@karlicoss
karlicoss
Friendly robot

London, UK

@antonrevyako
Anton Revyako antonrevyako
Founder of dwh.dev, holistic.dev and parsers.dev

dwh.dev Spain

@tigvarts
Oleg Ivanov tigvarts
@a13xp0p0v
Alexander Popov a13xp0p0v
Linux Kernel Developer & Security Researcher. This is my personal account.
@jackhumbert
Jack Humbert jackhumbert
Owner of OLKB, Founder of QMK https://olkb.com, https://qmk.fm

@olkb, @qmk Indiana

@eliben
Eli Bendersky eliben

@google California

@lemmy
Markus Alexander Kuppe lemmy

@microsoft Redmond, USA

@rouming
Roman Penyaev rouming

Berlin

@hwhw
HW hwhw

Göttingen, Germany

@ongardie
Diego Ongaro ongardie
Co-author of @raft. Previously @juicebox-systems, @homex, @eBay, @salesforce, @PlatformLab at Stanford.

self Seattle

@rfht
rfht rfht
hacking away
@ischurov
Ilya V. Schurov ischurov
Mathematics / ML / Education

Radboud University of Nijmegen

@Tropicao
Alexis Lothoré Tropicao
Embedded systems software engineer at Bootin, maker enthusiast

Bootlin Toulouse

@nelhage
Nelson Elhage nelhage

San Francisco

@pviotti
Paolo pviotti

Ireland

@rtsisyk
Roman Tsisyk rtsisyk
@mary3000
Mary mary3000
MIPT DIHT student

MIPT Moscow

@antirez
Salvatore Sanfilippo antirez
Computer programmer based in Sicily, Italy. I mostly write OSS software. Born 1977. Not a puritan.

Redis Labs Catania, Sicily, Italy

@palvaro
Peter Alvaro palvaro

UC Santa Cruz

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

norway

@cheusov
Aleksey Cheusov cheusov

does not matter Kutaisi

@apavlo
Andy Pavlo apavlo

Carnegie Mellon University Pittsburgh, PA

@jpmens
Jan-Piet Mens jpmens
@ept
Martin Kleppmann ept
Distributed systems + security protocols researcher at University of Cambridge; author of Designing Data-Intensive Applications; formerly Rapportive/LinkedIn

University of Cambridge Cambridge, UK