MurphyA/hacker-news huggingface dataset:
by StopDisinfo910 | 2025-09-05 19:59:13+00:00
That’s a complete red herring.

This is not Europe racketing Google. Google is losing the same kind of trial everywhere in the world including the US for one simple reason: they are actually using anticompetitive practices in the ad tech market.

Honestly the most likely to benefit from this verdict are other American companies. You are welcome for us doing the enforcement your country refuses to do.
by tern | 2025-09-05 19:59:19+00:00
> A phone, but you can only use it to perform government approved actions on government approved software.

Are you not more or less arguing for this?

But you're right to point to a nasty problem, the solution to which is not obvious: "what do you do when society begins to rely on something created by a corporation, which is not accountable to a populace?"

Turning the corporation into a mini government may not have the effects you want
by jasonsb | 2025-09-05 19:59:55+00:00
> Wouldn't it be something if the EU focused on fostering a tech scene rather than attacking it.

It really wouldn't.

We're having the wrong conversation here.

The reality is that these fines mean nothing for the average EU consumer. There's really no difference between a consumer in the EU, the US or China. As a EU consumer you win nothing from these fines. You won't be able to sue Google or any other company if they're abusing you or your data. You're just reading these stupid headlines about these huge fines and that's the end of it. Europe has huge power and could really change the way big companies work, but instead it chooses to do nothing but apply random huge fines here and there that change nothing in the grand scheme of things. It's a shame.
by lyu07282 | 2025-09-05 20:00:05+00:00
Repo is back but code is gone, with this statement:

> 2025-09-05: VibeVoice is an open-source research framework intended to advance collaboration in the speech synthesis community. After release, we discovered instances where the tool was used in ways inconsistent with the stated intent. Since responsible use of AI is one of Microsoft’s guiding principles, we have disabled the repo until we are confident that out-of-scope use is no longer possible.

What was that about?
by bigyabai | 2025-09-05 20:00:26+00:00
Cook's sycophancy towards Trump was readily apparent in 2017: https://fortune.com/2017/07/25/apple-ceo-big-plants-trump/

> But I guess people are already desensitized for such news.

Apple can do no wrong in the eyes of consumers. Tim Cook could be caught on video clubbing seals and nobody would bat an eye.
by bsaul | 2025-09-05 20:00:27+00:00
lots of negativity here. I found that POV very interesting. I'll rephrase like this: programmers tend to focus on micro-issues, but with large codebase the main problems are finding the correct abstractions and designs to manage the complexity, which themselves aren't described at all by types (a perfectly type safe program can be an absolute buggy over-engineered mess).
by charleslmunger | 2025-09-05 20:00:47+00:00
That's true, but most usage of sqlite is not as an application file format, and many of those CVEs don't apply even to that use case. The reason people have policies around CVE scanning is because CVEs often represent real vulnerabilities. But there's also a stuff like "this regex has exponential or polynomial runtime on bad inputs", which is a real security issue for some projects and not others, depending on what the input to the regex is. That's also true for SQLite, and I'm guessing that the author of that page has spent a bunch of time explaining to people worried about some CVE that their usage is not vulnerable. The maintainer of cURL has expressed similar frustration.
by delta_p_delta_x | 2025-09-05 20:00:55+00:00
When I was taking my compilers class at uni, I realised very quickly that the most irritating part was the sheer volume of book-keeping.

Things like the ABI itself, which includes register saving/restore, function call stack setup, to the linker and loader, ensuring the right sections go to the right places and are correctly sized, and then at load time ensuring relative addresses are correctly relocated, all branch target labels are resolved to these relocated addresses, it was such a pain.

All of this book-keeping was a genuinely the most time-consuming part of the assignments; the actual compiler ideas and implementation being relatively manageable.

Funnily enough the compiler implementation was done in OCaml.
by tonymet | 2025-09-05 20:01:28+00:00
My neighbor has an Ioniq 5, styling-wise it's cooler than my Tesla. Reminds me of Corrado -- one of my favorite cars. But we have had night and day experiences with charging our EVs.

The supercharger network seems effortless & flawless -- almost too good. No payments, planning. The stations are clean, quiet & secluded. Just follow the Nav and charge.

The third-party network has been a disaster for my neighbor. He's had to back track many times, even on ~ 2 hr trips. The chargers are broken, causing him to double-back even more. On a recent trip the only working charger was next to a gas station and the fumes made his wife sick. He has 4+ apps to manage charging payments .

How on earth do people tolerate other EVs?
by dang | 2025-09-05 20:01:40+00:00
Thanks! Macroexpanded:

