ATProto Browser
Experimental browser for the Atmosphere
Experimental browser for the Atmosphere
I like this. Sometimes fast and loose code is the right choice. But once something works, people like it, and you need to maintain it, you need to formalize. Using loose prototypes as a means to get to a stage where you can use formal methods is—in my opinion—peak sanity in the software world
May 5, 2025, 6:14 PM
{
"uri": "at://did:plc:moxrupebj5ll2t3og7btyxbo/app.bsky.feed.post/3logxwts4hc2a",
"cid": "bafyreicp72iwbj3fug3pevn47oamkbvcr7aaqfecgfsqk7gboxvefwget4",
"value": {
"text": "I like this. Sometimes fast and loose code is the right choice. But once something works, people like it, and you need to maintain it, you need to formalize.\n\nUsing loose prototypes as a means to get to a stage where you can use formal methods is—in my opinion—peak sanity in the software world",
"$type": "app.bsky.feed.post",
"embed": {
"$type": "app.bsky.embed.external",
"external": {
"uri": "https://buttondown.com/hillelwayne/archive/requirements-change-until-they-dont/",
"thumb": {
"$type": "blob",
"ref": {
"$link": "bafkreigjxnohl4z4y3bo5iij7nza7n5nilb6pysq2jo7ot5h3varusefxe"
},
"mimeType": "image/jpeg",
"size": 975827
},
"title": "Requirements change until they don't",
"description": "Requirements, phase changes, and formal methods."
}
},
"langs": [
"en"
],
"createdAt": "2025-05-05T18:14:46.808Z"
}
}