MurphyA/hacker-news huggingface dataset:
by Lvl999Noob | 2025-12-29 20:39:54+00:00
My 2c.

The risk of losing one (or both) earbud is a real one. My ears don't tend to keep snug grip on the earbuds so they tend to get loose after I walk a little. With earbuds, this might just be my own singular piece but, there is also the chance that only one of the two would connect to your phone.

On the other hand, the cables get tangled together. I can't walk around with them because the cable gets stuck in the swing of my arms. Connecting them to the phone after a call had already started was a piece of cake though. With bluetooth, I never have my earbuds on when I actually need them and it's too much of a pain to take them out of my bag and connect them.

Whenever it is time to replace my current earbuds, I am gonna go for a neckband instead. It has basically the best of both, imo (I am not that sensitive to audio quality mostly) and the downsides aren't large enough (I'll think of the weight as a neck workout).
by queenkjuul | 2025-12-29 20:39:56+00:00
Except you're still calling us idiots for saying corruption can happen in degrees.

The only way for the "degree of corruption" to always be the same for every person ever is for every act of corruption to be of perfectly equal magnitude and consequence.

If an act of corruption can be of greater magnitude and consequence than another, than it's perfectly reasonable to say that someone who engages in corruption of greater magnitude and consequence does so "to a greater degree" than someone else.

So which is it?

I think deep down you really prefer to pretend that it's all perfectly equivalent, otherwise your simplified world-view doesn't make any sense
by yawaramin | 2025-12-29 20:39:57+00:00
> The thing is most of us have jobs where we can't unilaterally switch to the 'cooler' solution, and I value my own context-switching overhead much more than I value a slightly smaller bundle or dep tree.

And this is how your company ultimately loses in the market. For every bloated incumbent you will get a snappy new competitor. Keep saying 'it's not worth it to try new stuff', right until you finally realize you never learned anything new and now your company made you redundant.
by SXX | 2025-12-29 20:40:07+00:00
This. As game developer this is a huge problem since outside of top 1% industry is shit poor and platforms squeeze it badly.

Unfortunely needs of game developers and customers are not exactly align. Valve is good steward of their outsized market share when it's comes to gamers interests.

Epic Games tried to shake market with "gamers dont matter" policy (no reviews, no community, worse services) and low fees and failed miserably.

As game developer I'd love to see platform fee of 10%, but as gamer I dont want to buy my games and give power to Tencent, Microsoft or Google.

I could only dream that customer-first platform not owned by VC / PE money like GOG could compete with Steam. Unfortunately unlikely to happen.
by fizzynut | 2025-12-29 20:40:24+00:00
Even if you fixed the initialized data problem, this code is still a bug waiting to happen. It should be a single bool in the struct to handle the state for the function as there are only two states that actually make sense.

succeeded = true;
error = true;
//This makes no sense

succeeded = false;
error = false;
//This makes no sense

Otherwise if I'm checking a response, I am generally going to check just "succeeded" or "error" and miss one of the two above states that "shouldn't happen", or if I check both it's both a lot of awkward extra code and I'm left with trying to output an error for a state that again makes no sense.
by noplacelikehome | 2025-12-29 20:40:29+00:00
Not every consumer of a service like CodeRabbit will be in a position to make decisions about the tools their org adopts, or even be involved in the relationship with the vendor. Are they not entitled to express exasperation in a public forum?

The guy offered some pretty valuable feedback to help improve the product. Business idiots with ego problems can bury their head in the sand at their own peril.
by blackhaj7 | 2025-12-29 20:40:45+00:00
I think this will go full circle (as the article indicates). Ultimately , the parents are the “customer” of education institutions as they send their kids there with the goal of them getting good grades. For now, getting a good grade regardless of whether you got it honestly or not should result in you getting a job and therefore the parents are happy.

But as soon as employers understand that the grades don’t mean anything, they will start prioritising students from places that are more strict e.g. through in person only exams etc.

Once this happens, parents, and therefore schools, will start to prioritise this more.