The Network Of Time: Choose any two people to see how they connect thorough time - https://news.ycombinator.com/item?id=42105262 - Nov 2024 (8 comments)

Show HN: Network Of Time – visualize connections between notable people - https://news.ycombinator.com/item?id=28456413 - Sept 2021 (4 comments)
by adgjlsfhk1 | 2025-09-05 20:02:27+00:00
I'd agree with you if Mojo was a project by an inexperienced team, but it wasn't. Chris Latner alone has decades of PL experience and the issues with making Python fast are fundamental and well known. anyone who comes around with a sales pitch for making a portion implementation that's significantly faster than Pypy is either incredibly naive or lying
by rezonant | 2025-09-05 20:02:39+00:00
If the argument is that even small programs benefit from types, then I'd agree. In the context of Typescript for example, leaving types out is hiding vital information needed for reading the code. Without it, you must infer that information on reading it, and you very well may infer wrong, incorrectly spotting a place where a function that appears to take a number is passed a string. To know if that's a bug, you must read the called function explicitly for the case to determine if an optional conversion is applied. And of course the inverse is even worse, because you may come to assume that all the functions taking numbers are also taking care to convert strings should they appear, when in fact no such assumption can be made.

I'm of the mind that the modern resurgence of typed programming languages is mainly the revelation that you can build your contracts directly into the structure of the code without necessarily needing additional (imperative, runtime!) assertions or physically separated unit tests to validate those assumptions as the software evolves. It's just inlining a certain kind of assertion or test directly into the declarations of the code.
by const_cast | 2025-09-05 20:03:16+00:00
Toasts on large displays are definitely an anti-pattern, they're just too far from where the action that triggered them actually happened.

On mobile it's a bit different, because often you don't have the space to put an "undo" button or status text right next to the thing you just did. So you put it at the bottom or something in a toast.

Still not good, but more justifiable.

Also iOS does not have reliable undo actions. Android does, but on iOS there isn't an equivalent. No back button. Well, maybe a back button but definitely not required and not enforced in any way.
by ModernMech | 2025-09-05 20:03:38+00:00
Yeah, that's what I've been hearing about Julia for about 10 years now: "situation will improve greatly in the next version, but still many rough edges remain".

I've been involved in a few programming language projects, so I'm sympathetic as to how much work goes into one and how long they can take.

At the same time, it makes me wary of Julia, because it highlights that progress is very slow. I think Julia is trying to be too much at once. It's hard enough to be a dynamic, interactive language, but they also want to claim to be performant and compiled. That's a lot of complexity for a small team to handle and deliver on.
by elktown | 2025-09-05 20:04:34+00:00
I think you should consider calling the police and report that someone read your public comments on a discussion board - that's very powerful and concerning proof that the person has nothing else to do!

Snark aside, I find it amusing with you weirdly domineering types that you just can't stop trying to gaslight. It seems compulsive; "you don't have much going on, that's why you can do this. It's the truth and you know it.". Like, come on, the eyeroll got so far back I got worried it might get stuck.
by wahern | 2025-09-05 20:04:43+00:00
A quick look at a topographic map of California suggests HSR through the Central Coast would be significantly more expensive, especially the southern half. Moreover, the Central Valley has more than 3x the population and significantly more land available for expansion, presumably in large part because of the topography. Also, I believe there are more Federal forest lands a Central Coast route would have to get through, which in retrospect might have proven a fatal choice.

Paralleling I-5 seems like a much stronger argument, though I'm not sure that would have been better and it may have never gotten off the ground at all. For one thing, Stockton, Fresno, and Bakersfield might not have supported CAHSR if it bypassed them. But also, AFAIU, Federal funding was contingent on following the routes laid out in the national high-speed rail plan drawn up in the 1990s, and the recommended California line went through the big Central Valley cities.

What's really held back CAHSR has been the law suits and related dithering (e.g. environmental reviews more prolonged because of the expected law suits). That sapped momentum, and momentum is everything; time is money. That loss of momentum also means CAHSR is having a much harder time getting over the humps, literally (tunneling through the mountains) and figuratively (financial support for the tunneling). If construction had proceeded as fast as it has in most other countries, people wouldn't be perennially debating the chosen CAHSR route.
by dingnuts | 2025-09-05 20:05:00+00:00
this happens to me constantly, it's such a huge waste of time. I'm not convinced any of these tools actually save time. It's all a fucking slot machine and Gell-Mann Amnesia and at the end, you often have nothing that works.

