it’s always “early career” this, “under 40” that, where’s the “wow this person is suddenly trying to pivot to a new career in their 50s and seems like they could make a proper go of it if we just sprinkled them with a bit of fun money for a year” award

Boston MFA restores ownership of and repurchases historic ceramic pieces created by enslaved artist David Drake to his known descendants: www.mfa.org/press-release/david-drake-ownership... i find this both important and uplifting from within a milieu of seeing artist labor/agency, racial justice, and historical preservation discarded... show more

hey sooo anyone have good course notes or similar on inductive types (*not* arbitrary recursive types)? your own or someone else's? i personally don't mind chapters 14-15 of PFPL but they're a little more cryptic than i'd like (perhaps because it dances around the category theory).

Sour Dinosaur I was made aware of the alarming fact today that pterodactyls are not direct ancestors of birds. does this have implications for the future of proof assistants?

a lesson i take from certain authors in my field is that if you give a silly name to an important enough idea, you get to hear important looking people saying silly things. and perhaps that can be motivation enough for some of us

some of my favorite people work at Token Transit, a company that builds flexible fare payment systems for public transit agencies. they’re currently hiring a senior software engineer for their small, fully remote team (6 engineers, 12 total employees): jobs.gem.com/token-transit/am9icG9zdDqr6LOSS-gA... 🔁 ✅ #getFediHired

whats large about large eliminations?

some youtube thinkpiece i watched weeks ago made this observation: the imagery of lofi girl lets us imagine being at peace and focused while working, to remember that productivity isn’t inherently antagonistic, hurried, exhausting, despite what many of us experience day to day

you’re telling me a type set this document?