hard lesson: for logical-heavy proofs, actually writing things as comments before proceeding with the automated proof remains undefeated. otherwise i can't figure out what to do https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreigdpi6t26xvsgdamjra5qqnefxkhrpblgq4jzbsbuoci3e4ed6bea

yea.png RE:

Bluesky Social

VE, cybersocial occult investigator (@vortexegg.com)

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

i don't resent llms but this is real RE:

Bluesky Social

it's a mess (@jcoglan.com)

part of my resentment towards LLMs is to do with them crowding out anything else we could be talking about. there are so many things I could be rea...

noob question does @npub19y6x...yh78 require SSH keys or something? i don't understand how any of this works on my github i don't have any SSH keys added and it works just fine. maybe because i logged in via keychain? can tangled just use whatever i do for github or is that impossible

never fails to surprise me how much better i learn if i always force myself to literally delete the provided solution and type it myself from scratch

dark season four RE:

Bluesky Social

The Immortal Doom (@doomforpresident.bsky.social)

President Eord moving backwards through time

unexpected side effect of learning Lean is that i can sort of read ML and Haskell syntax a bit better even though something is still turning me off

oh wow ok this is decent (and i bet it can get a lot better once sending feedfeedback to 3p feeds is allowed by the bsky client) RE:

Bluesky Social

Samuel (@samuel.fm)

this For You feed is straight up addictive [contains quote post or other embedded content]

View quoted note →

the wild thing about atproto is that one can take some other product and then create another product “view” of the same data. but also mix in something else. i’m not sure whether this is broadly understood outside the atproto community. RE:

Bluesky Social

midwest emo fan (@natalie.sh)

i could theoretically throw tiptap on it and put an appview under it. but i don’t really write blog posts as much myself so it isn’t as worth i...

i wonder if it would make sense for bluesky to sponsor work on third-party apps, with some conditions (eg only open source ones). there’s much open source UI talent and i think it’s exciting to contribute to a fully open-source *product* and help make it competitive. but it needs some grease RE:

Bluesky Social

esmevane, sorry (@esmevane.com)

I agree with that - there should be some official-as-in-moneyed, publicly tangible hand helping w/ incubation of products on the network or else it...