MurphyA/hacker-news huggingface dataset:
by trealira | 2025-05-01 01:34:33+00:00
If you compare OCaml and Standard ML, which came before it, it seems like OCaml is a lot like SML but with some changed syntax for convenience, and imperative features syntax for featyres that were technically supported by SML but still awkward, and I think it's in those imperative parts where they most resemble Pascal and Algol. They added "begin" and "end" as keywords equivalent to parentheses, they added for loops, and classes, and changed array syntax to resemble other languages more (by using square brackets to indicate an array subscript).

http://adam.chlipala.net/mlcomp/
by pirgidb | 2025-05-01 01:36:19+00:00
All communities (which survive) establish norms of behavior and eject or restrict people who don't abide by them. That doesn't mean the moderation of HN is beyond reproach, but "apartheid" is hyperbolic to the point of absurdity.

Apartheid wasn't about taking privileges away from people as a moderation action. It was about denying inalienable rights to people from birth. Your privilege to post on a forum is voluntarily extended to you by it's operators, and may be rescinded. It's an act of hospitality, not an inalienable right. You don't have a first amendment right to post on a forum and note than I have a first amendment right to compel your speech or demand you host me for dinner.

Apartheid wasn't enforced by mild and easily bypassed forum account restrictions. It was enforced with brutal violence.

People can get so myopic about mild inconveniences introduced to online interactions they expect to be frictionless and that they feel entitled to, and lose all perspective at the drop of a hat.
by versteegen | 2025-05-01 01:36:31+00:00
Likely because they haven't got their own suitable SoTA base models of any other size to build on. DeepSeek V3 is 671B, and DeepSeek-Prover-v1.5 [1] is 7B only, based on DeepSeekMath which is 7B, which is based on DeepSeekCoder-Base-7B-v1.5. Maybe DeepSeek-Coder-V2 (16B and 236B) would be a good start but it's merged into DeepSeek V2.5, and V2.5 is inferior to V3. Or some version of Qwen.

[1] https://github.com/deepseek-ai/DeepSeek-Prover-V1.5
by adrianmonk | 2025-05-01 01:36:39+00:00
> the cold milk later

I think what the other person is asking about is: can you be sure that the milk is (as) cold later?

There's a lot of discussion about what happens to the temperature of the coffee during the 2 minutes. What happens to the temperature of the milk during that same time?

Where is the milk stored? Do you grab it out of the refrigerator the moment you add it to the coffee? Or the cold milk sitting out on the countertop getting warmer? If so, how rapidly?
by bikenaga | 2025-05-01 01:36:41+00:00
Someone submitted this link, but it got flagged for some reason:

https://arstechnica.com/health/2025/04/rfk-jr-s-anti-vaccine...

The author of the article, Beth Mole, has a PhD in microbiology and her writing is generally detailed and pretty good. I hope he doesn't really not believe in germ theory, but if that's the case, it explains a lot of the decisions he's making.
by refulgentis | 2025-05-01 01:36:44+00:00
These look quite incredible. I work on a llama.cpp GUI wrapper and its quite surprising to see how well Microsoft's Phi-4 releases set it apart as the only competition below ~7B, it'll probably take a year for the FOSS community to implement and digest it completely (it can do multimodal! TTS! STT! Conversation!)
by MegaButts | 2025-05-01 01:37:15+00:00
> I get what you say -- hoarded wealth is essentially idle.

I'm not talking at all about wealth being idle in my previous comment. My point is entirely that the more money the rich have, the less money the poor have.

What you're bringing up is how the wealthy use their money to change their political environment to benefit themselves. This is also a problem, but is parallel to the point I was making.
by zamadatix | 2025-05-01 01:37:22+00:00
$1m/day since they launched the iPhone App Store in 2008 is roughly 2 months worth of 30% App Store commision revenue. I.e. they'd be making more money by keeping such a small fine on the balance sheet than complying.

The same thing at $1b/day or rapidly increasing with time might be effective though, but I'm not sure what's really assignable by the given court or not.
by gus_massa | 2025-05-01 01:37:31+00:00
Autotranslation: https://www-noovo-info.translate.goog/nouvelle/alliance-ouvr...

