skysight-inc/HackerNews huggingface dataset:
The philosophical argument in the Ruby community is basically that Ruby is not a statically typed language, period. And a strong contingent, myself included, do not want a hybrid world where type annotations are optional, spattering redundancies all over our syntax. Mostly because I see that as a step in the direction of some kind of "strict" mode that will ultimately enforce type annotations and type-checking and destroy most of what I love about Ruby.

That's why the approaches being used keep the type annotations out of the source files themselves.
Good Process vs. Bad Process
Well, he still doesn't use UEFI. He could, it has been available for more than decade (i.e. better part of those 15 years), so the procedure didn't change because he has chosen so.

Not that it is a bad thing, some people do prefer that kind of stability. But then, why complain about that?

Btw, Intel did plan to remove CSM (legacy BIOS compatibility) with Tiger Lake and require UEFI class 3. We will see if they will follow through. Then the procedure WILL change, and we will hear from people who didn't expect it.
Why does every econ paper these days read like a high-energy physics paper? I feel like I am reading about field theory, not econ.
That's why you should be careful when using dist-upgrade or full-upgrade. safe-upgrade wouldn't remove packages.
If you have the energy to distill a large proportion of the earth's atmosphere you have enough to crack the O2 from the C and not mess with plants etc.
I have not once, in all the years of hand-wringing over "cancel culture," seen a rich person made poor, or a famous person made obscure, by "the mob" finding old tweets and publicizing them.

Not once. For all the power the mob has to ruin lives, you'd think there would be lives ruined -- not mildly inconvenienced or temporarily embarrassed.
How to prepare for a post-IDFA world as a marketer on iOS 14
Sorbet's FAQ seems to say otherwise.

https://sorbet.org/docs/faq#when-ruby-3-gets-types-what-will...

> Ruby 3 has no plans to change Ruby’s syntax. To have type annotations for methods live in the same place as the method definition, the only option will be to continue using Sorbet’s method signatures.
Same reason you see Netflix's homepage.

When logged in, Youtube.com shows you a mix of new videos from creators you watch and related/recommended videos in the effort to provide you something you will probably want to watch. So I go there when I'm in the mood to watch something, perhaps while eating dinner.

And it works. If you want to see how ineffective it would be just looking at a list of popular videos, view the horror that is the trending tab.

https://www.youtube.com/feed/trending
I have requested several refunds by reporting a problem saying that the app didn’t work the way I thought it would. Automatically approved and refunded.

Takes like 10 seconds.
Thanks for feedback, yarsanich!
Perils of YouTube Recommendations
Oh absolutely, but it does seem like they prefer to genuflect to open source / free software ideas and it seems less distasteful to give a more tactical answer.
PyPy is faster than vanilla Python but it's not really built the same way as modern JavaScript engines and likely can't hit the same perf level.
Half of Nobel prizes in science go to just five research fields
You should check https://www.shadertoy.com/, you will be amazed :)
I wonder what percentage of TypeScript users write their types inline, and what percentage of users choose to write separate .d.ts files for each of their source files.

My guess is the latter is vanishingly small – that it's pretty much only done for libraries that were written before TS was a thing – so I wonder how things will go in Ruby.

Maybe everybody will just standardize on third-party tools like Sorbet which allow inline typedefs, or use types a lot less, or hook up a "regenerate inferred .rbs on save" workflow in their editor, or just switch between files a lot.
> The more people willing to do that, the faster the spread will stop.

I've seen this line of thinking a few times, usually in reference to self-quarantine and/or wearing a mask, and it doesn't really make any sense to me. This particular virus being novel and so contagious means there's really no hope of stopping its spread, right? It seems the best we can hope for is to slow it down enough that our healthcare system is able to care for the acute cases properly while also concurrently tending the needs of other illnesses/injuries.

I think the messaging around why we are quarantining and wearing masks has been very confusing and its leading people to hope for things that are literally not possible at this point and encouraging unsustainable behavior.

