another nice lllm learning technique: take something i struggle with, ask it to create a minimal example demonstrating the same issue for me to practice, then after i figure it out, ask it to make a slightly more complex one etc. still requires a lot of direction from my side but genuinely helpful
say "the key insight" one more time
uhh https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreiaf3ktzest4e7xya72syevdcsmrg3zo5v3s4ogktwfohy3hoajsoi
could not for the life of me figure this out on my own. turns out sometimes in mathematics you just have to do things twice https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreigcpfz2gxztb2tvjboile2nqqdrojjsap54qawkitnd3pzpz2a5eq
this is waaaay more enjoyable than i thought it would be, especially with the benefit of hindsight (cantor *was* cooking! and he knew that) wonderfully terse and to the point too RE:
Bluesky Social
dan (@danabra.mov)
ok cantor's writing is super crisp and clear so far, really liking it. skip the introduction and start with page 85 (93 in the pdf). he's starting ...
 View quoted note β†’
this is interesting [github.com/argumentcomp...](
GitHub
GitHub - argumentcomputer/ix: a zero-knowledge proof-carrying code platform for Lean 4
a zero-knowledge proof-carrying code platform for Lean 4 - argumentcomputer/ix
 ) [GitHub - argumentcomputer/ix: ...](
GitHub
GitHub - argumentcomputer/ix: a zero-knowledge proof-carrying code platform for Lean 4
a zero-knowledge proof-carrying code platform for Lean 4 - argumentcomputer/ix
 )
ok cantor's writing is super crisp and clear so far, really liking it. skip the introduction and start with page 85 (93 in the pdf). he's starting by describing the set theory [webhomes.maths.ed.ac.uk/~v1ranick/pa...](πŸ“„.pdf ) RE:
Bluesky Social
dan (@danabra.mov)
is there any repository or a place with freely available English translations of classic mathematical papers? i mean the actual historic stuff, lik...
 https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreidnfdorckpkebiigun6gxk5vdzjng3nsqaxjvz7gr7eaphglu6ffq https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreicykzp6z2ezomzcvtgp2nva5dpmnt5ipzueeplumwguypa5rzsfmq https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreicyaziwpnsotwbza5ecmf3cwltjgjmyylunebxjmevgpkedhfpuke https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreifynqjwlji324qoan7za3tebr3az4nshpfutiomo7w3vqmt26vp4u View quoted note β†’
is there any repository or a place with freely available English translations of classic mathematical papers? i mean the actual historic stuff, like original writing by Euler, Cantor, etc. ideally well-curated. i don’t actually know how clear their writing is, so inline modern notes are welcome too
i’m enjoying learning mathematics in Lean quite a bit. i do it recreationally but i am starting to wonder if i can ever get paid doing it. the main obstacle is that nobody has a reason to pay me to learn basic things, and i seriously doubt my ability to move beyond those. even then, it’s academia
today i spent most of the time on this proof. it describes how you can associate a set of all subsets of X with a set of all possible functions between X and {0, 1} because 0 and 1 ("no" and "yes") correspond to "should we include this element". i found it mindbending but in the end it made sense https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreieccukc2vxtftvaqysku2cydo4zozsjtyjb7li4ix64hjc3y7vsoy https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreicpjbl4jnzloagwpckfrhfurdcumry5gdvdzkuhw2b4e7fluvdwbm