MurphyA/hacker-news huggingface dataset:
by asa400 | 2025-09-20 17:10:31+00:00
The parent quite literally made a normative statement and I disagreed with it:

> Collaborating would be contacting the Zig team through one of the many channels available and asking questions, offering suggestions etc.

If nothing else, this is attempting to define what counts as valid collaboration, and it's a definition I reject, so I disagreed with it. Good-faith experience reports are valid, useful, pro-social collaboration. Doing so is a perfectly productive way to criticize.

> So what was the point in saying this? Do you think people believe anything contrary to what you said?

Apparently they do. The parent even made a veiled accusation that the author writing a good-faith blog post on their own blog about their own experiences "can even be seen as self promotion". Since when is sharing your good-faith critique about the design of a tool you've used something underhanded or nefarious?

Setting the bounds of valid community collaboration to "people can post on their own blog as long as I like it otherwise they're being mean" is not a set of values I subscribe to, so I felt it was worth it to articulate that.
by alimw | 2025-09-20 17:11:43+00:00
You're using an LLM to translate Lean to Python? Care to tell us more?

If you want to prove stuff about programs then Lean is a very capable tool. But it's intended that you write the program itself in Lean and not in some other language.

I guess if you ask an LLM nicely it will attempt to translate a program that has already been written in Lean to one in Python, but why would you want to do that? I doubt it will run any faster.
by grafmax | 2025-09-20 17:12:32+00:00
China had many famines before that during the century of humiliation. Maoism was itself a reaction to the dire social conditions of the time.

This doesn’t absolve Maoism of its policies which led to millions dying. (And yet we shouldn’t absolve the global capitalist system either which leads to millions of preventable deaths each year.)

Colonialist exploitation has been major historic driver over this timeframe (shifting to neo-colonialism in the world system post WW2). Admittedly it hasn’t been the only one. But our understanding of world history loses nuance if we gloss over colonialism and neo-colonialism over this period and treat historic events as due to the supposedly essential traits of this or that nation.
by toast0 | 2025-09-20 17:13:33+00:00
IMHO, it seems like there's a good chance of confusion and delay when reentering the US in the middle of this kind of change. It would be better to avoid that, if possible. And in the case that your visa does get canceled, it would be easier to fight that from in the US, and if necessary, to wind down your US household from inside the US as well. Everything gets a lot harder if you have to do it from outside the country.
by dragonwriter | 2025-09-20 17:15:15+00:00
> Wouldn’t this method be good if applied on humans in job interviews?

Uhm, no? I mean, some firms do abuse job interviews to pump candidates for usable information, and some have gotten a notable bad reputation for that which impacts their funnel of candidates, but from the article: “Generating comprehensive datasets requires thousands of model calls per topic”—you aren’t going to get a candidate to hang around for that...
by derriz | 2025-09-20 17:15:56+00:00
The other factors being that enough people get killed so that a shrinking market share forces their management decide to change their car designs?

I have a libertarian streak when it comes to drugs, porn/prostitution, free speech, patent law, etc. but in this case I’m perfectly fine with governments “getting involved” to ensure that I can shop for a vehicle without becoming a random sample in a statistical study of car safety. Especially if a possible outcome is my preventable death.
by lotsofpulp | 2025-09-20 17:16:24+00:00
I don’t give voters that much benefit of the doubt.

They saw a man (and party) make baseless accusations to overturn an election, openly support a terrorist attack on the government, and campaign on freeing those terrorists and punishing those who went after the terrorists.

And they decided this man was better than a woman, especially a black woman. Because he was a man. I’ve been told this even by a few older women, that a woman leader didn’t sit right with them. And they were non white immigrants!

This is all ignoring the myriad sex crimes, fraud, and general lack of integrity of the man.
by kriops | 2025-09-20 17:17:05+00:00
Define encryption.

To help you along, you basically have two alternatives:

1. Be intentionally vague, so the definition encapsulates just about anything and can then be applied and enforced at will. This is obviously what they are going for, by the way, and *that* is the word game being played here.

