Interesting consequence of lobste.rs accounts requiring a referral from another user: you can identify voting rings!
Related Posts
I find it odd that people recommend Docker for sandboxing agentic coding tools. Isn't it easier to just create a separate user account on the machine?
It's an established security boundary, and viewing output is easy (just make the user's home directory world readable).
One interesting consequence of the rise of LLMs: there's more demand for tools that handle untrusted input.
Arbitrary HTML+JS can be safely run in a browser. Lean can check an arbitrary proof.
These work really well with an LLM that can be wrong, but sometimes gives exactly what you want. Are there other tools in this family?
I've not seen this before: a captcha to distinguish adults from children! The in-app purchases were behind this screen.
The primary user is a 3 year old who can only count to 20 😊
