Dan Luu on Nostr: How long before formal methods are widely use in software engineering?
Published at
2024-04-24 14:27:29 UTCEvent JSON
{
"id": "1efddd45df04301092abe96949467c0cbb07ecc85aa788b1d2ea4568ff0f8ac3",
"pubkey": "0ecb1c9b6fc91390ab51a5a39082f44c4abe0a19ad67c63b709d175ebf23e0f2",
"created_at": 1713968849,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/danluu/statuses/112326662545680021",
"activitypub"
]
],
"content": "How long before formal methods are widely use in software engineering?\n\nhttps://www.patreon.com/posts/102809124\n\nhttps://files.mastodon.social/media_attachments/files/112/326/657/140/282/793/original/6e0b5275341f9fb2.png",
"sig": "ec89973d5fcc9d4e7b2041c989fdab3aa2a49f057b707551492294b1ab52ab977bc421c701ed326c758b061edb32e34272e3d2919b1e24265907f01183883119"
}
