Alternatives
Products that do what Reversible Binary Explainer V2 does
Binary operations you can undo, verify, and reason about.
- 1
- 2IM
Oct 2025 · nullpt.rs
- 3RA
I started building this 10 months ago, largely using agentic coding tools. I've stayed very involved in the code base and architecture, and have never moved faster in my life as a dev. The word processor engine and rendering layer are all built from scratch - the only 3rd party library I used was the excellent Y.js for the CRDT stack. Would love some feedback!
Mar 2026 · revise.io
- 4IM
Introducing the 3D Printed Binary Enigma (10 Enigma) – the ultimate encryption and decryption device, no batteries required! Inspired by the iconic Enigma machines of WWII, this sleek and intuitive device lets you encode and decode messages “effortlessly”. Or how else are we going to send secure messages in the future?
2024 · makerworld.com
- 5SA
Sep 2025 · swapple.fuglede.dk
- 6AC
Anti-Cluely is a lightweight tool designed to detect common virtual environments, device emulators, and system manipulation tools often used to bypass or cheat in online exams.
2025 · anti-cluely.com
- 7
- 8
- 9
I kept reaching for Hashids/Sqids to keep sequential IDs out of URLs, but they don't use a real key — the alphabet is shuffled by a salt, and the Sqids FAQ says outright "there is no encryption of any kind." arxid is a keyed reversible permutation instead: a balanced Feistel network with an ARX (add-rotate-xor) round function over a 40-bit domain, mapping to a 7-char base62 code. Feed it an integer, get an unpredictable code back; same key reverses it. Runs ~16x faster than a structurally identical Feistel using HMAC-SHA256, because the round function is integer ops instead of a hash…
Aug 2026 · github.com
- 10
- 11TA
2025 · gist.github.com
- 12FV
2025 · github.com
- 13RL
May 2026 · github.com
- 14LA
Hey HN! We built *lapisla*, a theorem proving platform designed to make formal proofs more open and collaborative. We developed a kernel, editor, proof registry, and platform ── all accessible directly in the browser. Why we built this: Existing theorem provers are powerful, but they often feel isolated and difficult to extend. Unlike modern programming languages, which thrive on package managers and shared libraries, theorem proving tools lack a seamless way to integrate others' work. lapisla aims to bridge this gap by: * Offering a verified public proof registry for sharing and discovering…
2025 · github.com
- 15VA
Wrote this to learn more about the `chumsky` parser combinator library, rustyline, and the `ariadne` error reporting crate. Such a nice DX combo for writing new languages. Still a work in progress, but I thought I'd share :)
2025 · github.com
- 16IA
Hi! We're Amisi and Claude, builders of the i2 language and the i2forge platform. i2 is an (early draft of a) language designed to make formal verification easy for mathematicians. We are launching the language as an open source project today (https://i2lang.org) together with a closed alpha for i2forge. However, we have a publicly accessible demo page which anyone can use, and we would love your feedback. Thanks.
2023 · i2forge.com
- 17
We've been working on an open-source coding agent that generates code alongside machine-checkable proofs. We'd love feedback from the HN community, especially from people interested in formal verification, Lean, Dafny, or AI coding agents. Currently, only 3 langauges can be verified.
Jul 2026 · github.com
- 18
Contribute to skorotkiewicz/algebruh development by creating an account on GitHub.
29d ago · github.com
- 19AG
Hi all, I've been working on tooling that can reverse the work of a linker. It allows one to take bits and pieces of an executable and delink them into working object files, which can then be reused as-is to make new programs or libraries, without having to decompile or disassemble them first. The readme has links to my blog demonstrating some of the use-cases. The most impressive one so far is making a port of a ~100 KiB Linux a.out i386 program to a native Windows PE i386 executable, despite not having access to its original source code or even decompiling it. Currently, 32-bit i386 and…
2024 · github.com
- 20
- 21
- 22
Understand any PR or Repo, even if you don't write code
Jul 2026 · shilpi1958.github.io
- 23
- 24TF
2024 · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →