LudWittg
Follow
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
valeman
valeman
Machine Learning | Probabilistic Prediction | Time-series | Systematic Trading | Forecasting Innovation | Creator of Awesome Conformal Prediction
Big Business London, UK
Bruno GavranoviΔ
bgavran
Building neural networks that generate provably correct code, and the software infrastructure for training them.
London, United Kingdom
apenwarr
Making WireGuard 2FA easy @tailscale, and generally fighting off the demons of complexity.
@tailscale Canada. Sometimes.
Gustavo de Rosa
gugarosa
There are no programming languages that can match up to programming logic. Senior Research SE at Microsoft Research.
@microsoft Redmond, United States
Valeria de Paiva
vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.
@ToposInstitute Cupertino, CA
Sumeet S Singh
untrix
Hands-on Deep Learning & ML R&D Leader.
Industries: Communication Services, Big Data, Cyber Security, Ed-Tech, Computer Graphics, Autonomous Systems.
@gradescope @turnitin Saratoga, CA
Filippo Valsorda
FiloSottile
Cryptogopher. @geomys founder. @recursecenter alum.
RC F'13, F2'17.
@Geomys Rome, Italy
PreviousNext