← Feed

Posts

• Post #4402198

  a friend reminded me about basshunter the other day and it turns out boten anna still goes hard

• Post #4287326

  if i don't know how to elaborate your proofs to a logic whose definition i can fit in my head, i don't trust your proofs 🤷🏻

• Post #4287325

  re: examples (https://hci.social/@chrisamaphone/117004836285009044) when i meet a new-to-me logic or type theory, it's like someone has just handed me a phrasebook for a language i don't yet speak. the beauty of it is it gives me a new vocabulary in which to ask questions. example: when meeting linear logic, one can ask, "is [A & B ⊸ A ⊗ B] a theorem?" & the theory can answer. i eventually want to study properties of the theory from outside, but...

• Post #3937768

  @lindsey@recurse.social @shapr@recurse.social it stands for the name of a guy, Herbert E. Butts

• Post #3127708

  fyi when the instructions for something include "enjoy!", most things still seem to work even if you skip that step. this has saved me a lot of unnecessary effort

• Post #2504337

  you thought "dark academia" was a fashion aesthetic when it's really just the experience of being a professor in the united states in 2025

• Post #2334010

  re: https://hci.social/@chrisamaphone/116540143144803963 a cool trick i once learned is that you can often decipher the pragmatics of corporatespeak (and academic adminspeak) by negating its semantics

• Post #2070584

  i always think the original "what, if anything, is a ___" fills in the blank with "bat", but no, i'm mixing up nagel (1974)'s "what is it like to be a bat?" with gould (1983)'s "what, if anything, is a zebra?" except today i realized (by reading the first paragraph of the latter) that *that* paper is a reference to wood (1957)'s "what, if anything, is a rabbit?"

• Post #2013398

  listening to the album hours before the live show like i'm cramming for a final exam

• Post #1780175

  unboxes your turtle

• Post #1780174

  💭 i should use "congratulations or sorry that happened" to illustrate the difference between internal and external choice in linear logic

• Post #1780173

  used to be "make a little logo for your project for a token amount of extra credit" was a way to give students permission to do a tiny bit of low effort art as a treat. everyone knew it could just be bad and that would be part of the charm; it would still connect you in a personal way to your creative efforts. i forgot this doesn't work anymore, and i'm sad about it.

• Post #1780172

  my favorite epistolary novel is the poplmark challenge mailing list archive

• Post #1755776

  *shaking the ‘user friendly’ interface* please just give me a mental model of what you actually do!

• Post #1733039

  i assume i'm not the only one who, upon getting a software update with a noticeably worse default experience, goes in to change the settings and then notices and turns off a bunch of other privacy-invasive or engagement-motivated features. i wonder if there's a term of art for this behavior

• Post #1503319

  prolong, a coinductive logic programming language

• Post #1479279

  i like it when emails say "HAPPENING TODAY" in the subject line so i know i can delete them because i have no time to do more things today

• Post #1467647

  does anyone (i'm mostly looking at @pigworker) have an implementation in runnable code for translating a strictly-positive inductive datatype to a container, i.e. the computational content of the attached corollary from "constructing strictly positive types"?

• Post #1343375

  i've always admired and sometimes envied people who can think very quickly, in front of others. it's taken me a long time to appreciate slow and solitary thinking (which i relate to more naturally) as a complementary skill, but i hope i can do some good in the world by talking about it. if you process things slowly, you're probably noticing a lot more detail, taking less for granted. sharing what you learn, even at long delay, is a gift you may give others patient enough...

• Post #1259798

  this morning i did some minor tinkering to get a slightly bitrotted research codebase working again :) this kind of repair work feels a lot like darning a sock or fixing a small mechanical object; it's so satisfying

• Post #1259796

  60 °F and windy in April is the coldest temperature, in the same sense that San Francisco summers are the coldest winters and a V3 i can't climb is the hardest bouldering problem

• Post #1093714

  "computers can and do suffer, and we think that calling memory 'garbage' contributes to this problem" (sigbovik presenter)

• Post #1093713

  porch! porch! porch!

• Post #1093712

  how come parallel parking becomes 10x harder if someone can see you

• Post #935351

  opposite as in dual or opposite as in duel?

• Post #916508

  the climbing gym replaced its hand soap with what looks and feels exactly like wet sand

• Post #902685

  *femininomenon cadence* it's a phenomenology!

• Post #862084

  @MartinEscardo it's really soul crushing, especially when you're someone who cares a lot about people and wants to give each sender a thoughtful reply. there just isn't time. so instead i turn my attention to other things and often never reply at all, which of course isn't any better.

• Post #862082

  i've been hearing my own accent as an accent recently. i don't know when or why this started happening

• Post #862081

  catfishing.net #643 - 4.5/10 🐟🐈🐟🐟🐟 🥚🐈🐈🐈🐟 this is like pub trivia you can play at home i'm for it