Ben Arc on Nostr: An 💯 Imperative Language for Verified Exact 😂 Real-Number 😂 Computation
Published at
2024-09-20 17:37:56Event JSON
{
"id": "d8ce444d330a8be8b19e39aa3a17a41987f7369d1677b635f199969903889a18",
"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": "f074785267cf253c31d44017a50dad1cd28baddee55e8015e011b0c1bcf1c8dc197ef7a0162f9fa91a976ca3415e11fcd8384947c05021fbcb519bc7d1ddb198"
}
