duality

15 ms·

31.
by duality 7y ago
Think of a process by which you start with a vague sketch of a system and end up with a concrete implementation in, say, C++. The latter is the highest level and least detailed. The latter is as detailed as the specification of your system
32.
by duality 7y ago
TLC is the model checker that operates on TLA+ specs. TLAPS is a proof system. So, TLA+ has both.
33.
by duality 8y ago
"Google would prefer you spend more time fighting the interface in Gmail and seeing ads [...]". What ads?
34.
by duality 8y ago
"This isn't the kind of development that can sit back idly after performing its primary function." To me, this sounds like you _don't_ fully support this development. And rightly so. It'll soon be technology in sear
35.
by duality 8y ago
"I guess a Finnish person living in Finland can now no longer use Facebook to express a wish that the demographics of his home country stay unchanged?" Your guess is probably correct.
36.
by duality 8y ago
It should.
37.
by duality 8y ago
Tone deaf indeed. It seems common for people not to ascribe a full measure of humanity to humans from the (distant enough) past. Thought exercise: are there any large-scale population replacements happening today, and how do people feel abo
38.
by duality 8y ago
Do they have data centers in Australia?
39.
by duality 8y ago
It seems to me that popular music has stopped changing as rapidly in the past 10-15 years compared to over a similar span a few decades ago. Of course that impression could be wrong, like the difficulty of understanding "history"
40.
by duality 8y ago
David MacKay's "Information theory, inference and learning algorithms" was a huge eye opener for me.
41.
by duality 8y ago
I wouldn't try to racialize this. I'm also not convinced our (whose? I'm guessing you mean USA's) mostly white middle class are the ones frightened of and complaining about fake news, microaggressions or being triggered.
42.
by duality 8y ago
The fear is that Google might turn Gmail down? Seems implausible, no?
43.
by duality 8y ago
Wikipedia article: https://en.wikipedia.org/wiki/BGP_hijacking
44.
by duality 8y ago
Face generation is a frequent subject of study in computer vision. One way to make sure the generated faces are not just copy-pastes of some face in the training set is to look for low-level visual similarity of the generated images with th
45.
by duality 8y ago
I'm not aware of that either. What API scope would share your location data with a third-party developer? https://developers.google.com/identity/protocols/googlescope... doesn't turn up anything obvious.
46.
by duality 8y ago
The main thrust of this rambling article seems to be that Google Maps and location services more generally might not be misused by Google itself but instead shown wholesale to a third-party concert app which then leaks it to my "creepy
47.
by duality 8y ago
So you like the algorithms and data structures used to build a distributed collaboration system with event sourced data in Microsoft Orleans, but not the algorithms and data structures used for string search.
48.
by duality 8y ago
"[T]he gravitational interaction is exchanged by a spin-2 field, whereas the electromagnetic force is exchanged by a spin-1 field. Note that for this to be the case, you do not need to speak about the messenger particle that is associa
49.
by duality 8y ago
"There must be a name for a concept that seems like it would be obviously true, but actually isn't." Specious?
50.
by duality 8y ago
This may be my reading only, but "populist" seeems to carry a negative connotation. I wonder, what is the opposite of populist? Is it "elitist?"
51.
by duality 8y ago
Yes, because they are fluctuations of the metric tensor field, a symmetric rank-2 tensor. Take a look at https://en.wikipedia.org/wiki/Graviton#Gravitons_and_renorma... for details.
52.
by duality 8y ago
Please see my comment above. You can use the language of gravitons and Feynman diagrams even for classical gravitational physics, but the calculations will be intractable for strong fields. See https://en.wikipedia.org/wiki&
53.
by duality 8y ago
If it weren't, general relativity would be wrong as well and we know that (in its domain of applicability) it's a highly accurate model. GR models gravity as fluctuations in the metric tensor of spacetime, which is a symmetric ran
54.
by duality 8y ago
"Every other force besides gravity is polarised, so why not also gravity?" Gravity is mediated by a spin-2 gauge boson, the graviton, whereas the other known fundamental forces are mediated by vector (spin-1) bosons. There is an e
55.
by duality 8y ago
https://twofactorauth.org/ has a list of websites which support two-factor authentication, including using hard tokens.
56.
by duality 8y ago
I've heard that called "data dredging."
57.
by duality 8y ago
You might also want to check out https://kythe.io and https://github.com/google/kythe .
58.
by duality 8y ago
I agree with this and would add that science (by which I mean areas of knowledge observing phenomena and seeking to describe them quantitatively) interacts with deductive logic (including math) via information theory. Science without modeli
59.
by duality 8y ago
I agree. Information Theory is _the_ ur-science. It's the science of matching mathematical models to data, and so it's where inference meets the deduction. Such an important and fascinating subject should be widely taught and appr
60.
by duality 8y ago
Sounds related to but subtly different from a https://en.wikipedia.org/wiki/Giffen_good .

More ›