l'empathie mécanique @dpwiz@qoto.org

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.

Avoid unnecessary avoiding in #Haskell

https://mastodon.social/@treyhunner/113552476108081829

Unboxed types

AI Safety circa 2025

`unsigned long covid` AKA `ucovid32_t`

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.

"Underwater"
Claude Sonnet 3.5.1, #haskell free-form scene description

Some people just...

git push --print

> The intention wasn't specifically to create something perverted or agentic, but Truth Terminal came out extremely perverted and agentic...

ToT: "You merely adopted the horny. I was born in it, molded by it."

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

https://x.com/Tesla_Optimus/status/1846797392521167223

The essence of social media

> I was cautiously optimistic that maybe the pressure would force the left into some sort of atheistish torch-of-the-enlightenment party

Sure happened, as long as "jihadist torch-the-enlightenment" fits the bill

Follow the obvious advice first

Dark Souls of Superintelligence: Must "git gud" on the first run (or everyone dies (or worse)).

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.

Literate programming soon be like:

> Once upon a time, there was a little file..... [TAB] .... And they lived happily ever after.