Pretty confident in my solve. The only ones I didn’t get myself were 20-down, 29-down (obvious in retrospect), and 21-across (inferred the word, but didn’t know the tool).

        N I X O S
        O     P   K     C P
G T K   O     E M A C S   R
N   D E B I A N   L   C L I
O N E     T   S   I   R   N
M         H   U     M I N T
E D I T O R   S       P     H
  O       E L E M E N T A R Y
  N U C L E I     A   I     P
L G     S   N     G E N D E R
  L S       U     L   G     L
  E         X F C E         A
L S       P     E   L       N
S       Z O R I N O S     C D
          P     T

Rust takes a lot of inspiration from functional languages, but I wouldn’t call it a functional language itself. But yeah, not suited to every application.

The idea that the use of the term “Man” is at all related to chromosomes, as opposed to how you interact with society. If you were talking about biological sex that’d be a cogent view, but even there there’s a ton of nuance.

That seems weird, the opposite position makes more sense to me. You can’t think of any possible economy where you could morally have two houses, and in this situation it’s somehow necessary? Could you elaborate further, because it seems reasonably plausible that there could be an economy with significantly more houses than households, to the point of warranting multiple ownership. And of all the things to call second house ownership (convenient, luxurious, smart, excessive, warranted), necessary isn’t the one that comes to mind.

It’s not on the border. The specturm line is under each trait. Though it’s absolutely ridiculous that they’re connected instead of being bars.

It’s not controversial to accept that all reasoning requires making some basic assumptions. You do understand that I’m just pointing out that a counter-argument exists and I don’t actually take it to be damning. It is the same as in all fields; there are assumptions. We assume non-contradiction and an excluded middle. This is reasonable because we can’t do much without the assumption. You can call it a properly basic belief. But that doesn’t make it objectively true. A person who doesn’t make these assumptions—if one exists—could be ridiculed, called less than nothing, even. Such a person could form no coherent views. So? I agree that all useful though must make these presupposition. But perceived utility does not a truth make.

Listing philosophers doesn’t do much. I’ll freely admit to not having read much of theirs, and I certainly won’t consume their corpora for an internet discussion. However I would be delighted to learn the mistake I’ve made, because I’m certainly no expert philosopher. If you don’t wish to continue, have a great day. If you do, I look forward to it.

Stating something doesn’t make it true. Your proof presumably relies on the past causing the future.

Oh sure, you can believe things without a sound proof (especially since even those must rely on assumptions). I was mostly trying to demonstrate that there are sincere counter-arguments to even such an uncontroversial belief. Would love to see your rigorous proof if you think you have one though.

I would challenge you to. Saying literally anything about the future requires an assumption that it is affected by the past (ie. that previous events cause future ones).

I mean there is technically no sound way to prove causality (at least to my knowledge). It all goes back to “It’s been that way before” which is fair enough, but not rigorous.

They’re talking about the desktop application.

Maybe there’s a cultural idea about mirrors being somehow “the same”. After all, a mirror shows the same thing regardless of which one it is. Or related in cultural mythology to a singular adjoining world that contains your doppelganger (in such media, you don’t usually have a separate mirror-self for every mirror, but one that can be accessed from any mirror). Also could be a turn of phrase that stuck without a good reason.

I couldn’t find a feature there either.

What do you find not great about mouse/keyboard GNOME? All the gestures I know have pretty simple mouse and keyboard equivalents. So far I just gesture three fingers up/down/left/right, which I can do on a keyboard with super/alt-super-left/alt-super-right or on a mouse with hot-corner/corner-click/corner-scroll. If there’s a gesture I’m missing out on please let me know, I always like to learn new tricks.

I haven’t had to use any application like that in a while, though I’m sure you’re right that they exist. Could you give me an example of an application feature that’s only accessible from the system tray?

I mean, two nuclear bombs were used in war and a bunch in testing, unless I’m forgetting something. I feel like tectonic activity could definitely be much worse than that, judging by the early earth environment.

1. Misalignment is a huge problem in any black-box system, not just in AGIs.
2. What would it look like for us to be close to AGI? I have doubts that we’re close, but it seems at least plausible.

I read it as pro-gyn-nova

• Pro: as in professional/effective
• Gyn: woman (from Proto-Indo-European *gwen), like in gynocology
• Nova: new (in many romance languages)

It rolls off the tongue and encapsulates three important aspects. I’m sure there are other readings of it too.

Fix the system, make a new system, buy discerningly. Have a garden if you can and advocate for more of them if you want. Fight against monoculture, irresponsible fertilizer and pesticide use, copyright abuse, and more. None of that is an irreplacable part of growing food at a large and efficient scale.

By the way, I’m curious about the Haber-Bosch figure. Isn’t that the process that allows us to easily make fertilizer, and greatly increase productivity? It seems like that 5% is doing much more heavy lifting than, for example, the ~20% from cow burps.