https://gather.town/, but in Europa Universalis setting instead. Lay claims to other's hours, claim and invade meeting rooms, watch the dissemination of project knowledge and corporate culture.
For the final render I've asked for the corals to be more branchy and that was it. I deliberately didn't suggest anything in implementation or composition to avoid contaminating its idea.
I've been iterating to get an unobstructed camera angle, tweaking a few parameters to my liking, but the bulk of the code it made by itself.
It's actually pretty capable. The first images were simple, but had a point. Having seen the result it proposed a few tweaks. And after getting the sources for example scenes and elementary functions it picked up more stuff to its satisfaction.
These bots are made for walkin'
And that's just what they'll do
One of these days these bots are gonna walk all over you
2022: We need end-to-end certified compilation!
2024: Nah, just stuff your "proofs" into an LLM to get "executables".
https://x.com/VictorTaelin/status/1837925011187027994
> Since the AgdaJS compiler isn't maintained, and since creating one would be a $1m-budget project, we're now compiling 590 Agda files to TypeScript using Sonnet-3.5, to let us run our apps on the browser.
> The results are excellent. Almost all files work with no intervention. Error rate is lower than the current AgdaJS compiler, on which we found bugs. Performance is 20x higher. We're now automating this in a loop.
Toots as he pleases.