skysight-inc/HackerNews huggingface dataset:
Removing the GIL is easy. It's already been done with Jython and IronPython. No changes to python code is needed.

You do still need locks for concurrency, it's just that instead of a corse-grained global lock, you replace it with a bunch of fine-grained locks. Which is actually one of the sticking points with the proposal to remove the GIL. All those fine-grained locks actually impact performance for a single-threadded python programs.

The impossible problem is removing the GIL without breaking compatibility with the cpython API; There is a bunch of non-python code (mostly c/c++) that interfaces to python code with the cpython API and it's that code which breaks when you remove the GIL.

The proposals floating around don't actually fix that issue, it's more of a "let's break API compatibility anyway", allowing libraries to be updated the new API incrementally.

There are no issues with the halting problem here. It's really easy to detect at runtime if python code is interacting with c/c++ code via the old cpython API. Remember, the halting problem only applies to static analysis, not dynamic runtime checks.
yeah - let us do 10 images or something and then get a chance to advance if we get 8 right or something.
Is anybody using a pine phone to approximate this sort of experience?
So frustrating. Is there any way to migrate all emails out of gmail reliably on to another email service?
Moderators and content creators. The majority of Reddit users are lurkers. They never contribute anything, they don’t even comment.

The people who post all the links, all the pictures, all the text posts, all the most valuable comments (as opposed to the drive-by meme comments), these are the people most pissed off at Reddit. When Reddit loses them they will have nothing left.

All those lurker eyeballs they want to monetize will leave because they have nothing to look at.
> if I choose GPL today, I have poisoned that code from myself for the rest of my life

If you're the copyright holder, the terms of the GPL don't apply to you. It's a license that you give to other people. You can't revoke the license, of course. But as long as you haven't accepted contributions from other people, you can "fork" your own project and take it closed-source.

(I agree with your analysis in general. Most people don't understand the restrictions placed by the GPL.)
Ah, interesting to see where it came from (and the name now makes a lot more sense).
First, I don't want to type <shift><semicolon><period><space><shift><1>
<h><enter>. I want to type at most two characters, because I do this a lot. I chose sx, but really any good <leader><foo> combination would be fine. Note they're both on the same hand; I had pretty bad rsi for a couple years and was typing almost exclusively with my left hand.

Second, :. !sh eats the command. I want the command to remain in place in the buffer. Imagine you have a buffer full of useful commands that you use repeatedly with minor tweaks, and you use the output of those commands to write other bespoke commands, and so on.

Third, :. !sh leaves you sitting above the result of the command. I rarely want to be there. I want to be positioned right after the result, on a new line, like my buffer is a shell-- I see the end of the result and can immediately begin typing the next command.
Blaschko's Lines
And if they didn't do anything you'd have said that these mods are too proud to move away from power for a few days and absolutely cannot listen to their community.
> Doing this would have nullified mods’ strongest justification for protesting

Reddit has announced they're providing carveouts for apps that provide critical moderation tools, that justification is already gone.
I've realised my mistake there. Embarrassing. I've no ability to edit though, never noticed that before. I guess I never had the need.
Wow. I never knew as the rest of the world uses WhatsApp. That's the most stupid thing I've heard in a while, I can't believe people give it any kind of importance. I've never owned an iPhone, stuff like this makes me even less likely to.
Since you are working within a 3D space, there should be areas where you can shift your gaze that would be the equivalent of that window and are not full brightness.

As to having a drink or snack or other activities, the crown control lets you dial in more or less of the real world around you and let you choose the degree of blending.
This algorithm constructs a 3D environment from the video data - they're just showcasing it with stabalization. Classical methods require better cameras and more meta. Deep learning is an opportunity for more robust methods for the same end, but also do things like estimating lighting and capturing large scenes.
Protests are most effective when highly coordinated. Reddit is free to change their attitude and have the website back at any time, it's their choice to continue down this path.
Database Gyms [pdf]
Alert HN: Mozilla puts advertising into Firefox AGAIN
See: How to customize Firefox Suggest settings, https://support.mozilla.org/en-US/kb/firefox-suggest

They have added a new option to Firefox privacy settings, enabled by default of course, to allow "suggestions from sponsors" to "occasional"ly appear in the navigation bar dropdown, as if they were bookmarks. I noticed this by seeing a link to Office Depot in the pulldown, wondering what Office Depot page I had bookmarked or in my history, and discovering that it was an in-browser "sponsored suggestion". It appears to work by sending all your navigation bar typeahead to Mozilla so it can match you with a sponsor (oops about that privacy, lol). I'm not sure how recent this "feature" is, but I think it is recent, and I only noticed it today (I'm on LTS Firefox but installed an update a few days ago). Maybe the less stable releases have had it for longer.

