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 […]
oterm is a terminal client for Ollama (and other llms) https://github.com/ggozad/otermIt also has a really cool looking splash screen. Here is how they do it: https://github.com/ggozad/oterm/blob/main/src/oterm/app/splash.py