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

@cab404 for the glory of the satan
fa-fa-fa-fa la la la

@gerrymcgovern Degrowth, maybe, but not before settling interplanetary space.
Too early and you're subscribing billions of humans and all the species to a "death from entirely natural causes".

@edgarogh Yeah, operators are pretty unsearchable.

However there's an index for many kinds of #Haskell stuff you may be interested in.

Search operators: https://hoogle.haskell.org/?hoogle=%28%26%29&scope=set%3Astackage

Search by name: https://hoogle.haskell.org/?hoogle=Semigroupoid

Search by type (!): https://hoogle.haskell.org/?hoogle=Maybe%20a%20-%3E%20%5Ba%5D

(Bonus) Find packages: https://hackage.haskell.org/packages/search?terms=containers

@akshay Un-dvent of Haskell, day 1

@johnny > drop the transaction if we've had no luck for x seconds

That would be [registerDelay](https://hackage.haskell.org/package/base-4.19.0.0/docs/GHC-Conc.html#v:registerDelay). It's in IO, but it gives you a TVar, that will flip to True when the time comes. You can readTVar it to decide retry or bail.

Also, you can wrap pretty much anything in `timeout` (in IO proper).

@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...