Chris Martens
@chrisamaphone.bsky.social
š¤ 158
š„ 191
š 70
mostly not here, but there:
https://hci.social/@chrisamaphone
pinned post!
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...
7 days ago
1
11
2
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...
7 days ago
1
11
2
reposted by
Chris Martens
jason grinblat
26 days ago
*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?!
4
296
68
reposted by
Chris Martens
Anthony Moser
8 months ago
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.
loading . . .
I Am An AI Hater
I am an AI hater. This is considered rude, but I do not care, because I am a hater.
https://anthonymoser.github.io/writing/ai/haterdom/2025/08/26/i-am-an-ai-hater.html
157
5206
2333
reposted by
Chris Martens
Rob Simmons
3 months ago
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.ā
add a skeleton here at some point
1
5
1
reposted by
Chris Martens
mel thomas
10 months ago
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
loading . . .
be your own algorithm
YouTube video by pagemelt
https://youtu.be/Bdj14_jdumI
14
199
85
reposted by
Chris Martens
Omar Rizwan
8 months ago
you should be able to share your digital location with friends the same way you share your physical location
2
14
4
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...
loading . . .
chris martens (@
[email protected]
)
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...
https://hci.social/@chrisamaphone/115072715218487004
8 months ago
1
0
0
reposted by
Chris Martens
Cat Hicks
10 months ago
incredible work lots of people saying, "wow CS needs to learn what it's doing." Folks. It knows.
add a skeleton here at some point
0
38
9
reposted by
Chris Martens
neotl
11 months ago
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
0
41
10
reposted by
Chris Martens
Kristopher Micinski
11 months ago
photos from the Minnowbrook Logic Programming Seminar
2
33
1
reposted by
Chris Martens
PSYFE
11 months ago
Who the FUCK wants videos to autoplay?? WHO?? Tell me who they ARE!! Tell me where they LIVE!! I just want to TALK!!
1
15
1
reposted by
Chris Martens
Harry Goldstein
12 months ago
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
loading . . .
Harrison Goldstein
https://harrisongoldste.in/
2
18
11
reposted by
Chris Martens
M. C. Escher
12 months ago
Interlaced Hexagon
https://www.wikiart.org/en/m-c-escher/interlaced-hexagon
0
6
1
reposted by
Chris Martens
Rob Simmons
12 months ago
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
1
21
6
reposted by
Chris Martens
Acronymy
12 months ago
lets one outsmart processes h o l e
acronymy.net/define/loophole
āsubmitted by septie
0
0
1
reposted by
Chris Martens
David Renshaw
12 months ago
Acronymy is 5% complete.
add a skeleton here at some point
0
1
1
reposted by
Chris Martens
Cody
12 months ago
Don't bring *anything* to a gun fight. Why are you going to a gun fight?
5
61
8
reposted by
Chris Martens
Megan Zahneis
12 months ago
A tracker of canceled NSF grants, crowdsourced by
@scott-delaney.bsky.social
and
@noamross.net
, is up to 134 grants worth $86.3M.
loading . . .
Airtable | Everyone's app platform
Airtable is a low-code platform for building collaborative apps. Customize your workflow, collaborate, and achieve ambitious outcomes. Get started for free.
https://airtable.com/appGKlSVeXniQZkFC/shrFxbl1YTqb3AyOO?jntvk%3Aview=plaeS6fTnZvbmtQRS&jntvk%3Asort=eyJwZWw4ZlRSME8ycmFObWNUYyI6eyJjb2x1bW5JZCI6ImZsZDM1bDhTVUJTeUhtbktNIiwiYXNjZW5kaW5nIjp0cnVlfX0
0
5
5
reposted by
Chris Martens
M. C. Escher
12 months ago
White Cat I
https://www.wikiart.org/en/m-c-escher/white-cat-i
0
9
5
reposted by
Chris Martens
Liz Ryerson
about 1 year ago
do you ever feel like we're in a moment where people who are actually doing something meaningful with their life across a huge amount of sectors are being crushed and disappeared and people who are wasting it making the world a worse place are actively being lionized? or is it just me
5
88
6
reposted by
Chris Martens
Karen K. Ho
about 1 year ago
This international student is incredibly brave for going on the record about his visa suddenly being revoked, including how he has one semester left and his mom has terminal cancer:
www.cbsnews.com/pittsburgh/n...
loading . . .
Carnegie Mellon student with one semester left learns his visa was revoked with no explanation
Local universities and colleges across the country continue to report international student visas being revoked.
https://www.cbsnews.com/pittsburgh/news/carnegie-mellon-student-visa-revoked-interview/
45
2472
937
reposted by
Chris Martens
Erin Kissane
about 1 year ago
And the person nominally in charge of it apparently hasn't ever heard the term "AI" spoken out loud in conversation, while mandating its use to destroy education.
2
4
1
reposted by
Chris Martens
David Andersen
about 1 year ago
Seems cool in general, and particularly pertinent given what may happen to the cost of, well, everything.
#pittsburgh
add a skeleton here at some point
1
11
3
is there some term for the opposite of a cult of personality where people define their politics/social alignment by ridiculing specific people. whatever this is it feels terrible to witness. the worst of us on full display
about 1 year ago
1
0
0
sometimes i think iām only āinterdisciplinaryā because none of the disciplines are doing it right
about 1 year ago
0
0
0
reposted by
Chris Martens
N. K. Jemisin
about 1 year ago
This is the workshop that (along with a dream and some geophysics hyperfixation) inspired me to write the Broken Earth trilogy! I loved it.
add a skeleton here at some point
1
274
34
reposted by
Chris Martens
David Renshaw
about 1 year ago
I posted a new video, in which I demonstrate the "Rupert Property" for a bunch of polyhedra:
youtu.be/evKFok65t_E
loading . . .
26 Polyhedra that Fit Through Themselves, and 5 that Might Not
YouTube video by David Renshaw
https://youtu.be/evKFok65t_E
1
4
4
reposted by
Chris Martens
Mike Cook
about 1 year ago
It's closing because the UK has introduced a law that makes it impossible for a lot of digital community spaces to remain operational any more. So it's just shutting down. The law has kind of gone underdiscussed, I feel like, it's having quite a wide impact.
www.gamesindustry.biz/20-year-old-...
add a skeleton here at some point
6
107
87
reposted by
Chris Martens
Conor Titania Mc Bride
about 1 year ago
Transactions in Category Theory 2025
jademaster.xyz/TACT25.html
It's going to be a thing.
loading . . .
Transactions in Category Theory 2025
https://jademaster.xyz/TACT25.html
1
17
8
reposted by
Chris Martens
Dannel Jurado
about 1 year ago
Duolingo doesnāt teach the basics of Anxiety, just rote memorization of Anxiety. If you really want to learn Anxiety youāre going to have to talk to another person
add a skeleton here at some point
1
64
10
i know how to spell banana and crochet hyperbolic surface, but I donāt know when to stop
about 1 year ago
0
2
1
reposted by
Chris Martens
Jeremy Yoder says no war
about 1 year ago
So I did this today: banged out a couple hundred words of a pitch while managing lab, sent it to the opinion page editor at the newspaper my parents still somehow get in print, and got back a "yes" in, I absolutely kid you not, under 15 minutes
add a skeleton here at some point
8
677
222
reposted by
Chris Martens
Kat
about 1 year ago
iām tired of February but i did see this *incredible* sundog today so i guess all the ice crystals hanging around in the atmosphere do have a few redeeming qualities āØ
0
4
2
Iāve turned off boosts on here so if you boost something good you have to tell me
about 1 year ago
1
3
0
reposted by
Chris Martens
David Renshaw
about 1 year ago
Stop motion animation, Blender modeling, Manim, wandering around in the real world -- these are all things I used to illustrate some of my favorite backronyms in this new video:
youtu.be/_0tNWWhPYYs
loading . . .
10,000 Backronyms and Counting
YouTube video by David Renshaw
https://youtu.be/_0tNWWhPYYs
0
9
3
the vibe on fedi vs here
mouse.photos/@niki/113987...
loading . . .
2,000 trained rats :ace: (@
[email protected]
)
I think it you reach 50 favs that's too much and it should just delete your post
https://mouse.photos/@niki/113987709699418975
about 1 year ago
0
0
0
reposted by
Chris Martens
Rail enthusiast wife Daria
about 1 year ago
Me: one of the best, if not the very best, things about Providence is the absolutely amazing live theater community. Brown: āabsolutely notā
add a skeleton here at some point
8
17
3
is there a āturn off repostsā setting for accounts one follows here?
about 1 year ago
5
0
0
reposted by
Chris Martens
Julie Pagano
about 1 year ago
Maggie inserted herself in the toilet paper. Iād like to think this is a very tiny protest.
0
4
2
reposted by
Chris Martens
Richard Waite
over 1 year ago
If I just read one million more posts tonight, I will have complete control over what comes next
54
5074
1052
reposted by
Chris Martens
mcc
about 1 year ago
What feels weird is being politics. Like. I encounter people who are like "oh I don't think there should be politics in this" and they mean me, like, I am the politics that they don't think they should have to see
2
122
23
reposted by
Chris Martens
Ann Finkbeiner
about 1 year ago
This is an amazing resource: the receipts on how academia is responding, case by case, to the pause in funding.
add a skeleton here at some point
1
183
64
reposted by
Chris Martens
Tofu
about 1 year ago
here is a sketch i made in september
42
4810
939
it me:
hci.social/@chrisamapho...
you should follow me on mastodon though :)
loading . . .
chris martens (@
[email protected]
)
caved and made a bsky account https://bsky.app/profile/chrisamaphone.bsky.social (mostly posting this here as "verification" that it's me)
https://hci.social/@chrisamaphone/113901123555635544
about 1 year ago
1
6
2
you reached the end!!
feeds!
log in