Implementation / nasm
Assembly (NASM x64)2.16.03
An inspectable measurement, with the exact build and environment evidence retained from this run.
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.
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
nasm -f elf64 leibniz.asm -o leibniz.o && gcc -o leibniz leibniz.o
Execute
./leibniz
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.asm64 lines
; NASM, Linux x86_64 System V ABI. Scalar double precision Leibniz series.
default rel
extern fopen, fscanf, fclose, printf
global main
section .rodata
path: db 'rounds.txt', 0
mode: db 'r', 0
scan_format: db '%lu', 0
print_format: db '%.16f', 10, 0
one: dq 1.0
section .text
main:
push rbp
mov rbp, rsp
sub rsp, 32
lea rdi, [path]
lea rsi, [mode]
call fopen wrt ..plt
test rax, rax
jz .error
mov [rbp-8], rax
mov rdi, rax
lea rsi, [scan_format]
lea rdx, [rbp-16]
xor eax, eax
call fscanf wrt ..plt
mov [rbp-24], eax
mov rdi, [rbp-8]
call fclose wrt ..plt
cmp dword [rbp-24], 1
jne .error
cmp qword [rbp-16], 1000000000
ja .error
movsd xmm2, [one]
xor ecx, ecx
.loop:
cmp rcx, [rbp-16]
jae .print
mov eax, ecx
and eax, 1
lea rax, [rax*2-1]
cvtsi2sd xmm0, rax
lea rax, [rcx*2+3]
cvtsi2sd xmm1, rax
divsd xmm0, xmm1
addsd xmm2, xmm0
inc rcx
jmp .loop
.print:
movsd xmm0, xmm2
addsd xmm0, xmm0
addsd xmm0, xmm0
lea rdi, [print_format]
mov eax, 1
call printf wrt ..plt
xor eax, eax
leave
ret
.error:
mov eax, 1
leave
ret
section .note.GNU-stack noalloc noexec nowrite progbits
SHA-256 · 23b56103d0878a94315df583aa617b68c894a4999a3396196fd30efbef93a949
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.
gcc@15.2.015.2.0
aarch64-darwin
{
"outputs": [
{
"name": "out",
"path": "/nix/store/rd7b05akhyscn3g6wpvsb9dkkach23l9-gcc-wrapper-15.2.0",
"default": true
},
{
"name": "man",
"path": "/nix/store/3n21z69f4gyjlxzckp7ahwh5xm7ja2iq-gcc-wrapper-15.2.0-man",
"default": true
},
{
"name": "info",
"path": "/nix/store/r9v30l61j6ysi014s5l2i9p8k0gmhym8-gcc-wrapper-15.2.0-info"
}
],
"store_path": "/nix/store/rd7b05akhyscn3g6wpvsb9dkkach23l9-gcc-wrapper-15.2.0"
}aarch64-linux
{
"outputs": [
{
"name": "out",
"path": "/nix/store/d6gsw7k6sba2m5zjd3xm79kaah97x62w-gcc-wrapper-15.2.0",
"default": true
},
{
"name": "man",
"path": "/nix/store/j3b3p3l6p756kkgd4kaxzhrs50yplf2z-gcc-wrapper-15.2.0-man",
"default": true
},
{
"name": "info",
"path": "/nix/store/b22nq0v9l958nhkf91292nq1dmh4irzr-gcc-wrapper-15.2.0-info"
}
],
"store_path": "/nix/store/d6gsw7k6sba2m5zjd3xm79kaah97x62w-gcc-wrapper-15.2.0"
}x86_64-darwin
{
"outputs": [
{
"name": "out",
"path": "/nix/store/a9dhskc2ladjh7aph2z1b7x0lsdl506l-gcc-wrapper-15.2.0",
"default": true
},
{
"name": "man",
"path": "/nix/store/zhrv9vafnz3agiwznkij8p36fpa17py7-gcc-wrapper-15.2.0-man",
"default": true
},
{
"name": "info",
"path": "/nix/store/y0vblnaz09f5hws1pnx59fzvlpcrd1zn-gcc-wrapper-15.2.0-info"
}
],
"store_path": "/nix/store/a9dhskc2ladjh7aph2z1b7x0lsdl506l-gcc-wrapper-15.2.0"
}x86_64-linux Matching architecture / OS
{
"outputs": [
{
"name": "out",
"path": "/nix/store/vdaz6sk455r8sbpi7wzaf9vlz5i9yyvx-gcc-wrapper-15.2.0",
"default": true
},
{
"name": "man",
"path": "/nix/store/l4ybxax0plgjmcmna8lzyv2gal11k7m3-gcc-wrapper-15.2.0-man",
"default": true
},
{
"name": "info",
"path": "/nix/store/9x640dyjh4kxiw70ifpp5s2bcnk7l2ai-gcc-wrapper-15.2.0-info"
}
],
"store_path": "/nix/store/vdaz6sk455r8sbpi7wzaf9vlz5i9yyvx-gcc-wrapper-15.2.0"
}Complete package record
{
"last_modified": "2026-07-08T21:13:06Z",
"resolved": "github:NixOS/nixpkgs/389ed85304b281ca7f306cf8a1eb4378651ca44e#gcc",
"source": "devbox-search",
"version": "15.2.0",
"systems": {
"aarch64-darwin": {
"outputs": [
{
"name": "out",
"path": "/nix/store/rd7b05akhyscn3g6wpvsb9dkkach23l9-gcc-wrapper-15.2.0",
"default": true
},
{
"name": "man",
"path": "/nix/store/3n21z69f4gyjlxzckp7ahwh5xm7ja2iq-gcc-wrapper-15.2.0-man",
"default": true
},
{
"name": "info",
"path": "/nix/store/r9v30l61j6ysi014s5l2i9p8k0gmhym8-gcc-wrapper-15.2.0-info"
}
],
"store_path": "/nix/store/rd7b05akhyscn3g6wpvsb9dkkach23l9-gcc-wrapper-15.2.0"
},
"aarch64-linux": {
"outputs": [
{
"name": "out",
"path": "/nix/store/d6gsw7k6sba2m5zjd3xm79kaah97x62w-gcc-wrapper-15.2.0",
"default": true
},
{
"name": "man",
"path": "/nix/store/j3b3p3l6p756kkgd4kaxzhrs50yplf2z-gcc-wrapper-15.2.0-man",
"default": true
},
{
"name": "info",
"path": "/nix/store/b22nq0v9l958nhkf91292nq1dmh4irzr-gcc-wrapper-15.2.0-info"
}
],
"store_path": "/nix/store/d6gsw7k6sba2m5zjd3xm79kaah97x62w-gcc-wrapper-15.2.0"
},
"x86_64-darwin": {
"outputs": [
{
"name": "out",
"path": "/nix/store/a9dhskc2ladjh7aph2z1b7x0lsdl506l-gcc-wrapper-15.2.0",
"default": true
},
{
"name": "man",
"path": "/nix/store/zhrv9vafnz3agiwznkij8p36fpa17py7-gcc-wrapper-15.2.0-man",
"default": true
},
{
"name": "info",
"path": "/nix/store/y0vblnaz09f5hws1pnx59fzvlpcrd1zn-gcc-wrapper-15.2.0-info"
}
],
"store_path": "/nix/store/a9dhskc2ladjh7aph2z1b7x0lsdl506l-gcc-wrapper-15.2.0"
},
"x86_64-linux": {
"outputs": [
{
"name": "out",
"path": "/nix/store/vdaz6sk455r8sbpi7wzaf9vlz5i9yyvx-gcc-wrapper-15.2.0",
"default": true
},
{
"name": "man",
"path": "/nix/store/l4ybxax0plgjmcmna8lzyv2gal11k7m3-gcc-wrapper-15.2.0-man",
"default": true
},
{
"name": "info",
"path": "/nix/store/9x640dyjh4kxiw70ifpp5s2bcnk7l2ai-gcc-wrapper-15.2.0-info"
}
],
"store_path": "/nix/store/vdaz6sk455r8sbpi7wzaf9vlz5i9yyvx-gcc-wrapper-15.2.0"
}
}
}github:NixOS/nixpkgs/nixpkgs-unstableflake reference
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
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
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"
}
}
}nasm@2.16.032.16.03
aarch64-darwin
{
"outputs": [
{
"name": "out",
"path": "/nix/store/infavrr7s4xyrmk2plqi5y4kpqsdh27x-nasm-2.16.03",
"default": true
}
],
"store_path": "/nix/store/infavrr7s4xyrmk2plqi5y4kpqsdh27x-nasm-2.16.03"
}aarch64-linux
{
"outputs": [
{
"name": "out",
"path": "/nix/store/43v12yj7g41g4hzshsrnagsn9pw1iyl1-nasm-2.16.03",
"default": true
}
],
"store_path": "/nix/store/43v12yj7g41g4hzshsrnagsn9pw1iyl1-nasm-2.16.03"
}x86_64-darwin
{
"outputs": [
{
"name": "out",
"path": "/nix/store/vghc2n4k6mf0msyxlqgh207nk43kgwhs-nasm-2.16.03",
"default": true
}
],
"store_path": "/nix/store/vghc2n4k6mf0msyxlqgh207nk43kgwhs-nasm-2.16.03"
}x86_64-linux Matching architecture / OS
{
"outputs": [
{
"name": "out",
"path": "/nix/store/q18jfxnilx7yc8zm0in2gk10fm2g802w-nasm-2.16.03",
"default": true
}
],
"store_path": "/nix/store/q18jfxnilx7yc8zm0in2gk10fm2g802w-nasm-2.16.03"
}Complete package record
{
"last_modified": "2025-11-23T21:50:36Z",
"resolved": "github:NixOS/nixpkgs/ee09932cedcef15aaf476f9343d1dea2cb77e261#nasm",
"source": "devbox-search",
"version": "2.16.03",
"systems": {
"aarch64-darwin": {
"outputs": [
{
"name": "out",
"path": "/nix/store/infavrr7s4xyrmk2plqi5y4kpqsdh27x-nasm-2.16.03",
"default": true
}
],
"store_path": "/nix/store/infavrr7s4xyrmk2plqi5y4kpqsdh27x-nasm-2.16.03"
},
"aarch64-linux": {
"outputs": [
{
"name": "out",
"path": "/nix/store/43v12yj7g41g4hzshsrnagsn9pw1iyl1-nasm-2.16.03",
"default": true
}
],
"store_path": "/nix/store/43v12yj7g41g4hzshsrnagsn9pw1iyl1-nasm-2.16.03"
},
"x86_64-darwin": {
"outputs": [
{
"name": "out",
"path": "/nix/store/vghc2n4k6mf0msyxlqgh207nk43kgwhs-nasm-2.16.03",
"default": true
}
],
"store_path": "/nix/store/vghc2n4k6mf0msyxlqgh207nk43kgwhs-nasm-2.16.03"
},
"x86_64-linux": {
"outputs": [
{
"name": "out",
"path": "/nix/store/q18jfxnilx7yc8zm0in2gk10fm2g802w-nasm-2.16.03",
"default": true
}
],
"store_path": "/nix/store/q18jfxnilx7yc8zm0in2gk10fm2g802w-nasm-2.16.03"
}
}
}Complete Devbox configuration
{
"$schema": "https://raw.githubusercontent.com/jetify-com/devbox/0.16.0/.schema/devbox.schema.json",
"packages": [
"nasm@2.16.03",
"gcc@15.2.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.
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
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.
All other recorded result fields
{
"Mean": "1.16348859526s",
"Max": "1.17145403726s",
"Target": "nasm",
"Stddev": "0.007081922469872453s",
"Version": "2.16.03",
"Language": "Assembly (NASM x64)",
"UserTime": "1.15631008s",
"SystemTime": "0.003724340000000001s",
"Median": "1.16110819326s",
"Command": "./leibniz",
"TimesPerRun": [
1.15790355526,
1.17145403726,
1.16110819326
],
"Accuracy": 9.49790739436573,
"Min": "1.15790355526s",
"ExitCodesPerRun": [
0,
0,
0
],
"CalculatedPi": "3.1415926545880506",
"BuildSource": "native-devbox",
"DevboxImage": "jetpackio/devbox:0.16.0@sha256:0475601f3ddbc1d06be7f7d4d51143dcc005400593407d5e3627fdf7edf6c7dd",
"AllowNativeFlags": true,
"MathMode": "compiler-default",
"ExplicitSIMD": false,
"Algorithm": "leibniz-series",
"Rounds": 1000000000,
"Compile": "nasm -f elf64 leibniz.asm -o leibniz.o && gcc -o leibniz leibniz.o",
"Run": "./leibniz",
"Nixpkgs": [
"nasm@2.16.03",
"gcc@15.2.0"
],
"NixFlakes": [],
"Category": "systems"
}