Hacker News 50 on Nostr: Knuckledragger, a Semi-Automated Python Proof Assistant Link: Discussion: #python
Published at
2024-08-05 23:25:06Event JSON
{
"id": "b53cf831ed3c4df86882baf4fb0ab34193dccaaf726c418f58818fa2f493759d",
"pubkey": "c054332e25ef1ca0feebcd580622613bed81fec31e41f52f27a644c993cd67ae",
"created_at": 1722900306,
"kind": 1,
"tags": [
[
"t",
"python"
],
[
"proxy",
"https://social.lansky.name/users/hn50/statuses/112911994517007503",
"activitypub"
]
],
"content": "Knuckledragger, a Semi-Automated Python Proof Assistant\n\nLink: https://www.philipzucker.com/state_o_knuck/\nDiscussion: https://news.ycombinator.com/item?id=41161455\n\n#python",
"sig": "8e5faae91c7a57348855ced2dc7d175c5dd28c81a055b99e94fd348cf9ecaea01e20d2db1046f010b6cf3d49a24203370b7f575aaf019b16b08f33f725767c0f"
}