skysight-inc/HackerNews huggingface dataset:
> Reference counting does not provide hard performance guarantees. If you disagree consider what happens when a large tree is freed at the root.

Sure it does. One hard guarantee in that case is that freeing M objects (out of N total that are alive) takes O(M) time. (Another is that you can access all the other objects in parallel without any impact. Etc.)
“Officially” is meaningless here. The blocking exists, and it is at the direction or under the control of their government.

They are yet same thing. You know, if it looks like a duck.

This is standard operating procedure for the communist party. They rarely say any kind of topics or activities are banned outright. It’s just that if you say the wrong things in the wrong place, a bunch of plainclothes police will come to your home in the middle of the night.
Air Force picks Anduril, General Atomics to develop unmanned fighter jets
That's not unusual in Argentina, at least they have something to point to as a potential improvement in ongoing operations
You know too much not to be a scene member
"heteroscedasticity"
You can call it xenophobic when the US does this with an African or South American company.

This is no more xenophobic than sanctions against Iran and North Korea. It's just a different mechanism because of sensitive diplomatic issues and because Americans enjoy using TikTok.
Yeah, I know they have attribution now, but I was fairly confident that they added that because someone called them out on shipping it without attribution before.
Also isolated by force in many cases: even in states which didn’t have official segregation laws, things like redlining and police enforcement meant you had very distinct communities. This especially went for anything where alcohol is consumed (being drunk leads to deadly mistakes and could lead to crimes being ignored or minimized) or, especially, sexual contexts - if you’re a young black man, you’re probably not going to find it relaxing to be at a club where various white guys are stopping by to mention what’ll happen if you look at a white woman.

Looking of that period is a very sobering reminder of a very dark stain in our national history - and I’ve read too many stories about even well known performers being told they can’t play at certain venues or have to leave immediately afterwards to think everyone wasn’t aware of the stakes:

https://en.wikipedia.org/wiki/Mass_racial_violence_in_the_Un...

As an example of how widespread this was, it took Marilyn Monroe at the height of her fame intervening for _Ella Fitzgerald_ to be able to play at a club in Los Angeles! Not the Deep South, not 1917, but very modern California.

> In October 1957 Monroe made a call to the Mocambo nightclub in Los Angeles, on behalf of Fitzgerald. Monroe used her social status and popularity to make a deal with them. If they allowed Fitzgerald to perform, Monroe promised that she would take a front-row seat every night

https://americanhistory.si.edu/explore/stories/ella-fitzgera...

The closest I can come to a silver lining for this is that it allowed more artists to find a niche where they weren’t competing with the major national artists but that’s nowhere close to compensation for so much tragedy.
Just to clarify, this is augmentcode.com , not augment.co ("Personal AI assistant")
It's weird to see no mention in this post of separation logic, which would seem to provide a basic, general foundation for most of these techniques if perhaps not all of them. For instance, the RustBelt paper gives a description of Rust borrow checking that can arguably be understood as relying on some form of separation logic.
More elegant, but far less fun.
They really are not because of the asymetric effort. It takes minutes for a company to assign a week of work.

A fair system would be a test-employment contract of some kind, where it's understood there are no rights beyond payment for the assessment task.
I use chatgpt to refactor code all the time. I think about a big refactor, supply the code and get it back looking like the code I would write, refactored. I won't ever code the same way as before, too boring. Unfortunately tho, some times it takes way longer for the correct prompt than it would take to code it myself. But just some times.
Of course there’s more to it than that; but, it’s been long known that exercise helps curtail symptoms associated with anxiety and depression.

Due to life changes that are devastating, I’m walking/running 8-12 miles a day and swimming 3-5. I still have severe anxiety (along with medication and therapy), but the days where I cannot get to the gym or out are FAR worse than those that I do.

30 mins of biking probably isn’t enough exercise to get to the threshold required to reduce your levels. While everyone is different, I need to hit the 45 min mark to feel any sort of benefit.
I highly doubt it's even close. I haven't been to mainland China, but everywhere else in Asia that I have been has had a strong trend over the last decades of bicycles -> motorbikes -> cars.
> China's middle- and upper-class will insist on specific changes in policy like unfettered internet access as a bargain for not demanding democracy.

So long as the CCP delivers on economic prosperity this won't happen; people will not risk it. Those who can't handle it, and have the means, emigrate or have a plan B (i.e., their kids at a US university who can continue their career abroad; many Chinese would come to the US just to have a baby to ensure their kid had US citizenship--the US has clamped down on that). This is why the CCP's survival depends on economics.
In the context of the pandemic, being a little forgiving is reasonable.
You prefer to pay 3-5k usd to a person in place of 20 usd to a tech company?
At least in MA, NH and FL, no not at all. I always slow to the limit for the toll booths (even the high speed tolling ones), but then I'm back to 10 over until the next one. Never had a ticket, I believe a cop has to see you speed and ticket you (you have a right to face your accuser or something like that, possibly urban legend).

NH has a lot of troopers on their highways, you really can't drive far without seeing several. In MA, I rarely see MSP troopers on the highways (aside from the one taking a nap in the middle of the cloverleaf on a big interchanges during the early evening commute when the traffic is crawling).

Driving through the NYC/NJ/Baltimore/DC I95 corridor, there's a lot of tolling going on, express lanes etc but I've never had a ticket despite averaging 10 over driving through at night.

FL has lots of tolling going on, but I can't say I've ever seen a FL trooper on patrol, usually only at the scene of an accident/breakdown.
I've replaced my start menu with Open-Shell which is quite customisable... and doesn't need settings changed on a regular basis to opt-out of advertising!
Do you mean Terraform, not Ansible?
What’s there to explain? There’s a readme in the repo that shows how to do it.
Were they vaccinated against COVID? Did they get infected at any point?
Teens? It has over 170 million users in the US.
How do you ensure someone doesn't reuse a brand string? Seems pretty brittle to me.
Out of interest, I just tried this. "Uighur genocide" was the fifth auto-completed search result. In the "Top" tab, the first video was a (maybe Chinese) guy saying he never saw any discrimination against Uighurs and maybe Americans should ask about the Hawaiian cultural genocide. The video next to it was from (presumably) Uighur people saying that they were suffering cultural genocide and China was selling their organs. Below that was a snippet from Wikipedia saying that China had been committing cultural genocide against the Uighurs.

The prominence of the Chinese guy "denying" the cultural genocide was interesting - I wouldn't assume he's a plant (it's equally likely he's just a rabid nationalist) but the placement of the video does strike me as a little odd. It had 300 likes, but rates higher than the second video which had 5000 likes? Does smell a bit.

This is from Singapore, by the way. I assume geography makes a difference.
this was never the case and is even less so now.

the vast majority of the population cannot easily use a VPN, especially not on their phone which many people use instead of a PC
Now we can give credit to Apple for invented AI!
Should be an eye for an eye. If china allow WhatsApp and Facebook etc in then USA can have WeChat …. If not all should not be allowed. Not just TikTok.
If they didn't like it they should have fought harder to avoid his election. He was quite clear what he was going to do.
But it still isn’t a Bay Area company.
This doesn't seem correct. It was just in the news that Meta had to remove one of their apps from the Chinese market at the request of the Chinese gov.
The Cody plugin (Intellij) threw multiple errors for me, over multiple days, with a paid account. When it didn't throw errors it either didn't suggest anything or suggested something I thought was worse than Copilot. I even toggled both plugins a few times and tested with Copilot and it always gave me what I expected. I tested over a span of about 5 days of coding. I kept feeling limited and wanting to switch back to Copilot, which, to be fair, has had a handful of outages/errors but not this many in this short of a time.

I'm not sure if you write code, and I don't want to assume either direction, but if you don't and/or don't use these tools, let me share my experience.

