Tony Wasserka
neobrain
Independent consultant・embedded systems, device drivers, firmware, kernels, etc・C++ and Haskell・Wii and 3DS emulator developer
Berlin
alexzoid
alexzoid-eth
· 🏆 #1 certora.com/leaderboard · DM for Top-Notch
@Certora
Formal Verification ·
Sovereign
Sovereign-Labs
Build real-time blockchains with the industry's most flexible and performant toolkit.
Vultisig: Secure Crypto Vault
vultisig
The secure seedless, multi-device, multi-chain crypto wallet for everyone
John Chase
joohhnnn
More Pressure
More Release
More Relief
More Belief
More Distance
More Reach
The truth is I don't know, it's so deep
ZisK
0xPolygonHermez
ZisK is an open-source zero-knowledge proving toolstack featuring a zkVM that enables verifiable execution of programs written in high-level languages like Rust
Electronic Arts
electronicarts
Electronic Arts, inspiring a global community of players to explore new ways to play every day
Worldwide
Chenggang Zhao
LyricZhao
@deepseek-ai infra; previously at NVIDIA | SenseTime | Tsinghua University.
DeepSeek AI Hangzhou, China
Zihan Wang
ZihanWang314
PhD student at Northwestern University. Previously @deepseek-ai @uiucnlp & Renmin University
TheSavageTeddy
TheSavageTeddy
likes bears | likes hacking | loves ctfs | @EmuExploit #1 Aus team
(CTF twitter @teddyctf), intern @Zellic
@EmuExploit likely earth
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Aurélien PIERRE
aurelienpierre
Retired. Technosceptic most of the time, technophobe when third-party upgrades break workflows. We don't need more techs to solve problems created by tech.
@aurelienpierreeng Europe
PreviousNext