Haroldbot, client-side tool that checks 32-bit bitvector arithmetic equivalence (haroldbot.nl) | HN Screenshots

YHacker Newsscreenshots

Screenshot of haroldbot.nl: Haroldbot, client-side tool that checks 32-bit bitvector arithmetic equivalence

First screen, captured 2 years ago.

Looks similar

Screenshot of bpfquery.com: Show HN: bpfquery – experimenting with compiling SQL to bpf(trace)

Show HN: bpfquery – experimenting with compiling SQL to bpf(trace)(bpfquery.com)

40 points by knuckleheads 2 years ago | 8 comments

Screenshot of xapian.org: Xapian: Open source search engine library

Xapian: Open source search engine library (xapian.org)

149 points by Bluestein 2 years ago | 39 comments

Screenshot of herbie.uwplse.org: Herbie: Automatically improve imprecise floating point formulas

Herbie: Automatically improve imprecise floating point formulas (herbie.uwplse.org)

184 points by summarity 6 months ago | 37 comments

Screenshot of hkalbasi.github.io: Zngur: A C++/Rust interop tool

Zngur: A C++/Rust interop tool (hkalbasi.github.io)

142 points by hkalbasi 2 years ago | 28 comments

Screenshot of taylor.town: Pseudoprose

Pseudoprose (taylor.town)

47 points by surprisetalk 2 years ago | 38 comments

Screenshot of dusa.rocks: Dusa Programming Language (Finite-Choice Logic Programming)

Dusa Programming Language (Finite-Choice Logic Programming)(dusa.rocks)

153 points by febin 1 year ago | 36 comments