Slava Pestov on Nostr: Forget about programming languages suited for writing compilers and whether that’s ...
Forget about programming languages suited for writing compilers and whether that’s good or not, how about a programming language specially for implementing other Turing-tarpit languages in the most concise way possible. There’s a lot of diversity between, say, lambda calculus and Brainfuck. What abstractions would you pick for your language, and why?
Published at
2026-08-24 23:10:56 UTCEvent JSON
{
"id": "4dd8efa671e45d29a3a11bdeabe967c968ef823f069f569673a4b72562203b8f",
"pubkey": "5aacca856ab90d7ec363941ce196acc5dadf6007dc2718eb6b6a51cf80cd582d",
"created_at": 1787613056,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@slava/117153009267732659",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/slava/statuses/117153009267732659",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/slava/statuses/117153009267732659",
"pink.momostr"
],
[
"-"
]
],
"content": "Forget about programming languages suited for writing compilers and whether that’s good or not, how about a programming language specially for implementing other Turing-tarpit languages in the most concise way possible. There’s a lot of diversity between, say, lambda calculus and Brainfuck. What abstractions would you pick for your language, and why?",
"sig": "52d96d849612628d84b97cedb24f46fbcce967d15ece3c0356337572960296d7b7e9900a307379ca3e9edfe5bad6c99b8b06feb3a742213caaf554823f05ef23"
}
