[-] kogasa@programming.dev 4 points 4 months ago* (last edited 4 months ago)

"Measure" is meant in the specific sense of measure theory. The prototypical example is the Lebesgue measure, which generalizes the intuitive definition of length, area, volume, etc. to N-dimensional space.

As a pseudo definition, we may assume:

  1. The measure of a rectangle is its length times its width.

  2. The measure of the disjoint union of two sets is the sum of their measures.

In 2), we can relax the assumption that the two sets are disjoint slightly, as long as the overlap is small (e.g. two rectangles overlapping on an edge). This suggests a definition for the measure of any set: cover it with rectangles and sum their areas. For most sets, the cover will not be exact, i.e. some rectangles will lie partially outside the set, but these inexact covers can always be refined by subdividing the overhanging rectangles. The (Lebesgue) measure of a set is then defined as the greatest lower bound of all possible such approximations by rectangles.

There are 2 edge cases that quickly arise with this definition. One is the case of zero measure: naturally, a finite set of points has measure zero, since you can cover each point with a rectangle of arbitrarily small area, hence the greatest lower bound is 0. One can cover any countably infinite set with rectangles of area epsilon/n^(2) so that the sum can be made arbitrarily small, too. Even less intuitively, an uncountably infinite and topologically dense set of points can have measure 0 too, e.g. the Cantor set.

The other edge case is the unmeasurable set. Above, I mentioned a subdivision process and defined the measure as the limit of that process. I took for granted that the limit exists. Indeed, it is hard to imagine otherwise, and that is precisely because under reasonably intuitive axioms (ZF + dependent choice) it is consistent to assume the limit always exists. If you take the full axiom of choice, you may "construct" a counterexample, e.g. the Vitali set. The necessity of the axiom of choice in defining this set ensures that it is difficult to gain any geometric intuition about it. Suffice it to say that the set is both too "substantial" to have measure 0, yet too "fragmented" to have any positive measure, and is therefore not well behaved enough to have a measure at all.

[-] kogasa@programming.dev 4 points 8 months ago* (last edited 8 months ago)

78wpm 92% gboard

~200wpm on a physical desktop keyboard

[-] kogasa@programming.dev 4 points 8 months ago

Excel is a brand name, Azure Blob Storage is a descriptive title. It's Azure's blob storage service.

[-] kogasa@programming.dev 4 points 9 months ago

Geometry is a bit tricky. A lot of "obvious" facts about geometry are less obvious to prove from a given collection of axioms forming a model of geometry, because their "obviousness" stems from our natural facilities for understanding space and position. Sometimes, historically, things that are "obviously" true in geometry turn out to be false, or depend on unwritten assumptions, for complex reasons. It may be surprising in this light if current AI can beat humans' intuition plus logic using purely analytic tools.

[-] kogasa@programming.dev 4 points 9 months ago

Ubuntu LTS

More like RHEL 5

[-] kogasa@programming.dev 3 points 9 months ago

It cannot in fact be oriented, regardless of the embedding and the dimension of the ambient space.

[-] kogasa@programming.dev 4 points 9 months ago

8h work

except for the ~hour lunch where you can't really go home anyway, and the ~hour commute, and the ~hour it takes to get ready and decompress after getting home

8 hour workday has always been ~11 hours commitment per day for me

[-] kogasa@programming.dev 4 points 10 months ago

Unix epoch time in UTC, making sure that your local offset and drift are current at the time of conversion to UTC...

[-] kogasa@programming.dev 4 points 10 months ago

I'd rather have an explicit time zone any time a datetime is being passed around code as a string. Communicating it to a human is relatively safe since even if there's a mistake, it's directly visible. Before that last step, incorrect time zone parsing or implicit time zone assumptions in code that was written by "who knows" in the year "who knows" can be really annoying.

[-] kogasa@programming.dev 4 points 11 months ago

No, that doesn't work at all. That gives all the power to people with billions of dollars to train and run the best proprietary models, at the expense of the people who created the data.

[-] kogasa@programming.dev 3 points 11 months ago

It's not flavorless, it's bitter. You just can't taste it over the pound of sugar.

[-] kogasa@programming.dev 4 points 1 year ago

"natural selection" in this context is unregulated capitalism and ends in Meta owning you. No, don't "let it." Maintain boundaries between the free and open internet and that governed by corporate interests.

view more: ‹ prev next ›

kogasa

joined 1 year ago