conjectureproof
No user record in our sample, but conjectureproof has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but conjectureproof has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
Could consider offering to be hired as a consultant. Pete Muller said of his quants, "I want their shower time because in the shower they are thinking about things that get them to solve the problems." Put another way,…
Neat. Simple way to track time spent on projects that is resilient to user forgetfulness. Much better than collecting timestamps from git commits. Could be interesting to merge with git history and measure how…
+1 on Elements of Statistical Learning. Here is how I used that book, starting with a solid foundation in linear algebra and calculus. Learn statistics before moving on to more complex models (neural networks). Start by…
Lenny Baum, Lloyd Welch, and their colleagues at IDA were using the EM algorithm for code cracking well before they were able to prove anything about its convergence. EM worked in practice, so they spent a long time…