Damus

Recent Notes

Jeff Atwood · 6w
"So let’s be completely clear: when you buy a new Mac, you’re buying a giant hardware dongle that allows you to run OS X software." hey look, absolutely nothing has changed since 2008! I'm so exci...
Peter Bindels profile picture
@nprofile1q...

> why doesn’t anyone give a crap about freedom zero?

I think the answer is people *do* care about their freedoms - including this one - but won't actually consider it worth fighting for until they want to actually use it. And right now it's still somewhat comfy in the locked-down ecosystems. Think of it as frogs in a hot tub.
Gina · 9w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg0ndy30akvywn0hgt5rnekg5azn3m46ag0npcrjras5gxmerxu3s6ryqqk nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq77scr09h256d9vg32vwzuqc8sha6swnz63prnlm5c9seqy7txl2qj5ectj and there was no other option available, like audio and visual puzzles? ...
David Chisnall (*Now with 50% more sarcasm!*) · 10w
It's frustrating how many LLM stories are of the form: I wanted to do a thing, which should be easy. Because the designers of the software that I'm using didn't actually think about how people used ...
Peter Bindels profile picture
@nprofile1q... Similarly

I wanted to go to the supermarket, which should be nearby. Because the designers of the suburb I live in didn't actually think about how people live, or because they wanted to lock people into driving, it's needlessly hard. With a SUV, I can do it in a dangerous and expensive way! But it's still better than nothing! Success!

It's scary to me how easy that was to transcribe...
David Chisnall (*Now with 50% more sarcasm!*) · 23w
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...
Peter Bindels profile picture
@nprofile1q... > And why is writing a formal specification believed to be easier than writing code?

Code is just whatever format it takes to specify for a computer what it should do, in an unambiguous way. We simplify the code by making nonsensical things inexpressible. If a formal specification was easier enough to write, then that would *be* the code. Plus some synthesis tool to convert it to an executable.