yea i'm wondering that too RE:
treat each other right breather falling together highlights for me so far. ok maybe "all you children" too although it annoys me a little bit good album, somehow very comforting
i feel pessimistic about creating educational content, i wonder if i've pilled myself into believing something that isn't true... it *feels* like there's less market for that, like there's a broad movement "against" learning and in favor of quick solutions and llm-will-do-it. idk if i even disagree
i'll be honest, this section is boring as fuck. i hate ordering https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreienvirizhl2bbilyo7y4f2tlu6kyian4uwunb52fuyxmioe6nwnpi
can't wait for <Fragment ref> to ship, so hyped for it
RE: https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreie4gykqg5f6xowgztroacugbwyhk7ea4ft3hwgf2edtykmwz62vj4
wrote a bit about how proof engineering feels different from software engineering to me [news.ycombinator.com/item?id=4527...]( ) i am definitely still in my honeymoon period but i found it helpful to write down https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreif4h4bvojlsr4wm2o4ebi6agicqvgxyv5glk7x27esbpk2dsx5gpm
cool to see a Lean article (not mine) on HN frontpage [news.ycombinator.com/item?id=4527...]( ) [Claude Can (Sometimes) Prove I...]( )
ayyy i wanted this to exist! i was hoping bluesky would do it but someone else doing it is even better RE:
tried booking a gp appointment and apparently the online booking form is only available during opening hours [a close up of a man making a s...](image )