Title: "The Workers' Alliance blocks Amazon Web Services from entering Varennes[Quebec]."

> The organization demands that Amazon return all the public money it has received.

> On Wednesday, Workers' Alliance activists blocked the entrance to the Amazon Web Services (AWS) data center on Lionel-Boulet Boulevard in Varennes, preventing around twenty employees from returning to work.
by akudha | 2025-05-01 01:38:01+00:00
If I were a medium to large business (I suppose small businesses will get screwed anyways, they wouldn't have the resources to handle challenges like this) how would I even prepare for such scenarios? Even if we assume I am somehow smart enough to predict something like this a full two years in advance. My employer is doing disaster recovery plans for data/software etc, which seems a million times easier than planning for alternative suppliers etc for manufacturers of physical goods
by fifteen1506 | 2025-05-01 01:38:25+00:00
I hate malware. I found two Android apps using an obfuscator loaded via JNI (libjiagu_64.so) which crashes on startup (on GrapheneOS) and I am at a loss at what to do next which doesn't involve send reports into the void hoping it reaches an human with the time, skills and willingness to check what is really going on.

Summary: https://user934.com/2025/04/29/investigating-suspicious-beha...
by whimsy | 2025-05-01 01:39:09+00:00
Oh, thanks for correcting me! Now that you mention it, I'm confused by a memory I have. Wired speakers seem to be less common these days but I remember being told about two decades ago that the "proper" way to install speakers was to run out equal lengths of speaker cable (basically just jacketed copper, afaik) to different speakers even if they weren't equidistant in a room. (This was advice for home installation, not stadium-sized installations.)

Do you suppose there exists some other reason for that, like maybe matching impedance on each cable, or is this likely one of those superstitions that audiophiles fall prey to?
by thaumasiotes | 2025-05-01 01:39:24+00:00
The article is short enough that it makes more sense to quote it in full than to provide an archive link:

> A federal judge hammered Apple for violating a ruling in an antitrust case that required the company to loosen certain restrictions it imposes on software-makers in its App Store.

> Judge Yvonne Gonzalez Rogers ordered the iPhone-maker to allow developers to steer users to alternative methods of paying for services or subscriptions offered in the App Store. The company also can no longer impose fees in such scenarios or restrict the ability of software-makers to offer links or otherwise communicate alternate payment options with consumers.

> “Apple willfully chose not to comply with this court’s injunction,” she said in the ruling. “It did so with the express intent to create new anticompetitive barriers.” She referred the case to federal prosecutors to determine whether a criminal contempt investigation is appropriate.

> The order is the latest twist in the long-running legal dispute between Apple and Epic Games, developer of the popular videogame “Fortnite.”
by kiba | 2025-05-01 01:39:33+00:00
The wealthy aren't exactly hoarding the money under their bed. They buy treasuries and bonds so the money get used elsewhere in the economy to do something.

The federal government's credit card is funded by the saving of the rich, which allowed us to run up huge debt.

The vast inequality you seen is the result of undertaxation of monopolies and deliberate granting of monopolies. Disney wouldn't be as big if copyright actually expire some 20 years after the fact.

Anyway, the billionaire are less relevant to you than the average homeowner next door. They are the one who hold further infill development hostage and are inimical to anyone who would depress the value of their home.
by CobaltFire | 2025-05-01 01:40:10+00:00
I do! I mostly use JetBrains stuff and Sublime Text. The ghosting is a non-issue for me.

I do keep a color calibrated panel running next to it in case I need a video going or something (conference, etc.). But the ghosting is a non-issue for coding once you figure out the settings and limits that work for you.

Of note I spent a chunk of my career working with and programming on a Harris H100 via terminal, and slowing down is a nice little throwback to me.
by romanhn | 2025-05-01 01:40:15+00:00
Hey there. I spent a couple of years at a FAANG as an engineering manager. Impostor syndrome is extremely, EXTREMELY common. I had it, my peers had it, my direct reports had it. It's normal. Senior-level folks from non-big-tech companies tended to get hit especially hard, as their prior experiences and successes did not necessarily translate to FAANG processes and expectations. It's definitely a bit of a sink-or-swim situation, especially if you came in at a senior level, but take a few breaths, realize that everyone goes through this, it does get better, and be kind to yourself. Good luck!
by Barrin92 | 2025-05-01 01:41:52+00:00
>Or is it that if they publish Chinese-first models it won't get publicity in the West?

This is a large part of it. Kai-Fu Lee's company (https://www.01.ai/) has been publishing open source Chinese language/market focused models pretty early, but the entire conversation around Chinese tech just isn't available to you if you don't speak Chinese, in particular these days given that good English language reporting on the Chinese tech sector just seems very scarce.
by to11mtm | 2025-05-01 01:42:19+00:00
> Internally, Phillip Schiller had advocated that Apple comply with the Injunction, but Tim Cook ignored Schiller and instead allowed Chief Financial Officer Luca Maestri and his finance team to convince him otherwise.

Here's the fun question though. Do Roman, Maestri et al not have any specific damages to this? (I know the answer, but it's a good question to ask....)
by forgotoldacc | 2025-05-01 01:42:42+00:00
One easy thing you can do on HN is replace "they" with "we" in a lot of those instances.

