@davidkinney.bsky.social
Assistant Professor in Philosophy at WashU (St Louis). http://davidbkinney.com
Will anyone recognize the reference or am I truly ancient?
October 15, 2025 at 10:47 PM
Will anyone recognize the reference or am I truly ancient?
On a very nervy and scary day, I'm posting something I just wrote for my formal methods class that makes me happy.
September 11, 2025 at 1:48 AM
On a very nervy and scary day, I'm posting something I just wrote for my formal methods class that makes me happy.
They look they’re about to drop the hottest adult contemporary album of 1994.
July 7, 2025 at 9:02 PM
They look they’re about to drop the hottest adult contemporary album of 1994.
Jaegwon Kim on @lastpositivist.bsky.social in 1989.
March 22, 2025 at 2:19 PM
Jaegwon Kim on @lastpositivist.bsky.social in 1989.
Interesting example of a task that GPT-4o fails at unless you turn on reasoning mode: assigning numbers to sentences such that sentence A gets a lower number than sentence B if and only if A implies B (as in a Heyting algebra).
February 18, 2025 at 2:12 PM
Interesting example of a task that GPT-4o fails at unless you turn on reasoning mode: assigning numbers to sentences such that sentence A gets a lower number than sentence B if and only if A implies B (as in a Heyting algebra).
Powerpoint's AI slide designer dropping a hauntingly beautiful pegasus at 8am.
February 11, 2025 at 1:59 PM
Powerpoint's AI slide designer dropping a hauntingly beautiful pegasus at 8am.
We love to see it, folks.
January 27, 2025 at 11:16 PM
We love to see it, folks.