Implementation / csharp
C#8.0.416
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
dotnet new console -n leibniz -o _build --force && cp leibniz.cs _build/Program.cs && cd _build && dotnet publish -c Release -r linux-x64 --self-contained -o ../out
Execute
./out/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.cs13 lines
var rounds = int.Parse(File.ReadAllText("rounds.txt"));
var pi = 1.0D;
var x = 1.0D;
for (var i = 2; i < rounds + 2; i++) {
x = -x;
pi += x / (2 * i - 1);
}
pi *= 4;
Console.WriteLine(pi);
SHA-256 · e156e3ef6a4ba7dcfe082d734c78a541f7c0bdd17a00d6ede7143bfc9b739e12
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.
dotnet-sdk@8.0.4168.0.416
aarch64-darwin
{
"outputs": [
{
"name": "out",
"path": "/nix/store/fqcm7hksy2wq9wbfvy3fdawqyj392xrx-dotnet-sdk-wrapped-8.0.416",
"default": true
}
],
"store_path": "/nix/store/fqcm7hksy2wq9wbfvy3fdawqyj392xrx-dotnet-sdk-wrapped-8.0.416"
}aarch64-linux
{
"outputs": [
{
"name": "out",
"path": "/nix/store/v5nvywi2bxxwrvhcjpd9ws4hq6hc0lxf-dotnet-sdk-wrapped-8.0.416",
"default": true
}
],
"store_path": "/nix/store/v5nvywi2bxxwrvhcjpd9ws4hq6hc0lxf-dotnet-sdk-wrapped-8.0.416"
}x86_64-darwin
{
"outputs": [
{
"name": "out",
"path": "/nix/store/fm610c66fw4a1sdpvwpjms5zqhb0z40l-dotnet-sdk-wrapped-8.0.416",
"default": true
}
],
"store_path": "/nix/store/fm610c66fw4a1sdpvwpjms5zqhb0z40l-dotnet-sdk-wrapped-8.0.416"
}x86_64-linux Matching architecture / OS
{
"outputs": [
{
"name": "out",
"path": "/nix/store/i0ndxb2dl8dl3g6i04jjcafyq782hcbc-dotnet-sdk-wrapped-8.0.416",
"default": true
}
],
"store_path": "/nix/store/i0ndxb2dl8dl3g6i04jjcafyq782hcbc-dotnet-sdk-wrapped-8.0.416"
}Complete package record
{
"last_modified": "2025-12-31T03:27:36Z",
"resolved": "github:NixOS/nixpkgs/f665af0cdb70ed27e1bd8f9fdfecaf451260fc55#dotnet-sdk",
"source": "devbox-search",
"version": "8.0.416",
"systems": {
"aarch64-darwin": {
"outputs": [
{
"name": "out",
"path": "/nix/store/fqcm7hksy2wq9wbfvy3fdawqyj392xrx-dotnet-sdk-wrapped-8.0.416",
"default": true
}
],
"store_path": "/nix/store/fqcm7hksy2wq9wbfvy3fdawqyj392xrx-dotnet-sdk-wrapped-8.0.416"
},
"aarch64-linux": {
"outputs": [
{
"name": "out",
"path": "/nix/store/v5nvywi2bxxwrvhcjpd9ws4hq6hc0lxf-dotnet-sdk-wrapped-8.0.416",
"default": true
}
],
"store_path": "/nix/store/v5nvywi2bxxwrvhcjpd9ws4hq6hc0lxf-dotnet-sdk-wrapped-8.0.416"
},
"x86_64-darwin": {
"outputs": [
{
"name": "out",
"path": "/nix/store/fm610c66fw4a1sdpvwpjms5zqhb0z40l-dotnet-sdk-wrapped-8.0.416",
"default": true
}
],
"store_path": "/nix/store/fm610c66fw4a1sdpvwpjms5zqhb0z40l-dotnet-sdk-wrapped-8.0.416"
},
"x86_64-linux": {
"outputs": [
{
"name": "out",
"path": "/nix/store/i0ndxb2dl8dl3g6i04jjcafyq782hcbc-dotnet-sdk-wrapped-8.0.416",
"default": true
}
],
"store_path": "/nix/store/i0ndxb2dl8dl3g6i04jjcafyq782hcbc-dotnet-sdk-wrapped-8.0.416"
}
}
}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"
}
}
}Complete Devbox configuration
{
"$schema": "https://raw.githubusercontent.com/jetify-com/devbox/0.16.0/.schema/devbox.schema.json",
"packages": [
"dotnet-sdk@8.0.416",
"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.196876717213333s",
"Max": "1.20457458788s",
"Target": "csharp",
"Stddev": "0.006874951404306103s",
"Version": "8.0.416",
"Language": "C#",
"UserTime": "1.159746926666666s",
"SystemTime": "0.01938196666666667s",
"Median": "1.19470767688s",
"Command": "./out/leibniz",
"TimesPerRun": [
1.19470767688,
1.20457458788,
1.19134788688
],
"Accuracy": 9.49790739436573,
"Min": "1.19134788688s",
"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": "dotnet new console -n leibniz -o _build --force && cp leibniz.cs _build/Program.cs && cd _build && dotnet publish -c Release -r linux-x64 --self-contained -o ../out",
"Run": "./out/leibniz",
"Nixpkgs": [
"dotnet-sdk@8.0.416"
],
"NixFlakes": [],
"Category": "dotnet"
}