skysight-inc/HackerNews huggingface dataset:
Many Microsoft Research projects are done on Linux, and many also sadly die, like Singularity, Midori, Sing#, System C#, ....

However others do end in production like Windows Phone 7 kernel, Drawbridge, P*, .NET generics, F#, FStar, Lean,..

Actually I thought Verona was no longer active.
The reason that the rich were so rich, Vimes reasoned, was because they managed to spend less money. Take boots, for example. ... A really good pair of leather boots cost fifty dollars. But an affordable pair of boots, which were sort of OK for a season or two and then leaked like hell when the cardboard gave out, cost about ten dollars. ... But the thing was that good boots lasted for years and years. A man who could afford fifty dollars had a pair of boots that'd still be keeping his feet dry in ten years' time, while a poor man who could only afford cheap boots would have spent a hundred dollars on boots in the same time and would still have wet feet.
This was the Captain Samuel Vimes 'Boots' theory of socio-economic unfairness.
As an owner of a 2020 V90CC (which was the last of the Sensus models), I have to disagree. I’m never buying another Volvo based purely on the terrible software experience that Sensus provides. Only being able to use half the screen for CarPlay, random crashes, features that simply don’t work, map updates that are permanently “installing”, blasting me with 1-2 seconds of radio at full volume at random when I’m playing from my phone.. zero acknowledgement from Volvo on the issue (we can’t replicate it).

I’d take the android auto version any day, but I’ve just replaced the car with a different brand. Unfortunately you can’t escape the relentless notifications and beeps no matter what the brand is these days, but at least the software is stable in the new car.

I just want CarPlay and for the car to get out of the way. Where’s the CarPlay 2 vehicles? They can’t come fast enough.
OP here, glad you all enjoyed the article :-) would love to know how yous customising your browsers.
Why do you care if people hate some weird rich dude?
while writing this I found https://github.com/rbreaves/kinto - I need to give it a try as this (hopefully) is not simple overlay for xmodmap...
In my area any car that doesn't need any reparation or work being done on it is sold at a minimum of 900€ and speaking of Clio of that era they are more like between 1700 and 2000€ if you want one in working order.

That is the funny thing with the second hand market. 20y old cars sold 20k€ or 80k€ new are sold more or less at the same price 20 years later. Because of higher maintenance cost and parts price + higher number of stuff that can fail, the more luxury items are also the ones that are less wanted and people looking for inexpensive cars will favor the most sold small cars of that era they or an independent garage can fix easily and cheaply.
1 western monetary unit a month is still a LOT cheaper than getting the next level storage upgrade.

Rven the 200GB package (2.99€?) is only 36€ a year and should last most normal _families_ when shared.
I think the title of the paper is misleading. Obviously the result shows an impressive performance with just few training examples. However, I cannot see that while keeping the same method reducing training data leads to more performance. They have simply shifted the performance curve (impressively) to lower thresholds. Still also with this new method more training data should give better results. It would be interesting to see a full performance curve for the method based on training data amount (and potentially quality).
and what? AND WHAT?
> You write because you think, because you observe, because you need to put it somewhere.

This resonates with me. Many things get more precise when I write down my thoughts or explain them to others.

For my company, I use the blog to explain how my software is working, I'm using blog for that as well. It is a good marketing channel.
> I for one don't like it when people online, with every statement, signal their personal ethics. It gets to be very tiresome and degrades my HN experience.

Ironically, buying a Tesla is nowadays a very visible political statement.
Anything that's got access to a python interpreter would qualify.
The rebuild sourced the parts from other contemporary machines, and there's a decent chance some of these components came from the dismantling of the original Colossus, so some of the rebuild is probably also original :)
Ideally yes because if the microcontrollers can be replaced by a central macro-controller computer you can then update it all more easily. You make the whole thing more software defined.
This “summary” is so wrong. You left out half of the article describing problems with the camera and on-board computer leaving every modern feature of the car useless, which is a known problem affecting a huge number of customers, and which they promise to maybe fix in three months. The only problem you mentioned in your summary, the mysterious battery loss, isn’t even officially acknowledged let alone promised a fix.

