Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
Supaiku dot com § heya! i’m spike — computer person by day, language person by night. i used to work at one of the math asi labs, but now do independent math, plt, and machine learning research.
News
what does a lean proof prove?
supaiku dot com what does a lean proof prove? alternate title: the epistemics of trust in lean as a working programmer. tldr: lean's theory is consistent.
Read more
Report
attention is logarithmic, actually
supaiku dot com attention is logarithmic, actually time complexity is a very bad model when working with parallelism. in which i make the case for work-depth analysis instead of time complexity.
Read more
Report