trying to make sense of things with pictures https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreigj66w6lt3id7e2musri4e7dk33lp6hosicqi752olsz3f6dscelu https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreiaxaunttmjrqstcjednrj4e24y5z5tuqq34khdu44xtw2vnz7sfmq

lmao uh thanks for letting me know yeah https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreihvtieofav7lirbsfq633gehudeymihx7vodt7jee4wexizmo6z7e

would anyone be interested in a youtube series about Lean? i realize it’s kind of easier to learn by doing, and doing it is genuinely fun.

is there a way to psyop web3 investors into funding atproto projects RE:

Bluesky Social

Prose and Khans (@temujin9.t9productions.com)

cynically, polish can sell a lot of turds, but it costs a lot of money unless you can diy which devs generally can't or there'd be no need for des...

i’m glad homework is dead

fucking amp man. can it just die already https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreih3ebzecklhoruwkv7ha576gw4wp7hyj4hyejw2zjwqyt3smtu6t4

not blaming the engineers (and especially the tinkerers) but this rings true. the thing that’s odd to me is that “web3” (so much of which was grift or didn’t make sense) seemed to have more design investment. why is that? RE:

Bluesky Social

Miguel Batres (@btrs.co)

Literally, I feel like everything in the atproto ecosystem is designed by engineers and no one cares to do better. Everything feels like modern geo...

the main thing that makes me uneasy about llms is the cultural backdrop of global war on knowledge. the war on knowledge isn’t new but now it’s cheered on from tech too. tools for thought pivoted to slot machines because that’s what people want. “how things work” is buried under opaque indirections

yea this is definitely already happening RE:

Bluesky Social

ae (@aelkus.bsky.social)

This author has chosen to make their posts visible only to people who are signed in.

i’m feeling proud of my progress and being able to contribute upstream to [github.com/teorth/analy...](

GitHub

GitHub - teorth/analysis: A Lean companion to Analysis I

A Lean companion to Analysis I. Contribute to teorth/analysis development by creating an account on GitHub.

) i’m moving through exercises slowly but it’s perfect timing — thanks to doing them on paper (without Lean) a few years ago and knowing *just enough* Lean to not get stuck now [GitHub - teorth/analysis: A Le...](

GitHub

GitHub - teorth/analysis: A Lean companion to Analysis I

A Lean companion to Analysis I. Contribute to teorth/analysis development by creating an account on GitHub.

)