← Feed

Posts

• View post

  do you think it feels weird to the computer to run code that simulates its own memory model

• View post

  i had been referring to the smaller wollaston's market on campus as "wolly's" and the larger one as "big wolly's". but i overheard someone today in the smaller one call it "smolly's", and now i have to rethink everything.

• View post

  i'm so confused that there's a town called vancouver just north of portland. had to double check to make sure i wasn't wildly wrong about geography

• View post

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

• View post

  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 🤷🏻

• View post

  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...

• View post

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

• View post

  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

• View post

  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

• View post

  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

• View post

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

• View post

  unboxes your turtle

• View post

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

• View post

  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.

• View post

  my favorite epistolary novel is the poplmark challenge mailing list archive

• View post

  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

• View post

  prolong, a coinductive logic programming language

• View post

  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"?

• View post

  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...

• View post

  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

• View post

  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

• View post

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

• View post

  porch! porch! porch!

• View post

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

• View post

  opposite as in dual or opposite as in duel?

• View post

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

• View post

  *femininomenon cadence* it's a phenomenology!

• View post

  @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.

• View post

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

• View post

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