The OEIS meta sequence and subway stations
Summary
Explores the OEIS meta sequence A051070, where each term is the n-th term of sequence A_n, highlighting quirky entries involving New York subway stops and the paradoxical self-reference of sequence A102288.
View Cached Full Text
Cached at: 05/20/26, 11:30 PM
Similar Articles
Unusual uses of OEIS sequences on GitHub
This article explores quirky real-world uses of OEIS integer sequences found in open-source code on GitHub, including music generation frameworks, a pen tool for e-readers, and a geocaching app.
Gödel, Escher, Elisp: The Beauty of Macros
An essay celebrating the beauty of Emacs Lisp macros and homoiconicity, drawing parallels with Hofstadter's strange loops and Escher's art, and introducing tooling like macrostep to explore macros.
Show HN: Museum of Numbers
The article explores the significance of the number 2,147,483,647, which represents the 32-bit integer limit in computing, its role in incidents like YouTube's view counter overflow, and its historical importance as a prime number discovered by Leonhard Euler.
Slava's Monoid Zoo
A personal research page cataloging small finitely-presented monoids and their word-problem difficulty, motivated by Swift compiler’s use of Knuth-Bendix completion for generic-signature equivalence.
Spent 3 months on an Erdős 993 problem with Claude Code + Codex. Found out today a full proof was posted last week.
A researcher reports spending three months running Claude Code and Codex on Erdős Problem #993 (unimodality of independent-set sequences in trees), only to learn that Tong Zhang and Wei Li posted a full proof last week, along with two Lean 4 formalizations that claim a clean build. The result is not yet peer-reviewed.