Skip to content

@formal-land Formal Land

@xxcvbj
xxcvbj
@WinterDawn
Dongyu Wu WinterDawn
@orlovt
Tim Orlov orlovt

@ChaosLabsInc Brooklyn, NY

@nnWhisperer
nnWhisperer
Real person based in France but not French. I try to keep here quite private.
@thevaibhavmaurya
Vaibhav Maurya thevaibhavmaurya
React Js Developer | Wordpress | Reactjs | Redux | Nextjs | TailwindCSS | Seeking Exciting Opportunities ✨🌱

India

@AshGreyG
AshGrey :> にんじん🥕 AshGreyG
Love @huaier007 forever 🍊

@Empiremono Huaier's heart

@Whatever314
孙伟 Whatever314
@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@daniele-bolla
Daniele Bolla daniele-bolla

London

@seanpm2001
Sean P. Myrick V19.1.7.2 seanpm2001
I'm an experienced programmer, with the intent to make the world a much better place, and protect freedoms of the Internet. I am skilled in Python, and web dev.

Self-employed; looking for tips Walla Walla Washington, USA, Earth, Milky way, <Universe>

@montekki
Fedor Sakharov montekki
Software developer

Berlin

@nalgnaohel
Hoang Lan Le nalgnaohel
Lifelong learner wanna try interesting things

VNU University of Engineering and Technology Hanoi

@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.

@vnu-frsl @vnu-sme @SEhumantics Ichvers, Esteh, Enurbahnhof, Azeroy

@nir-zilberman
Nir Zilberman nir-zilberman

@aws Israel

@erikmd
Erik Martin-Dorel erikmd
Assoc. Prof. in Computer Science

Lab. IRIT, Univ. Toulouse Toulouse, France

@sbnair
Shailesh Nair sbnair
Working in Ethereum, Tezos, Cosmos, Solana and in the areas related to Cryptography mainly focused on ZKP, DKG,DVT, MPC.

Software Consultant Remote

@Lexterl33t
Lxt3h Lexterl33t
Security researcher @FuzzingLabs

The Alchemist Co. /home/lxt3h/Desktop

@nova032
Nova032 nova032
@vuvoth
vuvoth
@rejwar
Md. Rejwar Rahman Rifat rejwar
Стоя vor o mundo et 弯腰 前に الله.

@FatherLink In your Heart🫀

@d-plaindoux
Didier Plaindoux d-plaindoux
Software Developer working closely with @akawangroup Distributed Computing | Compiler @dplaindoux@functional.cafe | @dplaindoux.bsky.social

Freelance at Fungus Toulouse, France

@Okm165
BartolomeoDiaz Okm165
Cryptography CS&E 🧉 | Attention Is All You Need

Poland, Kraków

@lylemoffitt
Lyle Moffitt lylemoffitt
@JavaLot
Michael Rodionov JavaLot
@yeradis
Yeradis P. Barbosa Marrero yeradis
Software Engineer at @americanexpress | Mobile | Frontend | Backend | Contactless Payments at Rooam (acquired by @americanexpress)

@americanexpress Barcelona,Spain

@Roohollah81
Roohollah81
software engineer
@phantomplankton
Deepak Khemchandani phantomplankton
^ I solve problems that are worth solving ^ I conduct research at the root-level ^ I build and execute the objectives

@Dinosco-AI Singapore

@currantino
Matvey Smorodin currantino

ITMO University Russia, Saint-Petersburg

@Shark-with-Blue-Shoes
Humam Alhusaini Shark-with-Blue-Shoes
Student at UTA, working on verifying musl with the SL2 lab at UTD
@0xSY3
Sahil Wasnik 0xSY3
Cryptography | AI x Web3

Blockchain

@cr-eative-dev
< cr-eative-dev /> cr-eative-dev
Software Engineer @peaqnetwork • Rust / Solidity / Typescript • 3D Artist • Designer • @Polkadot-Blockchain-Academy #6 Lucerne Graduate • PBA-X Cohort #1 Alumni

@peaqnetwork

@RCoeurjoly
Roland Coeurjoly RCoeurjoly
@andreadlm
Andrea Delmastro andreadlm

Reply Cuneo

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@mattyg
mattyg
@wuz
Conlin Durbin wuz
Senior Frontend Engineer at @Whatnot-Inc . Typescripter. TTRPG-er. writing at wuz.sh ⌨️

@Whatnot-Inc Indianapolis, IN

@gborough
Geoffrey Borough gborough
Open to work

Lexitree Melbourne Australia

@0xMushow
0xMushow
Protocol Security Researcher @ethereum

@ethereum Paris, France

@mujin-hyperithm
Mujin Kim mujin-hyperithm
@nnarek
nnarek
@Brian-M-J
Brian M Johnson Brian-M-J
Student. AI, Mojo and Python enthusiast.
@TalDerei
Tal Derei TalDerei
MS in Computer Science at Lehigh University - Member of SSS Research Group (sss.cse.lehigh.edu) and Lehigh Blockchain (wordpress.lehigh.edu/blockchain)

Lehigh University tal@penumbralabs.xyz

@MRHMisu
MRHMisu
The Best of The Worst.

University of California Irvine Irvine, California

@zlonast
Ilya Baryshnikov zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
@atelooo
Sabanegar atelooo
@Aaronvern
Aaronvern Aaronvern
Full-Stack | Web3 | OSS | Breaking

Earth

@iamlateforbreakast
iamlateforbreakfast iamlateforbreakast
@hamza-sajjad-skylabs
Muhammad Hamza Sajjad Abbasi hamza-sajjad-skylabs
@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas

@yokurang
Alan Matthew yokurang
let me think about it