You might be able to write off a year of staying in your home if you believe the following years will allow a return to normal, but is every high risk person prepared to spend the rest of their lives in their current housing? I'm finding way too many people who seem to think this is going to "be over soon" if the general public does a better job following the guidelines but that doesn't seem realistic. It seems much more likely we're going to see this thing continue for years (3+) to come.
>it's a Netflix movie, not a X director movie on Netflix

The Irishman and Da 5 Bloods are very much a Scorsese film and a Spike Lee joint.
Buy Mobile Traffic – Trageted Mobile Traffic
I'm really loving how this is intended as a starting point, so that the community can continue to build and explore on top of it. Feels very Ruby Is Nice, So We Are Nice.
People absolutely do not agree on what "a liberal" would believe in. Hell, to some people, it's nothing more than a slur.

Also, the reductive "then we should toss out the word 'logic' then!" kinda comes off as a tantrum, to me. I don't really get the point. Why not focus and possibly disagree with the suggestion that nobody agrees on what "a liberal" means?

If you try to switch the argument to your analogy, then you're going to spend more time defending and explaining your (nonsensical) analogy than you would just explaining where you disagree. For example, you'd have to start explaining why you think people disagree about the word "logic", something I've never encountered.

Not a very effective strategy.
The bigger question here is what about China? We all (those of us over 35) assumed that as they industrialised, they would gradually become democratic (in the sense of elections but also of human rights and rule of law). That's clearly not the case. The CCP seem to be more firmly in place than ever...
Virtual “Administrative” Assistance for small businesses
Secure boot should not be trusted.

If you want to be secure against evil maid attacks, use full disc encryption and keep the bootloader on a usb drive on your person.
I wasn't aware that OctaneRender was actually a large portion of the Hollywood and TV studio segment.
This is anecdotal, but having grown up poor, I can tell you that the research is perfectly applicable in the first world.
This isn't just about Types, per se. Ruby has types all over. You can't write Ruby without them.

This is about Static Typing and Type enforcement, in the context of a language that holds flexibility and meta-programming as high values.
Zip Bombs vs. Windows
It's actually spelled bite ;)
Modern JS engines have a multi-tier structure and profiling info that lets them choose what to JIT and which point on compile speed vs runtime speed tradeoff space to take for any given chunk of code. The post covers a lot of this.
Why don't you think it qualifies? You have an inventory, you have money and buy items, you advance your character (not through experience points, but through finding secrets and beating major enemies).

What specifically do you think it's missing?
You're absolutely right. The hopeful "secession has often worked" idea founders on many many cliffs here.
Marissa Mayer ruined Yahoo
When they sponsored ‘The Last Dance’ on ESPN, they referred to themselves as The Facebook Company. I thought that was interesting.
Unbundling Data Science Workflows with Metaflow and AWS Step Functions
>> text documents

Congrats on the launch! Would Humanloop be able to support HTML files or URLs? A client of ours has a need to annotate verbose web pages.
In Audible’s case, they’re already selling access to a recording in perpetuity; your examples are all live performances. There’s a colorable distinction here, and there’s no need to force people to make recordings if they don’t want to.

A harder question is where the line between these two regimes should be: movie theaters and television stations are generally treated like performances despite showing recorded content. Netflix acts like a rental company: when you drop your subscription, you lose access to their library.
Treating it as a starting point is, I think, the best justification for putting them in separate files. I don't quite like the idea of having them in separate files, but at least that way replacing it or evolving it without breaking peoples code-bases will be easier.
What is the current development status of Pypy? I haven't heard much about it in the past couple years.
But let me play a moderate and ask you:

Are you an HK secessionist or merely seeking to delay / live out what was promised?

I.e., are you merely advocating for Hong Kong to peacefully continue the rest of its 20 years before full handover to China, under the system they've been used to? This is what was promised -- and you don't want China to prematurely erode HK's civil liberties?

