More behind-the-scenes info could be provided by HN's @JustinSkycak: * https://news.ycombinator.com/user?id=JustinSkycak https://news.ycombinator.com/user?id=J

More behind-the-scenes info could be provided by HN's @JustinSkycak: * https://news.ycombinator.com/user?id=JustinSkycak https://news.ycombinator.com/user?id=JustinSkycak Here's a blog post of his talking about Matteo among other things: * https://www.justinmath.com/math-academys-eurisko-sequence-5-years-later/ https://www.justinmath.com/math-academys-eurisko-sequence-5-...