And what’s the point of a “summary” when TFA opened with a very good two paragraph summary of the situation? Can’t even tell if it’s gaslighting to make light of the problems, or some stupid AI summary service running amok.
Most non trivial programs I've seen in Rust just end up with Arc<> and copies all over the place, because getting lifetimes right becomes borderline insanity.
Strong disagree, this was obvious if not from the very start, then as soon as the first company that relocated manufacturing started making ridiculous profits.

Keeping the retail prices the same whilst more-than-decimating the manufacturing cost? How could it not be obvious that anyone and everyone would follow once there was a proof of concept.

When capitalism is measured on incredibly short term performance, with no consideration of long term sustainability or national interest or maintenance of national skills and capabilities. This has been going on since well before the world wide web became accessible to most Western households.

Nike started doing it in the 70s and they weren't the first.

I've long been confused* to why there was no legislation to prevent "local" companies from giving away the keys to their kingdoms to foreign countries.

*Not really, politicians are just as short-term motivated as business owners.

It made sense. But the chickens are now coming home to roost, and they're shitting all over the place and the unprecedented profits have been spent on fancy plastic toys (that are now mostly landfill) instead of any kind of preparation for the inevitable tsunami of chicken shit.
I doubt that they are any better because most of the issues are caused by poor design.
Another way of looking at it might be that the crowd who liked Musk in the 2010s is a tough audience. I was among them too - I liked what Musk (appeared) to stand for. Expanding mankind's reach, unafraid to take a task that previously was deemed "impossible" and pretending that with enough determination it can be achieved. All the while maintaining a bit of childish cheek and humor about things. I really liked both the vibe and the approach. It was the quintessential "young and starry eyed rich genius who is prepared to throw lots of money at moonshot ideas - if only to see what happens".

But this audience is more diverse in it's views and is perhaps more willing to challenge it's idols and leaders. Keeping this audience on your side is a constant dialogue where you are constantly challenged and it's a symbiotic-adversarial relationship that results in a stronger whole. Only by getting challenged in a constructive discussion can truly great ideas be born.

But this is hard work and in some sense annoying. Inevitably he gets surrounded by sycophants and yes-men, because these people butter his ego, and comes to realize that there's an audience around who will unquestionably eat up anything their leader says irrespective of it's truthfulness. An audience who doesn't care whether their leaders are good, just that the leader is on their side.

And thus we find ourselves in the current situation, with an entire establishment in the US who will happily broadcast broad faced lies, but these lies are only for their own audience who believes them without question. Or they just don't care at all, because it's not about the truth, it's only about tribalism.
It is about the tools that you are using. The better the tool, the faster the job is done. I always get the best machine I can afford and never regret it. I'm working with data; I have a desktop machine with 256 GB RAM and 36 CPUs; it was expensive, but I can train huge gradient boosting tree models in a reasonable time.
Beavers finish seven-year dam project in two days saving – $1M
You aren't arguing against divisiveness, you're arguing against bringing up politics, the politics of a man who is actively utilising his vast amounts of wealth to divide multiple countries. A man who is seeking to deny human rights to marginalised peoples. A man who stood in front an audience of millions and threw out a Nazi salute clear as day.

There is no tolerance to be had here.
Worked in IT a long time ago for a branch. There was some Java, a lot of Perl and SVN. We got releases from DC to run on local servers. Folks with experience with SDLC were prevalent and that was a prerequisite for doing anything meaningful. Never saw Cobol, doesn’t mean it wasn’t there.
TLS is used for this inside corporate environments because it can be intercepted by snakeoil CA using firewalls.

