Alternatives
Products that do what ThmDex – Compendium of mathematical definitions, results, conjectures does
This is something I built to help me organize my own notes while studying mathematics. Because of this, some definitions/names might be nonstandard. But it's a somewhat novel way to "browse" mathematical theory, so some may find this interesting. The name originates from abbreviating "theorem" as "thm".
- 1SC
I've been playing with embeddings and wanted to try out what results the embedding layer will produce based on just word-by-word input and addition / subtraction, beyond what many videos / papers mention (like the obvious king-man+woman=queen). So I built something that doesn't just give the first answer, but ranks the matches based on distance / cosine symmetry. I polished it a bit so that others can try it out, too. For now, I only have nouns (and some proper nouns) in the dataset, and pick the most common interpretation among the homographs. Also, it's case sensitive.
2025 · calc.datova.ai
- 2VI
Hi HN, We've just published a lot of original, visual, and intuitive explanations of concepts to introduce people to large language models. It's available for free with no sign-up needed and it includes text articles, some video explanations, and code examples/notebooks as well. And we're available to answer your questions in a dedicated Discord channel. You can find it here: https://llm.university/ Having written https://jalammar.github.io/illustrated-transformer/, I've been thinking about these topics and how best to communicate them for half a…
2023
- 3IW
Good math problems are hidden inside textbooks and online documents. To keep up with all the sources in the world is hard. For someone who just wants to continuously solve problems, finding and going through all the sources feels like a hassle. I wished for a website that could just dump all the math problems available in the world out there. And if I could filter the problems by topics, that would be beautiful. teachyourselfmath is a side project that was born out of this need. At its core, it is a math PDF extraction engine. The engine has some machine learning going on behind the scenes…
2024 · teachyourselfmath.app
- 4AR
Hey HN! I've been curious about the history of computer science and decided to try to read Turing's 1936 paper where he conceptualizes the Turing Machine, etc. I had trouble understanding the paper, read The Annotated Turing by Charles Petzold (which is wonderful), but felt that reading a reference implementation would help formalize my understanding. When I couldn't find an open source implementation, I decided to write my own. The implementation includes: - Abbreviated tables (m-functions) - Conversions to Standard Descriptions and Description Numbers - A working universal machine - A…
2023 · github.com
- 5IM
I've been studying interval arithmetic for the past few weeks and it's a really interesting field because while there is a ton of super interesting research published over the past decades, it has never really gotten the recognition that it deserves, IMO. One reason for this is that standard interval arithmetic has really poor handling of division by intervals containing zero. If you compute 1 / [-1, 2] in regular interval arithmetic, you get either [-∞, +∞], or you have to say that the operation is undefined. Both solutions are virtually useless. The real answer of course is [-∞, -1] U…
Apr 2026 · victorpoughon.github.io
- 6CC
I began this in late September purely on the whims of frustration with thesaurus.com, which does not bother to focus the input box! So I made my own site that focuses the input box. And because I wanted a thesaurus where I could type just the term in the address bar (eg type carefulwords.com/word) to get my results. It is very rough around the edges right now. There are far too many synonyms, which themselves are only organized alphabetically. I hope to take the site in a more inspiring direction over time than merely synonyms. Perhaps euphemisms, or other poetic uses from the past, or…
2022 · carefulwords.com
- 7WD
Connect two articles on Wikipedia, but do it the long way. I've always been a fan of the theory of six degree of separation, but it's an overused concept when exploring the Wiki-graph. Instead of showing the shortest path, which in my opinion is "boring" and ends up connecting super-important central articles, I came up with my own method: WikiBinge selects the smaller, less represented articles on Wikipedia. In a WikiBinge path, the underdogs are the kings! How does it work? It's pretty straightforward! Compute PageRank on the Wiki-graph and assign as weight of each edge the PageRank value…
2023 · wikibinge.com
- 8
- 9MC
Hey HN, I don’t know who else has the same issue, but: Textbooks often bury good ideas in dense notation, skip the intuition, assume you already know half the material, and get outdated in fast-moving fields like AI. Over the past 7 years of my AI/ML experience, I filled notebooks with intuition-first, real-world context, no hand-waving explanations of maths, computing and AI concepts. In 2024, a few friends used these notes to prep for interviews at DeepMind, OpenAI, Nvidia etc. They all got in and currently perform well in their roles. So I'm sharing. This is an open & unconventional…
Feb 2026 · github.com
- 10LA
I used to play the Wikipedia Game in high school and had an idea for applying the same mechanic of clicking from concept to concept to LLMs. Will post another version that runs with an LLM entirely in the browser soon, but for now, please enjoy as long as my credits last... Warning: the LLM does not always cooperate
Jan 2026 · llmgame.ai
- 11Qq1tifier▲5
This is a side project we did. We call it q1tifier (pronounced 'quantifier') and it's main aim is to make sense of numbers. E.g. if you search for the number '5000' one of the result is '5000m = about the length of 89 NASA Space Shuttles' (see it here! http://duuble.com/q1tifier/view/3/=5000) Numbers don't really mean anything by themselves, so through this such numbers could be more meaningful! This idea spawned from seeing infographics that often compare numbers we real life stuff, and we decided to make a database for people to supply such small pieces of info and facts. The database is…
2011
- 12SL
This is a small plugin I made for Simon Willison's llm utility. You can do things like: cat names.txt | llm sort -q "Which one of these names is best for a pet seagull?" cat books.txt | llm sort -q "Which book is more related to basic vs. advanced CS topics?" I see a lot of potential marrying LLMs with classic UNIX interfaces.
2025 · github.com
- 13IM
Wiktionary is probably the most comprehensive dictionary available, but I've often found the official website a bit overwhelming, especially on my phone. When I just want a quick definition, Wiktionary frequently starts with a long Etymology section. This is my attempt to address that. Kwiktionary prioritizes definitions first, like a traditional dictionary. It's designed with smaller screens in mind and aims for a clean UI. The frontend is a Next.js app (using Material UI). The definitions are served by an API I wrote using FastAPI, currently running on a e2-micro instance (let's see how…
2025 · kwiktionary.vercel.app
- 14
The Motif Atlas: a light, animated guide to 32 structural motifs for cross-domain systems thinking.
Jun 2026 · nikitph.github.io
- 15MW
Hey HN check this really cool worlde-inspired project of a friend of mine. :)
2022 · mathle.bykiru.rocks
- 16LG
Hi there, I've decided to jump on the AI train and put something together with low effort & high reward, to see if it can get any traction. What do you think? Is it a promising area? Do you guys have ideas for me? There is obviously going to be sea of LLM generated content out there and one project adding up to it might not necessarily be what world needs. In the same time there is something intriguing about the area. Well, please play with it and let me know what y'all think. Much appreciated.
2023 · canonica.ai
- 17TA
We’re building TheorIA— an open, high quality dataset of theoretical physics results: equations, derivations, definitions, and explanations — all in structured, machine- and human-readable JSON. Why? Physics is rich with beautiful, formal results — but most of them are trapped in PDFs, LaTeX, or lecture notes. That makes it hard to: - train symbolic/physics-aware ML models, - build derivation-checking tools, - or even just teach physics interactively. THEORIA fills that gap. Each entry includes: A result name (e.g., Lorentz transformations) Clean equations (AsciiMath) Straightforward…
2025 · theoria-dataset.github.io
- 18
- 19AD
Have you ever come across a word in another language that just perfectly captures a feeling or concept you can't quite express in your own tongue? I created coolforeignwords.com because I wanted to share those "aha" moments with fellow language lovers, and created a website to make those words easier to find. So, whether you're a word nerd, a traveler, or just curious about the world, please feel free to visti my website. Try it out and please share your feedback. It's still very early stage, so would love any advice. Thank you
2023 · coolforeignwords.com
- 20
- 21SS
We’ve just released SemHash v0.3.0, a major rework of our open-source text pre-processing library. We’ve added two new functionalities: outlier filtering & representative sampling. The core API has been reworked to make sure all of these features can be used together in an intuitive way. Our new features use the existing approximate nearest neighbors index that we already used for semantic deduplication, so they can be ran very quickly after building the index on your dataset. The core package can now be used for: - Semantic Deduplication: Remove semantic duplicates from your dataset. This…
2025 · github.com
- 22GA
I wanted to learn more about RAG implementations, so I built something to solve the constant digging through manuals whenever we play a game. It's fairly simplistic, but actually has worked pretty well for some of these conflicts. Everythings Open Source on GitHub if you're curious (or have ideas), and I'd love to hear feedback from fellow boardgamers!
2024 · gamegame.ai
- 23KA
Hey HN! I've spent the past year full-time building Knowing, a tool for interacting with LLMs directly inside hierarchical structures instead of the usual prompt-response format. The idea started because I realized how much more intuitive it felt to build concept hierarchies continuously—no more endless copy-pasting or wondering how everything connects. The journey’s been a struggle. While I see huge potential in structuring AI interactions this way (writing books fast, planning projects, or organizing ideas), it’s been hard to pin down clear use cases in the market. I’m also working in near…
2024
- 24TD
I love the dictionary game: someone takes an unfamiliar word from the dictionary and writes down the definition. Then the other players come up with their own, fake, definition, and guess which one is real. I built a Wordle-style daily game out of this concept. You get shown a word and four definitions and it's up to you to figure out which one is real. There are five new words to try every day. The real definitions are from Wiktionary, the fake ones are made up by Claude (and sometimes me). Let me know what you think, and how this could be improved!
Jun 2026 · dictionarypuzzle.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →