skysight-inc/HackerNews huggingface dataset:
Is Reddit going to revive the large number of high-value comments that people deleted in protest over Reddit locking down API, apps, etc.?

(Related question: Given how frequently the answer that Google sends me to is a Reddit comment that's been deleted... Has anyone gotten data on whether high-value contributors were disproportionately pissed off by Reddit, enough to throw away their legacy of contributions? The people who care the most, care the most? That's something we might guess if we thought through it ahead of time, was but I still surprised to see what looked like that in action.)
Very well might be the case. I am speaking on old news. I would guess the lack of an official published standard makes it hard to create tools and support them over time - a moving target.
> Keeping the internet open is crucial, and part of being open means Reddit content needs to be accessible

Hearing this line from OpenAI sounds like the death knell for the Open Web.

First off - is Reddit really "the open web" or just a part of it? It's absolutely privately owned, there should be no confusion mentioning "Reddit" and "open" in the same breath.

Secondly - if keeping the internet open is crucial, why does it neccessitate incorporating open content into a commercial product? Is it not fair to worry that this is an attempt to commoditize the free transfer of information?

Truly, what a braindead piece of marketing copy to write. Sam ought to should be ashamed of the monster he's created.
I think the main difference is in the intellectual lineage. Re-Pair was designed as a compression algorithm where you keep merging until you're left with a single token and then use the sequence of merges as a compressed representation of the original string. But you can also stop it partway through and treat it as a particularly clever byte-pair encoding implementation.

The algorithm is recursive in the sense that merged tokens can participate in further merges just as in byte-pair encoding, but it involves a whole lot of pointer-chasing, so the core is inherently quite iterative. Those pointers allow skipping over all tokens which are unaffected by a merge, so updating the counts is very cheap. You can imagine each initial token being equipped with a fixed compute budget, and merging two tokens uses up the compute budget of one token, but the compute budget for the other token remains for the merge result to use. So the overall time is bounded by (compute budget per token) x (number of tokens).
Just because we don't know whatever low tech methods were used doesn't make it magic. There's a video of a guy moving multiple ton bricks in his backyard easily using some rods to act as a conveyor built. It's not something we tend to think about anymore as we have much better options now. Given a little time though and people will figure out low tech solutions.

Look up "wallywallington" on YouTube and see how trivial moving incredibly heavy things can be with simple leverage.
But it won’t if you go over the speed limit?

I’m not sure what a self driving car is supposed to do here. Hell, as a foreigner, I myself wouldn’t know what to do.
The point the OP is making is that FSD allows you to stop paying attention. If you don’t even have to so much as hold the wheel it stands to reason your attention is more likely to drift.
I hope you still keep focused on what it's doing when that comes out, for your sake.
Right, training the models will still be a thing, for libraries, systems, service semantics, etc. Like with robot tenders, a smaller number, but still there.

I find one of them to be pretty good at autocompleting for-loops and simple statements for me. Because it's driven from the same tab key that I use to format code with, I also spend time dismissing suggestions with the escape key. As a power tool it's OK.
Musk doesn't think about legal troubles because of things he says on Twitter. Remember "funding secured"?
Time to start deleting my posts!
Penny stocks rarely have similar market caps...
There is a heap of Raspberry Pi 4 inventory in the channel.
https://rpilocator.com/
But is that really logic?

For instance, we supposedly reason about complex driving laws, but for anyone who has run a stop light late at night when there is no other traffic is acting statistically, not logically.
A few years ago they were far ahead, simply because they were the only ones.

Right now most major car corporations have something competing with them. To be honest if I was buying an electric car tomorrow, for the price of a Tesla, I wouldn't be buying a Tesla.
Ok, but as you’re exactly one of the cases in TFA, what was your reason for not becoming a paying FSD customer?
meh. 1) how many SO members actually did that 2) what percent of SO is it?

my expectations are that it's tiny and these news outlets are playing up emotional headlines. saying "may go down as well as" without at least ballpark numbers just invites personal bias to fill in the blanks.
Justice Department formally moves to reclassify marijuana
Very interesting. I'm sure this phenomenon will increase.

I felt a lot of sadness reading this. I wonder how much of my own patterns of engaging with the world are in some sense self-contained simulations of a broader, richer reality that are somehow still rich enough to satiate me.
They come to the conclusion that their crime numbers are reflecting underlying density differences, but then don't redo the analysis with a per-capita control? Seems like, without that, this isn't a very useful presentation.
They're also sometimes culturally contextual. In China and quite possibly a lot of east Asia a smile emoji (https://emojipedia.org/slightly-smiling-face) very often means unhappiness-but-wish-to-avoid-a-confrontation and very often shows up in business contexts to pressure someone to do something. It is almost never used for genuine happiness.

