MurphyA/hacker-news huggingface dataset:
by pjmlp | 2025-09-29 07:03:54+00:00
Problem was that 20 years ago some of those languages didn't had AOT compilation options, or if they did, they were commercial, priced at ways most developers would rather not bother.

Plenty of software has been written in C or C++, only because they were the only compiled languages known to the authors.

Having said this, Go, D, Swift, OCaml, Haskell, Common Lisp, C#, F#, Java (with GraalVM, OpenJ9).

All of them offer ways to do AOT compilation and use value types, granted Java is too verbose using Panama for that, and one is better of choosing one of the others.
by elcritch | 2025-09-29 07:04:07+00:00
> as English is to French.

For basic grammar sure, but English has what 30-40% of its vocabulary from French? There's also a lot of influence from Latin and Greek in English as well.

Likely it's just less cross-cultural sharing from Welsh into English. We get much more exposed to more tidbits from romance languages or German in English than we do Welsh or Gaelic.

> Italo-Celtoc hypothesis

Fascinating! Something to read up on.
by geokon | 2025-09-29 07:05:28+00:00
I still don't understand a lot of the specifics of the signing. So they're going to force through this change with a Google Play Services update? This will affect even old devices - like ones running some kiosk app?

How does this work with Chinese ROMs - that don't come with Google Play Services? How do it affect secondary app stores? A developer releases their app on Vivo's app store - and he has to register with Google's ID procedure?

If you're running some old Android version and you block Google Play Services from updating, will the Play Services stop working entirely and brick the kiosk phone/tablet?

If this was a change required in the next version of Android, then I could kind of understand. You buy a new phone and this is the Faustian bargain you choose to accept. Google's search ad cash cow is dieing. Time to milk all their assets. Google obviously doesn't want people making money off of their Android work - to me this was inevitable. But the fact they're forcing this down the throats of existing users.. this seems messed up and maybe illegal?
by silisili | 2025-09-29 07:05:45+00:00
Then let the military run the schools and cede power to the educators for discipline. You can't have it both ways.

I don't blame most homeschool parents for not wanting their children indoctrinated by what's been happening the last few years.

At some point, we need to pick a sane path. Today's system is literally the worst of every world to where we have daily school shootings and parents with any money at all opting out.
by bamboozled | 2025-09-29 07:06:37+00:00
“So somewhere along the 50-odd years of my life, I breathed something in, and it landed on one of my lung cells. That caused a change in the DNA and the genetic material in that cell, and it became a cancer,” he says.

Is this real? I know demolition people, carpenters, smokers, people who have survived fires and more, these people are in their 70s and 80s, how does one particle do this?
by lelanthran | 2025-09-29 07:07:46+00:00
> We need Wordpress and Wikipedia and Ghost to support this, and that won’t happen without native browser support.

It can. Unlikely but possible. A good first step would be to have a well-written web component to be used like this: `<markdown>...</markdown>`, with no support at all for a build-step. The .js file implementing this should be included directly in the `<head>`.

If that gets traction (unlikely, but possible) then the standards would sooner or later introduce a tag native to the browser that does the same thing.
by yccs27 | 2025-09-29 07:08:17+00:00
The most general approach is to calculate all the different cases, and then do a branchless selection:

var4 = (var1==1)*(var2+var3) | (var1==2)*(var2-var3) | ...

Of course this is basically the slowest possible option, but it might work as a starting point for a general-purpose optimizer to find a faster solution. If it doesn't, this will likely compile to conditional move instructions.

It might help if you replace the comparison and multiplication with an equivalent expression made from bitwise operations, but I believe most compilers already know how to do this transformation.
by likium | 2025-09-29 07:09:28+00:00
The incentive to show post-purchase ads is: 1. people didn't like nth purchase so they're looking for a substitute. 2. reinforce purchase behaviors / reduce buyer's remorse.

Ads work at human psychology; they're not fully logical. Though I'm sure there's inefficiency in marketing but if post-purchase ads weren't ROI positive, I doubt the market would be paying for them.
by smcl | 2025-09-29 07:10:44+00:00
Precisely. It’s quite funny how any time this comes up - a person of dubious wealth who claims to be rich being a penny-pincher - people are quick to chime in with something implying they got rich by doing that. It’s like the inverse of the whole “maybe if you didn’t eat avocado toast you’d afford that $500k house…” thing
by dybber | 2025-09-29 07:10:47+00:00
> They then sent a complicated jumble of computer code and asked me to run it as a command on my work laptop and report back what it said. They wanted to know what internal IT access I had to start planning their next steps once inside.

He should share that script for companies to protect themselves.

> As I held my phone in my hands, the screen filled with a new request every minute or so.

> I knew exactly what this was - a hacker technique known as MFA bombing. Attackers bombard a victim with these pop ups by attempting to reset a password or login from an unusual device.

