Ferenc Huszár
@inference.vc
2.2K followers 322 following 224 posts
Secular Bayesian. Professor of Machine Learning at Cambridge Computer Lab Talent aficionado at airetreat.org Alum of Twitter, Magic Pony and Balderton Capital
Secular Bayesian. Professor of Machine Learning at Cambridge Computer Lab Talent aficionado at airetreat.org Alum of Twitter, Magic Pony and Balderton Capital
![A picture of Mortal Kombat character Sub Zero with the definition of sub_zero from lean4 matlib
sub_zero.{u_3} {G : Type u_3} [SubNegZeroMonoid G] (a : G) : a - 0 = a](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:dwqbbgbceprottqihgkziz4x/bafkreiglzlcjeiwdadydmwo33yoby2757g7t7jd6igkfnxleyrynddzbee)