The sad part is that a generation of kids are going to pass through school and come out dumb and ill prepared for life while the systems corrects
by pron | 2025-12-29 20:41:02+00:00
> eventually finding a proof using guided search (machines searching for proofs, multiple inference attempts) takes more effort than verifying a proof. Formal verification does not disappear, because communicating a valuable succinct proof is much cheaper than having to search for the proof anew. The proofs will become inevitable lingua franca (like it is among capable humans) for computers as well. Basic economics will result in adoption of formal verification.

But AI isn't used to verify the proof. It's used to find it. And if it can find it - one of the hardest things in software development - there's no reason to believe it can't do anything else associated with software development. If AI agents find formal verification helpful, they would probably opt to use it, but there would also be no need for a human in the loop at all.

> It is currently already much better than the average human at finding proofs.

The average human also can't write hello world. LLMs are currently significantly worse at finding proofs than the average formal-verification person (I say this as someone who's done formal verification for many years), though, just as they're significantly worse at writing code than the average programmer. I'm not saying they won't become better, it's just strange to expect that they'll become better than the average formal-verification person and at the same time they won't be better than the average product manager.

> there will always be problems it can not instantly generate provably correct software

Nobody said anything about "instantly". If the AI finds formal verification helpful, it will choose to use it, but if it can find proofs better than humans, why expect that it won't be able to do easier tasks better than humans?
by 1970-01-01 | 2025-12-29 20:41:29+00:00
Start at the fundamentals, dammit!

Do you have off-site backups of all your critical data on a regular schedule?

Do you have physical 2FA on all your accounts?

Are you actively patching/updating all your devices on a schedule, and actively discarding the devices that are too old to patch?

Only after these are done should you start looking at complex phishing and social engineering scenarios. You can successfully mitigate everything you are worried about by nailing these fundamentals.
by tomwphillips | 2025-12-29 20:42:13+00:00
I like this analysis.

I'm constantly surprised by developers who like LLMs because "it's great for boiler plate". Why on earth were you wasting your time writing boiler plate before? These people are supposed to be programmers. Write code to generate the boiler plate or get abstract it away.

I suppose the path of least resistance is to ignore the complexity, let the LLM deal with it, instead of stepping back and questioning why the complexity is even there.
by btilly | 2025-12-29 20:42:16+00:00
Exactly. SRE is about monitoring and troubleshooting at scale.

Google runs on a microservices architecture. It's done that since before that was cool. You have to do a lot to make a microservices architecture work. Google did not advertise a lot of that. Today we have things like Data Dog that give you some of the basics. But for a long time, people who left Google faced a world of pain because of how far behind the rest of the world was.
by d3rockk | 2025-12-29 20:42:17+00:00
So there's French Guiana, and then Guyana.
Both are part of the Guianas (or Guyanas/Guayanas).

The "Guiana" region (land of waters), was home to the Arawak and Carib peoples, and then there was a colonial scramble between the Dutch, English and French over the last half millennia-- each respectively took over some portion and then slapped their names on it.

Guyana is independently english speaking because they were colonized by the British- centuries ago it used to go by British Guiana.

French Guiana is basically an overseas department of France.

https://en.wikipedia.org/wiki/The_Guianas
by onraglanroad | 2025-12-29 20:42:37+00:00
Sorry, mixed you up with someone else in this thread.

I don't believe that 11 armed people turned up to arrest her. I've never heard of such a thing.

Edit: ok, I'm going to assume you had no idea that UK police officers are not routinely armed. Armed officers are specifically trained and only deployed when the suspect is thought to be armed. Most of those were probably IT to check computers and devices.

She pled guilty to the charge on the advice of her lawyer.
by Aldipower | 2025-12-29 20:43:21+00:00
I am a software developer and mainly a programmer since decades now. I love programming. I love to be "once" with the computer. I will never give this joy up. If I need to sell shoes at daytime, I will program real computer programs in the evenings. If it won't be possible with modern machinery anymore, I will take my Commodore 64. I am a free man.
by queenkjuul | 2025-12-29 20:43:27+00:00
As far as I can tell, the only way you can assert that trump is precisely no amount more corrupt than any other politician in history is if you're completely unaware of what he's been up to the last 10 years.

That, or you truly deeply believe all acts of corruption are perfectly equivalent regardless of their circumstances.