HN has a lot of good people. HN also has a lot of people who consider themselves supporters of meritocracy and see everything they've achieved as solely a result of their own hard work. HN also has a lot of people with absolutely mind blowing levels of wealth. HN also has a lot of people who, saying it as kindly as I can, just do not know what life is like for a normal person.
by anigbrowl | 2025-05-01 01:43:09+00:00
Thanks! I was super confused, as there are several corporations with generic-sounding names that shorten to GPG.

I agree with your points btw. My friend is a retail director specializing in this area and has been at pains to educate me (and anyone else willing to listen) on the depth and severity of the impending supply dislocation.
by imphamus | 2025-05-01 01:44:30+00:00
First and foremost, don't be so hard on yourself. It takes courage to make a career change and you're pursuing something in which you find interesting. You're also doing it to make a positive difference. That's commendable.

Everything you're doing (got a degree, networked, staying vigilant) is the right thing to do, but you can't take the economy and the tech bubble out on yourself. You have no control over those variables and you're better than that.

If this is a field you want to continue in, you may want to try and leverage your non-profit creds and see what NP consortiums are out there. You may be more valuable with that combination than you think.

I didn't have an account here until I read your post and I knew I had to create one to reply. Chin up, friend. You'll be alright and at the very least, I hope you take away that you're always more than the sum of your parts.
by WalterBright | 2025-05-01 01:46:20+00:00
> the wealthy holding the money means less money to go around to everyone else

Wealthy entrepreneuers created their wealth, it was not transferred to them. It does not reduce the amount of money elsewhere.

The wealthy do not "hoard" wealth, either. They invest it. All of it. Even checking accounts are not hoarded wealth, because the money you put in it is loaned out by the bank (less the reserve requirements).
by gus_massa | 2025-05-01 01:46:31+00:00
From Feynman "The Character of Physical Law"

> I think that by an analogy I can give some idea of the difficulty, in this way. I do not know if you have ever had the experience - I have - of sitting on the beach with several towels, and suddenly a tremendous downpour comes. You pick up the towels as quickly as you can, and run into the bathhouse. Then you start to dry yourself, and you find that this towel is a little wet, but it is drier than you are. You keep drying with this one until you find it is too wet - it is wetting you as much as drying you - and you try another one; and pretty soon you discover a horrible thing - that all the towels are damp and so are you. There is no way to get any drier, even though you have many towels, because there is no difference in some sense between the wetness of the towels and the wetness of yourself. I could invent a kind of quantity which I could call 'ease of removing water'. The towel has the same ease of removing water from it as you have, so when you touch yourself with the towel, as much water comes off the towel on to you as comes from you to the towel. It does not mean there is the same amount of water in the towel as there is on you - a big towel will have more water in it than a little towel - but they have the same dampness. When things get to the same dampness then there is nothing you can do any longer.

