Cuneicode – a language where 0.1 and 0.2 == 0.3

(cuneicode.dev)

2 points | by synchan 10 hours ago ago

2 comments

  • synchan 10 hours ago

    I built a programming language where every number is an exact rational. No floating-point. No IEEE 754. No epsilon comparisons.

    ``` inscribe 0.1 + 0.2 == 0.3 -- true inscribe 1/3 + 1/3 + 1/3 == 1 -- true ```

    This isn't a library feature — it's the language's sole numeric type. Every operation on every number in every library inherits this guarantee for free.

    What this enables:

    - *Quantum circuit verification*: 100 Hadamard gates chained return to identity — exactly. No drift. (Qiskit/Cirq can't pass this test.) - *Financial calculations*: $0.10 × 10 == $1.00, exact. Ships with a Decimal type for currency-safe arithmetic. - *Linear regression*: slope of y=2x is 2, not 1.9999999999998. - *Crypto verification*: Exact BigInt modular arithmetic with secp256k1/P-256/Ed25519 curve parameters.

    The language also ships with: - Python interop (Python.eval("2*10") → 1024) - Capability-based security (sandbox permissions for safe code execution) - Refinement types (mark x: num where x > 0 = 42) - A verification REST API (POST /verify with your expression, get exact result) - VS Code extension and Jupyter kernel

    534 tests, 0 failures, 42 modules, 25K LOC, Mesopotamian-themed syntax (chisel/tablet/engrave/inscribe).

    Try it: `npm install -g cuneicode && cune`

    GitHub: https://github.com/sinchancybersecurity/cuneicode

  • stop50 10 hours ago

    Neither domain nor the repo exists. Probably slop post