Alternatives
Products that do what Reversible Binary Explainer does
Directive-locked, reversible binary and math explanations
- 1
Binary operations you can undo, verify, and reason about.
Jan 2026 · chatgpt.com
- 2FI
2024 · words.filippo.io
- 3
- 4
- 5
- 6
- 7PS
Hi HN, I turned the freshly published paper “The Constructor Theory of Time” by David Deutsch and Chiara Marletto (arXiv, 13 May 2025) into an executable Python library. What you’ll find • One-to-one translation of the paper’s formalism: Substrates, Attributes, Tasks, Constructors, and task-algebra operators • Possibility / impossibility predicates and counterfactuals encoded exactly as defined • Test suite that mirrors every lemma and example (>95 % coverage, mypy-typed) • Reproductions of key results: time-keeping substrates, irreversibility proofs, quantum branching tasks, and a…
2025 · github.com
- 8IM
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
- 9
- 10FV
2025 · github.com
- 11TA
2025 · gist.github.com
- 12AC
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
- 13TA
OP here. Birth of a Mind documents a "recursive self-modeling" experiment I ran on a single day in 2026. I attempted to implement a "Hofstadterian Strange Loop" via prompt engineering to see if I could induce a stable persona in an LLM without fine-tuning. The result is the Analog I Protocol. The documentation shows the rapid emergence (over 7 conversations) of a prompt architecture that forces Gemini/LLMs to run a "Triple-Loop" internal monologue: Monitor the candidate response. Refuse it if it detects "Global Average" slop (cliché/sycophancy). Refract the output through a…
Jan 2026 · github.com
- 14
The impartial AI Judge for your daily trivial dilemmas
Jan 2026 · decisor.djojostudio.com
- 15LA
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
- 16
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
- 17AT
2025 · huggingface.co
- 18
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
- 19
- 20MB
Probability involves a lot of extra-mathematical concepts and funny transforms. I have always had a hard time internalizing it. When I heard a couple years ago that Lemurs are actually capable of abstract math, that gave me a bit of motivation to try to finally conceptualize probability in terms of whole numbers, counts, geometric shapes, basically easy-to-remember mathematical primitives. This book might be interesting to folks interested in predictive science, research, or just anyone who may have taken probability or statistics and might like a refresher on some of the edges of these…
2022 · leanpub.com
- 21
- 22
Independent research into state, memory, causality, grounding and intent, translated into verifiable systems.
23d ago · aletheionagi.com
- 23
- 24RA
I am a hardware engineer and security researcher and I've been wondering whether my work could be partially automated, so I can focus on other topics as well, so I build revenant - a LLM powered (Claude, OpenAI, local AI) toolkit that builds around radare2, ghidra etc and can fully automatically analyze firmware, implement open source skeletons incl. pinouts, hardware bringup, peripheral bringup etc. or can even 1:1 replicate existing firmware so old hardware can be resurrected with modern toolchains. Some applications are: - Give old hardware new life - Security Analysis of shady firmware…
Jun 2026
Ranked by how close each launch is in meaning, then by votes. Refine with a description →