Pietro Monticone
pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.
University of Trento Trento, Italy
The Operating Function Company
operating-function
Building a cloud operating system for personal use.
Urbit Systems Technical Journal
Urbit-Systems-Technical-Journal
Resources for USTJ contributors.
Soft Robotics Lab, ETH Zürich
srl-ethz
We develop soft and biohybrid robots. Our research laboratory that is part of the Institute for Robotics and Intelligent Systems at ETH
Zürich, Switzerland
Worldcoin
worldcoin
Building the world’s largest identity and financial network as a public utility, giving ownership to everyone.
Jack Ek
kjekac
Functional p2p programmer. Interested in programming languages, immutable hash-based data structures, type theory, ...
@operating-function
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Kiwix
kiwix
Sharing Web content with people without Internet access. Go offline!
Lausanne, Switzerland
PreviousNext