Show newer

@p that's "beginners tips"
Real pro tip: test your backups (can be combined with wiping the OS!)

gonna start calling SQL queries "database shaders"

@chris__martin Nah. It's just lousy UX with cryptic, error-prone rituals. Mercurial and Bazaar had it so much better.

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

@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 stuff you may be interested in.

Search operators: hoogle.haskell.org/?hoogle=%28

Search by name: hoogle.haskell.org/?hoogle=Sem

Search by type (!): hoogle.haskell.org/?hoogle=May

(Bonus) Find packages: hackage.haskell.org/packages/s

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

That would be [registerDelay](hackage.haskell.org/package/ba). 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

disturbing 

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

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.