oh cool this just came out today [Saya Gray: Tiny Desk Concert]( )
found on wikipedia: the capture of russian explorers by samurai of the tokugawa shogunate in 1811 https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreihezlxmvlpsipvsuaeim7odatazdtajm52okilydgajojry4xl7bq
jessica lee gagné really came through
not malice, not incompetence, but a secret third thing
this is interesting, is this in parallel to turbopack support? what’s the story here? [Next.js plugin for alternate b...](
GitHub
Next.js plugin for alternate bundler by wbinnssmith · Pull Request #76186 · vercel/next.js
This adds a new package allowing users to opt-into using Rspack in place of webpack in Next.js. While there is some logic to handle rspack in core,...
 )
[@ricky.fm](
Bluesky Social
Ricky (@ricky.fm)
React core team • Forbes 30 worst over 30
 ) this looks borked [react.dev/reference/re...](
captureOwnerStack – React
The library for web and native user interfaces
 ) https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreifntalil64vagc6fixaynhreczppgvblwurwkqqei2db6ojcawo2u
very cool (old) post by [@teorth.bsky.social](
Bluesky Social
Terence Tao (@teorth.bsky.social)
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and...
 ). when i tried to read it a few years ago, i didn’t understand much at all. this time, thanks to some basic familiarity with logic (and thanks to Claude’s help unpacking a few examples), i feel like i decently grasp the first section (Zeroth-order logic) [Epistemic logic, temporal epis...](
What's new
Epistemic logic, temporal epistemic logic, and the blue-eyed islander puzzle lower bound
I recently reposted my favourite logic puzzle, namely the blue-eyed islander puzzle. I am fond of this puzzle because in order to properly understa...
 )
one interesting difference in writing proofs in Lean vs regular programming is that proofs are *very* amenable to subdivision. since there are no side effects or mutation, you can subdivide a proof into parts before writing the actual logic and solve them in any order, even inside-out
getting increasingly difficult to imagine severance ending in something other than a hamlet-like finale
lean’s zulip community chat is fantastic. first, i simply didn’t know about zulip before, and it surpassed my expectations. cold loads are slow tbh but it’s very pleasant to use overall. and then the lean one specifically is very welcoming and people are eager to answer beginner questions. love it