Highlights
- Pro
PeaceFounder
PeaceFounder
Centralised E2E verifiable evoting via pseudonym braiding and history trees
Sofía Celi
claucece
Cryptography @brave. hprc co-chair @IRTF-HRPC anti-fraud co-chair @w3c PQUIP co-chair at @ietf-wg-pquip Previously @cloudflare @thoughtworks @dyne
@brave AMS/LIS/UIO
The Algorithms
TheAlgorithms
Open Source resource for learning Data Structures & Algorithms and their implementation in any Programming Language
India
Privacy & Scaling Explorations
privacy-scaling-explorations
Formerly known as appliedzkp, we work to bridge the gap between cutting-edge research in Zero-Knowledge Proofs (ZKP) and application development on Ethereum.
Roderick Chapman
rod-chapman
Security- and Safety-Critical software engineer. Designer and developer of the SPARK/Ada language and toolset for many years.
Amazon Web Services UK
The Initiative for Cryptocurrencies and Contracts (IC3)
initc3
IC3 is an initiative of faculty members at several universities worldwide, working to advance the science and applications of blockchains.
Obsidian Systems LLC
obsidiansystems
Software consultancy specializing in haskell, nix, curiosity, and innovation.
New York, NY
Joe Leslie-Hurd
gilith
Robot mathematician, probability plumber, chip monk, etc.
Intel Corporation Portland, OR, USA
Herman Bergwerf
bergwerf
Life is an experience, computers are only a tool.
Bergwerf Labs Amsterdam, Netherlands
Jose A. Alonso
jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Universidad de Sevilla Sevilla (España)
Tomasz Brengos
iwashis
There's no such thing as
a lousy job-only lousy men who don't
care to do it.
Warsaw, Poland
Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL
Jason Hu
HuStmpHrrr
PhD student at McGill University
https://gitlab.com/JasonHuZS
McGill University Montreal, QC
PreviousNext