Shriram Krishnamurthi on Nostr: 1/ For several years we've been building Forge, a pedagogically-focused tool to teach ...
1/ For several years we've been building Forge, a pedagogically-focused tool to teach formal methods. Here's our first write-up! As the name suggests it's a tribute to Alloy, but we're innovating on several fronts:
https://blog.brownplt.org/2024/04/21/forge.html ↵
Published at
2024-04-21 14:30:32Event JSON
{
"id": "789782748f817ad79a78731870f3db20a54cf3ed032f9f1382dc941abcde0ad5",
"pubkey": "da41345efcd23c060f4256375a2aa9e862fd37a0b6df5ba21e62d422ba1cc17c",
"created_at": 1713709832,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/shriramk/statuses/112309687551931756",
"activitypub"
]
],
"content": "1/ For several years we've been building Forge, a pedagogically-focused tool to teach formal methods. Here's our first write-up! As the name suggests it's a tribute to Alloy, but we're innovating on several fronts: \nhttps://blog.brownplt.org/2024/04/21/forge.html ↵",
"sig": "36cd2ebf9ee654e0bb407febc3958cae1f7a3096c11aeff0a1d0add4211f8279ab91ffd4d0d1347a16350c8d1483186d172e5d501a81cb0d3c296bc68f2a6e35"
}