> Eventually the victim presses accept either by mistake or to make the pop-ups go away. This is famously how Uber was hacked in 2022.

Authenticator apps should not give notifications, users must open them manually. In Denmark the government have followed this security practice for the authentication app MitID. In the beginning there was a lot of complaints, but now we know that is just how it works.
by janvlug | 2025-09-29 07:13:13+00:00
Better totally leave Android.

It will be a long tough uphill battle, but digital freedom is possible.

Purism is for example providing the Librem 5 phone with PureOS. Closing the app gap is big challenge, but I use the Librem 5 as my daily phone. Yes, I may have some inconvenience, but I have freedom, and the software is getting better and better.

For more info see also:

* https://puri.sm/posts/googles-new-sideloading-restrictions-w...

* https://puri.sm/posts/closing-the-app-gap-momentum-and-time/
by adornKey | 2025-09-29 07:13:22+00:00
Historically I'd like to add that FileNames are just sequences of bytes that come with a few restrictions.

They don't even have an encoding you can use to sort something. Windows FileNames look like UTF-16, but they can be truncated. You can't convert them to UTF-8 and back without loss. (For that you need WTF-8)

Once you use random FileNames you'll start to notice...
by kruffalon | 2025-09-29 07:13:24+00:00
I just noticed (and got a chuckle out of) something:

To me it looks like you first "assumed malice", got called out and now don't want to be assumed malignant yourself.

Thanks for the chuckle!

But in seriousness: would you mind describing how you interpret your own participation in this thread?

I'm fascinated by this behaviour, but I suspect it's as "easy" as you not being able to interpret the original comment in more than one way.

(Just as I'm doing too, or at least we both seem to act like it anyway)
by MohammedKHC | 2025-09-29 07:13:24+00:00
I feel like it's going to be "Stop running everything on phones." :) Jokes-aside you should not use a single programming language for everything. Every language have pros and cons. And another reason that made be choose rust is the fact that there was no IDEs for rust in Android at all. (There were some IDEs for python, cpp, [Although not with all the features that Rustroid supports :) ])
by kingkongjaffa | 2025-09-29 07:13:30+00:00
I was nodding along to this. It mostly feels like truisms.

The point about varying levels of skill vs taste is accurate in my experience.

I think I fall into the more taste than skill camp, although neither are particularly large in an absolute sense.

I switched to product management quite early in my career and pivoted to learning design and product “taste” more than software engineering.
by vanviegen | 2025-09-29 07:15:06+00:00
Early android did have sandboxing and a permission system. It's just that you had to accept all permissions on app install. (Which is still a lot better than common practice on the contemporary desktop.)

That didn't make the system less open though. The user gets to make an informed (or not) choice.

What was different is that the Play store back then was basically a free-for-all. There was no meaningful approval process. This did contribute to making the system as a whole more open, but at a cost...
by charcircuit | 2025-09-29 07:15:53+00:00
They already have required it since 2021.

https://support.google.com/googleplay/android-developer/answ...

The main benefits is that Google is able to optimize downloads for individual devices. It also makes the situation where the developer loses a private key and then they can no longer push anymore updates to their app no longer possible. I'm not a fan of this approach of essentially allowing Google free reign to use your key for deploying jpdates.
by OtherShrezzing | 2025-09-29 07:16:09+00:00
> One interesting consequence of this is that engineers with bad taste are like broken compasses. If you’re in the right spot, a broken compass will still point north. It’s only when you start moving around that the broken compass will steer you wrong. Likewise, many engineers with bad taste can be quite effective in the particular niche where their preferences line up with what the project needs.

This paragraph really gets to the idea of why I think discussing someone’s taste is basically useless in an engineering context. This “predictably broken compass” person stands out like a sore thumb, and you can just hold a 20min behavioural interview to filter them out.

A far more dangerous engineer is the “partially broken compass”, which appears at first sight to be working because it spins around like you’d expect, but is actually 127degrees off at all times.
by TJSomething | 2025-09-29 07:16:34+00:00
I've been using F# and there are actually several roadblocks for AOT F# [0]. However, a self-contained .NET JIT executable is still surprisingly small (18 MB for an ASP.NET minimal API written in F#), easy to build, and easy to deploy.

[0] https://github.com/dotnet/fsharp/issues/13398
by adwn | 2025-09-29 07:17:14+00:00
> Both of things either have already been reverse-engineered, or are in the process of being reverse-engineered.

Please provide a source for this claim. Yosys, for example, can't route [1] designs even for Xilinx 7-series devices, and that architecture has been introduced 15 years ago.

[1] Not to be confused with synthesis, mapping, or placing, all of which come earlier in the flow, and for all of which sufficient information is public available.
by Rogach | 2025-09-29 07:18:23+00:00
I see a lot of comments here talking about "end of free computing" and similar stuff. However, I'm trying to find ways to be somewhat optimistic. There are already companies that attempt to make smartphones that actually try to preserve our freedoms (Fairphone and PinePhone come to mind, I'm sure there are more). So even if mass-market smartphones become locked-down completely, we will still have alternatives. Sure, in some ways these alternatives might be less convenient, and they might be expensive - but if you can put a price tag on your freedom then you might not need it too much in the end.
by altairprime | 2025-09-29 07:19:19+00:00
Only if you’re wealthy. At $260k/yr, you’re barely middle class; better to owning your primary vehicle and residence as soon as you have enough saved to pay their annual taxes for a couple decades, unless you have at least $2.6mil of (semi-liquid, non-volatile) cash savings / money market / index fund investments accrued (so, not real estate or angel investing). Whatever amount of profit you lose on interest skimming isn’t worth the fragility of risking your home because you have a payment due and who knows what went wrong upstream, especially if you don’t/can’t review the annual financials of your annuity payer to see that they’re almost out of runway.
by rowanG077 | 2025-09-29 07:19:32+00:00
This is not a separate synthesis tool. This is just a yosys plugin and only works for their own FPGAs. Kind of leaves a bad taste in my mount that they choose to advertise this as their own synthesis tool when it isn't. I'm curious why they didn't work together with upstream.

