Picking good names is a crucial tool for thought. A good name communicates or reminds you of the idea underneath an abstraction. Naming something after a person is the 2nd laziest form of naming. First is "Type 1" and "Type 2" error, the dumbest naming scheme ever invented.
-
-
Show this thread
-
Extended thoughts. Naming conventions that need to die: http://willcrichton.net/notes/naming-conventions-that-need-to-die/ …
Show this thread
End of conversation
New conversation -
-
-
When you find that version of math, can you pls export it's version of ochem? Having to remember the names of a bunch of old men in order to describe reactions kinda' sucks.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
What's wrong with Windley-Booth-Colin-Hibbard-Douglas trees!?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Imagine if we had to name logical variables after a logician or something...

-
Seriously, though, naming after a discoverer/inventor seems like an important incentive. But after some time I think we are all better served with descriptive names.https://twitter.com/MaineFrameworks/status/956942604163219458 …
-
This approach also gives the community time to work out the most appealing descriptive names.
End of conversation
New conversation -
-
-
I think most of the “atomic” things aren’t named after people, and in fact are named pretty accurately (cohomology, ideal, representation). There are definitely some offenders though, like Hilbert spaces.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Agree with your main point, although "for" isn't such a great name, either!
-
Maybe that shows how little the actual name matters after all — with/have/let/take/... would have been equally arbitrary and equally adequate, but we are used to "for". (Which is used instead of "while" in Go BTW.)
-
Which reminds me — I hated how the lecturer in a compiler construction course always used single-letter names in grammars as if they were arbitrary, but E was always an expression, T a term, and so on, BUT HE NEVER SAID THAT. I didn't complete the course for other reasons.
End of conversation
New conversation -
-
-
Agree 100% with your msg. But off the top of my head: church enc, huffman, hindley milner, von neumann arch, turing machine, kolmogorov complexity, solomonoff induction, shannon information, dijkstra's algorithm, bellman ford, ford fulkerson, VC dimension, rademacher complexity
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Remind me, why are Boolean variables called that?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Eigendecomposition of a unitarily diagonalizable self-adjoint operator in Hilbert space.
-
Asides from Hilbert, all those other words have some semblance with the associated concepts.
End of conversation
New conversation -
-
-
Omg! We even have units like milli-Henry, micro-Farad, or mega-Ohm.pic.twitter.com/c1lZQn2SKi
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.