Not an expert by any means, but I'd guess that has to do with the distinction between being on top of something, and having boarded something. You are on top of a (small) boat or motorcycle, but within a car. These examples refer to position. You can be both in or on a bus, plane, or yacht, because you have boarded the bus, plane, or yacht, and thus are "on" it, but are located physically within the vehicle and so are also "in" it (in the case of a yacht, that may depend on whether you're inside it or on top of it). These examples refer to both position and state of existence.

This is totally conjecture so I'd be very curious to hear from an actual expert.

4mo ago

We all know grammar Nazis. What incorrect grammar are you completely in defence of?

Jump

Tekhne @sh.itjust.works 4mo ago

I'm shocked no one else pointed this out. This isn't a rule of grammar — this is a style rule, which isn't actually part of the English language. Different style guides recommend different things. This happens to be specifically delineated by American/Canadian style guides vs British/Australian style guides; however anyone could publish a style guide. If USA Today decided to make and publish a style guide that they used in their articles that said there should be periods both within and after a quote, that would be valid by that styleguide.

4mo ago

How is dating with your mental disorder if you have one?

Jump

Tekhne @sh.itjust.works 4mo ago

As someone with a mental disorder, I prefer DD(YY)MM

4mo ago

Good Morning

Jump

Tekhne @sh.itjust.works 4mo ago

Do you say hetips for HTTPS?

No but now I want to start (though I'd go hittips instead, and its insecure alternative, hittip). HTTPS has always been a mouthful lol

5mo ago

Learning to program in rust

Jump

Tekhne @sh.itjust.works 5mo ago

The last language I learned was Rust, I did a mix of the two. I read through the canonical Rust book and then got to coding because I learn more deeply when I can apply what I've learned. It's still a tricky language to keep a conceptual model of in your head though.

5mo ago

Share a script/alias you use a lot

Jump

Tekhne @sh.itjust.works 5mo ago

I have the same but it's called "please"

6mo ago

People of Lemmy, what does your egg carton look like? No fair changing the setup for the picture.

Jump

Tekhne @sh.itjust.works 6mo ago

Oh yay I get to post the relevant XKCD! https://xkcd.com/2408/

6mo ago

Are IDEs really like this ?

Jump

Tekhne @sh.itjust.works 6mo ago

No, it only has an integrated html previewer. They removed the full integrated browser because it was unnecessary and an actual browser did the trick

7mo ago

Tell me the truth ...

Jump

Tekhne @sh.itjust.works 7mo ago

Are you telling me that no compiler optimizes this? Why?

7mo ago

coding

Jump

Tekhne @sh.itjust.works 7mo ago

Nothing you've said is wrong, but (at least in the screenshot) the OP didn't say anything about it being used in anything official. It's a relatively common term in everyday language thanks to medical dramas which use coding a lot, and it's even in the Merriam-Webster medical dictionary.

Not to invalidate what you've said! Just pointing out that it not being used in official contexts doesn't make it nonsense to use elsewhere, like on some forum.

7mo ago

What helps people get comfortable on the command line?

Jump

Tekhne @sh.itjust.works 7mo ago

Maybe controversial, but the fish shell. I know it's not strictly bash syntax, but the OOTB features are just so user-friendly. The most helpful features for learning: the autocomplete (with descriptions of subcommands and flags!) and the fuzzy history search.

I write bash scripts all the time, and am significantly more knowledgeable than anyone else on my team (admittedly frontend) because I got comfortable in fish.

9mo ago

Discord going public. Plz help a future refugee.

Jump

Tekhne @sh.itjust.works 9mo ago

Oh hey, you're totally right, that's crazy. I use Beeper (hosted matrix setup) to aggregate my chats and I guess I've always been using that to search across all servers without realizing. Fully thought the DM search would also search across servers.

DMs are definitely also another case though - you can't easily DM people on another server if that requires you to log into another server.

9mo ago

Discord going public. Plz help a future refugee.

Jump

Tekhne @sh.itjust.works 9mo ago

That's still not a solution. That entails non unified communication, access, and search. Making it easy to log in to others still doesn't solve easy sharing between others. Also oauth2 is a pain to set up, and many people hosting their own instance aren't going to bother.

9mo ago

DAE feel like DuckDuckGo is now just as good as google for the vast majority of searches?

Jump

Tekhne @sh.itjust.works 9mo ago

You can do a lot of sites! https://duckduckgo.com/bangs

9mo ago

DAE feel like DuckDuckGo is now just as good as google for the vast majority of searches?

Jump

Tekhne @sh.itjust.works 9mo ago

I have the same situation. DDG has a feature where you can write "!g query" and search for "query" on Google. I use that as a fallback whenever DDG fails to yield good results - it's super easy!