Damus
Open in Damus
Skjeggtroll profile picture
Skjeggtroll
@Skjeggtroll

Just your friendly, neighbourhood bearded troll. Toils in the software mines for kroner. Plays games. Reads the odd book. Knits. Reminiscences about the good old days when computers were eight bit, men were _real_ men, women were _real_ women and small, furry creatures from Alpha Centauri were _real_ small, furry creatures from Alpha Centauri.

npub18z2tkhwj00ercfsf086kvndk7anxytyez7hqu4g6f63qqc6z6cqq5j23rwnpub
[email protected]nip05
Relays (1)
  • wss://relay.ditto.pub – read & write

Recent Notes

Zalka Csenge Virág, PhD · 2w
I have read a lot of euphemisms in historical sources for pregnancy (e.g. "in the family way") but I did not expect to see an 18th century source call it "being in an interesting situation" 😅 #hi...
 Skjeggtroll profile picture
Skjeggtroll @Skjeggtroll
@nprofile1q...

Also, in Norwegian the corresponding (and rather old-fashioned) euphemism is "være i / komme i omnstendigheter" -- "to be in / get in circumstances."

(Apparently it's a shortening of the phrase "velsignede omnstendigheter" - "blessed circumstances.")
Chao-c' · 2w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq2wavhzl72hhelev2ud6rcf850x27f9r0zd9waqt9kl03qvfk3etqs9v5xp the original GIMP user interface was not THAT bad, but it seems, that people who were ...
 Skjeggtroll profile picture
Skjeggtroll @Skjeggtroll
@nprofile1q... @nprofile1q... @nprofile1q...

To be a little uncharitable, the original GIMP user interface felt like an afterthought, as was common for OSS projects in that era. It was clunky and a little ugly and a bit greedy for screen real estate. I don't think anyone would call it 'elegant'.

The new user interface feels like the result of conscious, deliberate design -- but conscious, deliberate design that fails to be _for_ anyone.
1
Chao-c' · 2w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq2wavhzl72hhelev2ud6rcf850x27f9r0zd9waqt9kl03qvfk3etqs9v5xp Perhaps. Not opening the toolbox by default is definitely deliberate. And it can't be called user friendly for anyone. nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqj99ssxxanse...
Chao-c' · 2w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqj99ssxxanseydvp3tumqpxnkxuhahxazn57xpqrq377lgtqda25sxrx2fp GIMP is powerful tool... just not focused on the needs of career graphics designers......
 Skjeggtroll profile picture
Skjeggtroll @Skjeggtroll
@nprofile1q... @nprofile1q... @nprofile1q...

The problem with GIMP's user interface is that it doesn't appear to be focused on any other group of users' needs either, though.

GIMP's UI just sort of exists. It doesn't appear to have been designed with any particular target group of users in mind.
1
Chao-c' · 2w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq2wavhzl72hhelev2ud6rcf850x27f9r0zd9waqt9kl03qvfk3etqs9v5xp the original GIMP user interface was not THAT bad, but it seems, that people who were adding new features where kind of confused with the original tool box and didn't find a way to integ...
Zalka Csenge Virág, PhD · 3w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq2wavhzl72hhelev2ud6rcf850x27f9r0zd9waqt9kl03qvfk3etqs9v5xp You are joking, but I used to play D&D with my friends behind a pile of supplies durin...
 Skjeggtroll profile picture
Skjeggtroll @Skjeggtroll
@nprofile1q...

Sure I'm joking but I'm not _merely_ joking. All anyone really needs for an RPG session is a another player and a shared suspension of disbelief.

Oh, and a talking familiar with glowing eyes that acts a conduit to the Imaginarium, of course.
Zalka Csenge Virág, PhD · 3w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq2wavhzl72hhelev2ud6rcf850x27f9r0zd9waqt9kl03qvfk3etqs9v5xp You are joking, but I used to play D&D with my friends behind a pile of supplies during PE classes with no dice whatsoever. Basically just storytelling.
Skjeggtroll profile picture
The term "Software Crisis" is older than me, and basically boils down to the fact that building software is more difficult and time-consuming than you'd think. There has been a number of proffered solutions for it over the years, LLM-based code generators being only the latest (if perhaps the loudest and most fulsome.) A few of them have helped a little, but in the end the crisis remains because, fundamentally, the problem lies as much, if not more, in deciding the details of what

1/n
David Chisnall (*Now with 50% more sarcasm!*) · 17w
I accidentally read LinkedIn again and lots of people are talking about the flow of writing code with an LLM and then using a feedback loop with formal verification to reject incorrect implementations...
 Skjeggtroll profile picture
Skjeggtroll @Skjeggtroll
@nprofile1q...

Actual _formal_ specifications and proof of corretness against them exist, but they are difficult and require a lot of work and specialized tools and skills. There is absolutely no way that any of the LLM crowd is doing that -- some form of semi-formal specification-as-test, perhaps, but that's _not_ the same thing at all.
1
David Chisnall (*Now with 50% more sarcasm!*) · 17w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq2wavhzl72hhelev2ud6rcf850x27f9r0zd9waqt9kl03qvfk3etqs9v5xp There is absolutely no way that any of the LLM crowd is doing that The folks I'm seeing are people with a background in formal verification picking up LLMs as the synthesis bit. So t...