Informal Systems
Users following informalsystems
Guillaume Claret
clarus
Security researcher at @formal-land π² for Web3 applications
Applying the π proof system to find all the vulnerabilities.
π»ββοΈ
Formal Land Paris
Matthew Stotts
mlstotts
Investing in and advising world-changing technology entrepreneurs. Professor of Technology Management, College of Engineering at UCSB. mlstotts@sollinked.com $5
California
malik
malik672
Rust systems engineer. Performance, low-latency infra. Contributor to revm, Reth
Lagos, Nigeria
founder of codemaster
alighasemi889
π«Software Engineering | React Developer | Cybersecurity Enthusiast
CodeMaster IRAN
Nikola RistiΔ
rista404
ΠΠΈΠΊΠΎΠ»Π° Π ΠΈΡΡΠΈΡ β
software engineer @commonprefix
Belgrade, Serbia
Aakash Singh Rajput
aakash4dev
π Blockchain Developer | FHE Explorer
Building secure, privacy-driven solutions with smart contracts & Blockchain. Exploring FHE... π»
Airchains Gurugram
Mateo Sanabria Ardila
Masanar
Mathematician (maybe), Teacher (perhaps), Computer Scientist in Training (feasibly)
Universidad de los Andes BogotΓ‘, Colombia.
Afonso Rafael (Gafanhoto)
Alf0nso
Compilers, Functional Languages, Linux and too many projects I end up not finishing
Barcelona Supercomputing Center Barcelona
Nho Luong
nholuongut
π π»π³π»π³-π»π³π»π³-π»π³π»π³-π»π³π»π³-π»π³π»π³-π»π³π»π³
- Vietnam DevOps Engineer
Lead
- Vietnam Timeless Charm
- Enjoy Every Moment
DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam
phial3
phial3
Software engineer, coding in C & Rust, Python. Expertise: Architecture design, Concurrent programming, Performance optimization and Cryptography
Princeton University Beijing Β· China