1,140 karma · joined August 10, 2018
Only in one dimension.
.mw-page-container,.mw-content-container{max-width:none!important;}This seems like an excuse to force JS to enable ads & what should be the default that is toggled with the fullscreen button in the bottom right. It does not justify wasted width as the user can more easily set the text to the appropriate zoom than applying some custom CSS:
.mw-page-container {
max-width: none !important;
}
.mw-content-container {
max-width: none !important;
}
Zooming in now decreases the padding on the right, but has an offsetting increase in the wasted padding on the left contents until it completely disappears with huge text.> where I look for the shortest way, the simplest way, the "first principles", for example to build the numbers, the operators
Since the "conditional's" or implication's elimination (application-"MP"), introduction (abstraction) & distributivity axioms ("K" & "S") in addition to first binding a "hypothesis" or (free) variable "x", which is "f" in the "Iota" definition, leads to the "X" single combinator/axiom, and since "S" may be derived from ("B":local consistency) & ("K":local completeness or η-reduction (eta reduction) or extensionality) this leads to the shorter locally indecisive single aXiom definition := λx. x B K
Meredith first found a form of the shortest definition and others have been listed by the now deceased Dolph Ulrich: https://web.ics.purdue.edu/~dulrich/C-pure-intuitionism-page...
A positive answer to QUESTION V (https://web.ics.purdue.edu/~dulrich/Twenty-six-open-question...) would seem to mean λx. x B K is as short as possible.
Yahoo redistribution: https://www.yahoo.com/now/eastern-us-power-grid-orders-01261...
Bloomberg URL was submitted per HN Guideline: "Please submit the original source."
https://www.eia.gov/electricity/gridmonitor/dashboard/electr...
Earlier: https://www.tennessean.com/story/news/local/2022/12/23/why-t...
Y'=SSK(S(K(SS(S(SSK))))K)=X(XX)X(XX)XX(X(XX)(XX(X(XX)X(XX)(X(XX)(X(XX)X(XX)XX))))XX)
X(XX)X(XX)XX [ 0, 1 ] == {(, X}] Binary Combinatory Logic Truth: 1101111