ebisback.bsky.social

05 October 2026 18:32

I feel ya 😪

Ray Myers

raymyers.bsky.social

26 July 2026 19:48

I have a pretty bold challenge for the next crop of languages, which is both to embrace mathematical formalism AND to present it an order of magnitude more clearly than the current state of Formal Verification.

Toby Miller

tobytram.bsky.social

24 July 2026 19:46

I’ve been standing stock still in this wood for about 10 minutes while I mess about with a photo on my phone. I look up, notice the shape, and slowly crouch down to film This has made me so happy I feel I could cry. It’s as close to magic as I hope to get.

By Cory Doctorow (GPG 0xBF3D9110957E5F4C)

doctorow.pluralistic.net

23 July 2026 08:08

"An insecure sandbox is not a demonstration of cyberprowess." -Loren Kohnfelder (on Openai's model "escaping containment" and attacking Hugging Face's servers) designingsecuresoftware.com/writings/com...

Ray Myers

raymyers.bsky.social

22 July 2026 13:53

Suppose the mainstream view of software engineers was that LLMs are a component with strengths and weaknesses to be used in moderation. They would then be against the notion of making LLMs the center of our universe, they would consider that bad engineering...