Or are you seeking Hong Kong's independence, and a nullification of the treaty that was agreed to?

Because if you agree that the territory belongs to China, then we're just unhappy about it coming sooner than expected, right? It eventually would revert to China and have all the infringement of rights, which are now just being experienced sooner.
> They didn't, though! That's what's confusing me.

Sure they did. It's the 5th paragraph in the post:

"We defined a new language called RBS for type signatures for Ruby 3. The signatures are written in .rbs files which is different from Ruby code. You can consider the .rbs files are similar to .d.ts files in TypeScript or .h files in C/C++/ObjC. The benefit of having different files is it doesn't require changing Ruby code to start type checking. You can opt-in type checking safely without changing any part of your workflow."
Those are not necessarily at odds. Amazon does not want to collapse the US. If it did, it would collapse too.
So you can't. Got it.
How a Chinese agent used LinkedIn to hunt for targets
I always love reading more about JavaScriptCore internals although I have to confess that much of the time one of the main lessons I get from it is that life would be much easier if we had types and didn't need to speculate so much in the first place.
> Typing very occasionally prevents bugs that are generally easy to catch/fix or show up straight away when running an app.

This is not true. You could paint almost every language feature aimed at producing correct software in this way: "writing tests makes me type more, and they catch very few bugs that would have been shown when running my app anyway". (Or, as an ex coworker once told me, "I don't need to write tests because I never have any bugs").

And what are types if not a kind of test/proof that the computer writes for you?

> And it slows development down.

There's a software development adage that goes like this: "I don't like writing tests, because they make me waste time I need to fix bugs on production that weren't caught because I don't write tests."
Maybe try 'Nonsense!' as the response?
I find the claim that non-fiction writers are all effectively hobbiests to be less-than-compelling. Non-fiction and fiction alike (at least the good stuff) requires a large amount of research, time that's built into the 6 month figure I put above (and some good writers are even slower than that, even full time).

> they can remain amateur and fund it from pocket to make that happen don’t you think

Sure - I think it's entirely possible. Even for a confident full time writer it's possible. But - and this is the core point - I have a hard time blaming them for taking the money for their hard work. Same with OSS developers. I have a hard time blaming OSS developers for taking hundreds of thousands or millions of dollars in buyout deals, or in salaries as they write OSS code on behalf of a company.

Passion doesn't fill your pantry with food.
I thought that's what gimp 3 is supposed to be?
> On the other hand, RBS as hand-written seems rather dangerous, to me. Nothing wrong with using them to define previously-untyped external code, as long as you know the caveats, but I think you really want to have definitions generated from your code.

Isn't the point that you run the type checker on your own code and it checks that it implements the signature correctly? Having a mismatch between the code and the signature will give a type error. How is this different from how Sorbet works?
Zelda was pretty much the standard for "Action RPG" until the Souls games overshadowed it.
I just bookmarked this HN thread on pinboard which I've been using since 2011. I had used Delicious since 2007 or so until it got too painful to do anything.

I'm thankful for pinboard. I wish there would be an equivalent for Google Reader and RSS too :)
I would be interested in if we could separate "nonsense" questions ("How do you sporkle a morgle?") from unknowable but sensible questions. ("Will it rain in San Francisco on July 5 2025?"). Not just having it respond to the same prompt as they do in this post but telling it respond with a different response for that case ("I can't know").
Are you asking what people would be able to use $250k for?
It’s why I prepended off topic on the post. There is no way I could do that day in day out and I’m faster than average on a bike.
He reluctantly moved back after his boss got yelled at.
You can hire a professional to record an audiobook for $200-$300 per finished hour all in cost, there are some cheaper rates available. A 90k word book, should be about 7.5 hours since the usual reading pace is about 12k words per hour. Recording the audiobook should be about $1500, and you'll need to pay for cover art rights and some modest design work. All in production costs for audible of about $2k.
I just worry it's going to be abused, though. E.g. I've worked with more than one Ruby code base where someone did a kind_of? check and threw exceptions if it didn't get what it wanted even though the actual type required was anything that implemented a given method in a reasonable way for no good reason.