Turning the sponsored suggestions off is not that difficult (see the url above for instructions), but Mozilla's unceasing obsession with inveigling advertising into the browser is... disturbing. Another day in the enshittification of the web.
Yeah this one is actually stunning. Does anyone know why Google is doing this? Like have they released their explanation?
While more study is warranted, I believe the thesis is there is possibly a similar mechanism to how anti parasitics kill parasites during a specific window of their development cycle (with little effect outside of those windows).
So, only found to be helpful in obese and overweight patients. It could be effective in other patients, just no data in this study.
I am the author of this paper -- kind of crazy to see it posted here on its own! I'll hang around to try and answer questions
The people here thinking they got something for free is Reddit management.

If the roles these moderators played start looking like it was a form of work that's employee misclassification and backpay time.
>How do you tell a willing user with the intention to keep a sub running as is, and a willing user who just wants to burn it all down, turn it into their own fiefdom, or worse?

This one is me: I'd love to be a mod in a large community, so I can ban the best contributors randomly and then get them permabanned for questioning me, all so I can destroy the whole thing from within. If Reddit doesn't like the way I moderate, then maybe they should hire employees to be moderators, and set up management staff to oversee them. Of course, that's going to cost a lot of money...
> but Mozilla's unceasing obsession with inveigling advertising into the browser is... disturbing.

Why? It's Open Source.
Incorrect, it is a legitimate protest. Many have pointed out that Reddit could just wait out 48 hours, so indefinite blackout is a more logical move.
I left precisely because of API pricing. I'm not using Reddit's shitty mobile app. I see the writing on the wall. old.reddit.com will be gone within a few years along with RES. I won't suffer that.

Fuck 'em.
> Over 26,000 astronomers have reviewed this telescope

The text on that little ad banner confused me for a moment. Then I just laughed.

But as you probably guessed, the site doesn't do more than catalogue and republish NASA press releases as an excuse to sell stuff.
Needs a data file from the original game.
I don't think the reddit API currently includes their ads.

Reddit could choose to include the ads they sell within the API calls and say that anyone who uses the API has to display the reddit ads as well.

Maybe they could even share the ad revenue with the third party apps when someone clicks on the ads in the third party app.

They could then charge for the API calls that don't have the ads in them - e.g. the LLM that are consuming the data.
current VR headsets, and I mean just the Quest, is selling fine. For casual gaming and fitness more so than hardcore gaming.
See my reply to AdieuToLogic.
this is the perfect example of mods going on a power trip.
You could download and run gcc and any app on iphone for 15 years now, implying it is the same iphone from 2008. Just jailbreak it. Online.
Only iphones you can’t just download and run gcc are from 2018 onwards. These make you need some other device to upload gcc signed (by you) that can compile and execute code in the sandbox of own process. And, you can get windows or linux emulator (in fact, for ANY popular architecture) and run anything you want. Can your ancient device do it? Can it do anything useful? Because recompiling old trash over and over for amusement soon be banned in EU as part of global warming effort (along with eating bugs).
Who is lawfully paying out more for bounties on open source projects they didn't even start?

