Bolt

joined 1 year ago
[–] Bolt 21 points 4 months ago (10 children)

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

spoiler

        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

[–] Bolt 5 points 4 months ago

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.

[–] Bolt 10 points 4 months ago

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.

[–] Bolt 4 points 4 months ago* (last edited 4 months ago)

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.

[–] Bolt 4 points 5 months ago (1 children)

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.

[–] Bolt 19 points 5 months ago (11 children)

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.

[–] Bolt 5 points 5 months ago

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.

[–] Bolt 3 points 6 months ago* (last edited 6 months ago) (1 children)

Is that extra soft tofu? It usually has more protein than that. A pack of extra-soft I have is 8g / 100g, and some other varieties seem to be 10-15 from online sources.

[–] Bolt 12 points 6 months ago (2 children)

That seems reasonable, given they presumably use the price for dried beans as well. When you care about price (and therefore about about a price/protein graph) you buy beans dried.

[–] Bolt 22 points 6 months ago

Probably somewhere around the legume cluster. They're really pulling their weight there, as expected, though peanuts are quite the dark horse.

[–] Bolt 1 points 6 months ago (1 children)

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.

[–] Bolt 1 points 6 months ago (3 children)

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

25
Current State of Proton? (self.protonprivacy)
submitted 8 months ago by Bolt to c/protonprivacy
 

I'm looking to reduce my dependence on Google services as much as possible, and Proton seems to offer the most comprehensive private suite. A number of things seemed to be missing, but most of my information is from reviews that could be out of date. So I wanted to ask which of these features Proton can replicate.

  • Thunderbird mail syncing (without paid plan?)
  • Thunderbird calendar syncing
  • Calendar sharing
  • Easy move from google drive to proton drive
  • Sync android photos like google photos
  • Offline file saving for specific files in proton drive on android
  • Sync with folder or mount on linux (smb or similar)
12
submitted 1 year ago* (last edited 1 year ago) by Bolt to c/selfhosted
 

I have a number of services I'd like to host, and an old laptop with some of them set up and working on my network.

But I currently have a Google router, and the Google home app doesn't seem to let you port forward. The "Port Management" option in Advanced Settings redirects to privacy settings.

There's one port I forwarded before the app broke a few years ago, but I don't suppose it's viable to run multiple services through a single port.

Is there a workaround, or am I stuck until I can get a new router?

Update: After more troubleshooting it seems like this is caused by the more fundamental issue of the app not communicating with the network at all. If anyone has ideas for troubleshooting that problem, advice would be very appreciated.

8
submitted 1 year ago by Bolt to c/liftoff
 

Is there a way to jump to the post where a reply (seen in notifications) or comment (seen in profile) was made?

view more: next ›