feel like i've been psyoped into believing most lines in "ironic" aren't ironic when in fact they are
i hope that people who complained about there being too much open discussion they “had to be” on top of are satisfied now that this discussion is either non-existent or has moved into many fragmented closed spaces
it would be cool if [@smokesignal.events](
Bluesky Social
Smoke Signal (@smokesignal.events)
Find events, make connections, and create community https://smokesignal.events/
 ) got a bit of design love. not sure how much work it would be (i'm uniquely bad at this)
does @npub19y6x...yh78 support gists? should it?
i want so much bsky to ship communities. or something
sometimes writing Lean feels super comfy and natural and sometimes i'm typing with the speed of one word per hour (okay, one word per minute but still mostly the wrong words). today's struggle: writing a chain of transformations and trying to prove anything useful about it https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreif6x2jd6e53k5th5aq27qpaabcyae6wjc2hxz7rkc55oz44j4fy6i
is frontend twitter active or has it morphed/moved/mellowed out? it's pretty quiet here about frontend and i'm not sure if there's interesting discussion elsewhere publicly or if it's moved to discord and such. or is everyone talking about ai
they should add some details about prior work here to boost credibility of the program [www.gauntletai.com/about-us](
About - Gauntlet AI
Learn about Gauntlet AI - the elite AI engineering program that trains developers to become AI-first engineers with guaranteed $200k+ offers.
 ) [Gauntlet AI - Free and Intensi...](
About - Gauntlet AI
Learn about Gauntlet AI - the elite AI engineering program that trains developers to become AI-first engineers with guaranteed $200k+ offers.
 )
i wish bluesky had some default icon for links without og image, current behavior skips my neuron that detects post links
nice! i haven't gotten to TPIL yet but i suspect i might have to dive into it later — it seems more exhaustive than other resources, and doesn't assume math background RE:
Bluesky Social
Vikram Saraph (@vikramsaraph.com)
I wrote up proofs for the first set of exercises in Theorem Proving in Lean: https://leanprover.github.io/theorem_proving_in_lean4/Propositions-an...