You also seem to discount the monetary value of not becoming a criminal by selling exploits unlawfully. Do you want to be the person that reported a vulnerability to increase security in the world or to give more power to spy agencies or crime syndicates?
Those are just the maximum rewards, not the total rewards paid?
Paying for it doesn't make it your community, either, whatever that even means.

Just look at the old AOL keywords. People paid for AOL. Didn't matter.

Even in a community, the majority can choose to do things you don't like, just ask anyone who lives in an HOA.
The web version was still developed in-house. I guess we can call maps "half-built, half-bought."
> Allowing sideloading increases the potential for exploits in IOS to be found

That's actually a good thing.
Reading a bit futher, the total for the program comes to almost 2 million which seems heavier than the per-award number.
Non-concessions dangled (that were never demanded as dangled but which most observers think were) are far more effective than demanded concessions given. Your comment illustrates that nicely.
Yeah, this is true but I tend to hand craft my persistence to a database. I'm not sure how using files would be any easier. I'd have to manage a bunch of files on top of what I'm already doing.
Shame. I really like the google domains UI. Does anybody know of good alternatives with a similar UI?
Discourse has a chatroom feature now. Although, Discourse is first and foremost forum platform and the chat is not the main appeal.
This strategy would work if the people who disagree with the API closure is just the moderators (who provide free labour to reddit). It's not just them though, it might be felt most strongly by the power users, but people also frequent the app because of those power users.
UrbanIR: Large-Scale Urban Scene Inverse Rendering from a Single Video
And if they allow popular subreddits to remain private indefinitely then a lot more users will leave than just the ones who oppose the API changes. Better to force communities back open and let the most obstinate users leave than keep them private to satisfy the feelings of that obnoxious minority.
Can you give some examples of games that came close to breaking through that maturity/sophistication barrier?
Python 2.7 released 14 years ago. About 8.5 years ago (5+ years later), it was announced that Python 2.7 would be supported until 2020. You had over 5 years to prepare for it, and then Google supported it for another 3 years beyond even that generous warning.
Oh thank god. I wondered what on earth it was compared to
As attested by people who have had the Vision Pro demo at WWDC, afterwards, looking at the screen on a laptop feels very limiting and artificial. Your engagement is quite different when you are fully surrounded by an environment and can interact with it fluidly vs the separation of a small, rigidly bound rectangle.
That might be true of their registries. Early Google domains was a private label API customer of Go Daddy, though. Go Daddy had been sunsetting API resellers and then Google came in and that plan was scrapped. This was ≈2007-2008.
I would love to be a part of this if that's ok :). I love this mainly as someone interested in compilers and infra
If you use Facebook, you're asking to be tracked, it's on you. Do you really think Apple isn't tracking everything you do? And yet they're the good guys for blocking FB..
Your first mistake was misunderstanding the relationship with management.

Time estimations are bargaining, you ask for something and then get a counter offer from management, they don't care that the counter offer from them is delusional. The bargaining is the point, the less time you bargain for the more stressful the development can become. Don't estimate what it should take, estimate what it could take and bargain from there.
I looked at one reddit: r/science. That is blockaded now. A 'private community'. This is (was) an aggregator of SCIENCE news and information. How does blocking the flow of potentially life-saving information help "the cause"?

Reddit is dead to me, too. This is beyond sad.
I think you’re missing the point, which is that it’s the fault of the executives who created and incentivized that culture.

Attack from another angle: if it’s the scale of their success that causes the issues, why doesn’t Apple have these problems?
the way I read it is that management is to blame. there is absolutely no way the workers - no matter how exceptional they think they are - can thrive in an environment that does not enable this kind of behavior.
These aren't Raspberry Pi based, but may be what you want:

https://news.ycombinator.com/item?id=36347706