2. Some set of sets of mathematical functions, contingent on some properties pertaining to computational complexity. This is what cryptography is and, as such, is the correct way to go about it. Non-exhaustively, one property we are looking for is that some data can only be considered 'encrypted' if the computational complexity of decoding it without a secret/key is strictly higher than with said secret/key.

As I also said in another comment, I can derive an encrypted message a priori. That makes it fundamentally different from any analogies tied to physics or chemistry.
by username332211 | 2025-09-20 17:17:11+00:00
Somehow, I have the nagging suspicion that the laws of parliament and it's budgets have more to do with the state of British enterprise than the appointment of a sexually-predatory prince as a trade representative. And that you are well aware of that.

I also suspect that your (*) unwillingness to name the actual reasons for the loss of economic capability is the ultimate cause of what you are describing.

(*) And mine, if I'm to be honest.
by jmyeet | 2025-09-20 17:17:30+00:00
A lot of Europeans like to (with good cause) laugh at the rapid decline of the US and the rise of fascism, of which they are objectively correct.

But there is one person in the UK who is almost singlehandedly responsible for the now near-inevitable rise in fascism in the UK and that's Keir Starmer.

Keir Starmer rose to power because Brexit split Labor and Jeremy Corbyn failed to have a good position on Brexit, which opened the door to antisemitic slander against Corbyn (who, as an aside, is Jewish). Starmer's Labor got fewer votes than in either of the 2 previous elections. All that happened was the Conservative vote got split by Reform, which made it an accidental Labor landslide that won't be repeated.

Starmer has done nothing to address the cost of living crisis. All he's done is ensure a post-politics career by being Israel's #1 defender and supporter as well as criminalize free speech and protest (as "terrorism") because somebody threw paint on a plane.

So yeah, Britian getting in bed with one of the most evil companies on Earth [1][2] is the least surprising thing I've read all week.

[1]: https://www.972mag.com/lavender-ai-israeli-army-gaza/

[2]: https://www.business-humanrights.org/es/%C3%BAltimas-noticia...
by someperson | 2025-09-20 17:18:15+00:00
> you can be pretty sure your retired parents won't, if ever you need them to move in with you

The immigration system should be designed to block retired parents from moving country to live with their working age adult children who have migrated.

One reason to have immigration is to improve a country's dependency ratio: the ratio of working age population to children and retirees.

The ideal immigrants are young well-educated parents that can stay in the workforce for 40+ years with healthy children that are just about to enter the school system.

That way the receiving country didn't need to invest in educating the parents originally, don't need to pay the healthcare costs of very young infants, and it provides the best possible addition to the the receiving country's demographic structure so the host country benefits from a whole working life of tax payments and all the value created by their work output.

The economic case for even skilled immigration is far less compelling for a receiving nation without such restrictions on immigrating retirees.
by 1718627440 | 2025-09-20 17:18:18+00:00
> your build environment doesn't support our codebase

If that is due to the build environment deviating from the standard, then I agree with you. However, when its due to the codebase deviating from the standard, then why blame the build environment developers for expecting codebases to adhere to standards. That's the whole point of standards.
by foobarchu | 2025-09-20 17:18:24+00:00
This doesn't work if the entire market has converged, which it has. It's very similar to telling people who don't want a smart TV to "just buy something else", because that limits you to used options.

Used is great, but it means you aren't participating in the market and manufacturers will not account for you. In other words, you literally cannot "vote with your wallet". This is coincidentally also a big reason why monopolies and duopolies are bad.
by ManBeardPc | 2025-09-20 17:18:50+00:00
It has proper arrays and slices, even being able to define a sentinel value in the type system, so you know when it is a C string or a slice with a specific size with arbitrary values. Strings can become a problem if you need another encoding than the chosen one. Then you start to use byte slices anyway. You need to allocate a new one if you want to change just a part of it. Safer yes, but can produce unwanted overhead and you have to duplicate many APIs for strings and byte arrays as it is the case in Go.
by ComputerGuru | 2025-09-20 17:19:14+00:00
I’m intrigued but that is one of the worst (least technical) product pages for a very technical product that I’ve come across. My biggest concern was that it has no mention of compatibility, it just says it connects to the smart meter via zigbee but aside from the obvious fact that zigbee is just the network protocol and does not necessarily mean all smart meters use the same layer 7 details, I don’t even know if my smart meter has zigbee to begin with! Ah, I just found a FAQ page for the site not linked from the product page that answers the compatibility question.

