PrismioResearchv0.1.0

What we measured, and how to check it.

Prismio is a modern systems programming language and LLVM-based compiler designed for performance, memory ergonomics, and zero-cost safety. This is where its design decisions meet evidence: the memory analysis, the benchmarks, and the experiments that did not work.

Latest

  1. Closing the gap to C on wrapping integer loops

    Prismio's Int wraps on overflow and fell 5 to 12 percent behind C on tight loops. Four compiler analyses recover the gap without making overflow undefined.

    • Paper
    • Prismio 0.1.0
    • 8 min read

  2. A 2x slowdown with identical machine code

    A repeatable 1.5x to 2.1x slowdown on macOS had identical IR and disassembly. The cause was the SDK version recorded in the executable.

    • Note
    • Prismio 0.1.0
    • 1 min read

  3. Telling a real benchmark difference from noise

    A verdict rule for short benchmarks that compares both medians and best runs, and why a flat percentage threshold calls ties wins and losses.

    • Paper
    • Prismio 0.1.0
    • 4 min read

  4. Why Prismio's Int is 32 bits and wraps

    Three measurements settled that a 32-bit Int costs no sign extension in counted loops, that undefined overflow did not help, and that a wider Int costs 1.33 times.

    • Note
    • Prismio 0.1.0
    • 1 min read

Every result names the version it was measured on and where its code lives. Read the papers for the full method, or the notes for shorter records.