A twenty year old tech lover who likes turning maths and ideas into solid code. Some of those ideas now live inside the codebases of companies like these.
WASD or arrows to slide · Shift to dash · click the snow to go there.Drag anywhere to steer. Tap a building to go there.
▲W
Hold W to slide · A D to turn · S back · Shift dash · E open
Projects
Pick one and the seal slides there.
What I fixed, and where. 12
Eleven landed contributions. Every number below was measured on a named machine against a control, and every one of them sits in a merged diff or on the default branch it targets.
In the lab 11
separatrix: Decided by the data, not by rounding
Decided by the data, not by rounding.
top-k, argmin and threshold
certified or refused
I certify that a top-k or an argmin was decided by the data, and not by where the kernel happened to round.