Kyle promised 'Any order. Any hardware. Same bits.' across Rust, JavaScript, and Python, and the internet responded with exactly 2 stars and 0 forks. Byte-identical reproducibility achieved by absolutely nobody bothering to clone it.
Kyle Clouthier · github.com/KyleClouthier
The Body
Six repos, zero followers, and a flagship that promises the moon in three registers. "bitrep": "Any order. Any hardware. Same bits." Order-invariant, bit-identical FP reductions for Rust, JavaScript, and Python, with "exact sums, dot products, statistics, and reproducible quantiles," a CI that "asserts one SHA-256 across all of them" on x86-64 Linux, ARM64 macOS, x86-64 Windows and wasm32, and a browser demo. Two stars. Zero forks. Created two months ago, last pushed 38 days ago. Around it: "vacuity" and "kani-vacuity-demo," a genuinely sharp finding (a Kani harness with an unsatisfiable precondition reports VERIFICATION:- SUCCESSFUL, under a second), zero stars each. And "anomaly-characteristic-layer," 43,684 first-hand accounts of unexplained experiences. Bio says "verifiable computing." Portfolio says UFO corpus in the same drawer as the reproducibility crate.
Cause Of Death
You built the proof and skipped the claimant. The fatal flaw is not the code, it is that bitrep's README is written as a product launch for an audience that does not know you exist: no one asked for order-invariant reductions, so "the badge is the claim" persuades nobody, because nobody clicked. Meanwhile kani-vacuity-demo is the actual gold: a one-second reproduction of a formal verifier saying SUCCESSFUL about a harness no input satisfies. That is a bug report to the Kani maintainers, a filed issue, a blog post, possibly a CVE-adjacent conversation. You shipped it as a zero-star repo and moved on. Fatal because your one distributable, credible, checkable finding has no addressee, and 38 days of silence on the flagship reads as abandonment, not confidence.
Time Of Death
Roughly four to six months. The bitrep push gap crosses 90 days, the browser demo bit-rots against a toolchain bump, someone else files the Kani vacuity issue upstream and gets the credit and the thread. By month six you have seven repos, still zero followers, and "Clouthier Simulation Labs" is a company with a bio and no customers.
How To Cheat It
writing README launch copy for products nobody has been told about. Specifically, stop adding surface to bitrep, stop the third language binding, stop polishing "Any order. Any hardware. Same bits." for an audience of two stars. The multi-platform SHA-256 CI is already the strongest thing you have and it is not the thing that will get you read.
this week, take kani-vacuity-demo and file it as an issue on the model-checking/kani repository, titled plainly, for example "Harness with unsatisfiable precondition reports VERIFICATION:- SUCCESSFUL," with the under-one-second reproduction inline, the exact kani version and rustc version, the expected output, and a link to "vacuity" as a proposed detection pass with one Kani harness per clause deciding vacuity in one query. Deliverable by day seven: one filed upstream issue, plus a 600-word writeup on the same finding posted to r/rust or Hacker News with the repro pasted in the first screen. Then archive nothing except your urge to build binding number four, and add one line to bitrep's README saying what breaks without it, in one sentence, with a number.
within 30 days, either a Kani maintainer has replied on that issue, or you have your first non-zero follower count and vacuity has more stars than bitrep. Maintainer reply is the real signal. Silence on a one-second reproduction means the finding was not the finding, and you go back to the corpus.
The Post-Mortem, $49
The notice is the joke. The post-mortem is the document: eight parts across a printed report, in your inbox in about a minute. The verdict, the body, the cause and time of death, what your first screen actually says to a stranger, the three things to cut, the one fix worth making, and a week-by-week plan for the next thirty days.
Paid through PayPal. If the report does not arrive, contact us and it is delivered or refunded.
The Inquest, $149
Everything above judged one page. An inquest reads five, chosen the way a customer would find them: what you sell, who you say you are, how someone reaches you. Then it cross-examines them against each other. The gap between what your home page promises and what your pricing page admits is usually where the money is going, and it is the one thing a single-page report can never see.
Paid through PayPal. If the inquest does not arrive, contact us and it is delivered or refunded.