[taps temple] can't have a semver hazard if you don't use versioning

This is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!

my personalized form of sycophancy is that claude loves to tell me that i've identified gaps in the research. i'd estimate 60% of my literature queries are accompanied by "The gap is real."

Apps and programming: two accidental tyrannies On coding agents, malleable software, and the future of interface invention

⭐ New talk! Watch / read / visually skim here: andymatuschak.org/tat

Coding agents might help us finally break out of two cages: the app model, which traps computing in one-size-fits-all silos; and programming as a specialization, which has crowded out cultures of imagination and domain insight.

i suspect the type of person who would run this company would not limit themselves to a scripturally accurate version of jesus (after all, that wouldn't be "personalized")

what is "personalized AI jesus at $1.99/hr" if not the apotheosis of the american spirit?

what's most incredible about this video is how mamdani nails the cadence of the john wilson narration style

many people are saying this

bsky.app/profile/tono...

cel.cs.brown.edu/csci-1377-s26/

wrapping up my tools for thought class

yeah, although it's actually an APL "notesheet" notebook / spreadsheet hybrid. for use in my class on tools for thought

yeah i'm working on AI right now (APL Integration)

two old women gossip on a bench at the edge of a tiled walkway off the main road, opposite a quiet stone memorial to the victims of the Pinochet regime

at a red light, a man in a serape and sombrero dances out into the street over blaring mariachi music, nabbing pesos before dashing back to the sidewalk

every available patch of grass is blanketed with couples furiously making out

a young girl does insane tricks on her rollerskates in front of the presidential palace, framed by a chilean flag larger than any flag i've seen in my entire life

bored girlfriends sit on park benches reading their phones while their boyfriends yell and dance around their popup arenas at the Beyblade meetup

scenes from santiago:

my burger joint after an 80% reduction in force

all extant intelligences have constrained perception (visual acuity / attention) and short-term memory (chunks / context window). PL design is essential for developing notations and abstractions which maximize the effectiveness of both

give 👏 clippy 👏 the 👏 call 👏 graph

ms rachel should teach rust

you dare mock me? your house contains a mere 8 decibel-followers more than mine

sorry folks, i accidentally turned on tiny skynet mode, my bad

"disruption" isn't in vogue for tech circles anymore, but it's kinda crazy that agentic coding is a genuine disruption for programming, more than arguably any tool in the history of software. talking to friends, a loooot of people have gone from ≤10% to 80%+ AI-gen code just within the last 6 months

it's really cute how on the boston subreddit whenever there's a pretty sunset everyone posts a little photo from wherever they are

i don't see how #2 is meaningfully more true now than in 1996? perhaps the closest thing is that it's easier to invite outside lecturers over zoom

Horace Mann – Twelfth Annual Report to the Secretary of the Massachusetts State Board of Education (1848) As secretary of the Board of Education in Massachusetts, Mann prepared a series of annual reports that surveyed the state of education and outlined his plans for reform.

also it's extremely funny that the only full plaintext version of this i can find is available at Genius Dot Com

that's right horace you tell em