HNHacker News
TopNewBestAskShowJobs

l-

1,140 karma · joined August 10, 2018

yIn: https://news.ycombinator.com/user?id=I-
submissionscomments
l-··on Base 3 Computing Beats Binary
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.
l-··on When was the last time we built a new city?
Baja Mexico would be more sensible to get everyone on the Pacific plate under one jurisdiction; plus the military has training bases nearby.
l-··on Freedom Clock
2023-03-25=1995
l-··on Kaktovik Numerals
> Base e would be the most efficient

Only in one dimension.

l-··on Explore Wikipedia's New Look
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;}
l-··on The McMurdo Webcams
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.
l-··on Could ultrasound replace the stethoscope?
Absolutely! A tool for looking at the chest does not compare when the case calls for a stethophone.
l-··on Ask HN: Why are toggle switches replacing checkboxes? Isn't on/off less obvious?
Storing the mechanical action is an added expense. Pure Latin character based mark additions (& reversals) could include o -> p, or q along with font dependent n to m, V to W, F to E; l or I to B, D, E, F, H, K, L, M, P, t or T.
l-··on Ask HN: Why are toggle switches replacing checkboxes? Isn't on/off less obvious?
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.
l-··on Explore Wikipedia's New Look
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.
l-··on Explore Wikipedia's New Look
> 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.
l-··on Loneliness is a measure of self-understanding
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.
l-··on GitHub's new user signup is an unusable GPT-ish interface
A: https://github.com/signup

B: https://github.com/join

l-··on Times New Roman is being phased out at the State Department, replaced by Calibri
https://www.1001fonts.com/toms-new-roman-font.html
l-··on Times New Roman is being phased out at the State Department, replaced by Calibri
In Times New Roman's name, Roman is a reference to the regular or roman style (sometimes also called Antiqua)
l-··on Times New Roman is being phased out at the State Department, replaced by Calibri
Exactly, bIg > lIl
l-··on Ask HN: What have you built more than twice and wish someone had built for you?
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.
l-··on Ask HN: How do you choose your usernames?
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.
l-··on The Fourier Transform, explained in one sentence (2014)
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 various geometries (hypercomplex: complex::hyperbolic, split-complex::elliptic, dual::parabolic) would match some other naming scheme.
l-··on The Fourier Transform, explained in one sentence (2014)
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.
l-··on Climatic and environmental aspects of Mongol withdrawal from Hungary (2016)
When Mongols Set Out to Conquer the World, There Was One Limiting Factor: Grass (154 points by benbreen 9 months ago) https://news.ycombinator.com/item?id=30886110
l-··on Austral: A systems language with linear types and capabilities
https://en.wikipedia.org/wiki/Noncommutative_logic#Cyclic_li...
l-··on Partial Function Application
As long as elegance is not solely length using certain combinatory representations like SKI: (S(K(SI))(S(KK)I)) :: λxy.yx
l-··on Tiny Prime Combinations
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...
l-··on Tiny Prime Combinations
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.

l-··on Eastern US power grid orders cuts, issues system wide emergency
https://www.pjm.com/-/media/about-pjm/newsroom/2022-releases...

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...

l-··on Concatenative Language

  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
l-··on Implementing Cosine in C from Scratch (2020)
https://github.com/ifduyue/musl/blob/master/src/math/__cos.c
l-··on Lamport Clock
'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.
l-··on Popular flea collar linked to almost 1700 pet deaths. EPA has issued no warning
"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."
Page 1 of 2Next →