I now have a "sense" for when Copilot will have a good suggestion and I pause while writing code waiting for it to spit something out. Copilot earned this "respect", for lack of a better word, because it has shown me time and time again that it "knows" what I want. With Cody, I would reach a point where I wanted to wait for a suggestion, I'd wait, and I'd wait, then my focus is broken because I'm wondering why I'm not getting a suggestion, I look in the bottom status bar, and Cody has some red symbol on it. When I did get something back from Cody, I just felt the results were equal to or worse than Copilot. I only paid for Cody to get Claude 3 Opus and that's all I tried. In addition to bugs that caused Cody to not work, I had multiple plugin crashes reported to me by my IDE. Here [0] is one of the bugs I saw, it was the last one I got before I uninstalled Cody and canceled my Pro subscription.

The last thing I'll say is that the purchase/activation process was not good. I signed up for an account, installed the plugin, logged in, realized if I wanted Claude 3 Opus I'd need a "Pro" account, bought a Pro account, went back to the plugin and had to log out and back in for it to realize I was a pro member. A "check membership status" button/option would be nice. I looked in the preferences and everything on the sidebar panel I could click on. I also tried opening/closing the panel and some other things I thought might trigger an account update call, no dice. It's whatever and I did eventually get it working (by logging out/in) but I wouldn't want that to be the user experience for someone who just gave me money so I thought I'd mention it.

[0] https://github.com/sourcegraph/jetbrains/issues/1306
The context isn't fully spelled out, but Powell is describing the inspiration for "The Interrogative Mood: A Novel?" Those lines are the beginning of his novel and the novel itself is entirely in the form of questions.
Same way as they did it in Paris: Take roads that are currently exclusively set aside for car use, and reserve a portion for exclusive cyclist use. This means building separated bike lanes (ie. not just some painted pavement).

"Build it and they will come"

The reason that cycling isn't that popular is because being chaotically mixed in with vehicle traffic makes it a dangerous activity, and people unsurprisingly avoid dangerous activities.

Creating separated AAA "All Ages and Abilities" bicycle lanes makes cycling safe and so then people feel encouraged to bicycle for whatever daily chores it makes sense to cycle for.
So you’re asserting that people are engaging in riskier behavior because they feel safer?

I don’t want to put words in your mouth, I’d like for you to expand on your two sentences.
I encounter similar behaviour as you in an entirely different genre - I've long since suspected that Spotify keeps redirecting me back to songs that are either less royalties for them to play, or located closer to me on the CDN to save serving costs.
Me too, but it may be because as a teenager I listened to heavy metal. It was awesome, and I still like hearing those songs occasionally. But it's so loud and exhausting that I don't seek it out. Instead, I'm usually drawn back to Motown and R&B from the 60s and 70s, which is definitely before my time.
Are you using your Shield as an HTPC? In that case you can use the upscaler built into a TV. I prefer my LG C2 upscale (particularly the frame interpolation) compared to most Topaz AI upscales.
Amazing, and I wish more cities would follow.
and accelerated upward once the Covid-19 pandemic arrived...The greatest reversals were seen in those aged younger than 45
That is as silly as argument as it is. We know what the game china played and it is not because of technology. Really someone can “hack” the technology. But if one pretend to sleep, you cannot wake them up easily.
Sweet, I don't need to rely on third party viruses and scammers anymore to unlock that feature!
There were some enjoyable parts, but I personally thought the job was quite stressful because of the high quota. Psychologically, I found it difficult to reduce my quality of work enough to meet the quota. Many examiners at the USPTO can knowingly reduce their quality to an appropriate level, but I wasn't one of them. (Others don't care about quality or aren't able to discern good quality from bad.)

I stopped for the simple reason that the job was far too difficult, and poorly paid on top of that.
I'm on Kubuntu and don't have ads in my menu bar.
If anything, social networks will only fuel support for war, as we're seeing with Russia and Ukraine.

Among the more liberal-minded Russians like me and most people I know back home, support for the Ukrainians had collapsed after two years of interacting with them online. It's become so bad, some people I met on the net have actually gone from opposing the war to volunteering to join the Russian army. And as for the Ukrainian side, their opinion of the common people of Russia is no better.

