It is finally possible to use LLMs for drawing useful geometry constructions! The main reason I didn't like solving geometry problems during my days competing in math was that it just took so much time to draw the construction and start solving the problem. I am generally quite patient, but the problems I enjoyed solving the most were ...

I just listened to this No Priors podcast with Andrej Karpathy and there are a few interesting things mentioned about the future of education. I used my OpenCode agent with Gemini 3 Pro to get the transcript (slightly paraphrased). It was cool that it managed to figure it out very quickly. Here is the transcript for the part where they...

I recently read a very interesting blog post about Wilks' Tolerance Intervals. Suppose we have a stream of numbers which are independently pulled from some distribution. We want to collect some number of these samples, and then estimate tolerance intervals for this distribution. The main idea in the blog post is that we can do this wel...

Hello world!