MurphyA/hacker-news huggingface dataset:
by pjmlp | 2025-09-03 09:40:45+00:00
Produce a dumb machine code quality, enough to bootstrapt it, and go from there.

Move away from classical UNIX compiler pipelines.

However in current times, I would rather invest into LLM improvements into generating executables directly, the time to mix AI into compiler development has come, and classical programming languages are just like doing yet another UNIX clone, in terms of value.
by testdelacc1 | 2025-09-03 09:41:03+00:00
I feel like a fuck you to the accuser is sufficient. It proves that you’re not an LLM and is a reasonable response to an unfounded accusation.

LLMs decline when asked to say fuck you. Gemini: “I am unable to respond to that request.” Claude: “I’d rather not use profanity unprompted.”

But allowing a fuck you would need a modification to the rules anyway, I suppose.
by INTPenis | 2025-09-03 09:41:39+00:00
We sure do, it seems like a natural progression of a free market. The corporations want to know our worth before they deal with us.

I'm speaking from a Swedish perspective but for a long time already we had these "credit checks", where a company can quickly order a check on a customer to see if they're eligible for paying via invoice, or installments. And the consumer gets a letter in the mail notifying them of each credit check and who requested it. They basically see if you have any large debts, and what your reported income is.

But now some companies have gone even further and actually invented a credit score for us, that you have to pay them a subscription fee to see.

All this is an organic progression driven by corporations who simply want to know if consumers are worth their time and risk.
by grues-dinner | 2025-09-03 09:42:25+00:00
Staggering heatpumps doesn't help except on a practical level, like how climbing a staircase in big or small steps is the same. The only thing that matters to overall efficiency limits is the temperature delta.

The coefficient of performance for a heat pump from with cold/hot of 10C/40C is about 10 - this is ballpark where a domestic heating heat pump sits - this is why a heat pump house needs to be well-insulated to work - the heating loop isn't actually hot-hot like with a boiler). From 10C to 500C, it's 1.5. That's 9/0.5 = 18 times less advantage.

At any delta, you can eke out a bit of advantage as COP is always over one, but at some point overheads in the system start to overwhelm your theoretical advantage and you might as well keep it simple and use a cheap and reliable resistor to heat things for dead-cert COP of 1.

You could use a heat pump with a higher COP if you have a really gigantic tank that you only heat to about 40-50C, but obviously the thermal transfer from that is pretty bad and getting it where it needs to go while still being hot enough to be useful is a problem.
by gostsamo | 2025-09-03 09:42:53+00:00
Thats''s one very angry take on things. As a blind person myself, AI is a net benefit, it has potential, but I also agree that there are lots of people who think that if AI solutions are good enough, there is no need to invest in actually accessible gui-s. The last one is an extremely wrong take, because ai-s always will be the slowest solution which might be badly prompted or just hallucinate. Just today someone was complaining that Gemini's code editor is not fully accessible and was looking for advice there, so I'd give the author points for mentioning that the very ai interface might be unaccessible. Not to mention that often chat web interfaces lack proper aria descriptions for some basic operations.
by utyop22 | 2025-09-03 09:43:01+00:00
Yes indeed if we look at it from this equation:

FCFF = EBIT(1-t) - Reinvestment

If the hardware needs constant replacement, that Reinvestment number will always remain higher than what most people think.

In fact, it seems none of these investments are fixed. Therefore there are no economies of scale (as it stands right now).
by TheDong | 2025-09-03 09:43:40+00:00
This is misplaced in this case.

The author mentioned CVE-2021-26708, which is very similar to this bug, and in fact the author both exploited it and authored the upstream fix in the kernel.

> and it requires a very different skill set than finding or exploiting them anyway

I disagree with that. Exploiting bugs is really hard, and if you can exploit them, you absolutely know enough about the kernel in order to patch it.

