Chris Martens's Avatar

Chris Martens

@chrisamaphone

mostly not here, but there: https://hci.social/@chrisamaphone

152
Followers
189
Following
59
Posts
27.01.2025
Joined
Posts Following

Latest posts by Chris Martens @chrisamaphone

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

07.01.2026 03:23 👍 5 🔁 1 💬 1 📌 0
be your own algorithm
be your own algorithm YouTube video by pagemelt

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

06.07.2025 13:04 👍 197 🔁 61 💬 14 📌 23

The name is perfect lol

22.08.2025 23:47 👍 1 🔁 0 💬 0 📌 0

you should be able to share your digital location with friends the same way you share your physical location

22.08.2025 14:25 👍 14 🔁 3 💬 2 📌 1
chris martens (@chrisamaphone@hci.social) i really enjoy the wordcraft of this line from the abstract of kaustuv chaudhuri's 2008 paper "focusing strategies in the sequent calculus of synthetic connectives": "focusing striates a sequent deri...

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

22.08.2025 13:46 👍 0 🔁 0 💬 1 📌 0

WOW Universe

14.08.2025 12:20 👍 1 🔁 0 💬 0 📌 0

I want to attend this lecture. (except I’ve already been slightly baseballpilled by my first sox game at fenway)

01.07.2025 23:02 👍 1 🔁 0 💬 1 📌 0

incredible work

lots of people saying, "wow CS needs to learn what it's doing." Folks. It knows.

29.06.2025 22:05 👍 37 🔁 9 💬 0 📌 0

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.

14.06.2025 11:49 👍 2 🔁 0 💬 1 📌 0

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

08.06.2025 03:19 👍 42 🔁 10 💬 0 📌 0
Post image Post image Post image Post image

photos from the Minnowbrook Logic Programming Seminar

28.05.2025 22:16 👍 33 🔁 1 💬 2 📌 0

endorsing you for sexual suggestion on linkedin

17.05.2025 03:31 👍 3 🔁 0 💬 1 📌 0

I’ve been relying more on Reddit as well

14.05.2025 11:01 👍 0 🔁 0 💬 0 📌 0

Who the FUCK wants videos to autoplay?? WHO?? Tell me who they ARE!! Tell me where they LIVE!! I just want to TALK!!

12.05.2025 13:18 👍 15 🔁 1 💬 1 📌 0

There should be legal consequences for the persons who ordered her to be imprisoned.
Stephen Miller?
Marco Rubio?

09.05.2025 17:30 👍 144 🔁 7 💬 1 📌 0

is there a separate lawsuit about NIH?

08.05.2025 03:04 👍 2 🔁 0 💬 1 📌 0

yesss this is so great to hear! congratulations!! 🎊

07.05.2025 20:43 👍 1 🔁 0 💬 0 📌 0
Preview
Harrison Goldstein

If you are considering applying for a PhD this Fall, please get in touch. I’m looking for students who are interested in PL, SE, and/or HCI — and ideally all three! You can find more information about me and my work on my website: harrisongoldste.in

07.05.2025 18:38 👍 18 🔁 10 💬 2 📌 1
Interlaced Hexagon

Interlaced Hexagon

Interlaced Hexagon https://www.wikiart.org/en/m-c-escher/interlaced-hexagon

06.05.2025 08:03 👍 6 🔁 1 💬 0 📌 0

Ooh interactive comic framework yes please

03.05.2025 01:59 👍 0 🔁 0 💬 0 📌 0

yeah no response yet here either

03.05.2025 01:56 👍 1 🔁 0 💬 0 📌 0

It truly seems like any country could be the world leader in ed&tech for the second half of the century for a pittance in government budget terms, and I don’t know if that’s not happening because I’m wrong or because leaders are short sighted idiots terrified of their xenophobic constituents

02.05.2025 17:13 👍 21 🔁 5 💬 1 📌 1

wow love!!

02.05.2025 11:36 👍 2 🔁 0 💬 0 📌 0

that sounds like a question for a research study, not for routine medical care

28.04.2025 11:07 👍 3 🔁 0 💬 0 📌 0

❤️

28.04.2025 10:55 👍 0 🔁 0 💬 0 📌 0

Cody you could post this on mastodon it would do great

28.04.2025 10:53 👍 1 🔁 0 💬 0 📌 0

yep. and even fewer people investigating actually interesting questions about interactivity with computers

28.04.2025 10:50 👍 1 🔁 0 💬 1 📌 0

lets one outsmart processes h o l e

acronymy.net/define/loophole
—submitted by septie

28.04.2025 03:24 👍 0 🔁 1 💬 0 📌 0

🩷🤍🩵

23.04.2025 01:16 👍 1 🔁 0 💬 0 📌 0

Acronymy is 5% complete.

22.04.2025 22:57 👍 1 🔁 1 💬 0 📌 0