A little science. A little math. Working on some programming.
- New York / San Francisco
Sponsoring
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Sven Kanoldt
sassman
polyglot software engineer | rustlang enthusiast | co-organizer at @rust-meetup-munich | maintainer of @cargo-generate | creator of t-rec-rs and @steganogram
Munich
Marcelo Lopes da Silva
m4rc310RCP
Analista de Sistemas
COAMO - Agroindustrial Cooperativa Campo Mourão - PR - Brazil
Reagan Lutta
Reagan27
Hello 👋🏻
Reagan is a man of many sides. He's a great mix of support, technical, analytical, and banter.
He is lucky to work with a lot of fine folk
IBM Nairobi, Kenya
Kunal Nawale
nkunal
Founder of SigLens, an open source alternative to Splunk/DataDog that is 100x more efficient
@siglens
@siglens Boston, MA



