Users following haskell-cryptography
Trezoa-Labs
trezoa-labs
Building Trezoa — deterministic blockchain infrastructure for real money.
Focused on validator reliability and post-quantum security.
Trezoa Labs Delaware, USA
Samuel Schlesinger
SamuelSchlesinger
Cryptography engineer at Google Chrome focused on the intersection of privacy and security. Creator of the Computable Secrets YouTube channel.
Google Connecticut
Toru Tomita
tatac1
TCG Member | Securing the supply chain via Hardware Root of Trust (TPM/HSM/PKI). Architecting robust systems with Rust, Erlang, and Haskell.
Cyber Defense Institute, Inc. Japan
21world
jelspace
Who not work will not Eat ][Basic Income(free money and all time free) monetization][ vs ][Employment(exchange your time for money) monetization][
Franco
0xpantera
Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions.
Berlin, Germany
DINKIN
DINKIN
Journalist Opposing Viewpoints
FCC Licensed Radio Technician
Field Service Engineer
Electronics Repair
kin·es·thet·ic
Fixing Electromechanical Systems
DINKIN New England
Tito Silva
titosilva
Fullstack Developer & Tech Lead @LacunaSoftware
@LacunaSoftware Brasilia, Brazil
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Miao ZhiCheng
hellwolf
Promoting the idea of Semantic Money at Superfluid Finance | Building a decentralized future
@decentral-ee, @superfluid-finance Tallinn, Estonia
Afonso Rafael (Gafanhoto)
Alf0nso
Compilers, Functional Languages, Linux and too many projects I end up not finishing
Barcelona Supercomputing Center Barcelona