You insist neither is the case, but i see no other way to reach your conclusions
by zephen | 2025-12-29 20:43:56+00:00
Obviously people perceive value there, but on the surface it does seem odd.

"These things are more destructive than your average toddler, so you need to have a fence in place kind of like that one in Jurassic Park, except you need to make sure it absolutely positively cannot be shut off, but all this effort is worthwhile, because, kind of like civets, some of the artifacts they shit out while they are running amok appear to have some value."
by Aurornis | 2025-12-29 20:44:00+00:00
> if called from the non-abstract horror of a language C, and the (partial) fix for that is really ugly looking low-level Rust crap that that took a _long_ time to figure out and is the exact opposite of an abstraction,

In case it's not clear, the FFISafe abstraction is not a Rust standard library feature. It's a wrapper type that the author created within their library to bypass some compiler warnings:

https://github.com/memorysafety/rav1d/blob/25e5574/src/ffi_s...

If you want to call C functions from Rust it's as simple as writing an extern block and then calling the function, though you'll have to put the call in an unsafe block because obviously the Rust compiler can't make safety guarantees across that boundary.

The Rust docs for extern are concise: https://doc.rust-lang.org/std/keyword.extern.html
by AlekseN | 2025-12-29 20:44:03+00:00
Author here. Important context: I'm not a physicist – this emerged from months of collaborative work with AI (Claude), exploring geometric patterns in fundamental constants.

Formula: M_Pl/m_e = π^45 × (1 + 2α + α/13 − (8/9)α²)

All coefficients derive from kissing numbers (proven theorems, not fitting).

Result: 5.74×10⁻⁷ precision. Cross-validated by sin²θ₁₃ = 1/45 from neutrino physics.

Everything is open:

- Paper: full derivation with references

- Code: deterministic (seed=42), CODATA 2022

- Live demo: https://colab.research.google.com/drive/1UtKmlkaYFHegx4S98Vv...

I can't debate field theory – but the math either holds or it doesn't. Looking for experts to verify or break it.
by MattyRad | 2025-12-29 20:44:47+00:00
Tangentially related, "slop" really isn't a negative enough term for unwanted LLM garbage. "Slop" which is fed to pigs, has utility. "Slop" as a verb doesn't necessarily have a (strong) negative association ("It was slopped on the plate, but it was tasty").

I use the term "barf" more often. Barf has no utility*. Barf is always seen in a negative context. Barf is forcibly ejected from an unwilling participant (the LLM), and barf's foulness is coerced upon everyone that witnesses it. I think it's a better metaphor.

I know that this is just semantics, but still.

* even though LLM output __can__, and often does, have utility, we are specifically referring to unwanted LLM output that does not have utility. I'm not trying to argue that LLMs are objectively useless here, only that they are sometimes misused to the users' detriment.
by markx2 | 2025-12-29 20:44:47+00:00
If you want to follow and get notice : https://steamcommunity.com/groups/RemGC

"This is a place for those who have a moderately large collection of removed games (games no longer available for purchase on steam) to gather. For most, this group will just be about the name, showing off that you own what others no longer can. For others, it can be a resource to find what you once believed could no longer be found."
Getting SEC filings faster by predicting future filing url
by jgfriedman1999 | 2025-12-29 20:44:50+00:00
It turns out that you can get SEC filings seconds to minutes faster by using URL prediction. This is because the SEC exposes the filing to the internet, before updating feeds like the RSS and PDS.

How it works:
1. The SEC accepts a filing, this is recorded as e.g. <ACCEPTANCE-DATETIME>20220204201127
2. The SEC then generates an index page for the filing, with filing metadata. This is publicly accessible. Typically the Last Modified Tag is the same as acceptance datetime.
3. The SEC then releases the filing's original sgml upload, and extracted documents. This is publicly accessibly. e.g. 10-K.
4. The SEC then updates RSS and PDS.

URL format
A typical index page is expressed publicly as:
https://www.sec.gov/Archives/edgar/data/1318605/000095017022000796/0000950170-22-000796-index.html

It turns out that you don't need the cik {1318605} for the url.
https://www.sec.gov/Archives/edgar/data/95017022000796/0000950170-22-000796-index.html

