Bolt

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.

I'm probably more of a git noob than you, but I do usually use the cli. I figured if I'm going to give a gui editor an honest shake I should try to do things the inbuilt, gui, way. And more to the point, I do appreciate a good user interface with information at a glance or click instead of having to type out a command each time.

Very first impressions since I literally just downloaded before writing this, and haven't read the manual, I may change my mind with more experience.

• It's incredibly snappy, to my eyes as fast as Helix.
• A lot of stuff that took me a while to figure out in VS Code was immediately obvious. How to toggle inlay hints for Rust? Parameter Icon > Inlay Hints (with the keyboard shortcut there for easy toggling).
• Interactive is generally intuitive because it seems pretty permissive. Tab vs Enter to autocomplete? Either! ctrl-shift-Z vs ctrl-Y to redo? Same thing!
• After being so used to Helix I often reach for keybinds that don't exist. I might have to learn Vim keybinds because I'm definitely going to keep trying Zed.
• Not sure how I feel about what seems to be an inline discord-like chat/voice-call feature.

Going to check out if there's git integration, because I couldn't easily find it.

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.