Also looking to their full stack it seem they use VPR/VTR instead of nextpnr for routing. That seems like a backwards choice.
by brainwad | 2025-09-29 07:19:57+00:00
Switzerland doesn't have property taxes, so it's better to think of the imputed rental tax as a more progressive implementation of a property tax. Low earners pay less tax on a home of the same value than high earners. And the tax is less distorted by asset price bubbles, since you're taxing the imputed rent instead of the market value.

Now it's abolished, owner-occupied homes will mostly go untaxed, while investor owned ones will be taxed just as before. This is distortionary, but it seems politically infeasible to also abolish income tax on investment income.
Show HN: Easily Run Qwen-3 VL on HPC-AI.com
by justinyokota | 2025-09-29 07:20:07+00:00
Came across HPC-AI.COM, a platform that lets you easily run Qwen-3 VL on high-performance GPUs without managing hardware.

- Two versions available: 235B-A22B-Instruct (general multimodal tasks) and 235B-A22B-Thinking (complex reasoning, math, and 2D/3D understanding) - Preconfigured 8× H200 GPU cluster, optimized CUDA environment - Launch in minutes, pay-as-you-go, repeat experiments freely

A convenient way to experiment with cutting-edge multimodal AI.
by 71bw | 2025-09-29 07:20:21+00:00
>probably with safetynet checks to ensure it can't be running a custom rom

And they can, forgive me for my rather vulgar language, fuck right off with this thinking. Problem is it will still go into place, because for most people giving up the right of being able to govern their own device that they paid for is not a problem for whatever reason. Neither will it be until it touches something that is important to them - that's when, hopefully, some more people will be able to see that we are rapidly spiralling downwards toward a complete techno-authoritarian dystopia.
by jackstraw42 | 2025-09-29 07:20:47+00:00
> F-Droid's curation saved me at least once when I wanted to upgrade my Simple™ apps and couldn't find them in F-Droid anymore, which led me to learn that SimpleMobileTools was sold to a company that closed sourced the apps[1] and that there's a free fork called Fossify[2].

> Had I installed these through Google Play, they wouldn't have cared about this particular change and I would've gotten whatever random upgrades the new owners pushed.

sheesh. I've spent my whole mobile device life on iOS and am just now learning an Android device. While I feel I have more control over the finer details of my personal privacy and security, this ecosystem is a total minefield if you care about avoiding spyware and malware.

I'm glad I trusted my instincts and only installed F-Droid first before any apps from the Play Store. Just now found the Isolation app so I can create a Work Profile and separate personal life from the life that the relentless data vacuums are constantly trying to pull from the simplest apps these days.

Neither mobile OS is perfect, but I feel like I was correct about Apple having the user's personal privacy still much more of a priority than Google. There was never any question if those were the two options, IMO. But it does seems like now, finally, Android might be ready to deploy as a mobile operating system for the public. I'm fairly certain that this Android ecosystem that's used its users for so long as guinea pigs (not just Android, but the full unrefined and frankly unsophisticated media sphere as a whole that's been figuring out how to effectively work on us) has harmed the last generation or two beyond repair.

This became all too clear when the first thing I did on my first Android device a few weeks ago was install an offline keyboard from devs with my privacy interests in mind. Spent a few minutes thinking about what it would have been like living with this shitty keyboard system on iOS and realized that honestly, I am lucky that I stuck with iOS through all of this and feel like my mental health is much better than it would have been had I been fighting a malware-riddled Android device this whole time.

