cvoss

25 ms·

331.
by cvoss 3y ago
Article doesn't indicate how close this measurement is to any specific theoretical value, and, therefore, doesn't hint at whether this experiment is expected to actually challenge a standing Standard Model calculation. I suspect t
332.
by cvoss 3y ago
Are there any HNers around who can offer some good context for this? While reading this, the list of words I'd never heard before as a software engineer grew very long. I started looking some of them up, found a glossary, and that only
333.
by cvoss 3y ago
If you want to maintain a particular speed, you need to know not only your current speed but also your acceleration. Otherwise you are frequently going to be slipping pretty far off your target before you notice. High latency control loops
334.
by cvoss 3y ago
Things I think should be disallowed: - traffic messages that are displayed by rotating through three or more screens; two is fine if necessary, as you can ingest all of it in short order; but to keep staring at it waiting for the third scre
335.
by cvoss 3y ago
As a rule, when in my home city, I always study the route to a new place before navigating, try to get back home without the GPS (which is usually pretty easy, actually), and, on my second visit, challenge myself to get there without the GP
336.
by cvoss 3y ago
In many contexts, one should rarely pass -O2/-O3. A project that is built thousands of times during development may only be run on intensive workloads (where -O2 performance is actually a necessity) a handful of times by comparison. A
337.
by cvoss 3y ago
It's important to raise the topic of a lawsuit here, as distinct from the concept of a government fine, which exposes, in my opinion, an error in the reasoning of the line you quoted. If you are speeding and get hit with a $X speeding
338.
by cvoss 3y ago
Deep technical adjudication is exactly what judges in higher courts are equipped to do. No matter the domain, they are presented with tortuous technical language and jargon about a specialized topic (the statute), a collection of nuanced fa
339.
by cvoss 3y ago
The brain's ability to do "shadow removal" is really impressive. You can see it happening in the final example depicted in the article. I think this ability is what was used to explain "the dress". It also comes up
340.
by cvoss 3y ago
> The Sistine isn't that good. Say, rather, that the poor experience of seeing it so hastily with so many other tourists is not that good. But the Sistine itself is that good. The popularity is warranted by the quality of the work.
341.
by cvoss 3y ago
Ah, interesting, I missed that detail. Yes, you may already be aware that there's a whole hierarchy of undecidable problems, where if you have an oracle for undecidable problem X, you may be able to decide an otherwise undecidable prob
342.
by cvoss 3y ago
Partially agree, partially disagree. Yes. Absolutely, Church-Turing is a claim not just about math and computation but about physics too, because any and all math "runs on" hardware or wetware or some other system that obeys the l
343.
by cvoss 3y ago
There's another limitation not mentioned in the article: Certain true theorems may be unprovable in the mathematical system we have, not because of a fundamental theoretical limitation of the system, but simply because carrying out the
344.
by cvoss 3y ago
The author should implement an error correction system, where 1) the result is withheld from the display until a second corroborating calculation comes in, and 2) if there is disagreement, request an arbitration from a third user whose job
345.
by cvoss 3y ago
The quotes from the chair of the board and from the president himself in the second paragraph of the article are very important. Neither concedes that Tessier-Lavigne's conduct disqualifies him from his position as a preeminent researc
346.
by cvoss 3y ago
It seems you would have to use the `unsafe` escape hatch for data structures such as linked lists, and externally verify that the implementation is correct. Which is better than the status quo of C++ where you are always in needed of extern
347.
by cvoss 3y ago
All true statements. However, it's conceptually easier to grasp the impact of 3% of my time when I think about what I can or cannot accomplish in a 1.5 week period, rather than a 15 minute period. Some 15 minutes are jam-packed with pr
348.
by cvoss 3y ago
I'm not so sure. To get a purer form of democracy to function well, you need the voters to be well informed on so many different specialized topics while also carrying out their day jobs. With a republic, we can elect people to take on
349.
by cvoss 3y ago
The question of power in American government is an interesting one. Much of the work of the Constitution goes into restricting powers to limited domains or balancing powers against each other. I think it is commonly held that the modern fed
350.
by cvoss 3y ago
> Can I specify that implementations of foo can throw no, some, or all exceptions? What would it even mean to write something like throws *? Analogously, if I have a function that takes a method as an argument, like a callback, how do I
351.
by cvoss 3y ago
> if your SELECT matched no rows, the state would be empty > UPDATE and DELETE are perfectly valid actions even without a state Some may call this a fun quirk :) but I'd call it a horrible mistake in the design of the system! It
352.
by cvoss 3y ago
Note: This isn't the TLDR of the article. These are proposed answers to the titular question that the author finds unsatisfactory for one reason or another.
353.
by cvoss 3y ago
The inevitable process of science involves raising questions that, at first, do not have answers. Publications are not exam papers where peer reviewers have the answer key. The process of science is also a communal activity, where one scien
354.
by cvoss 3y ago
You're are implicitly assuming something that cosmologists do not assume: that DM even exists. It is not assumed to exist. It is proposed to exist as an explanation for observations we have made. As such, the proposing scientists are f
355.
by cvoss 3y ago
To get one's head around the concept of an uncomputable number, you must come at it from the realm of uncomputable functions. I sometimes think of big-O computational complexity as a (finite) analogy for uncomputability. For example, t
356.
by cvoss 3y ago
And there's also the decision to use hour-aligned timezones. Why not half hours? Why not two hours? It's very much a conscious decision.
357.
by cvoss 3y ago
If you insist on categorizing `echo "hello world"` as the invocation, rather than the program, then what is the program under your categorization? I'll submit that it is the `echo` binary, which is a whopping 35kB on my machi
358.
by cvoss 3y ago
The only types available to you in this flavor of STLC are bool, bool -> bool, bool -> bool -> bool, (bool -> bool) -> bool, etc. Structurally, if `true := \x\y.x`, the simplest attempt at typing it would be `true : bool -&gt
359.
by cvoss 3y ago
I'm sure the typechecker is as simple as you suggest for GP's language; but not showing it at all makes for an unfair comparison with the article. But the evaluator? Without out the trick of notation that is [x/y] substitutio
360.
by cvoss 3y ago
The author criticizes some design choices made by the paper's authors as not being simple enough. However, in fairness to that paper, it's aiming for dependently typed lambda calculus and, for reasons of continuity of exposition,

More ›