i fear folks on the edge of burnout leaning heavily into it and taking on even more work when they should be doing the opposite

yeah definitely! maybe adding some links to the MultiWayIf page would help? A GHC MR or even opening a ticket would be greatly appreciated!

Seems to be documented here ghc.gitlab.haskell.org/ghc/doc/users_guide/exts... ?

This road leads to running SMT solvers to figure out a build plan. But i agree that it feels like we should be able to have some better heuristics both here and in deciding the order we compile modules https://gitlab.haskell.org/ghc/ghc/-/issues/20713

A Hungarian
called Hungarian
just won the Hungarian election.
Happily for them
the Viktor was the loser.

software devs also often underestimate the (value and) difficulty of writing good tests. All too often I read test suites that dont really test anything interesting. So theres lots of bad data and devs often lack the skills to evaluate whether tests are good(often takes a deep understanding of code)

C++ support by stedolan · Pull Request #14701 · ocaml/ocaml This patch adds a new C++ backend to ocamlc, improving on the unincremented C currently in use by the runtime and FFI. As an example, here's a simple program that computes the prime numbers up ...

This is such an ingenious Apr 1st PR from Stephen Dolan I feel like it's the exact opposite of AI slop github.com/ocaml/ocaml/...

It's my answer every time for this: National identity is, with some exceptions, more modern than the steam engine.

I think part of the reason for this lack of understanding is that in a lot of jobs and fields many people are already accustomed to not actually doing their own work, & having other people do it. And they have such a low opinion of people that they believe machine output can and should replace them.

This reminded me of: archiveofdestruction.com/essay/before-my-certain-...

drink less water. clench your jaw. worsen your posture. this is the time of monsters

panel from Dark Knight Returns, Batman breaking a rifle in half, AI ART superimposed on the break: "this is the weapon of the enemy - we do not need it. We will not use it."

tapping the sign again

"Lines of code, number of [pull requests], these are liabilities. These are not measures of engineering excellence."
YES. EXACTLY.

"AI" skills are basically just documentation and it says something about how documentation only gets resources and respect if it is framed as "technology". Which has gender bias all over it.

"Urbanism is ableist!" "Reducing car dependency is ableist!" "Not everyone can ride a bike!" etc. have become very effective thought-terminating clichés, resulting in people ignoring, dismissing or even badging ableist disabled people simply for advocating for accessibility for non-drivers.

just had a very cathartic cry reading this

sightlessscribbles.com/posts/the-co...

An incredibly lifelike illustration of Paddington Bear, official psychopomp to the British royal family, gently escorting a man in top hat and tails (carrying a Puzza Express takeout) to Belmarsh

Ok I have far too much to do today to spend more than 2 minutes on this but here’s my political cartoon of the day, please enjoy

“If we don't start naming the rot, we will soon forget what substance even looks like”

Opinion Ignore the smears: I never fell off my horse. And I'm heading back to Tír na nóg forthwith. Oisin (Photoshop of Wes Streeting’s Guardian piece)

"Rage, rage against the dying of the light" okay you expect me to perform emotional labor when the lights are out and I am getting so sleepy even?

This might be the first hot take on how technology tells us how to live our lives, destroying our ability to make human decisions.

The technology in question is the sundial.

From a 3rd century BCE Roman adaptation of a Greek play, as discussed in Kerr’s “The Ordered Day”

(It isn't wrong, though)

Biggest commitment to a 3 second joke I've ever seen

Watching THE GREEN KNIGHT again

the Gay Haskell Compiler

I’m a single issue voter and my issue is that those busses that bend in the middle should make accordion noises

POV you won't let your autism stop you from bringing people together.

This feels like another example of the dynamic where AI is able to do this because we have already spent years getting ourselves used to wading through human generated 'slop' - unrigorous, low-quality, formulaic, largely unaccountable content (see also: memes, workplace emails, journalism).

I’m just, you know, a philosopher, but it seems obvious that intelligence is social and relational and the AI bros are deeply invested in it being private property that can be owned, so they will always always miss the mark.