bugarela
Follow
Pietro Monticone
pitmonticone
AI β Formal Verification @harmonic-ai || Formalising Mathematics and Software in @leanprover || Developing FOSS in @leanprover, @JuliaLang and @python.
Harmonic Italy, United Kingdom, United States
Luke
LukeTandjung
Studied Mathematics and Statistics.
Dabbles with interesting systems.
Looking for interesting OSS projects to contribute to.
Engineering @ Architect London
Marcos Vinicius Da Silva Zacchi
MarcosViniciusDaSilvaZacchi
Software Engineering Student - Catolica SC
Brazil
Mara Bos
m-ou-se
Rust leadership council member, former Rust library team lead, Author of Rust Atomics and Locks, Director of RustNL and Hexcat, Organizer of RustWeek
Hexcat, RustNL Delft, Netherlands
Lucas KΓ€ldstrΓΆm
luxas
@cedar-policy Maintainer | @cncf Ambassador | @kubernetes contributor | Senior Applied Scientist at @aws | KCD Helsinki co-founder | KubeCon Keynote Speaker
@cedar-policy @kubernetes @cncf @aws Finland
Arsenije KarpiΔ
karpic
Reporting from the frontlines of tech | Engineering Leader | Passionate about AI π€ Motorcycles ποΈ and Running π
Novi Sad, Serbia
Chai
chaitanyya
Just a collection of atoms trying to find meaning in this meaningless universe
Workers IO San Francisco
Fernando Borretti
eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.
Sydney, Australia
Ana Paula Chiarelli de Souza
anachiarelli
BSc in Computer Science, Software Developer & UX/UI Designer
Tanner Duve
tannerduve
Member of Technical Staff @logiq-ai. Interested in types, categories, and functional programming.
Logical Intelligence San Francisco
Verified zk(E)VM
Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
Gregor Mitscha-Baude
mitschabaude
Co-founder @zksecurity.
Lean and TypeScript hacker with π for crypto, math, P2P, agentic coding, open source
@zksecurity Vienna, Austria
PreviousNext