Anyway, we had way more of the "small links" you mentioned than you guys will ever have with the Chinese. A lot of us have family on the other side, even more had good friends across the border. The war destroyed most of these connections, and in case the West and China fall into a war, I don't see any reason whatsoever for you to do any better.
It is no part of my agenda to promote the use of NF as an independent foundational system. It is a very odd one. But if someone wants to promote this, the consistency result says, it will work, at least in the sense that you are in no more danger of arriving at a contradiction than you are in ZFC.
China would try to block them so you had to find new alternatives. I used one for years that stayed up, but yes it was often frustratingly slow. You had to really make an effort, and most people aren't going to do that, and then there's the language barrier.
It's what they're reaching for though. It's the platonic ideal of the product.

Before cost, capability, privacy, and expectations on how to "use" a "tool" get in the way.
Small claims court is the future of airline customer service.

My dad recently filed in small claims for lost luggage after the realization there was no phone number for a human to speak with as everything is “live” chat where each chat takes ten minutes for a response. The check came in the mail days after notification of filing.

Granted it was a budget airline, but it’s not that different from waiting on hold to get transferred.
Born to move, payed to sit.
Slightly slower is an understatement. Absolutely useless on touch. No fault of Atlassian, but why use the HTML 5 API knowing it’s trash on mobile?
Large Scale Transformer Model Training with Tensor Parallel
Which game? Have you checked Proton (or Wine) compatibility?
I found the graphs in the original linked article pretty helpful in understanding the trend.

https://cdn.jamanetwork.com/ama/content_public/journal/cardi...
This has been done in some cities, but those bike lanes are sitting empty, so there's more to it than that.
Snowflake Arctic
Argentina didn't have a future.

