> While this mathematical formalism was unreasonably effective, it came with a… more
~mathematics×
25 links
> If we were just talking about Navier-Stokes, you might accuse me of jumping… more
> Here I want to lay out, instead, a positive vision of the future of… more
> Our system produced an analytical proof and a Lean formalization that an… more
From the paper: more
> The STATION is an open-world, multi-agent environment that models a miniature… more
From the README: more
> As a researcher I’ve also been spending a lot of time with models, talking… more
> It is now 9 years since I had a mid-life crisis, realised I no longer trusted… more
> In my first Substack post, I (half-jokingly) declared that we had been wrong… more
> For nearly 80 years, mathematicians have studied a deceptively simple… more
> Daniel asked: which powers of 2 can you double without needing to carry… more
> Although the Kalman Filter is a simple concept, many educational resources… more
> I like thinking about “witness data”… more
> The power of 3Blue1Brown's Manim — in the browser, no Python required.
> But this looks a bit like rubbish, doesn’t it? That’s why such theorems are… more
~law~mathematics~news~societyusa.ca.san diegouniversity of california.san diegoadmissionsuniversities
> The number of first-year students at the University of California, San Diego,… more
> [W]e are pleased to announce that with Gauss, we have completed the project… more
The comments are worth reading. One of the authors explains the resistance they… more
Here's a rather verbose series of blog posts that's intended to introduce… more
> In August 2022, three researchers at Khan Academy, a popular math practice… more
> This bias-variance decomposition is always true for the squared loss. It’s… more