Skip to content
View dafili's full-sized avatar

Block or report dafili

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
dafili/README.md
Renhua Wei — homelab desk: code, books, and the rack the tools are tested on

Renhua Wei · dafili

Building zero-dependency CLI tools for Linux auditing and B2B data extraction.

Independent developer · Sichuan, China

Vaultcheck NPILift Dev.to Hashnode Email


What I work on

Most monitoring lies in a specific way: it reports success it never verified. A backup job exits 0 while the dump was truncated. A probe reports timeout and cannot say whether the target died or the probe did. A check passes because the thing it was supposed to test was never actually run.

I build tools that separate "the command finished" from "the thing is actually true", and I write about the difference with measurements rather than assertions.


Projects

Project What it does
🔍 Vaultcheck Read-only Linux health and backup-freshness audit. Eleven checks, pure Python standard library, zero dependencies. Its point is the failure it catches: a backup that stopped three weeks ago while every dashboard stayed green.
📊 NPILift US healthcare provider data extraction. NPI-registered organisations filtered by specialty and state, exported to CSV with deduplication and quality scoring.

Both are shipped, both are sold to real customers, and both exist because I hit the problem myself first.


Open source

Where I can add something a maintainer would otherwise have to write, I send the tests and the measurement rather than an opinion.

Merged

Repository Pull request Change
AfterShip/email-verifier #235 +112 −0 — test coverage for GenerateRandomEmail and getMD5Hash, the two pure functions with none. Reviewed and merged by the maintainer.
HeyPuter/puter #4411 +19 −1 — install documentation: the Docker path that the instructions skipped, reproduced before it was written up.

In review

Repository Pull request Change
AfterShip/email-verifier #238 +188 −0 — pins the MX-before-dial ordering in newSMTPClient, offline and deterministically. Opened after the maintainer pointed at the missing seam.
restic/restic #22160 +10 −2 — documents that --read-data-subset=n/t can produce empty groups, verified by running it on a four-pack repository.
tenstorrent/tt-metal #63655 +1 −1 — RelWithDebugInfo → RelWithDebInfo, a build-type typo that silently produced an unoptimised build.

Two merged, three awaiting review. I do not describe an open pull request as merged — that distinction is the whole subject of the writing below.


Writing

I write about verification failures with the numbers attached, usually after doing the experiment that either confirms or kills the hypothesis.

All of it also lives on Dev.to and Hashnode.


Stack

Python Go Linux Bash Docker Nginx PostgreSQL SQLite systemd Playwright Git


If you found a bug in something I shipped, tell me — the reproduction is worth more than the complaint.

Every number on this page was measured, not estimated. Where it was wrong, it was corrected in public.

Popular repositories Loading

  1. veridion veridion Public

    Forked from VeridionLabs/veridion

    **Veridion** is an open-source AI-powered smart contract security platform that helps developers analyze contracts, detect vulnerabilities, generate audit reports, and securely verify audit results…

    TypeScript

  2. puter puter Public

    Forked from HeyPuter/puter

    🌐 The Internet Computer! Free, Open-Source, and Self-Hostable.

    TypeScript

  3. NPILift-Data-Sample NPILift-Data-Sample Public

    200 US dental practices with direct phone numbers, exported from the federal NPPES NPI Registry. Free sample + notes on the registry's 1200-row API cap.

  4. tt-metal tt-metal Public

    Forked from tanvirarafin/tt-metal

    🤘 TT-NN operator library, and TT-Metalium low level kernel programming model.

    Python

  5. email-verifier email-verifier Public

    Forked from AfterShip/email-verifier

    ✅ A Go library for email verification without sending any emails.

    Go

  6. restic restic Public

    Forked from restic/restic

    Fast, secure, efficient backup program

    Go