Maybe it still doesn't, but at least something new is being tried.
Why it is misleading? I didn’t get your point here.
patterns of behavior (people will often keep using what they're used to, or assume their favorite model gives better answers regardless), free QA and training data, free advertising

Even when the switching cost is lower than what you describe, people tend to keep using the product they had gotten used to.
UIUCFreePianos
The main blocker for me is still the Nvidia drivers, with Xorg itself having deal-breaker limitations that are never going to get fixed and Wayland on NV still not being quite there yet. Yeah it would be smoother sailing with an AMD card but that's a pretty big caveat when Nvidia has 78% of the market per the Steam survey.
Sad innit.
Gaming on Linux is actually pretty great these days - thanks in no small part to Valve and their momentous efforts in the space, proton included.

If you run into an issue, it's almost always the Anti-Cheat software to blame. There are many games that run very well in single player modes, but then force-quit if you try to join multiplayer (as-in the anti-cheat kicks you or deliberately crashes the game). I'm not aware of any work-arounds that are reliable for this - and you risk a ban in trying so. They detect you're not on Windows and refuse to work.

Games that don't use aggressive Anti-Cheat work fine, even in multiplayer. There's a huge catalog of games that work natively these days, and proton takes care of just about everything else.

Steam mostly "just works" with all games. There's Lutris, Bottles and more for everything else.
Go listen to Straight Otta Compton and then Vanilla Ice and you'll get it. Or for Swing Count Basie vs. the slicker more commercial Glenn Miller but it's subtle.

And then Coltrane and Orman and Davis come and change the whole jazz world.
> But once the expertise is lost, you can't get it back by throwing more money at the problem. You have incompetent people hiring people who check all the right boxes but still can't do it

Maybe. Maybe there's no alternative to doing a pipeline of progressively bigger projects with in-house management and accepting that the first few will suck. But if you're not willing to pay what the expertise costs then there's no way you'll make it work, you need to get that level of expertise in house. I'd think that if you're willing to pay top dollar then you have at least a chance of hiring the right people.
Yup, those downvotes speak loud and clear. One doesn't speak plainly around these folks but rather has to whisper.
Do we allow Soviet Union to have …
Millennials are also dying of cancer at increased rates compared to previous generations. I think obesity is the most obvious suspect, but one does wonder about environmental issues as well.
unpopular these days

Compared to what? Line, or do you have something else in mind?
Anecdata: the two ex-McKinsey people I've worked with were both decent.

I have skepticism of management consulting in general, and concern about the opioid thing, but I don't want people lumped in with that undeservedly.
What were you trying to do? After Rdio folded, I switched from Spotify after failing to get it to give me anything other than top 40 pop (no matter what I started with, it was two tracks and then “have you tried our top hits? You will!”). Apple Music wasn’t as good as Rdio back then but it’s gotten better even within relatively obscure sub genres in my experience.
To be clear, I'm usually against large corporations as well, because of this very point. Especially, when they -- as in America and many other non-socialist states -- use their lobbying power to capture the market via regulation.

However, there still is a fundamental difference between centralized corporate planning and centralized planning by the monetary authority. Corporations have to deal with market supply/demand, and we've seen enough examples of large companies simply going bankrupt to rest assured that large corporations are not invincible.
Big discussion 9 hours ago:[0](261 points, 186 comments)

[0]: https://news.ycombinator.com/item?id=40146088
I was there from 2007-2016, and also in 2002, but that was a dorm experience at PKU. The internet VPNs were just horrible, but the tradeoff was all the pirated video content available on Chinese video websites, so I got used to it.
What do you think would happen to the value of a company cutting of the richest country in the world?
Hmm? The flights originally cost around $700 since it was winter season. So I got paid around $1200 per flight to sit in a lounge with free unlimited food and drinks for 3 hours. Of course would prefer more, but $400/hr to relax in a lounge is a job I'd take! Besides, I could have said no…

And it ended up being around 3 or 4 years, but because of the pandemic. I honestly don't remember the original amount, 1 or 2 years. Either way I had no issue using them. I was even able to use them to pay for another traveler as long as I was also on the booking (bought my mother a ticket).

Side note: No need for this dismissive tone, my statements were obviously subjective—one person's generous can easily be another person's disappointing. So you're in violation of two HN guidelines:

> Be kind. Don't be snarky. Converse curiously; don't cross-examine. Edit out swipes.

> Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something.

https://news.ycombinator.com/newsguidelines.html
Somehow a particular audience in the Bay Area decided that they must be the only ones with a voice.
Yes. You get what you pay for. ChatGPT et al just waste my time. I don't need hundreds more lines of code. I need thinking and learning and solutions to business problems. The costs of AI code generation go much higher than $20 because I have to spend so much time "prompting" and checking and testing stuff that I could have found on StackOverflow once for free.

Also consider that $20/mo does not come close to the actual cost of running LLMs. The companies that own those things pour money into them and attract users to create a market they can dominate, spending investor money and taking advantage of public energy and water infrastructure. Once so-called AI has insinuated itself as a necessity the price will go up. Look at cloud hosting and software licenses for examples of the rent-seeking model. We're in the market-making stage now, overlooking the problems and limitations because of FOMO.

You can already get keyboards and mice with copilot keys. Every company seems to rush to add "AI" to their software with no evidence that it makes anything better. We will just come to accept it, like cookie pop-ups and clicking on photos of fire hydrants, without asking why or how it improves anything.
Just a note for anyone else doing something like this. I think uptime/ops has been rather successful for a HN post with 89 points / 117 comments.

The costs of this post were $35 for OpenAI tokens. No one has reported any slowness or downtime.

I am just hosting on the $5/m DO (Digital Ocean) app plaform. CPU spiked at 8% at the highest. Pages are served from the CDN that DO takes care of and the API backend (which doesn't use a CDN) is mostly node forwarding on requests to Azure.

I didn't get analytics (I don't care, comments are more useful) in so can't say how many visitors. But CDN reports say 12000 requests per minute was the peak. Which probably includes all images and so on. So maybe 600 page loads per minute as a guess.

I said in the post "Docker". That is probably true under the hood! But I meant to say "Digitial Ocean".