Also, I wouldn’t have known the product exposes an API I could use to programmatically get the (XML-only?) usage data in realtime over the network if you hadn’t told me, the product listing makes it look like it’s just a screen (and the faq doesn’t have anything about connecting to the device programmatically).

Anyhow, thanks for brining this to my attention! This might be exactly what I was looking for!
by okanat | 2025-09-20 17:19:19+00:00
Do you behave internationally obtuse or do not really understand that "Linux" is often used for GNU/Linux systems and this is what meant by "Linux phone".

What makes AOSP a better and more meaningful target for a truly open source system is being also open source and having a much better userland implementation that is supported by specific kernel patches that isolate client programs from direct hardware access and from each other. Moreover it has better libraries for creating mobile apps. It has a better and established ecosystem full of experts, some of which already implement FOSS apps.

No GNU system has anything close and getting close is a huge engineering effort that you don't need to do.

What AOSP does is actually workaround or extend Linux kernel with a system layer that makes the runtime for apps look more like a microkernel. It is a much secure design for carrying a general purpose computer with GPS, Camera and Bluetooth on.

So why not just improve Apache-licensed AOSP? Port the closed drivers to open source ones and everyone can utilize all of AOSP's benefits, without being controlled by Google or phone manufacturers too (as long as you can modify the software). FOSS friendly phone vendors can always help with porting efforts and remove blockers.
by Arch-TK | 2025-09-20 17:19:36+00:00
Rusty rust?

I don't think there is such a specific thing and certainly disagree that all idiomatic rust is somehow slower by default.

You can write rust like you might write a higher level language and then that can end up slower but if you write idiomatic low level rust, the performance is much harder to compare with C. There are things which will be faster in C and things which will be faster in Rust but broadly things will be extremely similar in performance.

I write bare metal embedded rust a lot these days and there are quite complex concepts you can represent in rust which make your code a lot safer without a performance hit.
by whartung | 2025-09-20 17:20:55+00:00
The reason they're dangerous is not because you have to interact with them, per se, its simply because they provide to much information that takes a lot of cognitive processing to interpret.

Specifically, text. Reading is "hard". Even things as simple as the title of the song on the radio. Especially when the text changes.

I have a modern LCD on my motorcycle, a BMW, that uses a WonderWheel (rotate to scroll up/down, and push or pull for right/left click) as an interface. It's very reminiscent of The Onions MacBook Wheel[0]. It is absolutely dangerous to use while riding. It's a cognitive black hole.

Obviously, the LCD is not alone in this case, the interaction pushes it all up to eleven. But the old school car interface was numbers and small words, and, eventually icons. Consider changing the temperature in a car, for me, I'd shove the hot/cold slider around until the air coming the from the vent was comfortable vs clicking up and down and deciding "do I want 72 or 73?".

And, yea, maybe it's just me. Perhaps I alone am a hazard when interacting with these things. So, maybe it's not fair for me to project my experiences to the population at large.

[0]https://www.youtube.com/watch?v=9BnLbv6QYcA
by alephnerd | 2025-09-20 17:21:09+00:00
If Nick Clegg really cared about anything, he wouldn't have become the chief lobbyist for Meta.

Now that he's out of the states and no longer at Meta, he's most likely rehabilitating his career to re-enter politics, just like Rishi did after his stint in high finance.

