In memoriam: Cryptome co-founder John L. Young, who died March 28 at age 89 in New York City, was one of the early, under-recognized heroes of the digital age.
lol. Halvar's final slide
On my way to #38C3.
Someone downloaded all > 1.6 mil posts on Bluesky and wrote a blog post about it:
https://worthdoingbadly.com/bsky/
people who have been here two days simply don’t understand the culture that those of us who have been here five days have worked so hard to cultivate
The AI bands now have a leaderboard: https://aihits.co
it's not enough that nazis aren't allowed here. the people I like should be forced to be here. many of them are still on twitter. good night
all my follows are on a probationary basis. don't get too excited
So I've seen "well you can just ask an LLM to also emit a proof that the program it's generating is correct" as a way to get around the fuzziness of current techniques, and my fundamental issue with that is what does "correct" mean.
Off to a group of islands where the local currency are CVEs.
