Implementation / racket

Racket9.0

An inspectable measurement, with the exact build and environment evidence retained from this run.

functionalcompiler-default

Median wall time1.864 s

Fastest sample1.851 s

Slowest sample1.903 s

Samples retained3

01 / Measurements

Every sample matters.

Individual wall times in seconds. Three samples show observed spread; they do not establish a statistically reliable winner between close results.

Sample 11.902654996 s

Sample 21.863748904 s

Sample 31.851144209 s

Calculated π: 3.1415926525880504
Standard deviation: 0.02685120577092351s
Exit codes: [ 0, 0, 0 ]

02 / Build & protocol

How this was run.

Commands and settings are evidence from the measured revision. They can differ from today’s implementation.

Browse measured source ↗

Compile

No compile command recorded (may be interpreted).

Execute

racket leibniz.rkt

Source revision: c71e4cd81464b238172605982806c5bf827a70a1
Workload (terms): 1000000000
Algorithm: leibniz-series
Math mode: compiler-default
Explicit SIMD: No
Native CPU flags allowed: Yes
Warmup executions: 2
Measured executions: 3
Output capture: separate-execution-after-measurement
Build adapter: native-devbox
Container image: jetpackio/devbox:0.16.0@sha256:0475601f3ddbc1d06be7f7d4d51143dcc005400593407d5e3627fdf7edf6c7dd
Execution adapter: Not recorded
Dagger SDK: Not recorded
Dagger engine: Not recorded
Measurement profile: historical-native-2w-3m-plus-capture
Measurement timeout: No per-command timeout in the measured driver; scheduler deadlines are separate
Profile provenance: Descriptive label reconstructed from the measured driver; not an original profile identifier

Historical protocol recovered from the measured driver. These fields were not embedded in the original result. The raw JSON remains unchanged.

03 / The implementation

Read what ran.

The implementation and supporting files at the measured revision. Highlighting is added for readability; the source text is unchanged.

Recovered from the measured Git revision; not embedded in the original raw results

Browse this revision ↗

src/leibniz.rkt18 lines

#lang racket/base

(require racket/file
         racket/flonum
         racket/unsafe/ops)

(define rounds (file->value "rounds.txt"))

(let ([stop (unsafe-fx+ rounds 2)])
  (let loop ([i 2]
             [x -1.0]
             [pie 1.0])
    (if (unsafe-fx> i stop)
        (displayln (real->decimal-string (unsafe-fl* pie 4.0) 16))
        (loop (unsafe-fx+ i 1)
              (unsafe-fl- 0.0 x)
              (unsafe-fl+ pie (unsafe-fl/ x (unsafe-fl- (unsafe-fl* 2.0 (unsafe-fx->fl i)) 1.0)))))))

SHA-256 · 074d343b25f7176aa997be396e1049d6eccfa47538e8c2a7ff99ebc70e77cea6

04 / Package provenance

Beyond a version number.

Resolved Nix revisions and store paths identify the packages in the recorded Devbox lock. Other platforms listed by the resolver are alternatives, not machines used in this run.

Requested packages: [ "racket@9.0" ]
Requested flakes: []
Additional package setup: Not recorded
Measurement tooling: Not recorded

github:NixOS/nixpkgs/nixpkgs-unstableflake reference

Resolved reference: github:NixOS/nixpkgs/9b9402b959a2276982ddd5ad3652a38b97f7c40b?lastModified=1788431191&narHash=sha256-MFClkboDeW56feBCAeAV3Z3J2quGSZFlAOXQ4JjIlIA%3D
Version: Not recorded
Last modified: 2026-09-03T10:26:31Z
Source: Not recorded

Complete package record

{
  "last_modified": "2026-09-03T10:26:31Z",
  "resolved": "github:NixOS/nixpkgs/9b9402b959a2276982ddd5ad3652a38b97f7c40b?lastModified=1788431191&narHash=sha256-MFClkboDeW56feBCAeAV3Z3J2quGSZFlAOXQ4JjIlIA%3D"
}