Sure, architecting a kernel, making code maintainable, that's a software engineering skill. But fixing a use-after-free? That's easier than exploiting it, of course they can fix it.
by thanhnguyen2187 | 2025-09-03 09:44:56+00:00
I’ve been pursuing a Master of Finance Engineering degree, and also been playing with Rust for a while, so I figured: why don’t I try to combine both by implementing an algotrading (short for algorithmic trading) bot? I eventually implemented some strategies and backtesting from scratch (spoiler: the result is worse than just holding, not counting trading fee). I’m on my way improving the result, and putting it into paper trade. This post is a nice distraction from that, where I’ll show you some code, then go with some thoughts on Rust.
by antonymoose | 2025-09-03 09:45:29+00:00
It’s not a bias against immigrants, it’s a bias against the unknown.

I’ve had an identical experience as an 19 year old college dropout trying to rent an apartment and buy a car with no established credit history. It at least 5 years to qualify for my first unsecured card with $1,000 credit on a 6-figure salary. I could not qualify for any vehicle, not even a used cheap Honda Civic with my lack of history, and I had to play the Craigslist rental game for years as well.
by deadfoxygrandpa | 2025-09-03 09:47:17+00:00
> And do you think American media really distorts the "other" side more than Chinese or Russian media distorts what life in the west is like?

having lived for a long time in both china and america: yes. chinese people are given a much more accurate view of life in america than americans are given an accurate view of life in china

thats why there was that meme going around earlier this year when tik tok people joined rednote that said americans were shocked to learn their media was lying about how bad chinese people had it, while chinese people were shocked to learn their media was telling the truth about how bad americans had it
by GranPC | 2025-09-03 09:47:26+00:00
What's the situation re: running on actual hardware these days? I was experimenting around with my 4000D but when it came to trying to actually run my code on the camera rather than the emulator, a1ex told me I needed some sort of key or similar. He told me he'd sign it for me or something but he got busy and I never heard back.

Is this situation still the same? (Apologies for the hazy details -- this was 5 years ago!)
by keyle | 2025-09-03 09:47:36+00:00
I heart-fully disagree. Being professional crosses the bounds of paid work and unpaid work.

It doesn't take much work to not leave a gigantic pile of trash behind you.

If anything, it's an even more a self-responsible thing to do in the OSS world, as there isn't a chain of command such as in the corporate world, enforcing this.

It's selfish to engage in group relation with other people building something without the conscious decision of continuity.