So I'd argue it's not as secure as SSH, where an MITM actor implies a compromise of the cryptographic algorithms used underneath or an exploit like the xz case.
Watersheds I Find Interesting
Like supporting Android Open Source Project… until Google decides to move the critical parts into Google Play Services? I run GrapheneOS (love it) but almost no banks will allow non-Google-sponsored Android ROMs and variants to do NFC transactions because… the AOSP is designed to miss what Google actually needs.

Idem with ML Kit loaded by Play Services, which makes Android apps fail in many cases.

And I'm not talking about biases introduced by private entities that open source their models but pursue their own goals (e.g geopolitical).

As long as AI is designed and led by huuge private entities, you'll have a hard time benefiting from it without supporting the entities' very own goals.
> cmov data dependency problem can't be solved

Can't is a pretty strong word.
So, where is the RFC proposal tor something better then?
Yeah a good point.

I do not know how much would such a thing cost though. But if it's just sending a letter with a lawyer stamp?
author, if you are here

let's = let us, it is for suggestions

lets = I let, he-she-it lets, it's the verb form
Maybe I’m misunderstanding why branching is slow on a GPU. My understanding was that it’s because both sides of the branch are always executed, just one is masked out (I know the exact mechanics of this have changed), so that the different cores in the group can use the same program counter. Something to that effect, at least.

But in this case, would calculating both sides and then using a way to conditionally set the result not perform the same amount of work? Whether you’re calculating the result or the core masks the instructions out, it’s executing instructions for both sides of the branch in both cases, right?

On a CPU, the performance killer is often branch prediction and caches, but on the GPU itself executing a mostly linear set of instructions, or is my understanding completely off? I guess I don’t really understand what it’s doing, especially for loops.
Mellanox ConnectX-5: iRISC reverse engineering
Could I search on language? Want to see what the Japanese options are.
Should front facing cameras be required by law (in USA) too? The bonnet height of USA vehicles appears to be adult shoulder height. If you're 5ft/150cm tall or under they're lethal.
It does help, thank you. I was thinking that I'd just have to change my process a bit to capture what I need/want to document properly.