This means that you can predict the index page using just the accession number. An accession number has format:
{cik of entity submitting the filing NOT necessarily the actual company}-{2d year}-{typically sequential count of submissions that year}

So all you have to do is take the last accession, increment the count, and poll!

Once you match an index page, you can extract cik from that page, and construct the url for the filing information and poll that.
https://www.sec.gov/Archives/edgar/data/1318605/0000950170-22-000796.txt

What's great about this approach is that a few entities file on behalf of most companies and individuals. If you only monitor ten entity accessions, you monitor 42% of the corpus, 100 and you get 68%. Numbers taken from 2024.

GitHub Link
https://github.com/john-friedman/The-fastest-way-to-get-SEC-filings

This should be much faster than the papers which sparked government investigations!
https://www.wsj.com/articles/sec-plans-to-fix-flaw-in-electronic-distribution-system-1419621428?gaa_at=eafs&gaa_n=AWEtsqd6-X8ylp_BlpWHYpFoJqrLMDwYUu3m1QBJhoRtCHDIHraLrD3tMHPXaw57JW4%3D&gaa_ts=693e2fd3&gaa_sig=noGkpoMh6OXa0MqFPgj5kFe9kx7vbkSpB1vFceqW8LtXzD2wWC2vkGLKJwnvkJO-sq7q93qKbX_rs7ULReZIwA%3D%3D
by reconnecting | 2025-12-29 20:45:00+00:00
> OpenAI's sales and marketing expenses increased to _$2 billion_ in the first half of 2025.

"AI companies" spend more than enough on marketing budgets to create the illusion that AI makes development better.

Let's wait one more year, and perhaps everyone who didn't fall victim to these "slimming pills for developers' brains" will be glad about the choice they made.
by raisedbyninjas | 2025-12-29 20:45:08+00:00
Tesla, Rivian and a few others are tech companies that make cars. They have great software and integration between components. Traditional automakers are assemblers of modules made by dozens of suppliers. That's why Teslas navigation accounts for traffic, weather, elevation changes, charger speed & availability to plan routes. For legacy car manufactures battery preconditioning is about the most sophisticated route planning feature they'll have.
by b40d-48b2-979e | 2025-12-29 20:45:16+00:00
subjecting myself, or my kid, to Windows and the Epic store just to get at it.

Subjecting is a weird word choice here considering most of us rely on using Windows in some fashion in our education or work. Which OS or store you use is not your identity and EGS takes a significantly smaller cut from developers, so I prefer to buy there when I can as I don't care for social features from Steam aside from the workshop on some games.
by trinix912 | 2025-12-29 20:45:32+00:00
> DB is continually the worst train experience I have in Europe

Oh c’mon have you tried trains in Slovenia? The ICE from Budapest with a constant 230+ min delay, the regional one from Ljubljana to Celje where half the track is seemingly under perpetual construction (so transfer to a bus!), passenger trains delayed all the time waiting for freight trains, trains randomly going 20kph on some segments, and lately even vandals sabotaging the tracks. And don’t worry, they announce all of that exclusively in Slovene with no extra answers.

I’ve been on DB and it wasn’t that bad. It was expensive but at least the train didn’t max out at 80kph.
by WhyNotHugo | 2025-12-29 20:45:49+00:00
I only have experience with two carriers in NL and they’re the exact opposite.

No QR code, only an iOS app which needs to be installed on the phone using the plan. My mum was visiting from abroad once and I had to download the app on her phone — which required me to first log into the App Store with my Dutch account.

Another app that could have been a QR code.
by shadowgovt | 2025-12-29 20:46:01+00:00
Both of these things can be true:

- Google, the company, is doing pretty well in the stock market.

- Google, the advertising company, isn't generating good ROI for its advertising customers.

From Google's point of view, they've been very gunshy about having ads be their only revenue stream for years; I wouldn't be surprised that the consequence is the value there is drying up.
by bryanrasmussen | 2025-12-29 20:46:10+00:00
It's wild that management would be willing to accept it.

I think that for some people it is harder to reason about determinism because it is similar to correctness, and correctness can, in many scenarios be something you trade off - for example in relation to scaling and speed you will often trade off correctness.

