#BabelOfCode 2024
Week 11, Puzzle 17
Language: Idris
PREV WEEK: https://mastodon.social/@mcc/114582208242623432
RULES: https://mastodon.social/@mcc/113676228091546556
PUZZLE TEXT: https://adventofcode.com/2024/day/17
Now getting extreme with "puzzles out of order". Here's the problem. The AOC author *really* likes puzzles involving 2D arrays. It makes sense. They're easy to visualize as either ASCII art or PNGs. They're a rich space for "simulations". But some languages are better at them than others.
So for Idris week, I pick the "build a CPU" puzzle.
mcc
npub15v…vx8ma
2026-10-13 23:44:25 UTC
Author Public Key
npub15vtzh9eq7663ttzt6gk4af9t7ru97459zvxu5s85dlngfl59kf2srvx8maSeen on
wss://relay.ditto.pubPublished at
2026-10-13 23:44:25 UTCEvent JSON
{
"id": "9953215493726f92b43a4078f9ccc29b83996b555b6bb8efc58ce50acc76e1d4",
"pubkey": "a3162b9720f6b515ac4bd22d5ea4abf0f85f5685130dca40f46fe684fe85b255",
"created_at": 1791935065,
"kind": 1,
"tags": [
[
"t",
"babelofcode"
],
[
"proxy",
"https://mastodon.social/users/mcc/statuses/117436256447438940",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "#BabelOfCode 2024\nWeek 11, Puzzle 17\nLanguage: Idris\n\nPREV WEEK: https://mastodon.social/@mcc/114582208242623432\nRULES: https://mastodon.social/@mcc/113676228091546556\nPUZZLE TEXT: https://adventofcode.com/2024/day/17\n\nNow getting extreme with \"puzzles out of order\". Here's the problem. The AOC author *really* likes puzzles involving 2D arrays. It makes sense. They're easy to visualize as either ASCII art or PNGs. They're a rich space for \"simulations\". But some languages are better at them than others.\n\nSo for Idris week, I pick the \"build a CPU\" puzzle.",
"sig": "418dfa26c39f5d3e2b56490a21631bfdb4e495257f6e5ba463c040be61c3d2ba534ddfe0270b15233c70b0c72a7d6ee93042f369ef0787081cec452f70f8de75"
}