The Tories are in the midst of a tailspin, and a Nick Clegg-style National Dem candidate has an interesting opportunity to peel away higher income Tories and centrists, as Reform peels away lower income or nativist British voter, and this is a shot at the incumbent Labour party.

He's only 57 so he has plenty of time to wait it out and re-enter the scene, as well as the dry powder.
by BJones12 | 2025-09-20 17:21:17+00:00
> Mainstream Christianity gave us Trump, so it's not exactly the moral foundation it claimed to be.

I think it's worth taking a closer look at what Trump is to the American and religious right. Some people think he's their savior, and that they approve of his actions. I don't. I think he's their champion, in the historical sense - a champion is one who fights for you. A champion is not above a king, but is useful, admired, and dear. I think the usefulness of Trump was proportional to the number of culture wars that the American Christian population was losing a decade ago, and is now winning. Some of those battles were dumb, like even AOC deleted her pronouns after the last election, but the fact that they were being fought meant that people needed someone effective to fight for them, and the most skilled fighter was Trump.

> There are plenty of ... factions that could potentially salvage it, but how will any of them get traction?

I think they need to figure out how to provide the most value possible to the population, and I think that following the teachings of Jesus is integral to this. I also think there are a number of things that must yet be figured out by trial and error.
by NeotokyoFan | 2025-09-20 17:21:18+00:00
Survivorship bias, information asymmetry and product design is at play here.

100% rational and 100% informed consumers do not exist. There's both information asymmetry between manufacturers and consumers. I'm sure there's man fatal accidents that can be traced back to faulty components and improper design that gets covered up by manufacturers. The Volkswagen emissions scandal was just easily measurable.

Everyone likes it that way. Consumers are attracted to features, gimmicks and marketing because that's what works for marketing and sells. No one wants to buy a "900% less accidents than others" car. But everyone wants a bluetooth and wifi enabled car with seat subscriptions. Besides, what's a rational consumer gotta do? They gotta get up at 06:30 and make breakfast for little Timmy and take him to daycare. They need a new car by the end of the month so they better choose between big touch screen or little touch screen with a control knob.

If I can't get a dumb TV, I just don't buy a dumb TV or watch any TV at all. But you can't not travel by car.
by shankr | 2025-09-20 17:22:11+00:00
No I am basically saying it's human nature - sticking to their own group, having biases, being racist. You were trying to make it some kind of Indian trait. We can always try to fight against all the creeping racism and biases, legally and lawfully, without targeting certain group.

Suddenly every immigrant has to be this pristine model minority which has never been the case. That's why I gave those examples. People will find ways to target immigrants no matter what. This kind of narrative I see popping up everywhere where people don't like immigrants. This isn't even US specific.

The goalpost keeps shifting from legal, law-abiding immigrants to they better assimilate, say nothing bad or we are going to create policies which actively target some group based on how a particular government feels about them.
by Bender | 2025-09-20 17:23:09+00:00
How does IA get picked on but YT does not? I can type in any music artist or album I can think of with the word playlist and get a full playlist. With exception of the YT channels owned by the publisher or artist I am highly skeptical YT own even 1% of the music on their site. Most of the music I run across seems to be just random YT user accounts and the music has been there for years. For the record I am not complaining, it just seems very biased to me as in IA probably do not have as many lawyers, as much bureaucracy, connections and money as YT making them an easier target but I am just guessing if that is the reason.
by TypexAI | 2025-09-20 17:24:22+00:00
I just launched Bardo — a privacy-focused note-taking app that works 100% offline. Key features: • Local graph view for linking notes • Built-in terminal • Markdown support • OCR & speech-to-text (offline) • 17+ export formats Everything runs locally, with no cloud or account required. Feedback from HN would be super valuable!
by walleeee | 2025-09-20 17:24:35+00:00
Ignoring the difficulty of defining such a needle in a general sense, I still think the point is disproved by the fact that groups can do things no individual member can conceive of, let alone do, alone.

If it's true of ants, who we likely agree have not so large a cognitive lightcone as us, surely it is of us. The only way I see for it not to be true of us is to posit a hard cap on intelligence which we are closer to.