I hope people keep the type annotations sparse, and allow the tools to infer it unless they're prepared to link long and hard about the minimal restrictions that are reasonable.
How hard is it to imagine that you need to keep 2 files in sync, and that you can't type anything inside a method.

I was even hoping to use ruby as a main language having used it before but I'm about to lose any interest in the language when its reality is a bit decoupled from the rest of the world.
I think the debate is whether or not these companies are monopolies that need to be trust busted.
Scientists trace source of Stonehenge boulders [sarsens]
Sarajevo: Jerusalem of Europe
> It's uniquely online processors that do not refund fees.

It sorta makes sense, since the online processors are usually middlemen that only make money on the fees they themselves charge. I could see their perspective being "we provided the service; that service is not un-provided because the customer returned the item and you sent them a refund... in fact, you used us even more because we had to mediate the refund transaction!"

I think if the fees were just a few percent, I wouldn't have too much trouble accepting that logic, but from Apple, where it's 30%... not so much.

The card issuers don't care quite as much about keeping the fees in a refund scenario, I guess... though I believe you don't get everything back during a refund, regardless.
The Apple ecosystem with its amd graphic cars and future Apple Gpu card seems to be a fight. Or at least maintain certain software not totally all cuda all the way down. And also the gaming with amd dominates both gaming platform.

Really do not want just one players. And hope the high level plays have more completion.

Still interest in Taiwan part. Purely from economic point of view. How secure are we ok that front, if all eggs are in one basket. Hk is fallen. Taiwan or South China Sea is in play. That will affect the supply chain.
Where was the location?
If your type definitions are 3x longer than the functions implementing them, something is wrong. In languages with complete type inference, you actually don't have to write types at all if you don't want to, though in practice you end up doing so to clarify your intentions.

Static types do make certain classes of bugs impossible, like missing method bugs, typos, and the like. You can eliminate a large group of defensive programming techniques and trivial unit tests that you would need in a dynamic language to ensure a similar level of confidence in a program. Obviously they don't make all bugs impossible, there will be bugs as long as there are programs, because we write programs without perfect knowledge of the requirements, and this is an unavoidable pitfall of software.
I don't think Ruby 3 itself will provide a typechecker, just a standard for type definition file formats. You have to use a third-party tool, like Steep or Sorbet, to do the type-checking – and Sorbet at least does support inline type information. See more at my comment here: https://news.ycombinator.com/item?id=23991258

You won't need to use the header RBS files at all (types are optional in any case) but you'll likely want to use Sorbet or Steep to generate them if you're sharing your code more widely, since community tooling like YARD will probably use those for code navigation.
The current state of Crystal is basically a language for PoC during the week-end, it's far from being ready.

I could go on about what's wrong with the language but:

It's not stable, API change all the time, breaking change all the time, cryptic errors, lot of missing basic features, IDE integration etc ...
Online Platforms and Market Power
Gilbert Levin might disagree.
It recently lost half its users.
> This patch not only adds the capability but also adds a site-specific quirk for
the family of Kinja sites so that no previous user interaction with kinja.com
results in a login popup for kinja.com.

> No new tests. This is for site-specific quirks.

> dom/Element.cpp: (WebCore::Element::dispatchMouseEvent):

> Just a change in the call into the quirk function.

> page/Quirks.cpp:
(WebCore::Quirks::isKinjaLoginAvatarElement const):

> Convenience function for telling if the given element is the Kinja login avatar.

> (WebCore::Quirks::triggerOptionalStorageAccessQuirk const):

> Now takes the whole Element to be able to look at both classes and attributes.

