I mean @pluralistic is already one of my favourite writers but this is just incredible
A few days ago I posted an open Google Doc here and encouraged folks to jump in to brainstorm feature ideas for Mastodon/Fediverse social apps. There are now 6 pages of smart, good ideas, and growing... check it out and add if you have a good one! And pls boost/share with others as you see fit. https://docs.google.com/document/d/1EnkjkSW14hR_uTdwEW7vqRaaIXDMlNQ4WRNoPmnn_z0/edit?pli=1#
System Collapse, the next Murderbot book, is starting to show up for preorder: https://www.barnesandnoble.com/w/system-collapse-martha-wells/1142827318?ean=9781250826978 I think the cover reveal will be next week.
An astounding image of our moment at the precipice:
Climate activists standing against the inhuman-scale machinery of the open-pit Lützerath brown coal mine, with a wind farm visible in the distance.
#climate #LützerathLebt #coal #renewable
@jmw150 Repost of THE D&D ALIGNMENT CHART OF “HOW TO GET A THEOREM NAMED AFTER YOU” with image description.
Possible source of the image with some discussion: https://libreddit.strongthany.cc/r/mathmemes/comments/y3215w/i_dont_know_who_proved_fermats_last_theorem_all_i/
A lot of senior engineers loathe YAML. This piece describes a few pain points. (But skips the document-delimiter problem.)
https://ruudvanasseldonk.com/2023/01/11/the-yaml-document-from-hell
The Original Legend of Zelda as a VR First-Person Shooter
https://kottke.org/23/01/the-original-legend-of-zelda-as-a-vr-first-person-shooter
I want to play this right now!
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.