белая кобыла точит копыто и ждётhttps://bsky.app/profile/danabra.movhttps://bsky.app/profile/danabra.mov/post/3mzbf24q4n22e@samuel.fm plzzz01 Nov 2026 17:56 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mzbf24q4n22ehttps://bsky.app/profile/danabra.mov/post/3mygbh4uczk2mthis was very good and articulated a lot i've been feeling lately. in formalization, this effect is even more noticeable: decoherence is punished by the agent being stuck in the maze for days when otherwise it would've made progress in 30 minutes but i think this applies broadly to software [contains quote post or other embedded content]21 Oct 2026 23:10 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mygbh4uczk2mhttps://bsky.app/profile/danabra.mov/post/3my6wwv3tlk2drip to the real one19 Oct 2026 01:13 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3my6wwv3tlk2dhttps://bsky.app/profile/danabra.mov/post/3mx2s3uxxrc2ji’ve been doing some research on using Lean with AI to prove software properties (in my case, pieces of React). i’ll try to share lessons if it gets to a useful state. the main thing i’m learning is that, with this setup, proofs are *grown*. you can’t “just build them”04 Oct 2026 16:11 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mx2s3uxxrc2jhttps://bsky.app/profile/danabra.mov/post/3mx2mfuvkas26fun read https://contraptions.venkateshrao.com/p/our-eukaryotic-moment04 Oct 2026 14:29 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mx2mfuvkas26https://bsky.app/profile/danabra.mov/post/3mx2ecilnnk2z https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/04 Oct 2026 12:04 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mx2ecilnnk2zhttps://bsky.app/profile/danabra.mov/post/3mwzal7auv223been unironically upping my p doom over the last few months04 Oct 2026 01:25 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mwzal7auv223https://bsky.app/profile/danabra.mov/post/3mwvcmckccs2yin my experience, AI is excelling at most technical work except for ”what is the right next problem to work on”. for now, humans still have a noticeable advantage there02 Oct 2026 11:50 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mwvcmckccs2yhttps://bsky.app/profile/danabra.mov/post/3mwrb43qcwk2shey this album slaps https://open.spotify.com/album/68XSF0H1PieWREfBOKPJXy?si=dLMh9Y9LRliVB1coCEsV6w30 Sep 2026 21:13 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mwrb43qcwk2shttps://bsky.app/profile/danabra.mov/post/3mwm44czkr22bastra may be my favorite model now. it's a very weird one28 Sep 2026 20:00 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mwm44czkr22bhttps://bsky.app/profile/danabra.mov/post/3mwek7r74k22vthis seems like it should be fun https://www.youtube.com/watch?v=GHgi6E1ECgo25 Sep 2026 19:51 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mwek7r74k22vhttps://bsky.app/profile/danabra.mov/post/3mwb76me46s2sguys24 Sep 2026 11:56 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mwb76me46s2shttps://bsky.app/profile/danabra.mov/post/3mw6utozt3k2bok i take it back Astra is good how to work with it: 1. get it to deeply understand what needs to be built. not “plan“ but like get it to be a domain nerd 2. only THEN, give it a usable past sloppy attempt and ask for excellence 3. ask it to use Sols for coding so it stays on strategy and taste23 Sep 2026 13:45 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mw6utozt3k2bhttps://bsky.app/profile/danabra.mov/post/3mw5lbitvnk2y https://www.youtube.com/watch?v=djGlyTcW30Q23 Sep 2026 01:21 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mw5lbitvnk2yhttps://bsky.app/profile/danabra.mov/post/3mw52ij3ygc2b https://www.youtube.com/watch?v=-aMjr0Ze86822 Sep 2026 20:21 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mw52ij3ygc2bhttps://bsky.app/profile/danabra.mov/post/3mw2xvnpjpc2h"proof indigestion" https://www.youtube.com/watch?v=PZRb6NIki2w&t=294s22 Sep 2026 00:29 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mw2xvnpjpc2hhttps://bsky.app/profile/danabra.mov/post/3mw2tunbn422ethis is very interesting (timestamped) https://youtu.be/R3LTVA3nay4?si=nSmDjbVNxS6ksviW&t=123821 Sep 2026 23:17 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mw2tunbn422ehttps://bsky.app/profile/danabra.mov/post/3mw2nu4xwpk2gre last point, can somebody from frontier labs please finally drill polya’s “how to solve it” into the models thinking trace habits? “we have to shift our position again and again“ is so obvious to how humans work but models refuse to do that because they race towards the finish line! so annoying [contains quote post or other embedded content]21 Sep 2026 21:30 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mw2nu4xwpk2ghttps://bsky.app/profile/danabra.mov/post/3mw2n42l52s2gwish i could refund 95% of my Astra usage. keep giving it a chance and it fumbles but it spends tokens way faster than Sol. a very disappointing release for actual implementation work21 Sep 2026 21:16 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mw2n42l52s2ghttps://bsky.app/profile/danabra.mov/post/3mw2hhgsers2s https://youtu.be/Qxg3DvApg34?is=jkCvjy-aoKeOpGHt21 Sep 2026 19:35 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mw2hhgsers2shttps://bsky.app/profile/danabra.mov/post/3mvx64vdmqk2wthanks to Dr. Samuel Allen Alexander for making a video about my post! https://www.youtube.com/watch?v=CFkrHlkrH24 [contains quote post or other embedded content]20 Sep 2026 12:10 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mvx64vdmqk2whttps://bsky.app/profile/danabra.mov/post/3mvvnwiq2t22imy uninformed mental model of AI proofs in mathematics is that they’re like lighthouses in the fog. the fog is still there, and clearing the fog is the primary value of the discipline. the lighthouses give a bit of an orientation but don’t clear the fog on their own.19 Sep 2026 21:48 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mvvnwiq2t22ihttps://bsky.app/profile/danabra.mov/post/3mvvmwkjsck23annoying bsky app regression: pressing profile icon (or profile posts tab) on web no longer invalidates it19 Sep 2026 21:30 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mvvmwkjsck23