John Regehr on Nostr: anyone know of a (preferably web-based) resource that sort of gamifies ...
anyone know of a (preferably web-based) resource that sort of gamifies invariant-based programming? I'm thinking about a resource that comes with a bunch of increasingly difficult functions and also a simple invariant language, and then shows concrete executions where user-supplied invariants are either too strong or too weak
Published at
2024-12-27 00:03:15Event JSON
{
"id": "b1967d9b18291769a85171ec1a53a4f0daa15c4fa6d2c30722405364597bca86",
"pubkey": "a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"created_at": 1735257795,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/regehr/statuses/113721854868360105",
"activitypub"
]
],
"content": "anyone know of a (preferably web-based) resource that sort of gamifies invariant-based programming? I'm thinking about a resource that comes with a bunch of increasingly difficult functions and also a simple invariant language, and then shows concrete executions where user-supplied invariants are either too strong or too weak",
"sig": "007c1ab9bccb3e6f000759f42779170b03df4614917119a4417c476f03a2b540f4c66a80f518508b7b8a877d8f1d47bfdf1766d4a0e8e9fc02b016ff5d006a8b"
}
