It begins.
[www.anthropic.com/research/for...](https://www.anthropic.com/research/formal-verification )
RE: https://bsky.app/profile/did:plc:j3d3ovtl7hs7sdjmvpezs6ay/post/3myipgpbxds2y
[LLMs are making formal softwar...](https://www.anthropic.com/research/formal-verification )
John David Pressman
npub1wj…zjg3s
2026-10-22 23:45:55 UTC
Author Public Key
npub1wjflhae8mn4d7q8jpe25ypzy0nqw4k6xlzlgslfds20zguug57vqczjg3sSeen on
wss://relay.momostr.pinkPublished at
2026-10-22 23:45:55 UTCEvent JSON
{
"id": "2ffeb57bd2ec2b07560f1c6e966f52792ad3e59776d94dcf575768832c4863a6",
"pubkey": "7493fbf727dceadf00f20e554204447cc0eadb46f8be887d2d829e247388a798",
"created_at": 1792712755,
"kind": 1,
"tags": [
[
"proxy",
"https://bsky.brid.gy/r/https://bsky.app/profile/did:plc:5hhbgkktcpofpw4ovz6kjjau/post/3myitvjdfvs2h",
"web"
],
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:5hhbgkktcpofpw4ovz6kjjau/app.bsky.feed.post/3myitvjdfvs2h",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://bsky.brid.gy/convert/ap/at://did:plc:5hhbgkktcpofpw4ovz6kjjau/app.bsky.feed.post/3myitvjdfvs2h",
"pink.momostr"
],
[
"-"
]
],
"content": "It begins.\n[www.anthropic.com/research/for...](https://www.anthropic.com/research/formal-verification )\n\nRE: https://bsky.app/profile/did:plc:j3d3ovtl7hs7sdjmvpezs6ay/post/3myipgpbxds2y\n\n[LLMs are making formal softwar...](https://www.anthropic.com/research/formal-verification )",
"sig": "f0d1210374bcaeb050e17eeebc598e388ddbee6518fb191951fccbee132fa2123ac75794bc1a3011629ee5f0a263043bd7fcedda6bdf09aa985317764dc76f2b"
}