иногда это странноhttps://bsky.app/profile/danabra.movhttps://bsky.app/profile/danabra.mov/post/3mtpfdweafk2ji'm formalizing React in Lean (???)22 Aug 2026 23:08 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mtpfdweafk2jhttps://bsky.app/profile/danabra.mov/post/3msyw4cqe3s2ntfw you're a non-technical pm on a software project14 Aug 2026 00:36 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3msyw4cqe3s2nhttps://bsky.app/profile/danabra.mov/post/3msyunr43dc2nunexpected and cool [contains quote post or other embedded content]14 Aug 2026 00:10 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3msyunr43dc2nhttps://bsky.app/profile/danabra.mov/post/3msyujt5mps2nok i'm really glad this explanation exists https://bsky.network/docs/how-it-works kind of wish atproto website had this instead though [contains quote post or other embedded content]14 Aug 2026 00:08 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3msyujt5mps2nhttps://bsky.app/profile/danabra.mov/post/3msqausu2qc2c@samuel.fm @darrin.bsky.team when the design requires a layout shift during page load, hand it back to the designer!10 Aug 2026 13:55 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3msqausu2qc2chttps://bsky.app/profile/danabra.mov/post/3ms7uj5saqs2jthis one should feel WAY snappier in dev [contains quote post or other embedded content]04 Aug 2026 01:31 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3ms7uj5saqs2jhttps://bsky.app/profile/danabra.mov/post/3ms7fxv4osc2d5% left but fifth time’s the charm amirite [contains quote post or other embedded content]03 Aug 2026 21:11 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3ms7fxv4osc2dhttps://bsky.app/profile/danabra.mov/post/3ms7ftv2zsc2dlove this stuff so much https://www.infinitelymore.xyz/p/omnific-integers-not-like-integers-after-all03 Aug 2026 21:09 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3ms7ftv2zsc2dhttps://bsky.app/profile/danabra.mov/post/3ms5f22k3dc2kdoing a weird llm math experiment03 Aug 2026 01:49 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3ms5f22k3dc2khttps://bsky.app/profile/danabra.mov/post/3ms2nfopjfc2hTau Ceti model is wild. people write proposals and criteria for how to review stuff, everything else is handled by AI workers taucetiproject.github.io/TauCeti/01 Aug 2026 23:41 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3ms2nfopjfc2hhttps://bsky.app/profile/danabra.mov/post/3ms2mvhiqk22hi want some cool prompts for remixing knowledge or looking at it from a different angle01 Aug 2026 23:32 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3ms2mvhiqk22hhttps://bsky.app/profile/danabra.mov/post/3ms2dmgprz22yman i can finally read papers now. what a time to be alive01 Aug 2026 20:46 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3ms2dmgprz22yhttps://bsky.app/profile/danabra.mov/post/3mrzta24bbs2aran out of max credits on both Sol and Fable trying to grind a mathematical theorem and get some novel results conclusions so far (thread):01 Aug 2026 15:52 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mrzta24bbs2ahttps://bsky.app/profile/danabra.mov/post/3mrteugq5zc2eif you work at OpenAI and want to help me make progress on solving one of Conway's conjectures, pls reach out! i’m going to run out of my weekly Pro limit tomorrow but the progress so far has been encouraging, so i’d rather keep going i’ve seen the academics program but i’m an amateur 🤷‍♂️30 Jul 2026 02:19 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mrteugq5zc2ehttps://bsky.app/profile/danabra.mov/post/3mrte7f75q22acool to see parallels to engineering process30 Jul 2026 02:08 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mrte7f75q22ahttps://bsky.app/profile/danabra.mov/post/3mrtaep347k23how the internal team is doing [contains quote post or other embedded content]30 Jul 2026 00:59 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mrtaep347k23https://bsky.app/profile/danabra.mov/post/3mrt3qv7r4k2rmetaprogramming is the new programming. half of what i do is like "mutation test this", "confirm full coverage", "build a simpler model of this change and fuzz the hell out of it" etc29 Jul 2026 23:36 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mrt3qv7r4k2rhttps://bsky.app/profile/danabra.mov/post/3mrsm6lfte22u it's so cute they're roadmapping [contains quote post or other embedded content]29 Jul 2026 18:58 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mrsm6lfte22uhttps://bsky.app/profile/danabra.mov/post/3mrsasrv2hc2mwe’re trying to crack Conway’s conjecture that Oz is pre-Schreier29 Jul 2026 15:34 +0000at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mrsasrv2hc2m