... and then he continue to explain how this is related to temperature and entropy.

The whole book is worth reading.
by A4ET8a8uTh0_v2 | 2025-05-01 01:46:40+00:00
<< Try living on the US median wage only and let me know how much ludicrous amount of stuff you can afford.

The question is not what you can afford. The question is what you can get. And whatever else you want to say about US system, it made the ability to show that you have $desired_item257 relatively easy to obtain even at low income level. It is genuinely not impossible to own status luxury items with aggressive financing.
by david-gpu | 2025-05-01 01:46:40+00:00
You need to take it a step further, since e.g. 64-bit floats have a ton of mantissa bits.

Here's an example in python3.

>>> "{:.2f}".format(1e16 + (1 + 1)) '10000000000000002.00' >>> "{:.2f}".format((1e16 + 1) + 1) '10000000000000000.00'
by brailsafe | 2025-05-01 01:47:20+00:00
This seems like a bit of a reach tbh. It's no doubt hopefully huge, but by buying a product you're not implicitly agreeing with every or any element of internal company politics that occured during its production. I buy Macbooks because I tend to like most aspects of them, but use mostly Pixel phones, does that mean I support literally anything Tim Cook or leadership does to produce anything else? Not really, I just use the tools that work for me.
by idiotsecant | 2025-05-01 01:47:22+00:00
I see people saying this a lot, and I guarantee during civil rights marches people were saying the same thing. It's a cynical and jaded and not very useful viewpoint, IMO.

We shouldn't be gatekeeping the ability of the average person to publicly petition their government for a redress of grievances. That's kind of a core function of an engaged populace.
by jkampman | 2025-05-01 01:47:43+00:00
This review is an object lesson about why there is so much more to shipping a decent processor than making a CPU core with reasonable performance (and decent is being polite given that we are talking about Bulldozer-class single-threaded perf, which most folks were beyond thrilled to abandon when Zen arrived eight years ago.)

The behavior of the memory controller is wild to see in this day and age. You really don't want to see latency that high in general, but especially not for a client processor. I'd really like to see how it behaves with a reasonably powerful GPU in a CPU-bound gaming workload relative to the competition (to simulate what one of these might see in an internet café setting, for instance).

Power efficiency also seems truly dismal according to PCWatch: https://pc.watch.impress.co.jp/docs/column/hothot/1626253.ht... . In Cinebench MT, it's consuming about the same power as a Ryzen 5 5600G while delivering about 1/3 the performance, and the idle power is much higher than the Core i3-8100/R5 5600G to boot. That's not a huge issue for desktops, but it would not make a good foundation for a mobile system.

Overall an improvement versus past Zhaoxin efforts but people shouldn't kid themselves about the quality of the overall package here. There is a long way to go.
by to11mtm | 2025-05-01 01:47:50+00:00
This is obscene lmao.

if you take the high end for all of these points, Apple is claiming 74% of the revenue is thanks to them.

Also, there's a certain level of 'hand-waving' here where if you're developing for iOS you're almost forced to have Apple hardware in the first place to run+test (hell, even Android can be dev'd from almost anything...)
by LorenPechtel | 2025-05-01 01:48:07+00:00
Burner inserters are stock, I didn't realize the fuel leech was now stock. It didn't used to be. And the ability to slowly grab fuel without any source of power is definitely mod. And the mod can leech fuel it's not actually handling--a burner inserter pulling from a furnace will take fuel from the furnace for it's own operation.

I'm just saying what's the need for a gap between on and off? How does the bounce harm anything in the game? Simply put the non-critical stuff behind combinators that will switch off at x% of power. Real world machinery wouldn't like that but the game factories don't care. Nor do the refineries--in your oil case, plonk down a tank of heavy oil, turn on the crackers when it's above a certain level.
by Nevermark | 2025-05-01 01:48:34+00:00
As apposed to humans who all derive the physics of heat transfer independently when given a question like this?

Not picking on you - this brings up something we could all get better at:

There should be a "First Rule of Critiquing Models": Define a baseline system to compare performance against. When in doubt, or for general critiques of models, compare to real world random human performance.

