CF Bolz-Tereick on Nostr: Yes, thank you VS Code, clearly this smtlib file needed some color
Yes, thank you VS Code, clearly this smtlib file needed some color
Published at
2025-09-16 12:44:44 CESTEvent JSON
{
"id": "cf3316cf0389ade364d0896b080f9fedbe9710791f98a0c17a797b180a01733b",
"pubkey": "25b8723ef87e15c6006418eeb48533f36814c7525a397700eab8d2954f078453",
"created_at": 1758019484,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/@cfbolz/115213564964551533",
"web"
],
[
"imeta",
"url https://files.mastodon.social/media_attachments/files/115/213/559/266/521/911/original/3932e16d0869e14a.png",
"m image/png"
],
[
"proxy",
"https://mastodon.social/users/cfbolz/statuses/115213564964551533",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/cfbolz/statuses/115213564964551533",
"pink.momostr"
],
[
"-"
]
],
"content": "Yes, thank you VS Code, clearly this smtlib file needed some color\nhttps://files.mastodon.social/media_attachments/files/115/213/559/266/521/911/original/3932e16d0869e14a.png\n",
"sig": "17bfe1f9019153617e9df06e123743d355beded54bb69168671be1b48fa29b00dda84d8978c1b11072acf1516b9bf6077396722cbdc1f53037f151cdb9f2e831"
}
