Skip to content

Users following cryspen

@Marqui-13
Marquivion Orr Marqui-13
software engineer with expertise in various fields including blockchain, web3, AI, full-stack development, creative development, cryptography, and quantum

Iowa, United States

@saulshanabrook
Saul Shanabrook saulshanabrook
PhD student at @uwplse advised by @gilbo. Previously worked at @Quansight / @Quansight-Labs, @LineaLabs, @jupyterlab and @burke-software.

University of Washington Seattle, WA

@ale687
Claudio Alejandro ledesma ale687
Python developer in training | Studying Systems Engineering at UTN | Interested in backend & automation | Looking for junior dev opportunities

buenos aires, Argentina

@anb2473
Austin Blass anb2473
🚀 Open Source Contributor | Working on Flint Engine — fast SQL alternative | Building tools for SWE & business (ERP, CRM) | Building physics rendering engines
@dtumad
Devon Tuma dtumad
Graduate Student at the University of Minnesota working on cryptography and formal verification.

University of Minnesota Minneapolis MN

@Leiser-Research
Leiser Research Leiser-Research

Leiser Research Biel/Bienne, Switzerland

@davidloiret
David LOIRET davidloiret
Remote Web engineer @ Gatewatcher. Passionate about web development. Playing with Angular, Vuejs, React, ReactNative, Ionic, Electron, Nodejs and Golang.

@gatewatcher Metz

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@spitters
Bas Spitters spitters

Aarhus University Denmark

@zalanlevai
Zalán Bálint Lévai zalanlevai
🏳️‍🌈 they/them. 🎓 PhD student at the University of Sheffield 🦀 Rustacean, working with the Rust compiler on mutest-rs. 🛠 Development Lead at @rinfeldev.

The University of Sheffield Sheffield, United Kingdom

@SaiVK
Sai Venkata Krishnan SaiVK
Systems and Security

IIT Madras Chennai, Tamil Nadu

@json420
Jason Gerard DeRose json420
Non-neuronormative hacker type ⚡🤯 Luckiest Dad in the solar system 👨‍👩‍👧💖🌞🌎🪐 111x developer 🚀 Alpha nerd 🤓 Rust lover 🦀

Colorado

@mamonet
mamonet

Seceq Milan, Italy

@alexoltean61
Alex Oltean alexoltean61
MSc. Student at @unibuc-cs

Bucharest, Romania

@ligurio
Sergey Bronnikov ligurio
I make software suck less
@mratsim
Mamy Ratsimbazafy mratsim
Ethereum Blockchain R&D ✦ ZK Cryptography Engineering ✦ Data Scientist ✦ High Performance, Parallel, Scientific and GPU computing

Paris

@cmester0
Lasse Letager Hansen cmester0

Aarhus University Aarhus, Denmark

@0xameer
0xameer
https://sr.ht/~carnotweat/

carnot Bangalore

@newsoft
Nicolas RUFF newsoft

Google Zürich, Switzerland

@tuxcanfly
Javed Khan tuxcanfly
Core Developer

@bcoin-org @handshake-org Remote

@Hiiirad
Hirad Rasoolinejad Hiiirad
DevSecOps Engineer | eBPF and XDP | Cyber Security Researcher | Telco Cloud | Rust | Open Source Contributor
@csjones
Chris csjones
mender of things

Outer Space

@who-biz
Biz who-biz
build stuff (with blockchains)

@blur-network

@Mikerah
Mikerah Mikerah
Formerly a dumb student. Now, just a dumb adult.

@HashCloak @Stoffel-Labs

@jfdm
Jan de Muijnck-Hughes jfdm

University of Strathclyde Europe

@kcnickerson
Ken Nickerson kcnickerson
Maker, Coder, Hacker, MaveriX, XanaduAI, HorizonIO, CDL, i6, xdTaz, xOmers, xFlixel, xRthm, xKobo, xOpenCola, xMicrosoft, xRogers, xBanks, xXs

iBinary LLC Toronto, ON

@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris