Life & fun · alternatives · 2026
24 alternatives to Student attempt at proving P ≠ NP using geometry and lattices
Hi everyone, I’m a student with a strong interest in computer science and complexity theory. Recently, I worked on a manuscript attempting to prove that P ≠ NP. I know how this sounds — it’s one of the hardest and most debated problems in CS, and many have tried and failed. I don’t claim to have the final answer, but I believe the approach I used might at least offer some fresh perspective or provoke useful critique. The idea involves geometric separation between deterministic and nondeterministic computation, using high-dimensional lattice constructions and some physics-inspired intuition.…
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1IM
This is the first iteration of a short game I’m making that tries to interactively explain some of my favorite math questions / ideas. My goal is mostly to get the player curious and not necessarily to explain absolutely everything. There were a lot of fun technical parts to building this: - For implementation reasons, it’s much easier if the lines all have integer intersection points with each other. To do this, when a new line is added I “cheat” by rounding intersections to integers and then splitting the old lines at the intersection into new linds (with potentially different slopes)…
2024 · rahulilango.com · its alternatives →
- 2
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia…
2025 · github.com · its alternatives →
- 3VT
Hi everyone! I'm the author of this project. I wrote it because I think that the math that makes characters move in games and movies is incredibly beautiful, and I wanted to give others a glimpse into it. It's crazy to think that quaternions, an abstract mathematical tool discovered by William Rowan Hamilton in 1843, would be so perfectly suited to solve hard problems in the world of 3D character animation more than a hundred years later. The story of how he discovered quaternions is also beautiful. Here's an excerpt from Wikipedia: "Hamilton was looking for ways of extending complex numbers…
2022 · diegomacario.github.io · its alternatives →
- 4
I was fascinated reading through another recent HN submission about a highly efficient implementation of A* in Lisp, which got me thinking about how I could do something similar in Python. However, these kinds of pathfinding algorithms really need complex terrain/mazes with interesting obstructions to showcase what they can do and how they work. So, I started thinking about how I could generate cool and diverse random "mazes" (they aren't really mazes, but I'm not sure what the best term is). I got a bit carried away thinking of lots of different cool ways to generate these mazes, such…
2024 · github.com · its alternatives →
- 5
I've been playing with this for quite some time and I think it's finally ready for public consumption. All feedback welcome.
2025 · madmonk13.github.io · its alternatives →
- 6
Hey there! I'm the brains behind the math crossword game on my site. This game is all about making math a little more fun – users just drag and drop numbers to fill in the blanks and move on to the next level if they get it right. Let me know if face any issues or have any suggestions! :)
2024 · scientific.place · its alternatives →
- 7IW
I’ve been working on a puzzle game for a few years as a side project. The game is based on a small region of tiles in a grid that is mirrored, modified, and mirrored again. It’s based on a novel phenomenon I noticed where, once these mutations happen a few times, the original region can be hard to recognize. You have a feeling there are symmetries in the image, but they are just out of grasp. Going further, if only part of the region is visible, such as mirroring off the edge of the board, it adds to the feeling and it becomes a satisfying puzzle to solve. I originally published this on the…
2024 · hidden-mirrors.com · its alternatives →
- 8
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps. Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM. Also check out the web demo built around the verified core linked in…
Jun 2026 · github.com · its alternatives →
- 9
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 · its alternatives →
- 10
I started writing this book 10 years ago in JavaScript, got through a few chapters (asymptotic notation, basic techniques, start of sorting), and then abandoned it. Recently I picked it back up, converted everything to TypeScript, and used AI (Zenflow [1] + Claude Opus 4.6) to complete the remaining chapters. I provided the structure, direction, and initial chapters; the AI generated the bulk of the remaining content under a spec-driven workflow. The book covers roughly a first 1-2 year CS curriculum: sorting, dynamic programming, graph algorithms, trees, heaps, hash tables, and more. All…
Mar 2026 · amoilanen.github.io · its alternatives →
- 11
Visual explanation of pathfinding algorithms and how a*, Dijkstra and BFS can be seen as the same algorithm with different parameter/data structures used under the hood - npretto/pathfinding
2021 · github.com · its alternatives →
- 12
Stephen Wolfram's new book on the Wolfram Language
2015 · wolfram.com · its alternatives →
- 13
Evolution, Theoretical Physics and Computer Science
2015 · amazon.com · its alternatives →
- 14
Bitwise operations and conversions to hexadecimals
2016 · flippybitandtheattackofthehexadecimalsfrombase16.com · its alternatives →
- 15
- 16
Everything that would be here is in the README. I hope this gets big, it has tons of potential.
2013 · github.com · its alternatives →
- 17
Physics Based Learning Game About Fractions.
2015 · ululab.com · its alternatives →
- 18
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 · its alternatives →
- 19
Explore tilings on the hyperbolic plane. Contribute to timhutton/hyperplay development by creating an account on GitHub.
2014 · github.com · its alternatives →
- 20
My friend and I have been collaborating on this lighthearted introduction to doing geospatial computation in rust. Don't know Rust? Don't know geospatial? I'd be interested to know what you think.
2022 · book.georust.org · its alternatives →
- 21SA
Hey HN, I’m a physicist turned quant. Some friends and I 'built' SymDerive because we wanted a symbolic math library that was "Agent-Native" by design, but still a practical tool for humans. It boils down to two main goals: 1. Agent Reliability: I’ve found that AI agents write much more reliable code when they stick to stateless, functional pipelines (Lisp-style). It keeps them from hallucinating state changes or getting lost in long procedural scripts. I wanted a library that enforces that "Input -> Transform -> Output" flow by default. 2. Easing the transition to Python: For many…
Feb 2026 · its alternatives →
- 22SM
In past few weeks, I wrote several chapters to learn Scheme, a programming language of the Lisp dialect. The writing is not final as many chapters are missing. I wrote this because I wanted to improve my Scheme knowledge and increase the (low) number of Scheme literature. The writing is inspired by Calculus Made Easy, which I learned about here on HN. This is why I'm sharing it here. But keep in mind that my writing style is not as good as that in the above-mentioned inspiration. Feedback is very much appreciated.
2024 · schememadeeasy.com · its alternatives →
- 23
Explore introductory algorithms in computer science, covering searching, sorting, recursion, and graph theory, with visualizations, quizzes, and coding challenges in Java, Python, C++, or Javascript.
2016 · educative.io · its alternatives →
- 24OS
We’ve just released an open-source library for solving the Maximum Independent Set (MIS) problem with neutral atom quantum computing, running on both quantum processing units (QPUs) and classical hardware, thanks to emulators. This project is the result of collaboration between Pasqal, academic researchers, and industry partners, aiming to make it practical to experiment with quantum approaches to hard combinatorial optimization tasks. The MIS problem appears in real-world scenarios like scheduling, resource allocation, and network optimization, areas where classical solvers often struggle…
2025 · its alternatives →
Also compare
- I made a puzzle game that gently introduces my favorite math mysteries alternatives
- Formalizing Principia Mathematica using Lean alternatives
- Visualizing the math that powers 3D character animation alternatives
- Visual A* pathfinding and maze generation in Python alternatives
- I made a math puzzle game. Hope you like it alternatives
- I made an interactive math crossword puzzle with infinite levels alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →