Ben Arc on Nostr: An Imperative Language for Verified 😂 Exact Real-Number Computation ...
Published at
2024-09-20 17:37:56Event JSON
{
"id": "ada7f09773d74102b1ef73cb5223e39a1bc57980729a42edca7fedc0bf952a34",
"pubkey": "fec24ec87a7d4a0ec37f4551edc8f948b12d52f6abb02fe823eb9dbd02aa8749",
"created_at": 1726853876,
"kind": 1,
"tags": [
[
"e",
"15c4a71a66dc65f4c92c9b03e75e8627286b11abd4459dc3c72c13ce0786ce97"
],
[
"p",
"de7ecd1e2976a6adb2ffa5f4db81a7d812c8bb6698aa00dcf1e76adb55efd645"
]
],
"content": "An Imperative Language for Verified 😂 Exact Real-Number Computation https://www.reddit.com/r/ProgrammingLanguages/comments/1fl41rn/an_imperative_language_for_verified_exact/",
"sig": "419f674a4d35dcb224f0a71af1a2374d7621d4072290a011cb9d80eff9da9906b93540c72990e2f0ccd2ca9e3eaec6be2d2c14c12cd6879a45fe44e6480dd9a2"
}
