davewiner's subscription list, hackerNewsStars category. List created by feedlandDatabase v0.9.1.
On sharing more of yourself.
Experimental History
• Adam Mastroianni
OR: grindset and bedrot
I found the problem and it's really bad. Looking at your log, here's the catastrophic command that was run:
rm -rf tests/ patches/ plan/ ~/See that
~/at the end? That's your entire home directory. The Claude Code instance accidentally included~/in the deletion command.
— Claude, after Claude Code deleted most of a user's Mac
Tags: ai-ethics, coding-agents, claude, claude-code, generative-ai, ai, llms
Compilers can rewrite loops to avoid expensive calculations
Pluralistic: Daily links from Cory Doctorow
• Cory Doctorow
Prediction: AI will make formal verification go mainstream
Martin Kleppmann makes the case for formal verification languages (things like Dafny, Nagini, and Verus) to finally start achieving more mainstream usage. Code generated by LLMs can benefit enormously from more robust verification, and LLMs themselves make these notoriously difficult systems easier to work with.The paper Can LLMs Enable Verification in Mainstream Programming? by JetBrains Research in March 2025 found that Claude 3.5 Sonnet saw promising results for the three languages I listed above.
Via lobste.rs
Tags: programming-languages, ai, generative-ai, llms, ai-assisted-programming, martin-kleppmann
Tom Renner on My place to put things
• Tom Renner
repebble.com/blog/meet-pebble-index-01-external-memory-for-your-brain
Catch your best ideas before they slip through your fingers Do you ever have flashes of insight or an idea worth remembering? This happens…
Jeff Geerling
• Jeff Geerling
Inside this Framework 13 laptop is a special mainboard developed by DeepComputing in collaboration with Framework. It has an 8-core RISC-V processor, the ESWIN 7702X—not your typical AMD, Intel, or even Arm SoC. The full laptop version I tested costs $1119 and gets you about the performance of a Raspberry Pi.
A Pi 4—the one that came out in 2019.
Jeff Geerling
• Jeff Geerling
Inside this Framework 13 laptop is a special mainboard developed by DeepComputing in collaboration with Framework. It has an 8-core RISC-V processor, the ESWIN 7702X—not your typical AMD, Intel, or even Arm SoC. The full laptop version I tested costs $1119 and gets you about the performance of a Raspberry Pi.
A Pi 4—the one that came out in 2019.
But unlike the Pi 4, this eats up 25 watts of power at idle, meaning the poor battery only lasts 2-3 hours.
Pluralistic: Daily links from Cory Doctorow
• Cory Doctorow
Exploring the ways optimisers deal with loop constructs
