chris martens on Nostr: i have learned of a *third* PL/formal methods project named some variant of Daedalus ...
i have learned of a *third* PL/formal methods project named some variant of Daedalus and i have to wonder whether any computer scientist read to the end of the myth
Published at
2024-11-13 16:56:34Event JSON
{
"id": "15ba198c8b1d1119b4bcad038c9c6bdae086e52bf8a0175e1b2879ef093b3d6b",
"pubkey": "a0732c7504ef9fb84247ed1a1d5d6db35c58deae158b4527acb596ebd5f00423",
"created_at": 1731516994,
"kind": 1,
"tags": [
[
"proxy",
"https://hci.social/users/chrisamaphone/statuses/113476697729341901",
"activitypub"
]
],
"content": "i have learned of a *third* PL/formal methods project named some variant of Daedalus and i have to wonder whether any computer scientist read to the end of the myth",
"sig": "70ed8067c3e2161ba9b9a25015e9d0296e508e64361f6c3f926f2686e3923a9aaa0acfbca25ae5f907fe9e2e3081d0ebe5f1aec661f36832c5fc574566534bfa"
}
