Matt Hodges
@matthodges.bsky.social
Trying to use computers to elect Democrats / Previously Joe Biden / Previously Hillary Clinton / Austin, TX / matthodges.com
> to date (despite many attempts) nobody has demonstrated a convincing and effective way of distinguishing between the two
This nudged me to finally write a post I've been noodling for years on the intractability of the problem, based on lessons from my favorite book.
matthodges.com/posts/2025-0...
This nudged me to finally write a post I've been noodling for years on the intractability of the problem, based on lessons from my favorite book.
matthodges.com/posts/2025-0...
Music to Break Models By
Gödelian limits of prompt-safe AI
matthodges.com
August 29, 2025 at 1:57 PM
> to date (despite many attempts) nobody has demonstrated a convincing and effective way of distinguishing between the two
This nudged me to finally write a post I've been noodling for years on the intractability of the problem, based on lessons from my favorite book.
matthodges.com/posts/2025-0...
This nudged me to finally write a post I've been noodling for years on the intractability of the problem, based on lessons from my favorite book.
matthodges.com/posts/2025-0...
I wrote a little bit more about using the LLM to make a political donation: matthodges.com/posts/2025-0...
I Donated to Sherrod Brown via ChatGPT
I let the LLM agent send money through ActBlue
matthodges.com
August 20, 2025 at 5:49 PM
I wrote a little bit more about using the LLM to make a political donation: matthodges.com/posts/2025-0...
A few years ago I wrote up a basic exploration of the Lambda Calculus in Python:
matthodges.com/posts/2022-0...
matthodges.com/posts/2022-0...
Exploring the Lambda Calculus with Python
Some basic ideas of the Lambda Calculus, and how to use it to implement a computation system in Python
matthodges.com
July 14, 2025 at 2:54 PM
A few years ago I wrote up a basic exploration of the Lambda Calculus in Python:
matthodges.com/posts/2022-0...
matthodges.com/posts/2022-0...