
*adds the mix rule to separation logic* yeah what now
*adds the mix rule to separation logic* yeah what now
🐔 Animal #712 🦔
I figured it out in 15 guesses!
🟨🟨🟨🟨🟨🟨🟨🟨🟨🟩🟩🟩🟩🟩🟩
🔥 2 | Avg. Guesses: 11.7
https://metazooa.com
#metazooa
what do you mean “pinnipedia” isn’t wikipedia for pinnipeds?
A media studies colleague for @ststitlebot ?
utterly destroying everything probably feels so good to a DNS
millennials self-deprecatingly describing how cringe they are to zoomers an order of magnitude more often than zoomers actually call anything cringe is peak millennial
As it began, #CUI2025 🇨🇦 closes with words from our General Chairs – Jaisie Sin, Jim Wallace, and Edith Law. What a blast these past few days have been. Huge thanks to everyone who took part and made this event so special. 👏
Last was "The Measure of Progress" by @DianeCoyle1859, who fully interrogates how we currently measure GDP, its gaps, recent trends in constituent metrics, and how to improve societal welfare metrics more broadly. This is sure to be considered a modern classic. Highly recommend
Full review: https://bookwyrm.social/user/bwaber/review/7934854/s/a-masterful-deeply-researched-examination-of-economic-and-welfare-measurement#anchor-7934854 (5/5) #economics
Next was "How Emotions are Made" by Lisa Barrett. This is best thought of two books - the first, up to chapter 8, is a revelatory look at the category error we've made around understanding emotions, revealing through a wide variety of experiments and research how emotions are constructed in real time as an act of categorization - they don't "exist" anywhere in the body. The less said about the rest the better
Full review: https://bookwyrm.social/user/bwaber/review/7934770/s/an-uneven-mostly-scientific-investigation#anchor-7934770 (4/5) #neuroscience #psychology
Next was the first day of the National Bureau of Economic Research's economic growth symposium. I particularly liked the talks by Jaedo Choi (dynamics of technology transfer) and Marta Prato (geography of innovative firms) https://www.youtube.com/watch?v=kcKjuYSK474 (3/5) #economics
First was a thought-provoking talk by @dom on the importance for HCI researchers to build more interoperable, focused systems at Stanford University https://www.youtube.com/watch?v=6DIIkX19ihs (2/5) #HCI
We finally had a cool day in Tokyo, and I took the opportunity to go for a good run up into Saitama and listen to talks for my #AcademicRunPlaylist! (1/5)
The call for Demos at #MUC2025 was extended to July 13th, 2025, AoE! Take the opportunity to showcase your novel system or artifact!✨
now there’s a sentence to express in epistemic logic