dan @danabra.mov · 02/10/2026in 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 there 1517910
dan @danabra.mov · 30/09/2026hey this album slapsopen.spotify.comPure Pleasure For The Piano - Album by Ellis Marsalis | SpotifyEllis Marsalis · album · 2012 · 8 songs 091
dan @danabra.mov · 28/09/2026oh yeah. Sol is reliable and for normal work. Astra is for galaxy brain stuff. like when you're stuck and need someone to take 10 steps back and show an alternative path 170
Reposted by danhailey @hailey.at · 27/09/2026unironically, bluesky is the social website for ML. couldn’t do this anywhere else 526215
Reposted by danJaz @jaz.sh · 27/09/2026Okay so I've built a new Atlas, this time it lets you explore the conversations on Bluesky over the past 7 days graphically. It should update every ~6 hours and help you navigate the information environment that exists on here. I've learned a LOT about what people do here today... atlas.jazco.devatlas.jazco.devAtlasA living map of what Bluesky is talking about: the past week's conversations, grouped into topics and regions and rebuilt every six hours. 1171413420
dan @danabra.mov · 27/09/2026i basically switched to 90% supervision for now. i expand every second edit it makes in real time as it makes them. whenever something doesn't make sense i call it out 040
dan @danabra.mov · 27/09/2026yep. send him this: overreacted.io/a-social-fil...overreacted.ioA Social Filesystem — overreactedFormats over apps. 160
dan @danabra.mov · 25/09/2026this seems like it should be funyoutube.comThe World as a HologramYouTube video by University of California Television (UCTV) 081
Reposted by danJaz @jaz.sh · 24/09/2026What if Ultimate-Guitar but on atproto? I'm playing around with a little idea, it's fun, come join! leadsheet.fm/sheet/jaz.sh...leadsheet.fmI Will Follow You Into the Dark chords by Death Cab for Cutie | LeadsheetChords for I Will Follow You Into the Dark by Death Cab for Cutie, key of Am, capo 5. By @jaz.sh, rated 5.0 from 1 rating. 3626142
dan @danabra.mov · 24/09/2026youtube.comAnalyse | Thom Yorke | From The BasementYouTube video by From The Basement 170
dan @danabra.mov · 23/09/2026you also have to readjust Astra towards fidelity with whatever you initially got out of it. it has a very unhealthy bias towards execution so you need to get it back to thinking deep about stuff 190
dan @danabra.mov · 23/09/2026currently my Astra is managing Sol 6’s, hard to say how they’re different since i’m not using them directly haven’t tried new Opus yet. 210
dan @danabra.mov · 23/09/2026my problem with it was i asked it to get into implementation too soon. it’s making too big decisions (often wrong) too early in execution mode 160
dan @danabra.mov · 23/09/2026my current rating: - 5.6 Sol: dependable workhorse, sound judgment, gets through the slog and stays on rails - Fable 5.1: bulldoze through hard problems that Sol gets stuck on or fails to see bigger picture - Astra 6: deeply understand the big picture, fundamental in-place reshaping, overseer 3270
dan @danabra.mov · 23/09/2026do NOT let Astra near code until it adopts a personality of domain nerd with high bar for excellence and taste and ideally give it something that already does what you want end-to-end but maybe badly. it’ll fix it 1270
dan @danabra.mov · 23/09/2026ok 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 taste 7860
dan @danabra.mov · 23/09/2026youtube.comMinna-no-kimochi (みんなのきもち) | Boiler Room Tokyo: Tohji Presents u-haYouTube video by Boiler Room 060
dan @danabra.mov · 22/09/2026youtube.comPOiSON GiRL FRiEND | Boiler Room: TokyoYouTube video by Boiler Room 150
dan @danabra.mov · 22/09/2026"proof indigestion" www.youtube.com/watch?v=PZRb...youtube.comTerence Tao: SAIR’s Open Math Model InitiativeYouTube video by SAIR 0110
dan @danabra.mov · 22/09/2026this is very interesting (timestamped)youtu.beMathematics foundations problem settled using AI: Medvedev logic is undecidableYouTube video by Dr. Samuel Allen Alexander 1101
dan @danabra.mov · 21/09/2026re 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 1392
dan @danabra.mov · 21/09/20265.6 Sol is my guy. best model in town right now imo. maybe not the cleverest but at least it’s relatively dependable. especially if you give it a little bit of structure on how to work 2210
dan @danabra.mov · 21/09/2026that said Astra seems great in the first five minutes. like analyze this and that, propose how to think about the fix etc. just can’t actually let it do the work beyond a couple of steps 190
dan @danabra.mov · 21/09/2026if you leave Sol overnight with a well-chosen goal, you might wake up to it done or at least see decent progress on it. if you leave Astra overnight, you‘ll wake up to it being 20% through three different misrepresentations of your goal 2192
dan @danabra.mov · 21/09/2026wish 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 work 8410
dan @danabra.mov · 21/09/2026youtu.beRegina Spektor - Loveology (Oct 17, 2004)YouTube video by slicknick1986 190
dan @danabra.mov · 20/09/2026thanks to Dr. Samuel Allen Alexander for making a video about my post! www.youtube.com/watch?v=CFkr...youtube.comConway's Conjecture AI-proved, with AMAZING writeup!YouTube video by Dr. Samuel Allen Alexander 1413
dan @danabra.mov · 19/09/2026it’s supposed to refresh on second tap if there is new info. eg new profile posts on your profile. i use this to check if my post came through 110
dan @danabra.mov · 19/09/2026“clearing the fog“ is maybe not a great analogy because it implies there’s one concrete way something works. whereas it’s more like there’s a bunch of facts, and some are considered ”interesting if true (or false)“ because the hope is that the path reveals new path systems. a weird road helps less 1101
dan @danabra.mov · 19/09/2026my 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. 6414
dan @danabra.mov · 19/09/2026annoying bsky app regression: pressing profile icon (or profile posts tab) on web no longer invalidates it 180
Reposted by danGrace @gracekind.net · 19/09/2026Frog built a wet lab for the AI model. "There," he said. "Now it can do its own experiments." "What the fuck?" said Toad 13817129
Reposted by dannestor guillen @birdsnfrogs.bsky.social · 18/09/2026Last week I posted my essay on LLMs, cultural technologies, and mathematics. It is my earnest attempt at convincing mathematicians that should be optimistic, even prideful, at this critical moment: birdsnfrogs.github.io/2026/09/12/F... 1/birdsnfrogs.github.ioHappy, those able to know the causes of things 1186
dan @danabra.mov · 19/09/2026great guest post by @3blue1brown.comterrytao.wordpress.comIf math is more than proof, we need to better celebrate the rest of it[This is a guest post by Grant Sanderson. This blog post was initially written in a different file format and converted using AI. — T.] A sentiment echoing throughout the mathematics communit… 21068
dan @danabra.mov · 19/09/2026anyone hooked up Jev to any proof related stuff? can it be useful for Lean? i haven't learned much about it yet 1110
dan @danabra.mov · 19/09/2026a reply from Prof. Mantova! news.ycombinator.com/item?id=4976... honestly this is the best kind of outcome i‘m hoping for with amateur-driven AI proofs: maybe they aren’t usable directly but can offer a couple of nudges that help the mathematicians uncover the actually interesting connections 1270
dan @danabra.mov · 18/09/2026i spent all of my free time for a month on this. it's done. so i wrote about it.overreacted.ioHow I Vibed a Proof of Conway’s Conjecture — overreactedYou can just prove things, apparently. 1123625
Reposted by danP(aul) Frazee @pfrazee.com · 17/09/2026Increasingly convinced that specs are now the source and that code is an artifact akin to a lockfile. 6341634
![Four phases
edit
Pólya begins with a two-page checklist that identifies four phases to solving a mathematical problem:[4]
Understand the problem.
Make a plan.
Carry out the plan.
Look back.[5]
He emphasizes that the divisions between phases are not rigid, and it is important to be flexible in one's approach:
Trying to find the solution, we may repeatedly change our point of view, our way of looking at the problem. We have to shift our position again and again. Our conception of the problem is likely to be rather incomplete when we start the work; our outlook is different when we have made some progress; it is again different when we have almost obtained the solution.[6]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:fpruhuo22xkm5o7ttr2ktxdo/bafkreieqmhpf45k5cz7s2wyjmt2s2jdlgsp7itwcmnodz52s53zwhzx4vu)
![[Verse 1]
A self-fulfilling prophecy
Of endless possibility
In rolling reams across a screen
In algebra, in algebra](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:fpruhuo22xkm5o7ttr2ktxdo/bafkreib5vov3wvyfgnglvbbit46c3tf2vtwm43y2nbmx7pjrakld76a5yy)
![gbjcantab 1 hour ago | next [–]
For some reason, this approach makes me think of the difference between “wizardry” and “sorcery” in some fantasy magic systems. The magic of “wizards” is fundamentally based on a deep study and understanding of arcane things, perhaps assisted by some (necessary or helpful) tools of great power. “Sorcerers” summon supernatural beings and are able to control them, cajole them, and protect themselves and others against them (with more or less success)... but the actual desired magical effect is performed by those beings.
Computing has historically been a field of wizardry. It's... interesting (?) to see so many people pushing so hard in the direction of sorcery, and in fact applying that sorcery to other fields, in which they themselves aren't quite able to validate whether the spell worked or not.
reply
patcon 1 hour ago | unvote | parent | next [–]
Heh, I like this. but it should be pointed out that from the other point of view, software developers were the supernatural beings (dare I say demons), which the sorcery of a good project manager could tame (with more or less success) to perform the desired magical effect
reply
KyleTheDev 1 hour ago | root | parent | next [–]
All this time, I've been considering myself the warlock. When, in fact, I've simply been the Imp. Dastardly news.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:fpruhuo22xkm5o7ttr2ktxdo/bafkreigbwkcwffqchcnexvbgqipmrhp252ppb6m4shtw2fk5434cxw3dwi)