For me, a few days might as well be a year in trying to remember :-(
There is real branching on the hardware level, but yes it needs to take the same branch for the whole workgroup and anything else needs to be "faked" in some form.
> Modern cars seem to be absolutely terrible.

At least it doesn't steal your personal data like Smart TVs do.
Note what did not change. The pedals and steering wheel are identical. Someone at BMW still knows what quality means.
What are pattern types? Cannot watch the video, too slow.

Edit: Thanks for the explanations. From what I see, pattern types are subtypes of a given type, such that the subtype predicate can be specified as a pattern match. This way, pattern types are subtypes that can be checked at compile time (at least, if the used pattern can be checked at compile time, I don't know if all Rust patterns are compile-time checked).
>Let's remove Musk from the equation, because you can like or (most probably) hate him

OP doesn't make any implication about Musk at all, his name is only mentioned in passing.

>I own a Tesla and I have the opposite experience.

This is not a useful contribution.

Obviously there are many satisfied Tesla customers. No one doubts this.

The point of an article like this is to bring to light just how bad a Tesla experience can be. Not a tiny bit bad, but really miserable and expensive.
Not entirely regulation and planned obsolescence but because cost.
Coding in the climate controls on the touch screen has a fixed cost that doesn't really increase with each car built. Adding multiple physical buttons, does. Even if each button costs cents to make.
No problem. A lot of people are unaware of their consumer rights, so please share it forward.

In the case of making a small claim (where it is a monetary claim under 5000), it may have more weight than a lawyers letter (as you are effectively suing them at that point), and they will then be on the hook for settling the filing fee as well, whereas you would otherwise be paying for a letter from a lawyer (although sometimes that cost could also be recovered through the small claims track). You just need to make sure you follow process (28 days notice, etc - again just contact ECC-NET to be aware of the correct process).

Of course, there are occasions where a lawyer may be needed (just as there are for domestic disputes), but being aware of your rights in advance will let you know if you have grounds without the need to pay a lawyer for consultation.

Also worth pointing out again that your EU consumer rights are identical for domestic and cross-border disputes - but for domestic disputes, you can contact your local consumer protection agency instead of ECC-NET as you may have MORE rights domestically (higher small-claims limits, for example) - although i expect ECC-NET would simply refer you in such a case
SQLite-WASM-HTTP
People care more about security won’t use iCloud at the first place.

Providing a decentralized protocol probably doesn’t hurt the revenue, but increases the development cost.
Around here, I’ve been seeing a lot of non-Tesla EVs. There’s also a lot of Teslas (mostly 3s and Ys). There’s a few Cybertrucks. I’m not a fan of their aesthetics, personally.

Some of the Hyundais look neat. That company has come a long way.

I was behind a brand-new Tesla Model S, a few months ago. Looked like about a $90K trim package.

The trunk was slightly out of line. Probably not enough to affect the seals, but plainly visible.

It would likely have taken two minutes with an Allen wrench to fix, and the fact that a car costing that much, was allowed to leave the factory in that condition, does not speak well for their QC.
My daily driver is a 2020 Kona Electric (a buddy of mine drive a Kia Xceed; my understanding is that they use the same software). No software issue to report or that I remember. The only issue I have is more taste than problem (the way the highlighted road is displayed on satnav is better on Google Maps IMO).

I find the OS perfectly boring, and I like it that way. Most of the car functions has physical, clicky buttons. The one that doesn't are justified IMO (navigation, pairing bluetooth, etc.).
If Google knows that much about me how come it can't tell that I know barely any German and still serves me ads in German whenever I connect from German ip?
Yet, Tesla makes more profit than most. It's like saying Apple has no market-fit vs Android because it's far less popular… until you realize it's a strategic choice to sell fewer vehicles but at higher margins.

Tesla hasn't started going down market with cheaper cars. But they've said new, cheaper models will be released by June 2025. We'll see what happens for the cheaper and higher-volume segment of the auto market.

But for now, Tesla has the most popular model with the highest margins.
Cars have had computers for decades now. Before the age of OTA updates, whenever one of those computers had a problem, a recall was issued and you needed to physically take the car to a dealer, probably pay some kind of service fee, and have them plug something into a hidden slot somewhere to flash an update. Other times they'd just swap out the physical computer (call it a "part") and throw out the buggy one.

I don't like the modern 'car OS as a service' system where every month or so defects need to be fixed for some reason, but OTA is a hell of a lot better than the system before software updates became available to consumers.
If you think of watt-hour as "joule times 3600" then it makes sense
That company is known for having patchy quality and difficult service. As usual the "best car" depends on what aspects of a car you value and how it fits your journeys. If you're thinking about "best" as a general thing rather than about how it fits you personally then you're buying based on status. Right now that status is probably very negative - radioactive even.

As for volume of cars sold in Europe I'd bet the ID series is by far the most common with the underlying platform being the same in many models. That means if you're in trouble about some issue you're not going to be lonely.
The video in question: https://youtu.be/74E-eAxQ9P4
https://www.kriminalpolizei.de/ausgaben/2024/dezember/detail... has an interesting table. The last row says "2023, 201 suspects, 136 of them Dutch".

Apparently some of the less pleasant elements of Dutch society learned to blow up ATMs and extract the cash, then the banks there learned to cope, and then they switched to ATMs across the border in Germany. Now the German banks too have learned to cope and the number of ATMs being blown up is receding again, with a 60-70% drop in the areas that formerly had the largest number of bombings.

(Rumour has it that German banks also offer shops better terms on card payments of late, I wonder whether that's connected to these bombings.)
That is fine, but I think it's still important to recognize this. In my initial reading, the numbers comparison stood out a lot more from the thread starter's comment than the rest for example, which is a problem if perpetuated without the rest. In a sense, mentioning the numbers in the way it was mentioned almost invites misinterpretation, I'd say.
> we can now imagine a world where we cure all diseases

Sure we can imagine it. However to make it happen, it's not enough to imagine the end goal, you need to understand and execute every single step.

I suspect his lack of knowledge about what's actually involved allows him to imagine it.

ie I notice he hasn't declared a world free of software bugs and failures ( a much easier task ), before declaring a world free of bugs in human biology.
Yeah that's essentially what I do, or have a yearly budget for things like furniture rather than a monthly one. I just wish it was more standardized in many apps.
WORM prevents after-the-fact modification, but it isn't very helpful in the case of persistent threats.

The concern is that the tampering has already been committed to the backups. When was the "Break Glass" password last rotated? Is it protected by one or more Yubikeys that were manufactured before they fixed that nasty exploit? What other attack vectors are baked in through malfeasance or human error?
They do have less panel gaps and other minor flaws, because the people putting them together in Germany actually care (and have unions and proper working hours so they're not exhausted).
Well, fast enough means that you don't need it to be faster, and therefore it is not a reason to use Rust :-).
1945 Willys MB
Assuming this is sarcastic, since modern cars famously _do_ steal your data.
If anything HN taught us is ORM is bad. You want to be roasted ;)
Ha, it's funny how everyone has completely different experiences it seems. I've owned my XC60 for over 5 years not and literally genuienly had zero issues with this car - software or hardware wise. Never had a single software crash.

>>Only being able to use half the screen for CarPlay

I don't know, that just never really bothered me? I use the built-in satnav anyway since it's necessary for the hybrid system optimization to work.
It's only censorship when the government does it, or so I've been told.
Almost no software projects are documented as well as they reasonably could be because on the whole programmers don't like writing stuff up, sadly. Also the projects may not be systematically documented in places where you might easily find that documentation. External documentation includes patents and talks and workshops and conferences.
I think you're being a bit unfair here. Apple does care about security and privacy. It's part of their culture.
Next time just glue a piece of aluminium on the inside of the old sump with JB Weld or a similar type of heat-resistant epoxy. Been there done that after my wife holed a few too many sumps by driving her Skoda over overly high obstacles. The first time she did this I could follow her track in the tractor to where she parked the car for me to tow it homes, the other times were out in the bush - she's a veterinarian which takes her to places where roads are afterthoughts. I just swapped between sumps, repairing the freshly broken one in wait for another turn. That car has been sold and she has not yet managed to hole the current one but I know from experience this works just fine.
> Tilburg (Holland).

Try not to call them Hollanders, except possibly during national football matches. Tilburg is in an area of the Netherlands that has quite a strong regional identity (and that region is not Holland). You can call them Brabanders if you want to use the regional demonym.

Also that regional identity is going to be quite strong until carnaval has passed, should you visit any time soon.
Just dropped in my email to try out the Japanese. I'll let you know.

I'm not really sure what to do with this -- I thought you wanted someone to take a look at some Japanese content, but I can't find any in the app/tutorial.
Aidemos... the greek god... of intelligence...?
Because Meta called llama that shortly after it got leaked and it stuck.

The AI crowd doesn’t care much for licenses anyway.
Which is the problem. A lot of separate micro controllers will probably never need an update. We have now had microcontrollers in cars for decades, and they almost all worked fine without updates. Its only recently, with the more software defined systems, that we have needed updates.
> I expect a light switch button on a plane act like any other light switch button everywhere else

Me too, which was why I was very surprised when I discovered light switches in the USA worked backwards[0]. :D

(When I initially read your comment I didn't notice the use of "button" by which I guess you're referring to a push-button toggle style switch? But either way I still think light switches are an interesting example of non-obvious things that don't work the same way in all environments. (Even ignoring the "one light controlled by multiple switches" situation.))

----

[0] https://en.wikipedia.org/wiki/Light_switch#Orientation
Absolutely they do

https://www.abc.net.au/news/science/2024-10-09/car-brands-ar...