Yep, that’s strange
Type issues are 0% of your Ruby bugs because you're not using a typechecker. I guarantee you have type errors somewhere if your codebase is large enough.
> If you want to have the conversation that there should be laws breaking up creation and distribution and making exclusive distribution illegal, then go ahead

To begin that conservation, briefly, let me propose that the law should say that once annual sales of a media work are less than, for example, 10% of the peak number of annual sales for that work (in any year so far), any exclusivity deal should become void.

How that would apply to media works that are locked to a specific format (i.e. console games) is less clear. Perhaps if you are porting a game from Nintendo to PC, you should have to change all the trademarks, so that any bugs introduced by the port are associated with the PC version rather than reflecting badly on Nintendo.

There would probably also have to be very careful accounting of how much money went into the creation of a media work, so that a fair price could be set for an independent distributor buying the rights to distribute it.
One thing I've learned from running a bookmarking site is that people have vastly different experiences and practices with re-finding stuff online, which sometimes makes it hard not to talk past one another. It turns out the way we remember, find, and re-find stuff is very idiosyncratic, and the success of it depends a lot on the subject domain.
NetNewsWire is great:
That's only if you rig it by choosing the market to make it turn out that way. They aren't a monopoly in every market they are in. They're monopolies in specific markets. No company has ever been a monopoly in general, except perhaps the Soviet state but even that isn't strictly true.

Search? Google. Online retail? Amazon. Video hosting? Google.
> most of what people do with PHP isn't CPU bound

... cause it's I/O bound? Just curious.
I was watching some motorcycle videos overseas, and of course liked (button click) them. This then had my entire channel filled with languages i dont understand.

The fix is to remove all liked videos, problem, I had over 15,000 liked videos over decades(s?) of use. I finally found a howto, a script to run in chrome to remove all my likes.

Also I have an addon that lets me put channels into categories, addon called PocketTube. It lets me see unfiltered access to my channel choices, and youtube hates its direct access and if I open a video in a new tab, it prompts me for a captcha. I've ended up watching youtube in a VM with a VPN so I can change locations due to youtube's heavy handed behavior. I also will just copy the URL and watch on my desktop.

Really, youtube content is vast and un-navigable, they filter results, show in the wrong default order, wont remember settings of order, removed language choice filter.

The 80/20 rule, or top 10%, Pareto principle, whatever you want to call the cream on the top problem. The problem is small popular percentage of content. Youtube is pushing popular videos, and you miss out on all the lower popular videos, hiding 80% of the content, many new creators go unnoticed and unviewed.

There is a demand for a front end portal, that runs unfiltered but allows search controls, skip popular, view ascending order of all content, view by category only, be able to exclude content, exact search phrase allow, no shadow banned or hidden content rules, no white list rules (by default).

I cant be the only one tired of facebook/google/twitter showing me what they think I want, i didnt ask them to be my parser of content, just because I use their service, as its the only game in town, I still dont want spoon fed content.

Same problem with podcasts, a search function vs a browse directory. There are so many podcasts, and most places give you the top 10 podcasts per search.

I think a unfiltered directory of content providers (any platform), tired with advertising, crowd funding, etc would re-open the internet of new content, and take back the controlling behavior of mega corps.
>Or what about a Broadway show that doesn't have a recording?

I was lamenting (in the context of Hamilton) that relatively few Broadway shows--or, really, theater of any kind--have video versions available, even straightforward one or two camera versions.

I expect it's mostly some combination of rights and a desire not to diminish the somewhat exclusive nature of live theater. The main exception I can think of is opera mostly because of The Met Live in HD although there are a few others like The Globe (of course, Shakespeare's plays aren't under copyright).
A common problem is when you half-remember something on reddit. You can either then search within your own bookmarked reddit links, or try to dig through their entire site.
Maybe the trick is to be your own boss, risk your own personal wealth, and not try “getting away” with stuff at your job.