I spent like two hours yesterday dicking with aider to make a one line change and it hallucinated an invalid input for the only possible parameter and I wound up using the docs the old fashioned way and doing the task in about two minutes
by StopDisinfo910 | 2025-09-05 20:05:02+00:00
US Tech Giants use tax optimisation created by the single market to avoid EU taxes to the tune of billions a year. That’s on top of them getting far too much access to public markets in the EU including for plenty of things EU companies are bared from by the Buy American Act in the US.

The idea that EU is somehow a mob boss shaking down American tech companies is plain ridiculous. Just take a look at the EU-US trade balance in service and you will understand in which direction the money is actually flying.
by teamonkey | 2025-09-05 20:05:55+00:00
You just need to listen to some of the interviews Eben Upton has done. Also they seem to be quite successful doing what they’re doing?

The Pi has never really been aimed at the Linux-savvy power user. It’s always sucked at being a power user’s PC or as any kind of server where size and power consumption were not a primary concern.

You’ve always been able to find a used PC on eBay for a comparable price, even in the days of the Pi 1. This has never been the point of the Pi.

It was designed to be educative and versatile, and I think that still holds up today. It’s still excellent as a teaching computer for those wanting to learn Linux, or for those without access to a real PC. It’s excellent for embedded work, or prototypes, bespoke commercial solutions and hobby projects involving controls and sensors.
by bsaul | 2025-09-05 20:06:00+00:00
Fan here.

I watched a lot of your talks about mojo, where you mention how mojo benefits from very advanced compiler technology. But i've never seen you give concret example of this advanced technology. Please, can you write a blog about that, going as deep and hardcore tech as you can ? As i'm not a compiler dev i'll probably understand 20% of it, but hopefully i'll start to get a sense of how advanced the whole thing is.
by sfRattan | 2025-09-05 20:06:09+00:00
It's probably because I don't extensively customize my browser, but my only complaint about Firefox sync is that it doesn't sync the favicons of booksmarks. That seems like such a simple, obvious thing.

It is super nice that Mozilla/Firefox sync works across various forks of Firefox. I've used it successfully across Waterfox, Librewolf, and Zen.
by debugnik | 2025-09-05 20:06:18+00:00
Yes, the O in OCaml extends the type system with structurally typed objects and a classic OOP class system.

They're conceptually nice, specially the in-place object syntax, but the class syntax feels tacked on and the overall implementation is very naive compared to a proper OOP runtime like CLR/JVM/JS.

I suggest reaching for them only when first-class modules aren't enough (i.e. you need open recursion). Even then you could sometimes get away with polymorphic variant constraints, but that's admittedly harder to read and understand.
by seanmcdirmid | 2025-09-05 20:06:33+00:00
No, as long as Apple keeps putting out nice products, consumers will buy them. As soon as they stop, loyalty doesn't extend much to its leadership. Most consumers don't even know or care who Cook is. Think of it this way. Have you ever regretted buying a PC or Android? Then think about if you have ever regretted buying a Mac and/or iPhone. It is product execution. People who consistently buy apple just don't believe regret should be a part of buying a computing device.

Much of the Musk blowback has been magnified by Tesla just not being very good cars (even if they have a great charging network). Consumers would quickly forget about Musk being a scumbag if Tesla produced good cars again.
by mort96 | 2025-09-05 20:07:03+00:00
People tolerate other EVs in two ways:

1. You charge at home and typically drive relatively short distances, meaning you almost never have to interact with a commercial charger; or 2. If you need to rely on commercial chargers, you live in a part of the world where Tesla was never allowed to build a charging network monopoly (i.e anywhere outside the US), or in a part of the US where there's decent fast charging infrastructure

It sounds like your neighbour is unfortunate to require relatively frequent charging at commercial charging stations, in a part of the world where Tesla was allowed to build out a charging network monopoly.
by ratelimitsteve | 2025-09-05 20:07:04+00:00
is typing not interface definition? It's just defining the shape of data that goes in and the shape of data that comes out. Black box/contract orientation has been a principle of software design for as long as I've been doing it, for all of the reasons this article cites when claiming that the linux CLI is superior: one component doesn't care at all what another subcomponent it needs does, just what that subcomponent requires in order to do it and what the calling component can expect back from the subcomponent. Types are just explicitly defining the inputs and outputs and ensuring there's an automated way to catch it if they change.

I do agree with how the article talks about time though. It seems as though in software there has been an implicit assumption that timing things isn't a consideration and it's because the early principles of the craft were developed on single threaded systems and we were all taught as late as the 90s that coding is just writing a list of instructions to be followed in order.
by MandieD | 2025-09-05 20:07:14+00:00
The big difference between public EV chargers and gas stations: you can put an EV charger anywhere you have electricity, and with far lower space requirements. My city is slowly converting a few street parking spots in busy areas to EV charging, and it takes very little room - I have no complaints as someone who mostly uses sidewalks and bike lanes. Where did you think people were parking their cars in cities before?