edit: I'm not saying you shouldn't use Android or that it's a bad idea, I do think that it is solid enough now (and maybe has been for a while, I don't know) that I can safely protect myself after learning. But ask yourself if all Android users would take the time to properly learn? What about kids?
by theshrike79 | 2025-09-29 07:21:36+00:00
It's the same with mobile games.

There are only a limited number of game mechanics, people install for the theme and come back because of it.

You can take a 1:1 copy of a game, reskin it 12 different ways and 1 of those might be a hit.

For apps like this there aren't that many ways to track what you're doing, but people like different kinds of UX.
by komali2 | 2025-09-29 07:22:09+00:00
I've messed around with funky phones, and after having an emergency call fail on two different ones, I've decided not to mess about with them anymore (GrapheneOS on some random pixel and a funky e-ink phone). Maybe it works great on whatever linux phone you mean but my path forward has looked more like just always using secondhand androids until I can install fdroid anymore, and then just using a linux phone tethered to a dumbphone that can hotspot. Finding out you can't call emergency services when you really super duper need to is something I never want to risk happening to me again.
by classicmotto | 2025-09-29 07:23:29+00:00
Software will be fully replaced with adaptive AI systems that shift form based on multimodal input & interaction.

Current AI models, especially small ones, are quite smooth-brain by themselves.

But, if we can refine them to a point where thinking AI systems can run on smart glasses and smartwatches in a usable, stable state, we can assume by then larger AI systems with higher compute are bound to be much more capable.

We can claim AGI milestone then. And, the real race for superintelligence begins.
by mort96 | 2025-09-29 07:24:57+00:00
IMO the issue is that we use the term "autism" for two wildly different things. We use it for perfectly functional people who are more sensitive than usual to crowds and noise and prefers a somewhat different style of communication than most people. And we use it for completely non-functional people who can't communicate at all and don't understand what's being communicated to them and throw violent temper tantrums as adults. I understand that there are probably reasons why these share the same medical term, but I believe we should use different colloquial terms for the two.
by geokon | 2025-09-29 07:25:21+00:00
by inertia science is done and will be done in English. Notwithstanding the Chinese/Japanese/Korean scientific journals - anything "big" gets translated. With LLMs the barrier for researchers to write in English is reduced

In the programming sphere on the other hand.. I get the impression there is a giant OSS Chinese community that doesn't do anything in English..

My Chinese is too crappy to follow technical topics - so it's possible my impressions are wrong
by jackstraw42 | 2025-09-29 07:27:05+00:00
I don't really see how you can guarantee your Android phone doesn't have malware, I feel like you may be exaggerating here.

I also don't mind the downvote, but if you would please tell me how you are able to guarantee your Android phone doesn't have malware, please tell me instead of hiding behind a downvote. Otherwise my solution is don't use an Android device.

wow, downvotes on all three comments! thanks, stranger.
by jackstraw42 | 2025-09-29 07:27:51+00:00
Apple has made policy changes and changes to the app store to make it clearer which apps to avoid. Apple really cares about my privacy, or they tell me they do and I believe them. I think they do because they know how important brand loyalty is to their customers. It's pretty much the thing Apple lives on, never losing the customer's trust. Google clearly leaves it more or less up to nature.
by xg15 | 2025-09-29 07:28:22+00:00
I think GP meant on the client, i.e. agent side. As in, you could deploy this kind of proxy in a forward/non-reverse way inside the agent system, so the LLM always gets markdown, regardless of what the site supports.

There is no real reason to pass HTML with tags and all to the LLM - you can just strip the tags beforehand.
by Skeime | 2025-09-29 07:28:36+00:00
I generally agree that treating substrings that are numbers as numbers is a good default for most users in most situations.

However, for hex numbers this simply won't give good results because some of them will just happen to not contain any of the digits A to F and be treated as base-10 numbers by the heuristic while others will include these digits and be sorted differently.

(So, a having a strict lexicographic mode as an alternative in file managers would be nice.)
by numpad0 | 2025-09-29 07:28:44+00:00
> anything "big" gets translated.

> With LLMs the barrier for researchers to write in English is reduced

Anything "big" gets translated to English. Not from English. With LLMs the barrier for researchers to read in English is reduced. Not to write. Researchers in China has no motivations to think or publish in English, and so they won't. It has always been that way, I think?
by e-khadem | 2025-09-29 07:29:11+00:00
I would argue even for scientific collaboration the gains will be minimal. The LLMs are more or less capable of translating content in natural sciences biderectionally, and most researchers already have a passing knowledge of English. On the contrary I would not expect this to be applicable in humanities, since translating (for example) psychology material is much more nuanced.

On the other hand, IMO this would be quite influential in finding contacts for business or manufacturing.