User23

34 ms·

271.
by User23 2y ago
Is there a good explanation of how that isn’t just measuring the expansion and contraction of a ruler with itself? Don’t we know the reactor is 2 billion years old because of radio dating?
272.
by User23 2y ago
It’s still something of an open question whether or not G is actually constant. Not only that, but the results differ depending on whether atomic or dynamical time is used! In the latter case no change is measured using lunar reflectors.
273.
by User23 2y ago
This is a great submission. The logic for taming unbounded nondeterminism has been around for decades though. As Dijkstra and Scholten admit, it’s basically just applied lattice theory. In fact, at a glance, this paper appears to be buildin
274.
by User23 2y ago
The Emacs replace command[1] defaults to preserving UPCASE, Capitalized, and lowercase too. [1] https://www.gnu.org/software/emacs/manual/html_node/emacs/Re...
275.
by User23 2y ago
I’m confident that hysteresis prevents truly efficient markets.
276.
by User23 2y ago
No, but agreement with priors is one way one might choose between possibilities. For example suppose you go outside and the streets are wet. Perhaps it rained, or perhaps someone drove a fire truck around spraying water all over the streets
277.
by User23 2y ago
Ah yes, Parkinson's Law. (defun parkinsons-law (k m p n) (/ (+ (* 2 (expt k m)) p) n)) Where: The retval is the number of new employees to be hired annually k is the number of employees who want to
278.
by User23 2y ago
Did it ever occur to you that perhaps that could be part of why they are in fact wealthy?
279.
by User23 2y ago
Austerity for thee, but not for me.
280.
by User23 2y ago
The usual way—boiling water.
281.
by User23 2y ago
Having the man have to fight from inside a hole is a pretty clever handicap to even the odds.
282.
by User23 2y ago
Traffic deaths have surged with the post 2020 decrease in enforcement. Cars are dangerous and bad drivers kill people.
283.
by User23 2y ago
This makes me miss the Internet. It’s really hard to explain how wonderful it was pre-commercialization. The sour pleasure of having been exactly right about how that would turn out isn’t nearly satisfactory compensation for the loss.
284.
by User23 2y ago
> Is there a "fair use" defense to contract liability. NAL, but in common law jurisdictions and maybe others there can be various implicit terms to any contract, like fair dealing. Also if you can literally claim fair use, unle
285.
by User23 2y ago
Out of curiosity do you have any kind of argument or supporting evidence for your position or just straw men and snark?
286.
by User23 2y ago
Amusingly, I suspect that supporters of both the teleological position and the non-teleological position think Occam supports them. For what it’s worth, the only empirical macroevolution we’ve done, from domestication, to Monte Carlo simula
287.
by User23 2y ago
That LLMs are subject to the fixed point theorem and the recusion theorem is definitely an under appreciated fact.
288.
by User23 2y ago
I think this is a case of both. For example my parents did a remodel of a 19th century house and found a bag of glass catseye marbles in the ceiling.
289.
by User23 2y ago
I haven’t looked at lem in a while. I need to though. It and Nyxt are both really cool. Giving up the Elisp ecosystem will be hard though.
290.
by User23 2y ago
On similar lines I've wondered about reimplementing the C parts of Emacs in Common Lisp. At that point Elisp would be a hosted language, letting you benefit from all the existing packages.
291.
by User23 2y ago
Worse-is-better, it’s not just for operating systems. Or maybe management is just another operating system.
292.
by User23 2y ago
The problem with that is then in a hundred years old books are hard to understand. And in several hundred they’re basically incomprehensible. However for history zero there’s nothing quite like rigid descriptivism!
293.
by User23 2y ago
My Japanese in Japan friend says the S&B is legit. I get it online and then just toss whatever in the pot with it. Great way to use up extra vegetables plus whatever meat you have handy.
294.
by User23 2y ago
Here[1] is a write up from an expert. It falls into the class of accounting control frauds. [1] https://fcic-static.law.stanford.edu/cdn_media/fcic-testimon...
295.
by User23 2y ago
He should have read Bill Black’s classic The Best Way to Rob a Bank is to Own One.
296.
by User23 2y ago
> If you exclude the programmers who are incapable of writing FizzBuzz FizzBuzz really is trivial. Binary search on the other hand is deceptively tricky[1]. It was well over a decade from its discovery to the first correct published impl
297.
by User23 2y ago
Linotype didn’t come out of nowhere either. Printers used to cast type manually. And don’t just gloss over TeX’s astounding correctness. It’s a truly remarkable feat of the human intellect to design something so large with so few errors.
298.
by User23 2y ago
> Both mechanical design and electronic design are harder than program design. The number of people who did really good mechanism design is tiny. There were only two good typesetting machines, over most of a century - Merganthaler's
299.
by User23 2y ago
> This one proof, the work of a hundred mathematicians or so, is tens of thousands of pages long and took half a century to complete. Now compare that to google3 or any other large software. It’s absolutely tiny. A paltry edifice in comp
300.
by User23 2y ago
Dijkstra’s degree was in mathematics. And yes the average mathematical theory is indeed flat compared to a large monolith like google3.

More ›