Experimental browser for the Atmosphere
I am not sure that person is actually talking about formal methods like the ones you are working with. Maybe they are referring to formalized processes like Rational Unified Process?
Apr 21, 2025, 7:30 PM
{ "uri": "at://did:plc:vbym2zek36hvejwpwcwr2x2j/app.bsky.feed.post/3lndvmrrpr22p", "cid": "bafyreiamxgwtqscai35bvxa3jswoeyowiowqgefemmfcp6uykmnlqrkcfa", "value": { "text": "I am not sure that person is actually talking about formal methods like the ones you are working with. Maybe they are referring to formalized processes like Rational Unified Process?", "$type": "app.bsky.feed.post", "langs": [ "en" ], "reply": { "root": { "cid": "bafyreicelyvyitnq7wmcsrop2il4bgdgcf6xvy6cutqqorxypfdjpjfxg4", "uri": "at://did:plc:rvlyeda73kxm7l2weegk73pa/app.bsky.feed.post/3lndr37uxbs2l" }, "parent": { "cid": "bafyreicelyvyitnq7wmcsrop2il4bgdgcf6xvy6cutqqorxypfdjpjfxg4", "uri": "at://did:plc:rvlyeda73kxm7l2weegk73pa/app.bsky.feed.post/3lndr37uxbs2l" } }, "createdAt": "2025-04-21T19:30:10.829Z" } }