danabramov.bsky.social
@danabramov.bsky.social
i guess this wouldn’t be very useful for blocking trolls. so it doesn’t cover all cases.

another funny idea is to reproduce mastodon’s “instances” model in that you have to choose one — and there can be mutual blocks between them — but no migration cost (because it’s “virtual” on top of atproto)
July 10, 2025 at 2:31 AM
it's great you can talk to it like this though
July 8, 2025 at 7:11 PM
does it do the job? yes. do i control all inputs? yes. off we go then
July 8, 2025 at 7:07 PM
it did write a test suite, run my images through it, found and fixed a few bugs, etc. then deleted the suite (i don't think i want to maintain it). i guess i hope the suite was good, i never read it
July 8, 2025 at 7:07 PM
like... whatever
July 8, 2025 at 7:06 PM
from plato.stanford.edu/entries/russ... (h/t claude for the link)
July 8, 2025 at 5:33 PM
i think actually this gives me a much better appreciation why Russell's paradox was a big deal. in this case the problem is obvious, but if you are even several inferences away from the paradox itself, you're still working in a system where you can technically derive anything
July 8, 2025 at 5:30 PM
to be fair there was a "Retry with extended thinking" button and it did work
July 8, 2025 at 5:20 PM
discover yes
July 7, 2025 at 7:47 PM
note this is not dynamic typing, everything is strongly typed. we're just deciding the return type... in another function
July 7, 2025 at 12:28 PM