If you do not think clearly about the difference with determinism and other similar properties like (real-time) correctness which you might be willing to trade off, you might think that trading off determinism is just more of the same.

Note: I'm against trading off determinism, but I am willing to think there might be a reason to trade it off, just I worry that people are not actually thinking through what it is they're trading when they do it.
by kjkjadksj | 2025-12-29 20:46:22+00:00
I wouldn’t call golf low impact. If you walk 18 it’s 5 or 6 miles with 25lbs on your back. Many pros tend to blow up their back and require surgery in their early 30s. Even amateurs can suffer from back or hand issues. It may not be intense cardio like rowing but the body is certainly being used towards its limits along some vectors and being put at risk for injury. Swinging a weighted metal rod at 100+ mph sometimes with all that force going right back from the ground you chunked into your wrists and spine.
by inetknght | 2025-12-29 20:46:51+00:00
The wild success of traffic lights is only wildly successful to those who aren't color blind. Do some reading.

Wikipedia: https://en.wikipedia.org/wiki/Color_blindness

> The colors of traffic lights can be difficult for red–green color-blind people. This difficulty includes distinguishing red/amber lights from sodium street lamps, distinguishing green lights (closer to cyan) from white lights, and distinguishing red from amber lights, especially when there are no positional clues (see image).

Publication from 1983: https://pmc.ncbi.nlm.nih.gov/articles/PMC1875309/

> All but one admitted to difficulties with traffic signals, one admitted to a previously undeclared accident due to his colour blindness, and all but one offered suggestions for improving signal recognition. Nearly all reported confusion with street and signal lights, and confusion between the red and amber signals was common.
by cyberax | 2025-12-29 20:47:50+00:00
EVs are in the Cambrian Explosion state in China right now. There are dozens of companies fiercely competing on price and features.

The two most popular EVs in China are the Wuling Mini and the Geely Xingyuan. The first one costs $4500 for the base model, and the second one is $9800. And you can get a very decent EV for $15k with plenty of options.

In 2-3 years, these $5k and $10k cars will only get better, and they'll just slaughter all the competition in markets outside the US and Europe. Especially once used cars start appearing at a fraction of the cost.

Traditional auto manufacturers are dead. Full stop. They just haven't realized it yet. Tesla had a chance to compete in this market with Model 2 but Musk decided to blow their lead on a completely stillborn and gimmick-filled robotaxi.
by globular-toast | 2025-12-29 20:47:52+00:00
I don't usually post something like this, but this is so fucking stupid. I'm prepared to stand by that. Let's see in a few years if I'm right.

"AI" is literally models trained to make you think it's intelligent. That's it. It's like the ultimate "algorithm" or addiction machine. It's trained to make you think it's amazing and magical and therefore you think it's amazing and magical.
by lazystar | 2025-12-29 20:48:24+00:00
Delving a bit deeper... I've been wondering if the problem's related to the rise in H1B workers and contractors. These programmers have an extra incentive to avoid pushing back on c-suite/skip level decisions - staying out of in-office politics reduces the risk of deportation. I think companies with a higher % of engineers working with that incentive have a higher risk of losing market share in the long-term.
by Aurornis | 2025-12-29 20:48:32+00:00
FYI to non-Rust devs wondering what's going on with this code: Those two abstractions (FFISafe and WithOffset) are not standard Rust abstractions. They're something the author is building within their own library: https://github.com/memorysafety/rav1d/blob/25e5574/src/ffi_s...

So for all of the complaining about Rust abstractions and syntax in this thread, keep in mind that these particular abstractions are not standard. If you just want to call an extern "C" function you can do so directly in an unsafe block.
by nyrikki | 2025-12-29 20:48:38+00:00
Much of the podcast problems were due to Honey leaking any promo code to the world, including employee discounts and customer specific discounts.

When Intuit is scraping every browser tab, there is no way to link a podcast campaign with engagement, so the way they were paid for driving traffic is lost.

Basically Honey copied the Ashley Madison model, unconstrained addition with a pay for delete. Ashley Madison had no email verification fyi, any bot or angry neighbor could sign you up for an account, then they wanted payment to delete.

Honey would extract any promo code they could find, then try to make you pay to remove it.