dancing for your pleasurehttps://bsky.app/profile/danabra.mov@danabra.mov - danhttps://bsky.app/profile/danabra.mov/post/3mr7dcdtbd22jwhaaat [contains quote post or other embedded content]22 Jul 2026 02:58 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mr7dcdtbd22jhttps://bsky.app/profile/danabra.mov/post/3mr7aewdh522osome evidence that AI can be helpful in explaining AI findings https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/ [contains quote post or other embedded content]22 Jul 2026 02:06 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mr7aewdh522ohttps://bsky.app/profile/danabra.mov/post/3mr6k2gwdcc2zwoahhh [contains quote post or other embedded content]21 Jul 2026 19:26 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mr6k2gwdcc2zhttps://bsky.app/profile/danabra.mov/post/3mr6iw64tzk2unew @shoptalkshow.com episode about atproto with me is out! [contains quote post or other embedded content]21 Jul 2026 19:06 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mr6iw64tzk2uhttps://bsky.app/profile/danabra.mov/post/3mr4hm62nls2aliterally me in the gym today [contains quote post or other embedded content]20 Jul 2026 23:37 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mr4hm62nls2ahttps://bsky.app/profile/danabra.mov/post/3mr3h62phdk2aagain i don’t quite understand this because mathematics is fundamental. the platonic voice in me says let’s see the undiscovered country! no one is poorer for having skipped a few thousand years of manual effort. if there are infinite fundamentals let’s see a whole multiverse of math. why not? [contains quote post or other embedded content]20 Jul 2026 13:57 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mr3h62phdk2ahttps://bsky.app/profile/danabra.mov/post/3mr3gj3xybs2a20 Jul 2026 13:45 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mr3gj3xybs2ahttps://bsky.app/profile/danabra.mov/post/3mr3fobwjmc2ahilbert was right in the end. we just had to endow the computer with anxiety [contains quote post or other embedded content]20 Jul 2026 13:30 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mr3fobwjmc2ahttps://bsky.app/profile/danabra.mov/post/3mr3f7bv55s2awir müssen wissen, wir werden wissen [contains quote post or other embedded content]20 Jul 2026 13:21 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mr3f7bv55s2ahttps://bsky.app/profile/danabra.mov/post/3mqzxmtfnxk2bthe urge to fix everything incorrectly19 Jul 2026 23:46 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mqzxmtfnxk2bhttps://bsky.app/profile/danabra.mov/post/3mqxlzvw46s2bok i can see why people do this [contains quote post or other embedded content]19 Jul 2026 01:13 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mqxlzvw46s2bhttps://bsky.app/profile/danabra.mov/post/3mqx63ja2pc2di know it’s annoying to read but there good ux feedback there that @tangled.org would be wise to pay attention to [contains quote post or other embedded content]18 Jul 2026 21:03 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mqx63ja2pc2dhttps://bsky.app/profile/danabra.mov/post/3mqx4h4ppn22edoes claude just not show thinking traces anymore? it's just Thinking, Reckoning, all the crap, but clicking does nothing18 Jul 2026 20:34 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mqx4h4ppn22e