@p that's "beginners tips"
Real pro tip: test your backups (can be combined with wiping the OS!)
@thor "Escape? From my safe space?"
@chris__martin Nah. It's just lousy UX with cryptic, error-prone rituals. Mercurial and Bazaar had it so much better.
@amiloradovsky *reversed
@anselmschueler At least it isn't |> or something like that. Ew.
@meowski @ahmetasabanci Stuff like this happened since the early days.
Especially illuminating that a bot "trained" on Slack logs learns to tell "tomorrow", "ok" and so on, but is very reluctant to actually put an effort.
@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".
First time doing haskell immediate impressions
@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).
@vjon @kravietz GNUnet is a family of protocols stacked on top of each other. An application then is another service composed from those blocks. Once can re-use the existing services or build their own. The more foundational services like transports, DHT, GNS, and CADET enjoy more participation though.
@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
🐃 #RFC9498: The #GNU Name System
https://lists.gnu.org/archive/html/info-gnunet/2023-11/msg00000.html
congratulations and thanks you to all involved. urn:ietf:rfc:9498
#DNS #NLnet https://nlnet.nl/project/GNS/ @nlnetlabs @NGIZero @EC_NGI #@djb #@Stallman
via https://lobste.rs/s/0hga6k/rfc_9498_gnu_name_system
¹ https://mro.name/axfh62x
@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
Toots as he pleases.