afiori

27 ms·

541.
by afiori 2y ago
The universal part is alread coordinated, the problem is that it keeps adding and removing seconds with no regularity and little advance notice.
542.
by afiori 2y ago
> Fast enough operations on a distributed database can exceed the precision limits of TAI's definition, making it impossible to canonically order events. The TAI would be a sincronization target, just like UTC. Any device can have i
543.
by afiori 2y ago
the TAI stopwatch, the earth surface is relativistally uniform enough that averaging good clocks gives a good enough clock for almost any practical purpose.
544.
by afiori 2y ago
UTC and TAI are offset by a variable number of seconds
545.
by afiori 2y ago
> As a software engineer, the lesson for me is that I can't always ask "what time is it?", "how long has it been?", or "which came first?" If we were using TAI instead of UTC we very easily could.
546.
by afiori 2y ago
With a little massaging of input and output you can convert any program P into the program P_n defined as "repeat P n times". For any n P terminate if and only if P_n terminates, so no general procedure can decide the halting prob
547.
by afiori 2y ago
I am not saying that they are easy to do, but it is their power to wield.
548.
by afiori 2y ago
Whether laws can be applied retroactively is decided by the constitution :) But yes, what I meant is that the supreme court has the power to interpret the law and uphold the constitution, but it is on the legislation to draft precise laws.
549.
by afiori 2y ago
This is the obvious answer to any supreme court ruling you want to change: congress can simply change the law/constitution. A giant part of the issue of commonlaw systems is that so much of the "law" is not laws but rulings a
550.
by afiori 2y ago
Precisely what China did yes. To be precise I believe that China's requirements were mostly around using local datacenters and respecting censors, the US is actually going a step further even if only because it is ashamed of how much i
551.
by afiori 2y ago
localized keyboards layouts are quite a bit old.
552.
by afiori 2y ago
So you would have been fine with most of the world banning facebook, google, whatsapp, twitter, reddit and maybe others in the last 12 years?
553.
by afiori 2y ago
if ls returned json then it would have to decide what to do with non-utf8 filenames (or even users and groups, I do not know what the rules are there); it could reture either "filename.txt" or {"encoding":"base64&qu
554.
by afiori 2y ago
> The only real trick here is the low number of pieces, if you allow an arbitrary number of pieces it's simple to split the points into two sets and move the points into two equal sized spheres I took this as saying that it is easy
555.
by afiori 2y ago
IIRC correctly first you split the surface into an uncountable partition then you use the axiom of choice to "color" each point of each partition of a color and then define your finite number of subsets as all the points of each g
556.
by afiori 2y ago
Not really, Banach-Tarski is very similar to the hilbert hotel with odd-even rooms, the genius is in finding a way to recompose these parts using only rotations.
557.
by afiori 2y ago
(Not an explanation of how it works, but just of how it could be true) IIRC it follows a principle similar to the Hilbert hotel[0]. The idea is that you can split an infinity into an infinity[1] of infinite parts. for a simplex example im
558.
by afiori 2y ago
As long as you are comparing with a literal then == with nulls is very intuitive. I agree that if it did not exist it would be not worth to be added and that almost every other use is bad, but != null and == null are very easy to learn idio
559.
by afiori 2y ago
Also if missing and undefined where the same it would change how prototype inheritance worked (maybe for the better)
560.
by afiori 2y ago
The billion dollars mistake is not having nulls, you need some concept of null. The mistake was allowing nulls to be a valid value for all pointers/reference at the type level. You cannot make this mistake in an untyped language like J
561.
by afiori 2y ago
In almost every case you test for someVal != null or someVal == null (which is almost the only case where == is preferable to ===) And on the other hand sql made the opposite mistake where NULL means both "this field has an empty value
562.
by afiori 2y ago
sadly JSON does not handle non-utf8 strings
563.
by afiori 2y ago
State management is not secondary, it is how it can implement the declarative UI with declarative updates.
564.
by afiori 2y ago
And curiously owning a horse decreases your risk of all-cause death
565.
by afiori 2y ago
I highly doubt this will go anywhere, it is much more likely to get some custom equality in data structures. For example I would like a Map<array, any> that compare keys by shallow equality, so to behave like multidimensional tables
566.
by afiori 2y ago
It should be available as .at(-1)
567.
by afiori 2y ago
Have you considered going the react way? What I mean is that the react core library does not assume an html target but rather builds a virtual component tree that can be mapped to various semantics (the two I know of are react-dom that prod
568.
by afiori 2y ago
React manages the state of the UI, all the props and the virtual DOM counts as state. The declarative part is that the UI is recomputed from the state sorta-ex-novo at each update
569.
by afiori 2y ago
What is a good guide on how to implement basic RSS functionality?
570.
by afiori 2y ago
they are misleading if you assume unimodality, but are always relevant. If you care about how many modes there are then likely you would prefer deciles or centiles. But even in the first image of the article the fact that two quartiles are

More ›