A Turing machine is the most stripped-down model of a computer, that still contains all of the elements of a true computer. It is a device for manipulating boolean(T/F) statements. A program defines states. Depending on the state new symbols may be written or erased and the machine may move to a different location on the tape.
This framework is sufficient to produce every computer program that has **ever** been written.
Every single one.
myrmepropagandist
npub1pp…aqv2g
2026-10-18 13:50:52 UTC
Author Public Key
npub1ppewzys45ygvxrmaxs9hwwrtt706u2pgcwrllex9dpqyt7wpnthqjaqv2gPublished at
2026-10-18 13:50:52 UTCEvent JSON
{
"id": "11fc56d60678194f4afb16c163840242ca8a1dec1b83426b56761193e9231b58",
"pubkey": "0872e11215a110c30f7d340b77386b5f9fae2828c387ffe4c5684045f9c19aee",
"created_at": 1792331452,
"kind": 1,
"tags": [
[
"proxy",
"https://sauropods.win/@futurebird/117462234055984609",
"web"
],
[
"proxy",
"https://sauropods.win/users/futurebird/statuses/117462234055984609",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://sauropods.win/users/futurebird/statuses/117462234055984609",
"pink.momostr"
],
[
"-"
]
],
"content": "A Turing machine is the most stripped-down model of a computer, that still contains all of the elements of a true computer. It is a device for manipulating boolean(T/F) statements. A program defines states. Depending on the state new symbols may be written or erased and the machine may move to a different location on the tape. \n\nThis framework is sufficient to produce every computer program that has **ever** been written. \n\nEvery single one.",
"sig": "aff9bcab7f90c4273b8ba87ceaed8be1c197f5cdb2771580510a5263dbabf656e64f6a298950160c3e985153ed0fe0a534fa9ff016933c7fa13d2e28569af1b1"
}