Lambdaclass
lambdaclass
Lambda is a deep tech venture studio blending research and engineering, with global offices and expertise from cryptotgraphy, distributed systems and compilers
Buenos Aires, Argentina
Math, Inc.
math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.
United States of America
Emil Björnson
emilbjornson
Professor of Wireless Communication at KTH, Host of the YouTube channel Wireless Future, IEEE Fellow
KTH Royal Institute of Technology Stockholm, Sweden
Lucy Fauth
lucysrausch
Semiconductors are made by diffusion at high temperature, and they can be unmade by the same process.
Congduc Pham
CongducPham
Professor at University of Pau,
Scientific Manager at WAZIUP e.V.
University of Pau Pau, France
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Phil Freeman
paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.
Los Angeles, CA
Charles Gunn
skydog23
research and education in projective and non-euclidean geometry, projective geometric algebra, visualization techniques.
Raum+Gegenraum Falkesee Germany
PreviousNext