It also surprises me that there is no good emoji for hugging. WeChat had to create a non-standard emoji for it and it is highly used. Especially when western culture far more normalizes platonic hugging, I would have expected 20 different hug emoji but they don't exist.
There is no "We the People". There is a government, or really layers of government, composed largely of politicians and bureaucrats. Whether those people running the cellular network is good or not ought to be assessed on what actually exists or is reasonably possible, not appeals to vague abstractions.
Of course, without heretics, we could still all believe in a geocentric universe, or even a flat Earth.
I'm pretty surprised that there hasn't been some large-scale class action against Tesla, given Musk and his baseless FSD claims. I mean, it's kind of become a meme at this point: it was "2 years away" in 2017, it was "one year away" in 2019, it was "coming very soon" in 2022. And he literally said (on the investor calls) that full self driving was "coming later this year" literally in 2023 and just like last month in 2024.

Like, wtf? How is making these claims as an Officer of a public company remotely legal?
If it bothers you if OpenAI were to scrape your public posts for training data, why would you quit posting on Reddit yet remain on other public forums like HN/Lemmy?

Seems more like an empty gesture than anything principled.
Could you offer an example?
For an enormous project like this, it is probably more reasonable to just use the latest version of C, and turn on lots of linters and sanitizers. You could also use one of the various strict subsets of C that is oriented for safety.

Might as well tell people to rewrite WebKit or Linux in Rust. There are projects that aim at building browsers or kernels in Rust, but the man-millennia of effort put into the existing projects means catching up is no small feat.

