zodiac

14 ms·

91.
by zodiac 6y ago
The extended reals can also arise directly from the definition of reals either as Cauchy sequences of rationals (as unbounded increasing sequences, etc) or Dedekind cuts (let the lower cut contain all rationals) :) for reals IIRC the main r
92.
by zodiac 6y ago
Mathlib does indeed define the extended real numbers, but they also need to define division on the reals. This is similar to the definition of subtraction having to be done for integers and for naturals (mentioned in the article)
93.
by zodiac 6y ago
I'm not sure what sense you're using "the same" in. Eg a cylinder can be transformed into a mobius strip (in 3d space) by cutting and gluing, but if we allow only self-intersection, this can't be done. To me this sh
94.
by zodiac 6y ago
If you think the constraints make it trivial, try producing a solution with the same constraints. (intersection allowed but pinching and cutting not)
95.
by zodiac 6y ago
You can cycle at 15mph and have a car crash into you at a much higher speed
96.
by zodiac 6y ago
> How am I supposed to know "offensively excessive" wasn't the intended meaning here? I'm guessing if it were the intended meaning, "but" would be incorrect in "Republicans will not like many of these p
97.
by zodiac 6y ago
If you make a decision to join in the (say) the 5th ms of the batch auction and you have a latency of 1ms, you are still no worse off if you decide to wait 4ms before joining the batch.
98.
by zodiac 6y ago
Well, think through some toy examples. Suppose there is a market without order matching (again, toy example) and one market participant enters an extremely mispriced order, so the first person to fill that order wins. Even in the presence o
99.
by zodiac 6y ago
This mechanism ("batch auctions") are not immune to rewarding low-latency connections. The details depend on the exact auction mechanism but the general idea is that you want to join the batch as late as possible (at any moment in
100.
by zodiac 6y ago
My experience was that it used to be bad specifically because of the bad interactions with WSL (1)
101.
by zodiac 6y ago
Regarding "cross-platform": Docker for Windows used to be really terrible IMO (relied on VirtualBox, did not translate WSL paths, etc). I never managed to get the networking between VirtualBox, WSL and applications (e.g. Chrome ru
102.
by zodiac 6y ago
I think the OP is concerned with the question "how do I create incentive-compatible moral codes", not "how do I behave given a moral code". In economics theres lots of cases when these two questions are very different qu
103.
by zodiac 6y ago
Those actions are all really illegal...
104.
by zodiac 6y ago
Well, it depends on your exact definition of "self-modifying code" and "metaprogramming", given that it's not like there's an authoratative source you can look up the definitions in. The way I understand the te
105.
by zodiac 6y ago
Both "self-modifying code" and "metaprogramming" don't mean exactly the same thing to me as "homoiconicity"
106.
by zodiac 6y ago
I know it's a weird choice of words, but I think the headline uses "ethical" to refer to "non-interfering" (e.g. see section 2 of the article)
107.
by zodiac 6y ago
This reminds me of "zeroless number systems" or "bijective number systems" ( https://en.wikipedia.org/wiki/Bijective_numeration#The_bijec... ) - in the language of the article, the allowed digits in b
108.
by zodiac 6y ago
It's not even correct - "thy arrogance" should be "thine arrogance"
109.
by zodiac 6y ago
Imagine trying to upload a heic file to (say) Amazon s3 through their web UI and having it converted to JPEG.
110.
by zodiac 6y ago
The parts are recorded at separate times
111.
by zodiac 6y ago
I saw someone on a facebook group for choral directors who got 10ms latency over 30km. It can be done but requires somewhat specialized hardware (ethernet cable to the router, external audio interface and mic), network setup and software
112.
by zodiac 6y ago
I think research into voting systems like this shouldn't be read as coming from a point of view of "we have the correct objective function we prove that our system is unequivocably optimal under this objective function". Rath
113.
by zodiac 6y ago
In the context of e.g. offline video encoders "1.9x realtime" is a statement about throughput, not latency
114.
by zodiac 6y ago
IIRC pbrt and renderman do
115.
by zodiac 6y ago
You can have physically based rendering with those non-triangle primitives too!
116.
by zodiac 6y ago
Honestly? Maybe it is, maybe it isn't. Imagine replacing "algebraic effects" in your question with "exceptions" - theres no clear answer. What do you think?
117.
by zodiac 6y ago
I personally don't use hooks (or functional components) at all, but recently read this post from Dan Abramov about algebraic effects which makes a point (among others) the hook mechanism is a pretty simple way to implement state/e
118.
by zodiac 7y ago
Why not call the DNA to RNA enzyme reverse transcriptase and the RNA to DNA one transcriptase?
119.
by zodiac 7y ago
No, the optimizations referred to include those that will make the program faster when N=100.
120.
by zodiac 7y ago
Nitpick: changes in the number of immune people change R, not R0

More ›