hyperfine@1.18.01.18.0

Resolved reference: github:NixOS/nixpkgs/4ae2e647537bcdbb82265469442713d066675275#hyperfine
Version: 1.18.0
Last modified: 2024-11-03T14:18:04Z
Source: devbox-search

aarch64-darwin

{
  "outputs": [
    {
      "name": "out",
      "path": "/nix/store/9xndv63zi1n8i42l4fy4kdjw8rs8gnhf-hyperfine-1.18.0",
      "default": true
    }
  ],
  "store_path": "/nix/store/9xndv63zi1n8i42l4fy4kdjw8rs8gnhf-hyperfine-1.18.0"
}

aarch64-linux

{
  "outputs": [
    {
      "name": "out",
      "path": "/nix/store/klirs2wv0wm9p7rkp6v70v5770x73bgf-hyperfine-1.18.0",
      "default": true
    }
  ],
  "store_path": "/nix/store/klirs2wv0wm9p7rkp6v70v5770x73bgf-hyperfine-1.18.0"
}

x86_64-darwin

{
  "outputs": [
    {
      "name": "out",
      "path": "/nix/store/zvpjdyck0vj7w4piicfxbskv8fw7ik4i-hyperfine-1.18.0",
      "default": true
    }
  ],
  "store_path": "/nix/store/zvpjdyck0vj7w4piicfxbskv8fw7ik4i-hyperfine-1.18.0"
}

x86_64-linux Matching architecture / OS

{
  "outputs": [
    {
      "name": "out",
      "path": "/nix/store/7hj45kx7ln0ncn0i984zbh0gmbliya5j-hyperfine-1.18.0",
      "default": true
    }
  ],
  "store_path": "/nix/store/7hj45kx7ln0ncn0i984zbh0gmbliya5j-hyperfine-1.18.0"
}

Complete package record

{
  "last_modified": "2024-11-03T14:18:04Z",
  "resolved": "github:NixOS/nixpkgs/4ae2e647537bcdbb82265469442713d066675275#hyperfine",
  "source": "devbox-search",
  "version": "1.18.0",
  "systems": {
    "aarch64-darwin": {
      "outputs": [
        {
          "name": "out",
          "path": "/nix/store/9xndv63zi1n8i42l4fy4kdjw8rs8gnhf-hyperfine-1.18.0",
          "default": true
        }
      ],
      "store_path": "/nix/store/9xndv63zi1n8i42l4fy4kdjw8rs8gnhf-hyperfine-1.18.0"
    },
    "aarch64-linux": {
      "outputs": [
        {
          "name": "out",
          "path": "/nix/store/klirs2wv0wm9p7rkp6v70v5770x73bgf-hyperfine-1.18.0",
          "default": true
        }
      ],
      "store_path": "/nix/store/klirs2wv0wm9p7rkp6v70v5770x73bgf-hyperfine-1.18.0"
    },
    "x86_64-darwin": {
      "outputs": [
        {
          "name": "out",
          "path": "/nix/store/zvpjdyck0vj7w4piicfxbskv8fw7ik4i-hyperfine-1.18.0",
          "default": true
        }
      ],
      "store_path": "/nix/store/zvpjdyck0vj7w4piicfxbskv8fw7ik4i-hyperfine-1.18.0"
    },
    "x86_64-linux": {
      "outputs": [
        {
          "name": "out",
          "path": "/nix/store/7hj45kx7ln0ncn0i984zbh0gmbliya5j-hyperfine-1.18.0",
          "default": true
        }
      ],
      "store_path": "/nix/store/7hj45kx7ln0ncn0i984zbh0gmbliya5j-hyperfine-1.18.0"
    }
  }
}

micropython@1.24.11.24.1

Resolved reference: github:NixOS/nixpkgs/d19cf9dfc633816a437204555afeb9e722386b76#micropython
Version: 1.24.1
Last modified: 2025-04-10T20:20:34Z
Source: devbox-search

aarch64-darwin

