In principle I could probably retire now. But if I retired I'd end up still spending some time writing code to play with whatever interests me in the computing and adjacent world. So I may as well get paid for it.
But due diligence, I started looking at retirement. It seems more complicated than investments. You need to find an optimal strategy to withdraw from 401(k)s and other investments. A good way to optimise is in fact the very method I used to plan balloon trajectories years ago, solve the HJB equation.
And that's more or less why retirement would be a challenge at the moment. I'd be too busy solving equations...
npub1xs…fgrae
2026-04-04 19:41:54 UTC
Author Public Key
npub1xs30e0pj7velktf5sxewnqf93tu2pdt3s6wtl6fug2tzgy8zxthsgfgraeSeen on
wss://relay.ditto.pubPublished at
2026-04-04 19:41:54 UTCEvent JSON
{
"id": "d0a3a4d20b36116bcde010144861c0f5e7735470d7322801941a392be2e36161",
"pubkey": "3422fcbc32f333fb2d3481b2e981258af8a0b571869cbfe93c42962410e232ef",
"created_at": 1775331714,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/dpiponi/statuses/116348139261834194",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "In principle I could probably retire now. But if I retired I'd end up still spending some time writing code to play with whatever interests me in the computing and adjacent world. So I may as well get paid for it.\n\nBut due diligence, I started looking at retirement. It seems more complicated than investments. You need to find an optimal strategy to withdraw from 401(k)s and other investments. A good way to optimise is in fact the very method I used to plan balloon trajectories years ago, solve the HJB equation.\n\nAnd that's more or less why retirement would be a challenge at the moment. I'd be too busy solving equations...",
"sig": "340e042b61b0a3ce4a99ac08e4b529a7aea823c9a35e8206e370e1afaabec299590543a3893d5099ad1da40245791f1f4d75619b4f39e4d4c9468dd2d7038857"
}