Without a real practical baseline to compare with, its to easy to fall into subjective or unrealistic judgements.

"Second Rule": Avoid selectively biasing judgements by down selecting performance dimensions. For instance, don't ignore difference in response times, grammatical coherence, clarity of communication, and other qualitative and quantitative differences. Lack of comprehensive performance dimension coverage is like comparing runtimes of runners, without taking into account differences in terrain, length of race, altitude, temperature, etc.

It is very easy to critique. It is harder to critique in a way that sheds light.
by utkarsh858 | 2025-05-01 01:48:39+00:00
Some examples:

https://www.opindia.com/2024/12/khalistani-terrorist-pannun-...

https://www.opindia.com/2024/12/we-take-threats-very-serious...

https://www.opindia.com/2024/11/us-supported-khalistani-terr...

Regarding extrajudicial killings if I remember correctly arrested person was Indian, not sure if it was proved that he was connected to Indian govt. And for Canada yes they didn't provide any proof but instead had to backtrack on their statements:

https://www.opindia.com/news-updates/canadian-pm-justin-trud...
by stock_toaster | 2025-05-01 01:48:41+00:00
> If rich people spent more on luxuries, then the free market would naturally move resources away from creating necessities. This results in a shortage of necessities, resulting in higher prices. There's no increase in productivity caused by just shuffling jobs around, so the economy would be relatively stagnant

I agree. And further, the whole concept of "trickle down economics" always seemed like a propaganda scam to me -- I mean, how much _do_ the exceptionally wealthy even spend when going about their daily lives? And how much of that just ends up going to other super wealthy people anyway (private jets, yachts, fashion, etc)?

It isn't like they are buying millions of dollars worth of locally sourced items in their communities every day of the year.
by mrandish | 2025-05-01 01:49:32+00:00
At installation Chrome, Edge browser and Acrobat Reader all silently add multiple background tasks to Windows startup which will then run at every boot and log on. Those tasks check for updates, pre-load and ensure their usage analytics get dutifully reported.

Because I only use those apps on rare occasion, I go remove all those tasks. And each of those apps checks to see if its tasks are still there on every run or update and, if not, re-adds them. I've even tried getting clever and leaving the tasks in place but just changing the run frequency to once every month or something, but they check for that too and change it back.

Anyone know of a way to override this so I can decide if apps I don't use for weeks at a time need to be always silently running, updating and phoning home?
by gerdesj | 2025-05-01 01:49:39+00:00
Sounds like bollocks to me.

Your RPD password is your AD password and that is encrypted and salted (I think). There are some worrying extensions to MSAD but I don't think that unless you tick the box in ADUC that your password will be stored unencrypted, it will be stored unencrypted (hashed or whatever).

We need to understand what:

"...Microsoft said the behavior is a “a design decision to ensure that at least one user account always has the ability to log in no matter how long a system has been offline."

really means.

I'm a Linux jockey but I can't be arsed with nonsense like this.
by AStonesThrow | 2025-05-01 01:50:15+00:00
Well, the trouble lay in the fact that the virtual card[s] were tied to the Android device, and when I was forced to factory-reset it, the cards went along with that. If I had not had catastrophic system trouble then it would not have been noticed (and I would've been less wary).

If your virtual card is not contingent on something like that, I'd say it's more robust. If the only way your virtual cards get destroyed is your say-so, then that's fine. But if they are, by design, ephemeral, I would say that is a different design goal, and while using an ephemeral card to pay for food or gas may be just fine, paying for a pair of glasses or other durable thing, and then expecting a refund much later on, that's perhaps risky and should be avoided where possible.

The whole point of a financial account is its stability, so that we're able to account for transactions over time. I understand that a credit/debit card is, by nature, more ephemeral than most accounts, even having an expiration date, but it infuriated me that Google sort of mandated these "virtual card numbers" and imposed them on every account I loaded into Google Wallet, rather than asking me if I needed protection or not. In an environment where I trust those vendors where I'm doing business, it only hurts both of us to virtualize those account numbers, and invalidate them at the drop of a hat!