{
  "outputs": [
    {
      "name": "out",
      "path": "/nix/store/g4dz2lvzzhggnxkavi1jiiiy1dpa8c4p-micropython-1.24.1",
      "default": true
    }
  ],
  "store_path": "/nix/store/g4dz2lvzzhggnxkavi1jiiiy1dpa8c4p-micropython-1.24.1"
}

aarch64-linux

{
  "outputs": [
    {
      "name": "out",
      "path": "/nix/store/3yggs5nl5pavnxh8k4adiq09s1f0ppry-micropython-1.24.1",
      "default": true
    }
  ],
  "store_path": "/nix/store/3yggs5nl5pavnxh8k4adiq09s1f0ppry-micropython-1.24.1"
}

x86_64-darwin

{
  "outputs": [
    {
      "name": "out",
      "path": "/nix/store/gav96yf4pxhj59idrs67z59cw3zfimfd-micropython-1.24.1",
      "default": true
    }
  ],
  "store_path": "/nix/store/gav96yf4pxhj59idrs67z59cw3zfimfd-micropython-1.24.1"
}

x86_64-linux Matching architecture / OS

{
  "outputs": [
    {
      "name": "out",
      "path": "/nix/store/vhfgy8vnd904mlzw35z61rh177cvcb40-micropython-1.24.1",
      "default": true
    }
  ],
  "store_path": "/nix/store/vhfgy8vnd904mlzw35z61rh177cvcb40-micropython-1.24.1"
}

Complete package record

{
  "last_modified": "2025-04-10T20:20:34Z",
  "resolved": "github:NixOS/nixpkgs/d19cf9dfc633816a437204555afeb9e722386b76#micropython",
  "source": "devbox-search",
  "version": "1.24.1",
  "systems": {
    "aarch64-darwin": {
      "outputs": [
        {
          "name": "out",
          "path": "/nix/store/g4dz2lvzzhggnxkavi1jiiiy1dpa8c4p-micropython-1.24.1",
          "default": true
        }
      ],
      "store_path": "/nix/store/g4dz2lvzzhggnxkavi1jiiiy1dpa8c4p-micropython-1.24.1"
    },
    "aarch64-linux": {
      "outputs": [
        {
          "name": "out",
          "path": "/nix/store/3yggs5nl5pavnxh8k4adiq09s1f0ppry-micropython-1.24.1",
          "default": true
        }
      ],
      "store_path": "/nix/store/3yggs5nl5pavnxh8k4adiq09s1f0ppry-micropython-1.24.1"
    },
    "x86_64-darwin": {
      "outputs": [
        {
          "name": "out",
          "path": "/nix/store/gav96yf4pxhj59idrs67z59cw3zfimfd-micropython-1.24.1",
          "default": true
        }
      ],
      "store_path": "/nix/store/gav96yf4pxhj59idrs67z59cw3zfimfd-micropython-1.24.1"
    },
    "x86_64-linux": {
      "outputs": [
        {
          "name": "out",
          "path": "/nix/store/vhfgy8vnd904mlzw35z61rh177cvcb40-micropython-1.24.1",
          "default": true
        }
      ],
      "store_path": "/nix/store/vhfgy8vnd904mlzw35z61rh177cvcb40-micropython-1.24.1"
    }
  }
}

racket@9.09.0

Resolved reference: github:NixOS/nixpkgs/80d901ec0377e19ac3f7bb8c035201e2e098cc97#racket
Version: 9.0
Last modified: 2026-02-23T15:40:43Z
Source: devbox-search

aarch64-darwin

{
  "outputs": [
    {
      "name": "out",
      "path": "/nix/store/n988dgjamdqspsyx10f7lwbzkrad21xs-racket-9.0",
      "default": true
    }
  ],
  "store_path": "/nix/store/n988dgjamdqspsyx10f7lwbzkrad21xs-racket-9.0"
}

aarch64-linux

