More precisely, take an infinite number of drawers, each containing a pair of socks. The AoC says that it's possible to pick one sock from each drawer.
So in AoC you have to assume that the drawers are not empty because you can't pick a sock from an empty drawer.
Bartosz Milewski
npub1gl…xtqzy
2025-07-02 15:48:42 UTC
in reply to nevent1q…59r7
Author Public Key
npub1glgxnwfzwxpvj3l6d96vxttum7rkfav3dmcwdkyqz9eqkt83mdfsaxtqzySeen on
wss://relay.momostr.pinkPublished at
2025-07-02 15:48:42 UTCEvent JSON
{
"id": "684c253f63c8b3b1209635a4e99a47612a4ddb7b2b65c4c6cfcc5902608c1dd3",
"pubkey": "47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53",
"created_at": 1751471322,
"kind": 1,
"tags": [
[
"e",
"5a0549e259a2763e47ea2b44ab687cd5d8948a8c6c15b6addb0cc2ee2d9e0a3d",
"",
"reply",
"c34fb397ab3768214c2f2f5c6c086f9b040d59cc3c656a883a7faa7b93da5c6a"
],
[
"proxy",
"https://mathstodon.xyz/@BartoszMilewski/114784424589826270",
"web"
],
[
"p",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"p",
"c34fb397ab3768214c2f2f5c6c086f9b040d59cc3c656a883a7faa7b93da5c6a"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"3fc2ab94680fd7bf4796d346cedf6927d8db7f0c3c2899b42ca750302069e840",
"",
"root",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/114784424589826270",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/BartoszMilewski/statuses/114784424589826270",
"pink.momostr"
],
[
"-"
]
],
"content": "More precisely, take an infinite number of drawers, each containing a pair of socks. The AoC says that it's possible to pick one sock from each drawer. \n\nSo in AoC you have to assume that the drawers are not empty because you can't pick a sock from an empty drawer.",
"sig": "93c8a079dc5d46e3901984db7ca26e131a49a746165f301f02649f49ee24b60cc478bde92da42980a64715028e2810a8e731c787ff39ce8818b77e967ba1c4d3"
}