There are also forms of intelligence which resist formalization and do not equate to cleverness. For instance, wisdom.
by wittjeff | 2025-09-20 17:25:12+00:00
I'm always happy to see more innovation in this area. It'd be great if you could make your model, weights, and training corpus public (preferably under a permissive license) on GitHub. It'd also be great if you could run some benchmarks against the other similar tools in this area (I'm thinking particularly of Mathpix, Equatio, and Microsoft's math OCR in OneNote, Word, and Azure APIs. If you make your test corpus and code available I could set up the benchmarks for you.
by ertian | 2025-09-20 17:25:14+00:00
That's just the byproduct of the rest of the world coming back online (plus communications & logistics improving).

Look, if you own a company, or are in a leadership position: the entire world is now open to you, both as source of labor and as potential market. The impact of your decisions has exploded, and the potential revenue and value of your company has also exploded.

OTOH, if you're a line-worker at a factory in Detroit: your competition is now most of the population of the world--and they all expect lower salaries than you do.

What's your argument for why you should keep making 10x or 20x what people in China or India make? Do you just naturally deserve it? Do you figure that companies owe it to you because you share a home country? If so, either the company will bounce and move abroad to one of the many countries willing to welcome them with open arms--or they'll be swiftly replaced by a Chinese equivalent which has 1/10th the labor costs. Either way, your extravagant salary is going to dry up.

American labor in the 50s was simply in the right place at the right time. That's no longer true. There's no way to stop the rest of the world from growing and improving in order to maintain the special status of the American worker. They don't really have a choice: they need to skill up. And yes, push for better social safety nets, though their instinct seems to be in the opposite direction.
by PeterWhittaker | 2025-09-20 17:25:34+00:00
The overall tone is one of "father knows best" with plenty of adversarial over and undertones. My favourite example, and perhaps the clearest, is

"For example, if you just asked them to change the text on the “Login” button, and they’re talking about new libraries and rewriting the credential store, there’s a good chance your team didn’t understand what you told them."

There is an equal or better chance that you don't understand or are completely ignorant of dependencies with which they are intimately familiar, perhaps tangled copypasta created ad nauseam in response to overbearing leaders who could not be bothered to understand.

I've seen that more than once.

In that specific instance, it would be more helpful to dive into the why while expressing the surprise you actually feel. It might even be better to go straight to "is there something in there that shouldn't be?"

If your team has history you lack, one of your first jobs is learning the pain points and gaining enough of their trust that they will show you the scars and explain how they were earned.
by alephnerd | 2025-09-20 17:26:22+00:00
It's been a bad market. A lot of people on HN are ICs who are rightfully stressed and anxious.

The nativism and rejection makes sense with that regards - it's an almost religious hope that stuff will get better.

I just believe in being brutally honest - especially on HN, where I can vent or shine a light on decisions.
by temp12323984 | 2025-09-20 17:26:32+00:00
Im’ve helped a german immigrant find work before he lost is visa for working/studying due to job loss. Applied 400+ times within 6 months. No results. Then, we iterated in 2 session across 2 weeks. He did 60 applications after that and got a few interviews and finally laded a job 3 weeks later.

Listen and follow carefully:

(1) Fill the current gap in your CV with “Job Sabbatical”, make it span up to now. Else people will be put off by the fact you didn’t find work.

(2) Id you want, send me your CV and I’ll audit. 30% of cases people focus on the wrong stuff, 50% they don’t sell it well (presentation, communication, annecdotes) and the other 20% is not sticking to cultural norms / non-CV related stuff
by rollcat | 2025-09-20 17:27:22+00:00
> "zero-cost abstractions"

I believe that in modern times, this term refers to stuff like: transparent conversion to a low-level representation (e.g. a bit-packed integer) from a high-level, statically checked datatype - e.g. a tagged union with exhaustive pattern matching, aka ADT. This is also something C++ etc lack.