A job worth doing is a job worth doing well. Maybe I'm just a gray beard with unrealistic expectations, or maybe I care about quality.
by echostone | 2025-09-03 09:47:37+00:00
Did not know about Acorn and it was an interesting read! However, I did a bit of digging and haven't found further details on how Acorn's internal prover "AI" works (saying it is an "ML" model makes me think it's some sort of oldschool model like random forests, but not sure yet). Though whatever it is, I wonder how they're going to keep it consistent over time (e.g., some proof steps suddenly becoming "unclear" after an update due to randomness of the ML model). I'm also not sure how this prover really fits in the AI proof scheme. Sure, even Terence Tao would likely admit that formalizing proofs with Acorn is easier than with Lean, but formalizing existing/ongoing proofs is only part of the picture.

To me the more intriguing question is: how would Acorn's "natural" interface cooperate with LM-based theorem provers? The best LLM provers + Lean combo right now can already crack IMO-level math, and what if they now write proofs in this more natural style? Will Acorn be better than Lean as an RL signal in this case?
by soganess | 2025-09-03 09:47:59+00:00
I hate Python more than anyone I know. My nightmares are filled with people repeatedly chanting "programming is done by consenting adults." Hearing someone say "Pythonic" as a synonym for clever/good, or having someone explain their latest "genius" GIL workaround... boils me.

So it gives me no pleasure to say this, but one would have to be a complete fool to believe Python wasn't absolutely instrumental in the AI revolution. I'd go as far as to say Python is the reason data science is not just more software engineering. NumPy/Pandas/SciPy/TF/Torch/etc core could be written in $SPACE_ALIEN_WAY_BETTER_3000 for all it matters. If they were not built for Python ingestion, they wouldn't have been used by most of the world.

There is some special sauce in Python that clicks with people. Something in the looseness and metaphorical play between the joints, I think. Pretending otherwise is that willful ignorance some software folks have when their toy is no longer the shiniest.

(Also, sure Maven sucked, but saying Java had bad IDEs? IntelliJ or death! Or, you know, death until something better comes along)
by lovich | 2025-09-03 09:50:40+00:00
> Meanwhile the actual corporations don't even have proper police forces and would struggle to get you put in actual prison for violating their rules.

You should visit some megacorp campuses and then rethink this view. If you actually believe it then I dare you to do something against their rules while in one of their offices and be marveled at how many people pour out of the literal walls dressed in clothing colored based on their specific job, and then tell us about how they lack police forces
by gnz11 | 2025-09-03 09:50:49+00:00
That’s not how it works at large news orgs. Journalists will enter their articles in a CMS. From there it will get put into a workflow and seen by one or several editors who will edit things for clarity, grammar, style, etc. Links will get added at some point by an editor or automated system. There is no cabal of journalists scheming to keep links out of articles because “culture”.
by throawayonthe | 2025-09-03 09:51:16+00:00
perhaps because that's installing from a store, not sideloading? however poor (security-wise) the offering may be, you're still using the intended install flow

in this sense i do actually agree about the misuse of 'sideloading' - the planned change would not impact just sideloading, but also 'third party' stores
by Etheryte | 2025-09-03 09:55:22+00:00
Conversely, the terseness of the C standard also means there's many more footguns and undefined behaviors. There are many things C is, but being easy to pick up is not one of them. I loved C all the way up until I graduated uni, but it would be a very hard sell to get me to pick it for a project these days. To me, working with C is akin to working with assembly, you just feel that you're doing real programming, but realistically there's better options for most scenarios these days.
by johnisgood | 2025-09-03 09:56:29+00:00
> When I posted this to lobste.rs, gingerBill (creator of Odin) was kind enough to make a more direct translation of the C code into Odin.

Glad he has helped you. Maybe he listened to me, maybe not, but last time (almost year ago?) I saw an interaction with him on GitHub, he was nothing short of an a**hole, and not in the sense of Linus or Theo. In fact, he was not educational, he was just like "Many problems. I could write this better, GTFO". I saw it on GitHub, so I am reluctant to submit a PR of any sort myself in before he tells me he can implement it better and rejects my PR with this reasoning as he did with someone else. Like yeah, of course you may be able to implement it better, whereas someone new to the language might not, even though I tried it (the rejected PR, which was supposed to end up in vendor/ not the core library, AFAIK) and it was fully functional (and without any leaks), and to my eyes it seemed fine as well, but maybe I do not know Odin enough. In fact, I probably do not know it as much as he does, but by his logic, everything should be implemented by him because he knows better. This experience (albeit not mine) was enough to put me off of Odin. The C3 lead developer, on the other hand, was extremely helpful here on HN and on GitHub as well.

I have a feeling he has helped you because of the article and some fame along with it. :)

So my comment reflects a negative publicity. I cannot find the GitHub link right now, but it is there as it cannot be deleted, AFAIK. Look around rejected PRs in / for vendor/, I think. I am not logged in to GitHub and I cannot do so at the moment.

Just my second-hand experience. Feel free to down-vote but please leave a comment afterwards. Not everyone and everything is sunshine and butterflies. The down-votes DO NOT invalidate anything. Or perhaps Bill's bots / fans are in play here. ;) God forbid someone voices negative experiences with a person. Only positives are allowed! I forgot...
by krapp | 2025-09-03 09:57:29+00:00
Because crawlers aren't concerned about the bandwidth of the sites they crawl and will simply continue to take everything, everywhere, all the time regardless of what sites do.

Also it's unfair to expect every small site to put in the time and effort to, in essence, pay the Danegeld to AI companies just for the privilege of their continued existence. It shouldn't be the case that the web only exists to feed AI, or that everyone must design their sites around feeding AI.
by konsalexee | 2025-09-03 09:57:38+00:00
Before starting Hopp and searching for alternatives, one of the things I really liked was Zed's paradigm around collaboration, with its Collab panel and Channels.

The streaming quality was also quite good with Zed. VSCode and JetBrains pairing features were a pain, as you needed to share a URL. The experience in general was not optimal. Not something you want to do multiple times a day.