Parking garages are also getting EV chargers. My office garage just added a couple dozen, and I don't think it would be hard for them to convert more once the demand shows up.

And I've seen them starting to go in at the little rest stops on the Autobahn that up to now only had unattended toilets; they're being added to the big, nice rest stops with gas stations, too, of course.
by dragonwriter | 2025-09-05 20:07:19+00:00
> I haven't heard a good explanation for why my proposal is bad other than it's not perfect.

It has the same flaw as the common age verification laws: it is unnecessarily intrusive; but I wasn’t, in the grandparent post, commenting on the merits, I was commenting on your description of the proposal as being both very different from what is currently being proposed and “just like buying alcohol or tobacco”, since it is nothing like buying alcohol and tobacco and shares the basic features which are different and more intrusive than buying alcohol and tobacco with the common online age verification legislative proposals.
by valcron1000 | 2025-09-05 20:07:47+00:00
> that data flowing between them consists of simple, agreed-upon formats

> HTTP servers and clients, email systems, DNS resolvers—they all interoperate based on simple protocols

Yeah, massive disagree with this. There is absolutely nothing "simple" about these protocols. Try to compose 3/4 UNIX programs together and you necessarily need to run it to see if it even makes sense. Don't get me started on HTTP.

It boils my blood to read "simple" in the context of software engineering
by 3x35r22m4u | 2025-09-05 20:07:52+00:00
I've been waiting for maybe some 15 years for some statistical method or (more recently) AI model able to decode live Morse Code in HF radio (CW as ham radio operators usually refer to it). This has been challenging not only because radio transmissions SNR is always changing and, just like handwriting, each operator sends Morse in its personal way (unless, of course, they use a PC keyer).
by tern | 2025-09-05 20:08:16+00:00
Ultimately I think this is cope, but I see this refrain over and over and I think it's what holds the current dogma in-place.

I suspect the issue is that traditional boxes and wires type dataflow IDEs put the burden of abstraction on the programmer, and since most people encounter these tools as students, they understandably fail to set up the abstractions correctly and conclude that the entire concept of high level abstraction is pointless.

I think there's a much better way, but nobody's really built it in a way that cuts through the prejudice.

Coincidentally, I learned how Palantir Foundry works today and it's an interesting case-study.
by jsmith45 | 2025-09-05 20:08:23+00:00
I can get by with a weakly typed language for a small program I maintain myself, but if I am making something like a library, lack of type checking can be a huge problem.

In something like JavaScript, I might write a function or class or whatever with the full expectation that some parameter is a string. However, if I don't check the runtime type, and throw if it is unexpected, then it is very easy for me to write this function in a way where it currently technically might work with some other datatype. Publish this, and some random user will likely notice this and that using that function with an unintended datatype.

Later on I make some change that relies on the parameter being a string (which is how I always imagined it), and publish, and boom, I broke a user of the software, and my intended bugfix or minor point release was really a semver breaking change, and I should have incremented the major version.

I'd bet big money that many JavaScript libraries that are not fanatical about runtime checking all parameters end up making accidental breaking changes like that, but with something like typescript, this simply won't happen, as passing parameters incompatible with my declared types, although technically possible, is obviously unsupported, and may break at any time.
by rsolva | 2025-09-05 20:08:25+00:00
Small, cheap electric cars are the best! Fun to drive, easy to maintain. I own an VW eUP 2015 model which costed me €4000 used. I do not know if they where for sale outside of Norway (I only see them here!), but it is the perfect car for 95% of our mobility needs.

I drive it to work every day (where I can charge it for free). I drive it to Oslo and can park/charge almost anywhere around town for really cheap, about €3/h, which is nothing compared to regular parking, which is usually ~€16/h.

I drive it to the Netherlands, about ~950km in two days, without a hint of range anxiety, thanks to abetterrouteplanner.com. Sure, I'm averaging 85km/h, and have to take a ~10min stop every ~2 hours to charge, but that is a welcome pause to visit the toilet or grab a bite.

I had to change a bearing that was getting noisy after 10 years of use, and it cost me €50 in parts and half an hour changing it. I was worried it was going to be a complicated affair, not having done it before, but it was as easy as changing a tire.

Oh, and there is physical buttons for everything! There is a little display that controls the music and shows consumption stats, but it is entirely optional and can be removed completely.

The battery has hardly degraded at all. I'm keeping this thing for as long as I possibly can, it is the perfect car!