{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreihdecnvdchkphlbcrzkrxcqw6dg6muabsddodwxonrrmftrcoo7zi",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mpj4pdgaz7s2"
  },
  "path": "/t/language-vision-regarding-safety-guarantees/24418#post_13",
  "publishedAt": "2026-06-30T13:04:16.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "Evian-Zhang:\n\n> What is the difference for the library author when writing the code that guarantees a stable sort for logic or for safety?\n\nia0:\n\n> (because they are usually quite complex and not worth bothering to get them completely right)\n\nSo the difference is in whether you're careful enough in making sure the sorting algorithm is implemented correctly with no bugs? Such a threshold seems completely undefined and arbitrary, and thus meaningless.",
  "title": "Language vision regarding safety guarantees"
}