{
  "outputs": [
    {
      "name": "out",
      "path": "/nix/store/wli0nsjdiffky3x1sabrc84av0a6vrhk-racket-9.0",
      "default": true
    }
  ],
  "store_path": "/nix/store/wli0nsjdiffky3x1sabrc84av0a6vrhk-racket-9.0"
}

x86_64-darwin

{
  "outputs": [
    {
      "name": "out",
      "path": "/nix/store/8xd5lpgwlqs9nfxri87vwcxn075sbinq-racket-9.0",
      "default": true
    }
  ],
  "store_path": "/nix/store/8xd5lpgwlqs9nfxri87vwcxn075sbinq-racket-9.0"
}

x86_64-linux Matching architecture / OS

{
  "outputs": [
    {
      "name": "out",
      "path": "/nix/store/djv3bb3f0q32yrzpq63ajs13hf86cbmz-racket-9.0",
      "default": true
    }
  ],
  "store_path": "/nix/store/djv3bb3f0q32yrzpq63ajs13hf86cbmz-racket-9.0"
}

Complete package record

{
  "last_modified": "2026-02-23T15:40:43Z",
  "resolved": "github:NixOS/nixpkgs/80d901ec0377e19ac3f7bb8c035201e2e098cc97#racket",
  "source": "devbox-search",
  "version": "9.0",
  "systems": {
    "aarch64-darwin": {
      "outputs": [
        {
          "name": "out",
          "path": "/nix/store/n988dgjamdqspsyx10f7lwbzkrad21xs-racket-9.0",
          "default": true
        }
      ],
      "store_path": "/nix/store/n988dgjamdqspsyx10f7lwbzkrad21xs-racket-9.0"
    },
    "aarch64-linux": {
      "outputs": [
        {
          "name": "out",
          "path": "/nix/store/wli0nsjdiffky3x1sabrc84av0a6vrhk-racket-9.0",
          "default": true
        }
      ],
      "store_path": "/nix/store/wli0nsjdiffky3x1sabrc84av0a6vrhk-racket-9.0"
    },
    "x86_64-darwin": {
      "outputs": [
        {
          "name": "out",
          "path": "/nix/store/8xd5lpgwlqs9nfxri87vwcxn075sbinq-racket-9.0",
          "default": true
        }
      ],
      "store_path": "/nix/store/8xd5lpgwlqs9nfxri87vwcxn075sbinq-racket-9.0"
    },
    "x86_64-linux": {
      "outputs": [
        {
          "name": "out",
          "path": "/nix/store/djv3bb3f0q32yrzpq63ajs13hf86cbmz-racket-9.0",
          "default": true
        }
      ],
      "store_path": "/nix/store/djv3bb3f0q32yrzpq63ajs13hf86cbmz-racket-9.0"
    }
  }
}

Complete Devbox configuration

{
  "$schema": "https://raw.githubusercontent.com/jetify-com/devbox/0.16.0/.schema/devbox.schema.json",
  "packages": [
    "racket@9.0",
    "hyperfine@1.18.0",
    "micropython@1.24.1"
  ],
  "shell": {
    "init_hook": [
      "echo 'Welcome to devbox!' > /dev/null"
    ],
    "scripts": {
      "test": [
        "echo \"Error: no test specified\" && exit 1"
      ]
    }
  }
}

05 / Environment & limits

The machine behind
the measurement.

Container-visible resources are not necessarily dedicated resources. Hypervisor CPU flags indicate virtualization; CPU counts do not prove exclusive CPU allocation.

CPU model: AMD EPYC-Genoa Processor
Architecture: x86_64
Kernel: 6.18.38-talos
Container OS release: Not recorded
C library: Not recorded
Cores per socket (reported): Not recorded
Visible threads: 4
Runner: homelab-argo
CPU quota: Not recorded
CPU affinity / set: Not recorded
Memory limit: Not recorded
Process limit: Not recorded
Process resource limits: Not recorded
Runner identity: Not recorded
Runner environment SHA-256: Not recorded
Virtualization: Hypervisor CPU flag present
CPU flags: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm rep_good nopl xtopology cpuid extd_apicid tsc_known_freq pni pclmulqdq ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand hypervisor lahf_lm cmp_legacy cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw topoext perfctr_core pti ssbd ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase bmi1 avx2 smep bmi2 erms invpcid avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves avx512_bf16 clzero xsaveerptr wbnoinvd arat avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid fsrm

