Weeknotes 2025-W43!
+ Project Pterodactyl: goodbye to definitional proof-irrelevance
+ Reading corner: Rendezvous with Rama, The Three-Body Problem
https://www.jonmsterling.com/2025-W43/
Jon Sterling
npub1hf…9ls8k
2025-10-24 09:26:35 UTC
Author Public Key
npub1hfga8wmley5fzqtttpeupd8hc6s92rykfmzktm8zfdhu9h8exvqsj9ls8kPublished at
2025-10-24 09:26:35 UTCEvent JSON
{
"id": "8f9d5c9330286a5efbd4f1cba0f6d2ea235ca129a4a96b8ceb9f05545379d300",
"pubkey": "ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"created_at": 1761297995,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/jonmsterling/statuses/115428425403535725",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "Weeknotes 2025-W43!\n\n+ Project Pterodactyl: goodbye to definitional proof-irrelevance\n+ Reading corner: Rendezvous with Rama, The Three-Body Problem\n\nhttps://www.jonmsterling.com/2025-W43/",
"sig": "0f5bfbe2b29e063c47d9a1a28ba8bd0c0a6cdf23e87218c564178b54c3adce0e2842644d51e1051bddb7197ea53bd902ece088780908dead99dacbd115ed7d64"
}