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.
 )
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...