Ah, that's interesting. I used Hoare Logic heavily for PHP (great for use case specification and preventing regression when refactoring), but I'd never heard of him.
Static analysis is all about annotation and test automation is nothing but assertions.
Funny, that I'd never heard his name mentioned.
pipe
npub1qf…fj6kq
2023-07-25 07:08:11
in reply to nevent1q…5edz
Author Public Key
npub1qfkcklnmes45z75y7y8dkud5yll8vp5eq5ysk9rmgqdxeasv8unsrfj6kqPublished at
2023-07-25 07:08:11Event JSON
{
"id": "9b04b4e1ded0b5a13aa1f8b3bb30dc19ea56187557eed07248345757f20b0003",
"pubkey": "026d8b7e7bcc2b417a84f10edb71b427fe76069905090b147b401a6cf60c3f27",
"created_at": 1690268891,
"kind": 1,
"tags": [
[
"e",
"91ad3a9083aaf591a7f83cb65af99206d32abcb81445c3929f9a642d6a086416",
"",
"root"
],
[
"e",
"d6c43664b5a6944b732258369f0cb096b02e7c8022b79f5fde9e9d600b120c3a"
],
[
"e",
"6e3d59be0a76197d3b4d4aca24bea0a4def1d949ed852fee876eaa0abf54e64d",
"",
"reply"
],
[
"p",
"7bf7db83f73228f5df6ba34849f2af9fd54bf565b5ad698ac708249b310079a0"
],
[
"p",
"026d8b7e7bcc2b417a84f10edb71b427fe76069905090b147b401a6cf60c3f27"
]
],
"content": "Ah, that's interesting. I used Hoare Logic heavily for PHP (great for use case specification and preventing regression when refactoring), but I'd never heard of him.\n\nStatic analysis is all about annotation and test automation is nothing but assertions.\n\nFunny, that I'd never heard his name mentioned.",
"sig": "2cb7582d8ed4f039dabd3cb89edf4a184c5d076396c8844a656295bc1ccce9109f56516fc4a6057346020dfaa4a6da63301fe9302124aaec1b014aa0b4a79125"
}