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

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.

To poor for vegetables, lentils, beans, grains, and tofu? Meat imitations are currently expensive, but aren’t at all necessary.

Nah, that would have been a good thing to check though.

The app is saying that it can’t communicated with the device, and the Wifi is working fine, so It seems to be an app issue rather than a device issue. Do you have any insights?

I’ve tried factory resetting the router, and have reinstalled the app several times. I think I’ve gotten, if not to the source, than further down the chain.

1. Port Management requires cloud services, which is why it redirects me to the place where I can enable that.
2. However when I try enabling it, it is “Unable to save settings.”
3. I tried to “Restart entire network” which revealed that it is “Unable to communicate with your network at this time.”

And that’s the core thing I don’t know how to get around. The app can’t actually interact with the network. That explains why restarting the network hasn’t fixed it in the past. I don’t understand how it could be an issue only I have though, since it happens regardless of reinstalling the app.

I have the same app version and my account has “Manager” permissions, which seems like it should be enough by the description.

Are there other types of permission?

Not OC, but my primary computer is currently at 79 after a bit over a year of use.

I was under the impression that they anonymized your search results within a week. How is that sacrificing privacy?