ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

Yeah, that's make take also: the stricter the checker the easier it should be for AI tools to produce error-free code. The biggest problem is that LLMs aren't as trained at producing the correct Rust code in the first place (and in the second, and ever). Otoh, having the strict verifiers should...

May 8, 2025, 4:43 PM

Record data

{
  "uri": "at://did:plc:vrshb67ptgvclesf56xqmdog/app.bsky.feed.post/3looea46nuc23",
  "cid": "bafyreih223mr2uamg7fhb4y5ei7e43ir5qd2tgbiykira32vbgajdnpqyu",
  "value": {
    "text": "Yeah, that's make take also: the stricter the checker the easier it should be for AI tools to produce error-free code. The biggest problem is that LLMs aren't as trained at producing the correct Rust code in the first place (and in the second, and ever). Otoh, having the strict verifiers should...",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreieush3pe7a3d7b7fti3e4iyyslkze3q2qpuc6oo3dfae3t3wfexje",
        "uri": "at://did:plc:caqrj5ozzdpo6j2sym65uds5/app.bsky.feed.post/3loo3u4pdt22y"
      },
      "parent": {
        "cid": "bafyreieush3pe7a3d7b7fti3e4iyyslkze3q2qpuc6oo3dfae3t3wfexje",
        "uri": "at://did:plc:caqrj5ozzdpo6j2sym65uds5/app.bsky.feed.post/3loo3u4pdt22y"
      }
    },
    "createdAt": "2025-05-08T16:43:20.669Z"
  }
}