https://news.ycombinator.com/item?id=36347805
I don't think Keep will go away; its one of only 14 of Google's products that they classify as "Workspace/Enterprise"; alongside Gmail, Meet, Chat, Calendar, Drive, Docs, Sheets, Slides, Forms, Sites, AppsScript, CloudSearch, and Jamboard.
I agree! Much of this work was done as part of the overarching TACO project (https://github.com/tensor-compiler/taco), in an attempt to distribute sparse tensor computations (https://rohany.github.io/publications/sc2022-spdistal.pdf). MLIR recently (~mid 2022) began implementing the ideas from TACO into a "sparse tensor" dialect, so perhaps some of these ideas could make it into there. I'm working with MLIR these days, and if I could re-do the project now I would probably utilize and targetb the MLIR linalg infrastructure!
One way is legal, the other is not wirh shady buters, etc.
Is a unified account important? For me, no, not really. In fact I think I’d prefer unique accounts per “subreddit”.

The way I see it, each “subreddit” is an independently run instance that I can authenticate with. Once it’s set up, my client handles the details of automatically authenticating me when I’m interacting with that instance. I’m imagining it securely stores the domain and token for each “subreddit”, though admittedly I haven’t given it any real thought.

As long as every instance is using some standardized protocol / API you’re set. A system like this is not only dead simple, but it opens up the potential for all sorts of really amazing frontend clients.

In addition to that, each instance could have a lot of control over which features they’d like to expose. For example, whether or not downvotes are allowed. They’d also be able to monetize in a lot of unique and interesting ways that aren’t possible on a centralized platform.
Not so much the implementation of mobile but the impact of a new way to interact with information.
Yeah, did you see the screenshot?

It didn't exactly spark joy, which these side project tinker tools should, in my opinion.

Lugubrious, heh.
Designated moderation is a pretty poor system. Everyone knows who the dickheads are; you just have to leverage that communal knowledge---but in a way that avoids oppressive majorities.

Have a system whereby any user can indicate zero or more other users to be their personal moderators.

This is kept secret by the site; nobody has any idea of how many other people have selected them as one of their personal moderators, other than by leaking that information.

Then have a rule like this: if some (configurable) number of your personal moderators block some post or account, you also automatically block that post or account.

The automatic block doesn't count as a moderating action on your behalf, with respect to those who have selected you as their personal moderator; it's a second-order block.

This could result in a reasonable blend between the classic opposites: someone else deciding for you what you shouldn't read, or else you having to do all the work. The former model represented by moderated forums like Reddit, or moderated mailing lists or Usenet newsgroups, and the latter represented by unmoderated Usenet newsgroups where it's just you and your personal killfile.

Users should have some sort of statistics dashboard to determine roughly much they are not seeing due to which personal moderators.

Personal moderators could be divided into classes. If someone is your class 1 personal moderator, then if they block something, you don't see it. If three class 2 moderators of yours block something, you don't see it. And if seven class 3 moderators block something, you don't see it.

On any user you see, you can pick them to be your class 1, 2 or 3 moderator.

These designations could have an expiry date, otherwise people will "set and forget", and popular users will amass a lot of power to block. E.g. if everyone in a forum chooses you as a personal class 1 mod, you basically decide what that forum doesn't read. That could be a poorly informed choice on their behalf, which would be somewhat mitigated by expiry.

There could be some expiry workflow. On your first visit to the site on a given day, you're reminded of expired personal moderators: would you like to grant them an extension or drop them?
An indefinite blackout is not a protest, it's extortion. It's saying "if I can't enjoy this subreddit the way I want to, no one can."
Good job. It's a decent undertaking for a single person.

From a cursory glance, you might also be able to speed up the CPU backend by getting rid of the shared_ptrs and defining a stricter memory ownership model.
The stickied comment stating that "this contradicts standing policies" is amusing. As if Reddit was somehow contractually bound to abide by random rules that they themselves made up, on their own site.

It's astonishing how many people don't seem to understand what it means to be a user today. Especially if you're not paying, but even if you are.
Thanks for the link - I wouldn't have seen that thread had you not brought it up. However, are you implying the original story is being manually supressed? Could it be the discussion there got too heated? There are other factors that determine ranking, see https://news.ycombinator.com/newsfaq.html
Regel-Verstoss! ;)

