Viewing profile — MaxRegret

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 …

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…

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 ⇒ Fal…

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 l…

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 …

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 demonst…

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-…

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…

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

Don't forget Pandoc!

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] ht…

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 e…

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 w…

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 sc…

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. …

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 temperat…

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…

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…

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…

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 ...turning a one-d…

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 …

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 Se…

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…

Negentropy? This is a concept in information theory, but maybe also in physics.