i've never been good at "funder friendly" explanations of my work, but the sort of thing i do is also useful for helping people write programs that don't lose money or leak secrets or get people killed. i think a lot about the social processes in which these kinds of tools intervene.
a lot of what i'm up to lately is throwing various combinations of noodles and sauces at the wall to see what sticks, but the broad theme is "let's give humans an unambiguous way to write down some rules that construct a world and then explore the consequences of that world."
this concludes the reverse-chronological portfolio tour for now.
if you know anyone who might want to fund the kind of work i do (and doesn't mind that it has no LLMs in it whatsoever), could you please let me know? thanks.
and i guess it was still technically last year (!) that we gave our popl talk about finite-choice logic programming, AKA the theory behind dusa.rocks , my favorite story so far for how to represent a possibility space as a logic program and reason about that program operationally.
also last year, with CMU coauthors, we published an account of Substructural Parametricity: the set of possible canonical programs of type [forall a. a -> a -> a * a] changes depending on whether -> and * are unrestricted, linear, or ordered. chrisamaphone.hyperkind.org/papers/fscd2...
last year at TYPES, i gave an invited talk called "a guided tour of polarity and focusing", in which i explain how a surprisingly complete proof search strategy changed how we think about type structure. video: www.youtube.com/watch?v=EbcE... | slides: chrisamaphone.hyperkind.org/types-2025.h...
here is a preprint from me and three coauthors called "Is truth future-proof? On the possible futures of mechanized proof", presented at PLATEAU last month: khoury.northeastern.edu/~cmartens/pa... | slides: khoury.northeastern.edu/~cmartens/ta...
perhaps i should share things here in addition to mastodon?
here's my first blog post in awhile, an attempt to explain how to extract an abstract machine from a moded logic program:
chrisistyping.bearblog.dev/abstract-mac...
v and i both understand those concepts. i was just asking if the phrase originated from something else they'd read
where does "a corpus is not a body" come from?
*bewilderedly* Love doesn't just sit there, like a stone?
*with growing ire* It has to be made, like bread??
*shaking with indignation* Remade all the time??? Made new?!
I considered writing a long carefully constructed argument laying out the harms and limitations of AI, but instead I wrote about being a hater. Only humans can be haters.
Wittgenstein. Absolutely incomprehensible as a poster (laudatory). Becomes a meme to quote-post him with “That‘s a terrifying answer, have a nice day” or possibly “Sir, these are fifth grade students.”
hi! 😃 i couldn't help but notice that scrolling is sapping your will to live! may i offer u a video essay in these trying times?
youtu.be/Bdj14_jdumI
The name is perfect lol
you should be able to share your digital location with friends the same way you share your physical location
just so i'm not talking behind @chaudhuri.info's back, i'll crosspost this from mastodon to where he can see it :)
hci.social/@chrisamapho...
WOW Universe
I want to attend this lecture. (except I’ve already been slightly baseballpilled by my first sox game at fenway)
incredible work
lots of people saying, "wow CS needs to learn what it's doing." Folks. It knows.
congrats on the launch!
the "oxidized" verbiage is something related to Rust, right? i thought i heard that somewhere, but i could be making things up.
Bore me not with your designs for a rooftop garden; I desire a rooftop forest. I want to feel secure between vast roots. I am a burrow-dweller, I yearn for the artificial understory, I must fall asleep to fungus-song
photos from the Minnowbrook Logic Programming Seminar
endorsing you for sexual suggestion on linkedin
I’ve been relying more on Reddit as well
Who the FUCK wants videos to autoplay?? WHO?? Tell me who they ARE!! Tell me where they LIVE!! I just want to TALK!!
is there a separate lawsuit about NIH?
yesss this is so great to hear! congratulations!! 🎊
