zodiac

13 ms·

61.
by zodiac 6y ago
My guess: the definition of the BB function relies on the fact that a TM either halts or does not halt
62.
by zodiac 6y ago
Why is there no incentive to create artificial scarcity in the "water-delivery-and-treatment" market?
63.
by zodiac 6y ago
It sounds like you have a problem against privately owned water rights (the exclusive right to extract water from some region and then sell it), not against water futures per se? FWIW I'm sympathetic to that position (in some form), it
64.
by zodiac 6y ago
I guess I don't understand the difference between paying for "water-delivery-and-treatment-infrastructure-and-operational-costs", and paying for "water". I can't fufil these water futures by just transferring l
65.
by zodiac 6y ago
I'm not sure what you're saying - is it that "banning water futures" will likely accelerate it, or that "water futures" will accelerate it?
66.
by zodiac 6y ago
> trading with water is... dangerous... Do you pay a water bill where you live? If so isn't that already "trading with water"?
67.
by zodiac 6y ago
> especially if we ever get to a point where some people can 'afford' water while others can't. If we do get to a point where this is true, it will primarily be because of decreasing amounts of water sources, increasing po
68.
by zodiac 6y ago
Yes, I noticed this from the statement "apply that binary operation to one number from the list". They're basically treating f as a function from R to R.
69.
by zodiac 6y ago
The fact that I'm an ios developer
70.
by zodiac 6y ago
> Option types are way better and always do what you expect. No, I can implement the exact same weird functions with option types, with signatures sum: Array<Int> -> Optional<Int> count_elements: Array<Int> -> Int
71.
by zodiac 6y ago
Well, I think that's analogous to the max function having signature (say) Array<Int> -> Optional<Int>
72.
by zodiac 6y ago
How do I sign up to be an auditing firm?
73.
by zodiac 6y ago
> Certainly the idea that a score somehow has more information in it than a midi recording is ridiculous A midi file is designed to contain different kinds of information than a score, so it can absolutely contain less information (of a
74.
by zodiac 6y ago
Perhaps this? https://en.m.wikipedia.org/wiki/Painlev%C3%A9_conjecture
75.
by zodiac 6y ago
> If someone has a better explanation of why subtracting relatively prime numbers repeatedly will always result in one, please leave a comment or reach out and help me understand better. You're looking for a proof of Bezout's i
76.
by zodiac 6y ago
I prefer to use a dot like you, but find calculations like "let x=5, then 3(1+x) = 3(1+5) = 3(6) = 18" acceptable, because each equation is just a lock substitution
77.
by zodiac 6y ago
If you define GCD this way then writing gcd(a, b) = c is an abuse of notation :)
78.
by zodiac 6y ago
I'm a Singapore citizen and I've used my Singapore passport to get the tourist SIM cards from M1 before, did some store refuse to sell it to you?
79.
by zodiac 6y ago
I hear you about those language pairs that have to be round-tripped through a third language. I completely agree, too, that the big open questions in NLP are all about understanding meaning, semantic content, pragmatics, etc rather than jus
80.
by zodiac 6y ago
> Look at the promise of AI: "machines that think like humans!". Look at the reality: "We're generating value!". OK. OK, I hadn't realised we had such different implicit views on what the "goal" of
81.
by zodiac 6y ago
The subjective human evaluations used in research are blinded - the humans rate the accuracy of translation without knowing what produced the translation (whether a NMT system, a non-ML MT system, or a human translator), whereas the footbal
82.
by zodiac 6y ago
> How do you mean that machine translation outperforms non deep learning based approaches at the real world task? How is this evaluated? There were two ways that performance can be evaluated that I had in mind: 1. Commercial success - wh
83.
by zodiac 6y ago
Yeah, I know about how current automatic MT benchmarks don't reflect "user satisfaction" very accurately, and that it's an open problem to get one that is serviceable. However you make it sound like all deep learning sol
84.
by zodiac 6y ago
For me, codeforces is fun the same way chess is fun. Yeah, the mechanics look dry on the surface, but lots of variation under the surface, and lots of chances to link concepts by having an aha moment during the contest or afterwards in anal
85.
by zodiac 6y ago
> It's no stretch to imagine that an entity of the size of Google or Facebook could achieve something considerably more useful, still in a limited domain. But this has never even been attempted. How do you know if no one has attempt
86.
by zodiac 6y ago
Your second sentence is true, but the first one doesn't make sense. A car travels at about 0.000001% of the speed of light, yet when we measure car speeds, they depend on the frame of reference.
87.
by zodiac 6y ago
Yeah, I would say that understanding conjectures often requires knowing some "background lemmas" in addition to knowing the definitions of the objects used in the definition, for this very reason. As another very simple example it
88.
by zodiac 6y ago
Really? I own a Huawei and AFAICT, the OS / services (eg the kernel, android, Google play services) are basically the same as what would run on eg a Google pixel.
89.
by zodiac 6y ago
I would guess that buying an app with the intention of harming the app creator by doing a refund is against the ToS, and I think that's fair (since the purpose of the refund mechanism is to allow the buyer to change their mind for some
90.
by zodiac 6y ago
What does this have to do with the bulk of the article (which is about algorithms the author used at his jobs, and only tangentially (IMO) about the use of algorithmic questions in interviews)?

More ›