With Zed, the only drawback was that the scope is always IDE (view mode also for whole screen). But from my experience, pairing is more than your IDE. It's terminal, debugging your unnecessarily complex AWS setup, fiddling with Grafana dashboards, etc.
by Jensson | 2025-09-03 09:58:12+00:00
That is what people typically mean with superstar, a person exceptionally good at a thing. A superstar basketball player doesn't necessarily come with a good attitude, same with movie stars, they don't always deliver great results if they are unhappy with their role.

What do you think superstar means? That they are good at everything? Nobody is good at everything. A superstar programmer is probably not a superstar manager etc, not is he a superstar football player.

Also the more sought after you are the harder it is to stand bullshit, so generally superstars are more fickle than average workers. They don't get more irritated, they just don't hide it as much because they have less reasons to.

This means if your job involves a lot of bullshit then a superstar will likely perform worse than an average worker and will quit soon, since superstars tolerate less bullshit. That doesn't mean they are not a superstar, tolerating bullshit is generally not a part of being a superstar in most peoples definitions.
by JohnLocke4 | 2025-09-03 09:58:30+00:00
This post was made from a refurbished Pixel 5 I scored for ~$250. Just like you, this is easily the best phone I have ever had. I really like the 2020 design philosophy as is it doesn't include features meant to be technologically impressive rather than practical (eg. under-screen finger print reader). Here is to many more years of 2-3 days of use on a charge and good-but-not-great pictures
by oblio | 2025-09-03 09:59:04+00:00
No, you wouldn't have, unless you were one of handful VCs or Uber execs (ok, and a bunch of pre-IPO Uber employees).

Uber IPO May 2019: market cap $82bn. Uber now: $193bn. 2.35x multiplier.

S&P 500 May 2019: $2750. S&P 500 now: $6460. 2.35x multiplier.

So the much, much riskier Uber investment has barely matched a passive S&P 500 investment over the same time frame. And the business itself has lost money, more money was put into it than has been gotten back so far.

I'm not even sure why I'm in this conversation as it seems ideological. I bring up facts and you bring up... vibes?
by dguest | 2025-09-03 09:59:06+00:00
Finland is still 25% oil for electric generation [1] (and almost 40% fossil fuel). That means a lot of the electricity to heat the sand still comes from oil. It makes me wonder if this is more efficient than just using oil heating. Or some hybrid approach that uses oil to heat the sand.

Of course there are other benefits: it's still a good way to level electric generation, which is important for e.g. nuclear plants and wind power.

[1]: https://ourworldindata.org/grapher/energy-consumption-by-sou...
by Muromec | 2025-09-03 09:59:39+00:00
I had lit in a project at work and not having to deal with it anymore is just great. We already have another heavier component framework to do the actual application stuff anyway, so having two just because somebody wanted to optimize their resume was such a drag.

It all looked nice in theory, but one thing shadow DOM makes worse is A11y, because element ids are now scoped and all the missing describe-by, label-for for things that should link to other side of the fence are a massive pain in the ass.

Big part of it is just skill issue on our part of course.
by names_r_hard | 2025-09-03 09:59:47+00:00
That must have been a few years back. I think you're talking about enabling "camera bootflag". We provide an automated way to do this for new installs on release builds, but don't like to make this too easy before we have stable builds ready. People do the weirdest stuff, including trying to flash firmware that's not for their cam, in order to run an ML build for that different cam...

Anyway, I can happily talk you through how to do it. Our discord is probably easiest, or you can ask on the forum. Discord is linked from the forum: https://www.magiclantern.fm/forum/

Whatever code you had back then won't build without some updates. 4000D is a good target for ML, lots of features that could be added.
by pbiggar | 2025-09-03 09:59:55+00:00
So the question is whether Israel is a democracy. If a state both maintains an occupation and denies the occupied population political rights, then it is not democratic (even if the dominant ethnic group and some others are allowed to vote).

At its core, democracy requires political equality. The governed people must have a meaningful say in who governs them and how. That is not present in Palestine due to Israeli occupation.