All recorded environment fields

{
  "arch": "x86_64",
  "kernel": "6.18.38-talos",
  "cpu_model": "AMD EPYC-Genoa Processor",
  "cpu_flags": "fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm rep_good nopl xtopology cpuid extd_apicid tsc_known_freq pni pclmulqdq ssse3 fma cx16 pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand hypervisor lahf_lm cmp_legacy cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw topoext perfctr_core pti ssbd ibrs ibpb stibp ibrs_enhanced vmmcall fsgsbase bmi1 avx2 smep bmi2 erms invpcid avx512f avx512dq rdseed adx smap avx512ifma clflushopt clwb avx512cd sha_ni avx512bw avx512vl xsaveopt xsavec xgetbv1 xsaves avx512_bf16 clzero xsaveerptr wbnoinvd arat avx512vbmi umip pku ospke avx512_vbmi2 gfni vaes vpclmulqdq avx512_vnni avx512_bitalg avx512_vpopcntdq la57 rdpid fsrm",
  "cpu_threads": "4",
  "runner": "homelab-argo"
}

“Not recorded” means unknown, not unlimited. Historical data cannot establish CPU isolation, host contention, thermal state or frequency stability.

Declared scheduler settings

Workflow deadline: 12h 0s
Pod memory limit: 3Gi
Pod CPU request: 1
Pod CPU limit: Not specified in workflow template

Retained Argo stored workflow template; declared settings, not an observation of effective cgroup limits. A CPU request does not reserve exclusive hardware.

06 / Evidence

Take the data with you.

Original bytes are preserved. The checksum below identifies this exact raw JSON file.

Download raw JSON ↓

SHA-256: 054209864cd3be439610aa543bea322ae1e32eee9d00a3840eaea8a25c816ec9

All other recorded result fields

                    {
  "Mean": "1.872516036093333s",
  "Max": "1.90265499576s",
  "Target": "racket",
  "Stddev": "0.02685120577092351s",
  "Version": "9.0",
  "Language": "Racket",
  "UserTime": "1.792071513333333s",
  "SystemTime": "0.07154913333333334s",
  "Median": "1.86374890376s",
  "Command": "racket leibniz.rkt",
  "TimesPerRun": [
    1.90265499576,
    1.86374890376,
    1.85114420876
  ],
  "Accuracy": 9.496393691087722,
  "Min": "1.85114420876s",
  "ExitCodesPerRun": [
    0,
    0,
    0
  ],
  "CalculatedPi": "3.1415926525880504",
  "BuildSource": "native-devbox",
  "DevboxImage": "jetpackio/devbox:0.16.0@sha256:0475601f3ddbc1d06be7f7d4d51143dcc005400593407d5e3627fdf7edf6c7dd",
  "AllowNativeFlags": true,
  "MathMode": "compiler-default",
  "ExplicitSIMD": false,
  "Algorithm": "leibniz-series",
  "Rounds": 1000000000,
  "Compile": "",
  "Run": "racket leibniz.rkt",
  "Nixpkgs": [
    "racket@9.0"
  ],
  "NixFlakes": [],
  "Category": "functional"
}

Racket9.0

Every sample matters.

How this was run.

Compile

Execute

Read what ran.

Beyond a version number.

aarch64-darwin

aarch64-linux

x86_64-darwin

x86_64-linux Matching architecture / OS

aarch64-darwin

aarch64-linux

x86_64-darwin

x86_64-linux Matching architecture / OS

aarch64-darwin

aarch64-linux

x86_64-darwin

x86_64-linux Matching architecture / OS

The machine behindthe measurement.

Declared scheduler settings

Take the data with you.

The machine behind
the measurement.