Experimental browser for the Atmosphere
if you ever feel __too__ smart try writing a very simple proof in coq. it's gonna calm you down really fast.
Jan 8, 2025, 11:13 AM
{ "uri": "at://did:plc:kirxoberra2ele3y5uok2d36/app.bsky.feed.post/3lf7zt6zcak2q", "cid": "bafyreihnflatgldkmjj7yklaxb2f55ekvdlj74ysczkdzggqn763xafqa4", "value": { "text": "if you ever feel __too__ smart try writing a very simple proof in coq. \n\nit's gonna calm you down really fast.", "$type": "app.bsky.feed.post", "langs": [ "en" ], "createdAt": "2025-01-08T11:13:09.027Z" } }