Now _this_ is a paper title: "A Complete Guide to the Future"https://doi.org/10.1007/978-3-540-71316-6_22(They present the semantics and proof system for an object-oriented language with active objects, asynchronous method calls, and futures.)
I've been toying with Scala the last few days, and I wanted to see something of a decent size that makes sense to me. I got Gemini/Antigravity to vibe code a version of Conway's Game of Life. Then I got ChatGPT to do a code review and then I got them both to refine the […]