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

@jesper Better start merging...

Why 5 more years for Agda? Aren't you in control of your toolchain?

@underlap @6d03 @abuseofnotation I'm afraid Mappable and the likes are less searchable *adding* learning overhead and frustration

@cwebber@octodon.social not blaming, that's one hard to swallow

@djrmarques@emacs.ch Figuring out "how to install X with NixOS" is an NixOS problem, not X q:

@parismarx The problem with the "fantasies" is that when their feasibility will become evident to a non-specialist it would be waaaaaay too late to do anything.

Meanwhile, enjoy fighting your corporate overlords. There's no real need to dunk on other people working on other problems.

@glyph should be in coreutils

@gerrymcgovern Nah... Let's just go to space, where energy is plentiful.

> https://en.wikipedia.org/wiki/Person-in-the-middle_attack

Is this a "not all men" redirect?

@marcin @glyph But also, doesn't... If "clean room" programming is legal, then so could be the stories told by LLMs.

@boilingsteam I think I'll try Japan first

@boilingsteam No deck yet, Still not available in my country

https://nitter.cz/AISafetyMemes/status/1722611431470752059

Okay Google, who art in cloud,
hallowed be thy name;
thy kingdom come;
thy will be done;
on earth as it is in heaven.
Give us this day our daily bread.
And forgive us our trespasses,
as we forgive those who trespass against us.
And lead us not into temptation;
but deliver us from evil.
For thine is the kingdom,
the power and the glory,
for ever and ever.
Amen 🙏

@aral Federated forges can't come soon enough...

@jhpot How do you know it doesn't?

@bontchev 1400 people killed in Israel in one *day*.

@aeveltstra I'm stuck with #Haskell. Every other language may be better at something or something else, but no language is better comprehensively.

@johncarlosbaez games are very, very hard to define. But I think the article is indeed dismissive of the fine detail and sells oversimplified version of everything.

That said, probabilistic models *can* get you to systematically getting more bang for your buck than some population baseline. In the long run that may account to general "winning", for whatever in-the-moment values you may have over time.

@johncarlosbaez Where does that requirement for fixed/precise definitions come from? A brain can work with shifting/vague/felt "definitions" just fine.

@johncarlosbaez No need to over-complicate it. "Winning" is having your values realized.

There's no formula in the article, but I suspect it is something like "do at least a little research / napkin math and don't do stupid things that gonna hurt your prospects".