It allows Israelis to vote, including Jewish settlers in occupied territories, but it does not allow occupied Palestinians (many of whom live right next to settlers) to vote.
by JR1427 | 2025-09-03 10:00:30+00:00
I have long been telling people the story of how I taught myself to like tomatoes. It really worked. I have loved tomatoes since that fateful day when I was about 17.

Until then, I would bite something with tomato already anticipating that I wouldn't like it. To teach myself, I would imagine the feeling I had before biting in to something I really liked, and I would think "Yummy! I can't wait to bite this yummy tomato!".
by Aachen | 2025-09-03 10:00:50+00:00
Oh, you're right. I was quite sure but it's indeed 802.11n. Maybe I thought it was an upgrade from the other systems (laptop and phone) I had at the time because it was the first with 5 GHz, seeing new WiFi networks that no other of my devices could see, and conflated that with the new standard. That's still faster than the internet connection I have and host my website on today, but not by as much
Ask HN: Why has the meta portal never been jailbroken?
by harrylepotter | 2025-09-03 10:01:06+00:00
Every day i look across at a gorgeous device on the corner of my desk gathering dust that "could be" if there were the ability to run any android app on it (...namely the Homeassistant app).

Given the device's age, abandonment, and lack of recent updates, I'm curious as to why someone hasn't been able to figure out an exploit chain for this particular line of devices using the old chrome 121 browser that most of them have installed during its useful life. Is it simply because these devices were never owned by the more technically inclined crowd and there was a general lack of adoption? Fear of repercussion? Lack of public CVEs that would be able to attain root from 2024?

I know the device survived Pwn2Own 2019.. What generally incentivizes someone to do this on a device?

Genuinely curious.
by quitit | 2025-09-03 10:01:31+00:00
I'm noticing that newer computer users seek information exclusively from chatgpt and that they don't google at all. They want the answer right away and aren't usually aware or bothered with the hallucination problem.

While that's concerning, my own experience in seeking information using this approach has been positive: it provides a fast, fully customised answer that easily outweighs the mistakes it makes. This flattens the learning curve on a new subject and with that saved time I am able to confirm important details to weed out the mistakes/hallucinations. Whereas with Googling I'd be reading technical documentation, blog posts and whatever else I could find, and -crucially- I'd still need to be confirming the important details because that step was never optional. Another plus is that I'm now not subjected to low quality ai-generated blog spam when seeking information.

I foresee Google search losing relevance rapidly, chatbots are the path of least resistance and "good enough" for most tasks, but I also am aware that Google's surveillance-based data collection will continue to be fruitful for them regardless if I use Google search or not.
by knorker | 2025-09-03 10:01:33+00:00
It's hard, but it's not subjective.

There are many factors on whether to use a one handed or two handed backhand in tennis. It's subjective which one feels better, but there exists an objective answer to whether it makes a particular player better or not.

And just because it's hard and experts can get it wrong, doesn't mean expertise means nothing and "it's all subjective".

The fact that there exists a right and a wrong definitially means it's objective.

And for the business, or the project, there is a right and a wrong, on whether to build an OS or not. Even if it's very hard to predict, and not feasible to A/B test.
by Avamander | 2025-09-03 10:02:38+00:00
> Majority of people and countries in the world do not deem ROI to be the sole or even primary driver for investment

It's partially that, other part is that we aren't really pricing in all the externalities of everything out there. So it's not that "there's no ROI", it's that "we aren't factoring things in the ROI calculation".

So while a heat battery might not make a huge profit, the ability to burn less fuel (less air pollution, less waste, etc), to offer redundancy and stability, the know-how and work it creates, that is all valuable as well.
by GranPC | 2025-09-03 10:04:35+00:00
Yes, this was in September 2020 according to my records. All I remember is that I could run the ROM dumper just fine, then I could run my firmware in QEMU, and then I just had to locate a bunch of function pointers to make it do anything useful. Worked in QEMU but that's where I got stuck - no way to run it on hardware.

I'll definitely keep this in mind and hit you up whenever I have a buncha hours to spare. :)