HN user

l-

1,140 karma

yIn: https://news.ycombinator.com/user?id=I-

Posts9
Comments31
View on HN

Although the cost function has a multiplication of a base times the floor of the log of the value with respect to that base plus one, area is a misleading analogy to describe the applicability as any geometric dimensional value has to taken with respect to a basis. For a visual, (directional) linear scaling is more in line so to say.

Ideally, CSS and not JS would be used to set the size of column text. But, that is not what Wikipedia is doing by default. Observe the behavior of the table on this page with & without JS: https://en.wikipedia.org/wiki/Binary_relation that occurs on not just that page, but all of the Binary relation pages. Note the dangling "in" at the top without JS with limited CSS styles on the table, but with JS the table becomes collapsed by default & the page text does not jump. The other JS only functionality that extends the page width that does not cause the page text to jump when the table is opened is the previously mentioned fullscreen "Toggle limited content width" button in the bottom right. Also, since I cannot edit the original comment here is the previous CSS condensed:

  .mw-page-container,.mw-content-container{max-width:none!important;}

The Protocol on Environmental Protection to the Antarctic Treaty does not ban geothermal. Its surprising "scientific" exploratory attempts have not occurred given the proximity to Mt Erebus.

One of the two options has to be chosen for the no JS, no query param / no login default - there is no entitlement and absurdity in that expectation. Using the max-width: none or similar as the default option has the benefit of allowing the user's browser keep the ability to monotonely scale the text density along with size using zoom as the displayed area would be nearly constant. It's rather arrogant & condescending to choose for a user a width that overrides what control they have with their window's dimensions, screen size, viewing distance & vision capability.

text that is too wide causes people to read less comfortably and retain less information.

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.

One can be known and loved by others, but lonely, marooned & castaway on an island. Alone by definition is just "all one" - no others, which is not #1. One would be better off consulting a dictionary before going on a definition tangent.

Regexstepper - takes an ordered list of regexs & repeatedly runs them against a corresponding ordered replacement list and ordered sample list until no further replacements are found. Used it to learn about stepping through PEMDAS simplification on various math iexpressions & attempts at combinatorial systems. Wrote it once years ago learning about PEMDAS then decided to delete it because JS cannot do at matching of arbitrary depth matching braces without parsing into an AST ala shunting yard, then learned about combinators & decided to try again to try and find systems that work without parentheses.

IP can get banned for days even using user directory & timing seems to be an average over an unknown window. The HN big query db is also appeared to be lacking user entries for users without comments or submissions in addition to synchronization delay.

The repeated "many folding", which would be better visualized as tendition, exponentiation ("tendaddition") pattern also breaks with fractions & at the most basic negative numbers: https://www.youtube.com/watch?v=mvmuCPvRoWQ&t=922s Also: https://news.ycombinator.com/item?id=28524792 "log base" would be better named untendaddition similarly division - does not necessary "separate" - untendition & unaddition - does not "draw under". Etymologos to use "given" symbols over the datum names.

Barbara & the other (categorical) https://en.wikipedia.org/wiki/Syllogism take the "existential viewpoint" (see introduction on https://en.wikipedia.org/wiki/Categorical_proposition) that involves "term": https://en.wikipedia.org/wiki/Term_logic instead of just "sentential": https://en.wikipedia.org/wiki/Propositional_calculus logic. From https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon... the universal quantification "all" in Barbara corresponds to the generalized product (conjunction rather than implication) type. B is also known as the composition combinator & (implicational) forms are shown here: https://en.wikipedia.org/wiki/Hypothetical_syllogism#Alterna...

Regarding http://jwodder.freeshell.org/lambda.html, "B" is Hypothetical Syllogism (transitivity of implication (the "material conditional")), which is the composition of the arguments x and y applied to the argument z (https://en.wikipedia.org/wiki/B,_C,_K,_W_system) rather than the composition of the arguments x and y alone.

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.

  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
Lamport Clock 5 years ago

'As "idealized physical time" itself does not have consistent ordering' - No. A consistent "causality" ordering exists relative to the big bang. A simultaneous "now" does not exist, but that does not prevent relative orderings from being discerned. An enforced max [absolute] time resolution is not necessary, but a consistent universal ordering requires relative speeds, which require a reference frame or gauge, and a sequencing clock for each observer. With regards to satellites, the frame is motion relative to the [center of the] Earth.

"In addition, in 2010, the EPA increased label requirements and limited some inert ingredients in spot-on treatments, which are applied to a specific area of a pet. This happened after incident data showed the treatments were causing hundreds of pet deaths, as well as issues such as irritation, rashes and hair loss, gastrointestinal problems and seizures."