Even the coreutils rewrite has taken like a decade and isn't done. And that is a small and well-defined goal by comparison.
That article is paywalled and locked to National Geographic subscribers only. I'm not sure we have the same definition of accessible.
Do the online therapy apps have patient confidentiality privilege too? They definitely should, but I am not sure.
And the internal state of a JPEG decoder can be an order of magnitude larger than the JPEG file (especially progressive JPEG that can't stream its output).
Have you tried FSD v12?
The reason for crypto to exist is to be a secondary financial system that you didn't need to be well connected to old-money entities or families in order to "win" from. The 2008 financial crash spurred many anti-capitalist and hyper-capitalist movements, one of the latter being cryptocurrency. They saw how nakedly well-connected people absolutely cashed the fuck out with the near-collapse of the banking system permitting absurd amounts of money to flow to the markets that had created the problem in the first place, and led to tons of well-paid executives being given golden parachutes out of their industry, so fucking rich they would never have to work again. The anti-capitalist response to that sort of thing is "this system is broken and should be destroyed" and the hyper-capitalist response is "how do I get in on this thing" and the truth of the matter was, there wasn't really a way to get in on it if you weren't already in on it. Hence the creation of an entire second financial sector, recreating all of the failures of the existing one, without any of the regulations, and resulting in the exact same outcomes: the little guys get screwed, and the whales sail away into the sunset with unfathomable profits for basically doing nothing.

I'm not saying blockchain based technology itself is useless. Of course it has uses, some really good ones too. But cryptocurrency has always been 100% grift.
That’s not what this is about at all. This is about opting out of a bad GenAI experience that gets in the way of you finding the information you’re looking for.
Thanks for the info. I was just using ice age in the same way the parent was. Glacial Period is more technically correct.
That's such a a shame. It was a cool product with a decent community around it. Now the enshittification begins and they'll be squeezing for every pound they can get. RIP Raspberry Pi.
I’m a big fan of Warren Buffet. If he says it’s shit, then it’s probably shit.
"I try not to think about competitors too much"
I was thinking of experimenting with different ways to have the tool 'reach' for you. I was thinking if you had a todo list with tasks and it notices the ones you're avoiding, then it can send you a text with the task placed into the chat, and then provide you a list of suggestions to help you start getting into the task.

So like you see a text like "Hey, I know you need to send that email out. Here's a question: X. Here are some suggested responses: A, B, C" so it's emulating the chat interface but it begins with SMS or even a Discord message. Thoughts on that?
Neural networks are fundamentally bad at edge cases. It won't get better.
Speaking your mind is something you can afford only once you already own a fortune, see e.g. all what is happening around J.K. Rowling.
My point is that an AGI would give you this use case for free. Currently this kind of product, AI or not, simply doesn't exist. It's in principle doable, but the number of integrations required makes it uneconomical. An AGI assistant could use the same messy interfaces we use, and thus it would be compatible with every email provider and client ever created.

> AI or not, such an application would need more than just email addresses. It would need access to our schedules.

It needs access to my schedule, yes, but it only needs your email address. It can then ask you (or your own AGI assistant) if a particular date and time is convenient. If you then propose another time, it can negotiate appropriately.
I agree, this is a weird fixation, I regret going down this rabbit hole. I’m personally a little obsessed with European colonialism, and I don’t think people give European colonialism enough credit for the horrors it caused. It really ought to be like slavery is to the US, but rather it is something people think of as inevitable and some people are even proud of.

That said, I don’t care if Australia participates in Eurovision, even though it is yucky to think of it being a product of European settler colonialism (plus their songs usually suck), the current day Australian culture and politics is kind of divorced from that history of horrors now. I do want Israel booted of Eurovision though, not because they are not European enough for me, but because they engage in gross human rights violations. A country doing that has no business participating in international cultural events.

> Their music is infinitely better than almost anything that makes it the perennial Schlockfest that is Eurovision

Ohh, I deffinetly agree. Eurovision would benefit tremendously if Morocco would participate. I advocated for Bashar Murad this year actually (but couldn’t vote since I don’t live in Iceland any more). Even Greenland could help make Eurovision infinity better, regrettably Eurovision is too much of a colonialfest to ever allow Greenland to participate except via Denmark or Iceland.

I did not watch Eurovision this year—the first time in my life—because of Israel’s participation. Despite the songs usually being very bad, I find the whole show to be enjoyable, ironically one of my favorite songs is Israel’s 1987 song. This year however, there was no joy to be found. And it pains me to say it, but I don’t think I will watch Eurovision ever again unless they start taking a firm stance against human rights abuses of participating countries.
A deeply rooted issue, as in Paris: lot of people in denial and a very taboo topic, hence no will to fix the issues.

The visualizations you created may help to realize the scale of the issue, so this is helpful.
In your experience, what is the main impediment to proving properties of one’s code in Lean? Is it something specific to Lean or more generally an issue with theorem provers?
That's exactly the question the study was answering

> The study reviewed current literature on wind farms, as well as using real construction data to take into account everything from the manufacturing of individual turbine parts, to transporting them into place, to decommissioning the entire wind farm at Harapaki – which comprises 41 turbines.
Autopilot works better than FSD for me on the freeway. If I turn on FSD I get lots of phantom braking and pretty out of no where lane changes that I'd call pretty abrupt and dangerous. No where near worth 100 dollars a month.
This is very much a loaded question, but have you ever looked into the longetivity of the Californian Mormons, who as far as I know eat animal products?
The idea is not to agree with the law or that the law is good or even essential but by having few of them you avoid the misery and achieve better compliance.
I don't lose anything with gzip or rar.
> Do you think some option is okay?

Yes, definitely. The distinction between a supervisor watching their employee vs. cameras + CV vs. using wearables to automate the watching seems completely arbitrary to me. Are you OK with a cab company monitoring its cars via GPS? Or a trucking company monitoring its loads via tracker? I am, and again, I find the distinction arbitrary. With one caveat–the employee is informed prior to employment that these tools will be used and they are a requirement of employment.
I got to test it and actually it wasn't that bad. Did several short trips and it navigated them reasonably well, but under increased scrutiny from me.

The problem is even 99.99% good is not 100% good and for something that has your life in its hands, it has to be 100%. Arguably a human driver is not 100% either, but at least they understand the world around them on a fundamental level, plus they have a pretty dramatic forcing-function ('do not die') that instills confidence. An AI has nothing to lose and this makes a 99% safe AI system less trustworthy than a 80% safe human driver.
> OpenAI will bring enhanced Reddit content to ChatGPT and new products, helping users discover and engage with Reddit communities. To do so, OpenAI will access Reddit’s Data API, which provides real-time, structured, and unique content from Reddit. This will enable OpenAI’s AI tools to better understand and showcase Reddit content, especially on recent topics

note that this terminology doesnt directly say if openai is training on reddit data. there's a difference between relying on reddit as a search engine (retrieved on demand) or as a pretrain corpus. this language leaves some wiggle room
The sprint shareholders already took a bath going from over $80/share in 2000 to $5. Hard bankruptcy and selling off its network would have been disruptive to their remaining customers, more complex/expensive to unwind (causing more of the money to go lawyers), and would still result in 1 less major carrier, resulting in essentially the same thing. The results would have most likely been most Sprint customers eventually being part of the other carriers anyways. If there was a market clearing price for sprint, a private equity firm would have snapped it up - that didn't happen because there was too much debt to go on as its own entity.

Could things have been done differently? Sure. A condition of the merger could have been guaranteeing MVNO access or selling off a portion of the spectrum (maybe that happened).

But T-Mobile, combined with Sprint, went from being a distant competitor in subscriber numbers competitive. If sprint was "sold off" separately, T-mobile would most likely eventually run out of steam and end up like Sprint. They just wouldn't have the number of subscribers to amortize costs down the way AT&T and Verizon could.

Keeping struggling, small players going somehow would likely of only delayed the inevitable.
I don't doubt its freeway driving skills, but like every mainstream production car can do that right now. So what's the extra $100/mo for?
Turing completeness isn't about having everything you need to build the physical computer, just about expressing program logic that can perform a certain class of unbounded computations. Like, given any C program's logic that takes some input and gives an output, you could calculate the same thing (painfully) with NAND gates.

Anyway, bringing up Turing completeness is overly theoretical when talking about a programming language. It's pretty hard to make a language not Turing-complete, and it doesn't say much about what you can use it for IRL.
or on a hike with a UE Boom
Intel TDX Confidential VM Causing Concern Among Fedora and Open-Source Advocates
Location: Norway. I haven't tried FSD, but I've used autopilot and cruise control. They don't inspire confidence, so I definitely wouldn't trust FSD, at least not currently.

When using autopilot on a single-lane road with a 60 km/h speed limit, it performed a phantom emergency brake because there was an oncoming car (which was driving normally in its own lane) on a curve. Maybe I shouldn't have used autopilot in that situation?

But what's even worse is the cruise control. It's a basic feature, yet Tesla's cruise control suddenly changed the speed limit to 30 km/h when passing through a tunnel with no signals and performed an emergency brake in an 80 km/h zone. This is incomprehensible.

Not to mention the issues with noisy brakes, distorted sound effects.

However, I don't want to switch to another car. I've driven Polestar 2, Ioniq 5, Kia EV6, and Nio ET5T, and none surpass Tesla. The only cars that make me consider switching are Lucid and Taycan, but they are in a different price range.

With Norway soon stopping the sale of all gasoline cars, Tesla is almost the only choice. I just hope they can improve on these basic issues.
Two of the intersections mentioned (boardman & Bryant, eddy & jones) are where police stations are. Is there a problem with the data where they just use the location of the police station by default?
Isn't the trial all people who have just decided not to buy FSD; changing the minds of 2% of them seems a masive win?
I would say that original title is clickbait. Don't know if linkbait is something different.
Which is really a missed opportunity for U+130B8 EGYPTIAN HIEROGLYPH D052.
the NHTSA will shut that down real fast as they're currently investigating them over their last recall which was supposed to crack down on driver monitoring.
I'm with you. The thing I find baffling is how anyone with any logical sense finds chatGPT useful for anything that requires precision, like math and code. If you do indeed follow the caveats that the LLM companies require placing alongside any output: to not rely on it, and verify it yourself, then you already have to be skilled enough to detect problems, and if you are that skilled, the only way to check the output is to do the work again yourself!

So, umm, where's the savings? You can't not do the work to check the output, and a novice just can't check at all...

I have personally been brought into a coding project created by a novice using GPT4, and I was completely blown away by how bad the code was. I was asked to review the code because the novice dev just couldn't get the required functionality to work fully. Turns out that since he didn't understand the deployment platform, or networking, or indeed the language he was using, that there was actually no possible way to accomplish the task with the approach him and the LLM had "decided" on.

He had been working on that problem for three weeks. I leveraged 2 off-the-shelf tools and had a solve from scratch in under a full day's work, including integration testing.
I don’t know what the political compass is. I’m talking about polls that show a large share of republicans support things like social security and Medicare expansion: https://nymag.com/intelligencer/2018/10/poll-a-majority-of-r....
To potentially save you the click, the app is a subscription service.
My jokey conspiracy theory is that humanity has had full self driving cars since the late 80s. "They" just let you think that you're really driving your car, but every move is actually made by the AI. It only diverges from your input when your input would have otherwise caused a crash. Meanwhile, you're so distracted by the narrowly avoided car crash that you don't notice that an AI took over.

However, you can't save everyone because then people would get suspicious. So "They" calculate social scores for everyone and people with a sufficiently low score don't get saved when they mess up.

The real punchline here, though, is exactly what you say:

> If you can't stop paying attention, what's the point?

Why would anyone actually want a full self driving car that you have to pay attention to all the time outside of a shadowy cabal from a half-baked conspiracy theory? I'm really not sure.
> I'm pretty surprised that there hasn't been some large-scale class action against Musk and his baseless FSD claims.

That's on-going! Just keep in-touch with news.

https://www.reuters.com/business/autos-transportation/tesla-...
Educators don't like to discuss the performance of other educators, as most professionals don't like to diss their colleagues, especially not in front of their customers. But the quality of educators is absolutely a huge problem, so huge that there are even consecrated sayings about it (those who can, do; those who can't, teach). So huge that one of the most well known rock anthems of all time is about the poor quality of educators (Pink Floyd's Another Brick in the Wall Part II).

Educators are the best people to ask about how to make their jobs easier. They are not necessarily the best people to ask about how to make children's education better.

Edit:

> That's like claiming you know how to run a restaurant because you like to eat out.

No, it's like claiming you know some things about the problems of restaurants, and about the difference between good and bad restaurants, after spending 8+ hours a day almost every day, for 16 years, eating out at restaurants. Which I think would be a decent claim.