ThmDex – Compendium of mathematical definitions, results, conjectures

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.

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…

Fascinating and important stats from the rest of world

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…

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…

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…