l-
l- on Hacker News
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.
Baja Mexico would be more sensible to get everyone on the Pacific plate under one jurisdiction; plus the military has training bases nearby.
What is stated as "A" is but
one of the 12 listed variants of Meredith's axiom
https://web.ics.purdue.edu/~dulrich/C-pure-intuitionism-page...HI-1 converts to x a _ b c = b c (a (\ _ -> c))
HI-2 to x _ a b c = b (\ _ -> c) (a c) and so on after processing by Djinn.
(HI-3, 4 & 6) yield a combinator in the sequence of "A".
SKK=I; K=XX; S=X(XX)
Y=S(K(SII))(S(S(KS)K)(K(SII)))=S(K(S(SKK)(SKK)))(S(S(KS)K)(K(S(SKK)(SKK))))=
X(XX)((XX)(X(XX)(X(XX)(XX)(XX))(X(XX)(XX)(XX))))(X(XX)(X(XX)((XX)X(XX))(XX))((XX)(X(XX)(X(XX)(XX)(XX))(X(XX)(XX)(XX)))))
https://news.ycombinator.com/item?id=31079130
Posted by
l- on Sunday April 23, 2023 @08:26PM
from the pnas.org dept.
Beware, absolutely binding third, from making such claims of qualified proof before or after the relative infinity of the stateless and the timeless, yet incomplete, but consistent and permanent transitivity of implication of which emerges from the chaotic wisdom of this poset the unworldly forms of a hypothetical syllogism and associative dual-pair.
> Base e would be the most efficient
Only in one dimension.
And using 122 up to 5.317e36.
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;}
Posted by
l- on Wednesday January 25, 2023 @05:09PM
from the cell.com dept.
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.
Absolutely! A tool for looking at the chest does not compare when the case calls for a stethophone.
In a language where function application is right associative h g f x seems easier given both require curried functions.
The flow of execution moves left to right & then right to left upon return, which not what the author falsely claims is right to left, and "reading" or the parser does not switch from left-to-right to RL when entering nested application. The inversion of "flow" upon return from what is parsed would still exist if it was to be rewritten either by changing the language to have the opposite associativity for function application or changed to have the function names be postfixed to the parameter list.
Storing the mechanical action is an added expense.
The analogous case being a horizontal circuit laying on a table with the crossbar switch up in the air causing an open circuit & being down closing it.
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.
Does not justify wasted padding space as the user can more easily set the text to the appropriate zoom than applying custom CSS. This feels like an attempt to force JS to enable ads & what should be default fullscreen button in the bottom right. 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.
In Times New Roman's name, Roman is a reference to the regular or roman style (sometimes also called Antiqua)
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.
Posted by
l- on Sunday January 15, 2023 @08:47PM
from the ghe.clickhouse.tech dept.
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. Also, ⊢ is a single character ;)
Further, the pattern matched "grouping" definitions (
https://news.ycombinator.com/item?id=25278021) names have a better correspondence to the Greek scheme: diation, triation, tetration... while the "Group theory" definitions scheme lending to geometry would match a sort of naming scheme such as above.