Readit News logoReadit News
orbital223 commented on Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers   blog.edward-li.com/tech/c... · Posted by u/edwardjxli
kccqzy · 7 months ago
> Basically, you won't need those things 99.99% of the time

That's kind of my point. If you don't need a language feature 99.99% of the time perhaps it is better to cut it out from your language altogether. Well unless your language is striving to have the same reputation as C++. In Python's case here's a compromise: such features can only be used in a Python extension in C code, signifying their magic nature.

orbital223 · 7 months ago
I don't need my car's airbags 99.99% of the time.
orbital223 commented on Noise   noise.jake.fun/... · Posted by u/amadeuspagel
johnchristopher · a year ago
https://www.youtube.com/watch?v=64liF2VuLxI Ratatat - Loud Pipes

Almost there :).

orbital223 · a year ago
I got more of a Ratatat - Tacobel Canon vibe:

https://www.youtube.com/watch?v=use8dcTn4tI

orbital223 commented on SQL Tips and Tricks   github.com/ben-n93/SQL-ti... · Posted by u/regexman1
chipdart · a year ago
> If you’re still using a diff tool that can’t do sub-line diffs it’s time to join the 20’s.

I think you failed to understand what I wrote.

Leading comma ensures one line diffs, but trailing comma forces two-line diffs when you add a trailing argument. With trailing comma, you need to touch the last line to add a comma, and then add the new argument in the line below.

We are not discussing bundling all arguments in a single line. I don't know where you got that idea from.

orbital223 · a year ago
> Leading comma ensures one line diffs

It does not. It just moves the edge case to a different position: trailing comma has the "issue" when adding an argument to the end of the list while leading comma has it when adding an argument to the beginning.

Also, as pointed out by the other commenter, any decent modern diff tool will make it obvious that the change to the existing line is just the addition of a comma, which makes the difference basically moot.

Deleted Comment

orbital223 commented on Firefox on the brink?   brycewray.com/posts/2023/... · Posted by u/alexzeitler
encom · 2 years ago
In my opinion, Firefox has been at war with its own users for years. I finally had enough a few years ago, and switched to Vivaldi. Every Firefox upgrade was a gamble on what feature or functionality they'd remove or change this time, or what bone-headed UI design change they'd make. And every time there'd be a Bugzilla bug with a of horde users who just had their favorite feature removed, and every time, without fail, it would get arrogantly WONTFIXed and eventually locked. This cycle has repeated for most of Firefox's existence, but it has accelerated.

Vivaldi can customise damn near every aspect of its user interface. I can set up every menu how I want it. Remove things I done use, and move the most used item to the top. I can dock my tab-bar wherever I want. I can have a proper status bar. The list goes on. It's what Firefox should have been.

orbital223 · 2 years ago
This has been my exact journey, been using Firefox since before it was called Firefox, finally got fed up a couple of years ago and switched to Vivaldi. It's such a breath of fresh air not having to dread update notifications anymore.
orbital223 commented on Firefox on the brink?   brycewray.com/posts/2023/... · Posted by u/alexzeitler
smegger001 · 2 years ago
The problem Firefox has as far as I can tell is that the people in charge of the Mozilla organization would rather it be a social justice philanthropic foundation than a web browser and mail client maker and thus neglect their main product. And those they do have working on Firefox seem to want to remove features and play with UI.
orbital223 · 2 years ago
> and thus neglect their main product

Neglect would be a step up. It feels like they are actively trying to antagonize existing users.

orbital223 commented on Visa-free travel to Europe for U.S. citizens to end in 2024,requiring ETIAS form   npr.org/2023/07/27/119045... · Posted by u/drubio
chrisco255 · 2 years ago
No you're not. All that's required to be a naturalized US citizen is to be physically born in the U.S. Or to be born to U.S. citizen parents. They also do not do biometrics for driver's licenses. A bad, 4 year old driver license photo from the local dmv is quite different than having an international database containing irrevocable details about your physiology.

Among many lessons in history are the degree to which such details have been abused by those in power.

orbital223 · 2 years ago
> All that's required to be a naturalized US citizen is to be physically born in the U.S. Or to be born to U.S. citizen parents.

A naturalized citizen is someone who was not born a citizen and then becomes one. Both of your examples are of natural citizens.

orbital223 commented on Rust has been forked to the Crab Language   github.com/crablang/crab... · Posted by u/max_
jasonlotito · 3 years ago
> they just wanted to name their project "Rust Widget"

That's already explicitly covered by their trademark policy.

> Using the Rust trademarks in the names of non-commercial products like RustPostgres or Rustymine, or in the name of code repositories in e.g. GitHub, is allowed when referring to use with or suitability for the Rust programming language. Such uses may also include the Rust logo, even in modified form. For commercial products (including crowdfunded or sponsored ones), please check in with us to ensure your use does not appear official.

> They probably weren't trying to deceive anyone

That's the intent of the policy they oppose, so... /shrug

orbital223 · 3 years ago
> That's the intent of the policy they oppose, so... /shrug

There is a world of difference between "intent" and reality.

orbital223 commented on YouTube tests blocking videos unless you disable ad blockers   bleepingcomputer.com/news... · Posted by u/jacooper
deltree7 · 3 years ago
HN/Reddit : For years, "I'm happy to pay for services that has no/few ads".

Companies: Here's a ad-free version. Subscribe

HN/Reddit: Why are you asking me to subscribe? I hate this

orbital223 · 3 years ago
The rule of thumb according to youtubers is that 1000 video views is worth about $1 of ad share. Youtube's ad share is about 50%, so 1000 video views should be worth about $2 of ad money for Youtube. Youtube Premium costs $12 a month which is equivalent to 6000 video views per month or ~200 video views per day. If I'm on a very youtuby mood I'll maybe watch 10 videos in a day. So, best case scenario, paying for premium comes with a 20x markup.

So your conversation actually goes:

HN/Reddit: "I would love to just give you the money directly instead of watching ads in exchange for advertizers giving you money."

Companies: "Sure, here's the ad-free version. You have to pay 20 times as much as the advertizers do though."

HN/Reddit: "Wait, what? That's bullshit. Why?"

Companies: "Fuck you, that's why."

orbital223 commented on Is infinity an odd or even number? (2011)   math.stackexchange.com/qu... · Posted by u/layer8
FabHK · 3 years ago
Sure they are. You can define a one-to-one mapping, they're equal.
orbital223 · 3 years ago
You can define a one-to-one mapping between the sets {1 2} and {3 4}, but I don't think anyone would say they are equal.

u/orbital223

KarmaCake day201December 8, 2017View Original