MaxRegret

9 ms·

1.
by MaxRegret 3mo ago
Is your position that the term "proof by contradiction" should not be limited to proofs of ¬¬P followed by double negation elimination, and should instead also encompass proofs of ¬P that start with "suppose P, for contradict
2.
by MaxRegret 3mo ago
Would you care to enlighten us about any of the subtleties of intuitionistic logic that make this a shibboleth, rather than a reasonable view of what a proof by contradiction is? I agree with what you say about mathematicians, being in an a
3.
by MaxRegret 3mo ago
Also, proving ¬P by assuming P and deriving a contradiction is not "proof by contradiction"! That is just how you prove negations — ¬P is often taken to be syntax sugar for P ⇒ False. It's only proof by contradiction if you p
4.
by MaxRegret 8mo ago
You probably know this already, but the problem isn't remote desktop into a logged-in session (krdp supports this) but rather logging in remotely into a headless server without a local session running. This is slightly more complicate
5.
by MaxRegret 8mo ago
The things that "start going really wrong" are listed immediately after that quote, and have nothing to do with the drop-off trajectory. Epic had problems with the ground stations they were using to communicate with their spacecr
6.
by MaxRegret 11mo ago
Passkeys are a public/private keypair, where the service you're authenticating against has the public key and your browser has the private key. To authenticate, the browser demonstrates that it has the private key by signing and r
7.
by MaxRegret 1y ago
It turns out the acidic environment in most beverages inverts the sucrose in cane sugar to form a 50:50 mix of fructose and glucose. In the end, the fructose/glucose ratio in cane-sugar-sweetened drinks becomes similar to high-fructose
8.
by MaxRegret 1y ago
In this case, multiplication by any nonzero fixed element of the ring is an injection from the ring to itself. Any injection from a finite set to itself is indeed a surjection (and so also a bijection).
9.
by MaxRegret 1y ago
Steve Mould just released a video about the microscopy technique that was used to capture this 3D relief of the painting: https://youtu.be/o-dZKBwbsis
10.
by MaxRegret 2y ago
Don't forget Pandoc!
11.
by MaxRegret 2y ago
Zotero has a beta Android app [1][2]. I haven't used it, so I don't know if any functionality is missing. [1] https://play.google.com/store/apps/details?id=org.zotero.and... [2] https://forums
12.
by MaxRegret 3y ago
That's what C++ does because it has no way to ensure that you use the atomic reference counts in multi-threaded code. But, as the author writes in the blog post, Rust can in fact ensure this. So it lets you to use the more efficient no
13.
by MaxRegret 3y ago
I remember flying VOR radials in Microsoft Flight Simulator 5.1, released in 1995. It came with a printed Pilot's Handbook [1] that included IFR procedures, explained how navaids work, and included various sectional charts. [1] https:
14.
by MaxRegret 3y ago
Desktop applications can continue to use the X11 protocol, but then they'll be talking to the Xwayland server, which in turn Wayland to actually draw its clients' windows on the screen. But it's preferable to have application
15.
by MaxRegret 3y ago
You're right, the real problem with predicting trajectories through those "keyholes" [1] isn't solving the dynamics equations: our numerical integrators are more than good enough. The problem is we can't measure the
16.
by MaxRegret 3y ago
Yes, indeed! The actual rate of heat transfer is equal to the temperature delta divided by the thermal resistivity of the body-environment interface. So, to keep your body temperature constant, the temperature delta needs to be your metabol
17.
by MaxRegret 3y ago
The human body is producing about 80 watts of heat just from basic metabolism (unless you're dead) which you need to dissipate to keep your body temperature from going up. The rate of heat transfer out of your body is proportional to t
18.
by MaxRegret 3y ago
Falcon 9 was designed from the beginning with safety factors consistent with human-rating, rather than the lower safety factors required for cargo (1.4 vs 1.2 if I recall correctly). And with the very first cargo Dragon flight in 2010, Spac
19.
by MaxRegret 3y ago
It's hard to pin it down to just a couple of things, because I came across SICP early in my programming life and it changed so much of my approach to the art. But here are a couple: 1. It taught me to think of programming languages as
20.
by MaxRegret 3y ago
I think the user-friendly way to make programming less one-dimensional is what we usually do, outside of shell pipelines; give names to intermediate values: do x <- computation1 y <- computation2 x computation3 x y ..
21.
by MaxRegret 3y ago
I think the article is an attempt to make your idea more precise. What if monad 3 could use the result of monad 1, not just monad 2? Then you couldn't write that computation using your pipeline metaphor. The article is saying that by j
22.
by MaxRegret 3y ago
I agree that it would be interesting to learn what non-strong monads look like. But the blog post does (implicitly) answer some of your questions: It says that all monads in the Set category are strong. That would include Haskell monads, at
23.
by MaxRegret 3y ago
Yes, Starlink satellites have inter-satellite laser links that can provide connectivity even if there's no base station nearby. These have been active since November 2022 [1]. They were supposed to expand coverage to most of the Arctic
24.
by MaxRegret 3y ago
Negentropy? This is a concept in information theory, but maybe also in physics.