I'm still laughing!
Text-to-colorscheme: Neovim plugin that creates colorschemes from text prompts
I agree with the article that sequence diagrams are great, but I’ve also used state diagrams (not the formal kind from UML) a fair bit for sketching state transitions.
Incorrect, it is holding information hostage, due to vainglorious moderators.

The internet routes around damage.
I can't prove this, but I believe that being an open platform with lots of cool apps built around it used to be what drove its power users towards using Reddit in the first place.
Yes, this is definitely their theory. Huffman has basically said as much.

In my opinion*, all of this brings to mind the quote attributed to Napoleon about not interrupting your enemy "when he is making a mistake."

I certainly don't / didn't consider Reddit an enemy, and yet, suddenly, the site has an adversarial halo around it that simply didn't exist several weeks ago. A halo that I'm quite sure didn't need to be created (for Reddit Inc. to achieve its actual goals) and could have been avoided with a little more "EQ" and better PR efforts and planning.

This isn't, remotely, the first time that Huffman, in particular, has shown PR ineptness, including the egregious PR blunder of outright highly visible dishonest behavior and inability to properly acknowledge & apologize [1].

* Which is the opinion of an internet rando / 'armchair general', but, informed by knowledge of past PR disasters and borne out, so far, by events of this saga, to date

[1] https://news.ycombinator.com/item?id=13074093
these things happen (maybe not at Google) and they are called UX studies. I have been part of them and it's very enlightening for the team that builds something and understands the ins and outs to see just how poor the experience is.
Uhh, not according to mods as of two days ago...

https://www.reddit.com/r/ModCoord/comments/148ks6u/indefinit...
people actually using their products once they fix it?
Shockers!! Funny how these mods who work for free thought they have any leverage.. now if they control the instances like a federated nodes, then maybe.
That's not the point GP was responding to though. OP was writing as if they just felt better because they were fat, regardless of whether covid had anything to do with it. That simply doesn't match with the study and just comes off like kneejerk fat shaming.
Anti-trust hedging?
For anyone who wants an easily digestible read on io_uring exploits I love my former colleague's post: https://chompie.rip/Blog+Posts/Put+an+io_uring+on+it+-+Explo...
So you're saying you're giving quotes for a project in a framework you don't even know?
Maybe go some places that make money because they’re a registra instead of a feature of a big product.
> We know because this exact strategy works just fine on Apple's other computer platform, the Mac. Personally, I hate that our phones, which increasingly are our personal computer, are often no longer just a general purpose compute device to use how I want, if i want.

I think this is the heart of the disagreement between people who like the iPhone walled garden (I’m one of them) and people who agree with you. I think it’s where reasonable people can disagree (except of course when it comes to broad legislation protecting or prohibiting such walled gardens).

I don’t think the iPhone is comparable to a personal computer like a Mac, even though of course the hardware and software architecture is very similar (and increasingly so). I still think that smartphones are, for most people (especially people who are aware of the key differences between iOS and Android and still make an informed choice to use iOS), much more like “integrated consumer electronics devices” like gaming consoles, or car infotainment systems, or heck even a microwave (your microwave probably also contains at least one Turing-complete stored-program architecture computer).
I use email forwarding and won’t be switching to Porkbun because they do t offer wildcard email forwarding. Does anyone know any other provider that does offer it?
Oof. I hope this doesn't get wedge io_uring into a place where people can't use it because it's disabled, so they don't, and the whole improvement gets stuck and wasted.
Seeing the World Through Your Eyes
Thanks for posting that, I didn't know these books existed. I bumped them to the front of my reading backlog. I'm always fascinated by the human stories behind these software efforts.