MurphyA/hacker-news huggingface dataset:
by goku12 | 2025-07-08 04:07:54+00:00
Someone always objects when I say this. But here's the issue. You can't resolve political crises with technical solutions. You need political solutions. The regime shouldn't have been allowed to make such activities illegal and persecute citizens for that. But that isn't even the worst concern at this point. Remember that the military is being used to oppress political dissent within the country.

Technical solutions may give you a temporary upper hand in pursuit of a political resolution. But without the latter, technical solutions will simply devolve into a technical arms race that you cannot possibly win, due to the near infinite resources the regime commands. If at all they can't defeat you technically, they'll just order an indiscriminate crackdown.
by furyofantares | 2025-07-08 04:07:54+00:00
This is gonna sound like some chad hype shit, but I've tried just working 2 different projects simultaneously and have had some incredible extended flow sessions. It felt like the old days of multitabling poker.

I had tried doing it with different features in different worktrees in the same codebase but found flow much harder there.

Lately I am also just spending a lot more time reworking code manually to keep the code in good shape. Still getting a ton of value out of the LLM doing a lot of work, but not exactly spending lots of time just waiting for it because I am dropping back down to manual mode frequently.
by smaudet | 2025-07-08 04:09:37+00:00
We are probably several centuries out.

Thought experiment - how many generations does it take to forget grandpa?

If Grandpa is the issue, their grandchildren may have falsely optimistic opinions of their corrupt roots. Their children (grand grand children) don't have the same rosy memories, and don't get why Mom and Dad are into their weird rituals. But it's Mom and Dad so it can't be so bad, right?

It's not till their grandchildren, normally, that (assuming they are decent people and the trait isn't genetic or somehow encouraged by society) people can maybe see what utter crappy people their grand grand grand grand parents were, and maybe do something about it.
Show HN: HireIndex – A Searchable Directory for Who Wants to Be Hired on HN
by dk8996 | 2025-07-08 04:11:01+00:00
Hi HN,

I built hireindex.xyz – a searchable website that aggregates and indexes candidates from the "Who Wants to Be Hired" threads on Hacker News.

Coming soon: Analytics to highlight trends in skills, technologies, and candidate preferences across HN posts.

With HireIndex, you can:

Search by tech stack.

Quickly scan bios, salary expectations, and contact links.

Filter by remote/on-site preferences and employment type.

I made this because I was tired of scrolling through long threads and wanted a better way to find interesting people.

Would love your feedback – especially around UX and anything that would make it more useful to hiring managers, founders, or even job seekers themselves.

https://hireindex.xyz
by lutusp | 2025-07-08 04:11:39+00:00
> You mentioned you stripped one of the tensioners - does a screw thread into a 3d printed part?

Sort of. A metal screw is threaded into a square nut that sits inside a 3D printed part. All good unless one gets to the end of the screw's motion range, after which the square nut begins to turn inside the plastic part and strips it.

I have printed spares for the plastic part, also I know better than to trust Prusa's frequency detector applet, so this is not a deal breaker once you understand the system. There are much better ways than Prusa's applet to detect the belt's frequency, some described in the linked article.

Prusa offers free downloads of all the printer's plastic parts: https://www.printables.com/model/1167816-core-one-printable-...

> Is there a more robust version of the part?

The original part is printed using PCCF, very strong, but the embedded square nut is too small to resist worst-case forces.
by bamboozled | 2025-07-08 04:11:45+00:00
I think you're right, but I also think it's important to be able to communicate outside of the control of central authority.

But yes, it's probably wishful thinking because as I said, they would be able to track you down with the signal your device emits and stomp you with the boot of authoritarianism. Maybe in the future we'll able to communicate anonymously with quantum entanglement :)
by gruez | 2025-07-08 04:12:18+00:00
>1. You don't have the counterfactual here, so who's to say how the world would have turned out without exhortations from top brass.

This presumes the journalists are somehow neutral to begin with. If they're biased to be anti-israel, then arguably the top brass telling them to tone it down a notch would make the coverage more neutral.

>3. These seem like fairly sanitized headlines considering what they're actually talking about. Consider the last one vs "Israeli Terrorist Strike Murders Dozens, Though They Claim One Murdered Individual Among the Group Not So Innocent" or something. So even though some of the facts are getting reported on, how they're reported on (arguably almost as important) could still be an editorial decision from higher echelons.

This presumes there's some Objectively Neutral™ version of a headline for a story, but how do know what that should be? Is the "Israeli Terrorist Strike Murders Dozens ..." wording supposed to be the neutral version? If that's the neutral version, I can't imagine what the anti-israeli version is supposed to be.
by Wickedflickr | 2025-07-08 04:12:33+00:00
They never collapsed from anything innate, though. They were always destroyed from outside forces. When your society represents actual freedom, you become the enemy of everyone, from capital to stalinism.

Centralization of power has so far made every society deeply flawed or even hellish. The three societies you mentioned are the only ones where power was purposefully decentralized, and that seems to be the most promising path forward that was never allowed to stretch its legs.
by medvezhenok | 2025-07-08 04:12:38+00:00
Yup, this problem is why I think all therapists should ideally know behavioral genetics and evolutionary psychology (there is at least a plausibly objective measure there which is dissonance between the ancestral environment in which the brain developed and the modern day environment. And at least some amount of psychological problems can be explained by it).

I am a fan of the « Beat Your Genes » podcast, and while some of the prescriptions can be a bit heavy handed, most feel intuitively right. It’s approaching human problems as intelligent mammal problems, as opposed to something in a category of its own.
by akerl_ | 2025-07-08 04:13:13+00:00
Sort of by definition, prior restraint is when the government prevents someone from doing something (in the context, of the term, generally always speech/expression) prior to it happening.

This is the kind of bluster that has certainly become more common in recent years, but has to some extent always been part of political theater. You'll see the same kind of thing every now and then if somebody tweets about how they'd love to feed a political figure into a wood chipper, or that the government should be launched into the sun. The Secret Service or some executive official will post that they're "investigating the matter and will take all available action", only for it to turn out that the comment was obviously protected speech.
by WaxProlix | 2025-07-08 04:16:04+00:00
> This presumes the journalists are somehow neutral to begin with

I don't think it presumes that, I'm just pointing out that the existence of articles reporting on Israeli war crimes doesn't preclude bias.

> How do you define what the neutral version of the headline should be?

I don't really believe that true neutrality exists, we're always exposed to biases. Which and to what degree are at question here. My hypothetical headline was specifically meant to highlight this - the same events can be reported on "accurately" in many ways, with many biases. The existence of those facts in a newspaper doesn't mean there's no bias. That's all.
by idonotknowwhy | 2025-07-08 04:16:34+00:00
The Nes classic console. The roms had an iNes emulator header lol.

And the playstation classic used an opensource ps1 emulator.

There was also some steam game ported from GameCube, and it had the Dolphin Emulator FPS counter in the corner of part of the trailer :D

I also remember reading that 2 of the PCSX2 devs ended up working on the EmotionEngine chip emulator for PS3 consoles with partial software emulation of PS2 (The CECH 02 and later models where they removed the EmotionEngine chip)
by hansvm | 2025-07-08 04:16:47+00:00
- Just spin up more test instances. If the AI is as good as people claim then it's still way cheaper than extra programmers.

- Write fast code. At $WORK we can test roughly a trillion things per CPU physical core year for our primary workload, and that's in a domain where 20 microsecond processing time is unheard of. Orders of magnitude speed improvements pay dividends quickly.

- LLMs don't care hugely about the language. Avoid things like rust where compile times are always a drag.

- That's something of a strange human problem you're describing. Once the PR is reviewed, can't you just hit "auto-merge" and go to the next task, only circling back if the code was broken? Why is that a significant amount of developer time?

- The thing you're observing is something every growing team witnesses. You can get 90% of the way to what you want by giving the build system a greenfield re-write. If you really have to run 100x more tests, it's worth a day or ten sanity checking docker caching or whatever it is your CI/CD is using. Even hermetic builds have inter-run caching in some form; it's just more work to specify how the caches should work. Put your best engineer on the problem. It's important.

- Be as specific as possible in describing test dependencies. The fastest tests are the ones which don't run.

- Separate out unit tests from other forms of tests. It's hard to write software operating with many orders of magnitude of discrepancies, and tests are no exception. Your life is easier if conceptually they have a separate budget (e.g., continuous fuzz testing or load testing or whatever). Unit tests can then easily be fast enough for a developer to run all the changed ones on precommit. Slower tests are run locally when you think they might apply. The net effect is that you don't have the sort of back-and-forth with your CI that actually causes lost developer productivity because the PR shouldn't have a bunch of bullshit that's green locally and failing remotely.
by starchild3001 | 2025-07-08 04:17:39+00:00
I've noticed that Hacker News has become increasingly strict with tone lately; almost to the point of aggressive "tone policing." It feels like you’re expected to maintain a very diplomatic tone: praise the author, acknowledge the strengths of the article or video, and only then, very carefully, offer any criticism. You can't just bash it, and not get downvoted :)
by lutusp | 2025-07-08 04:19:16+00:00
> What practical reasons are there to choose the Core One over an MK4S or vice-versa?

The Core One has a Core-XY motion system, meaning the print bed doesn't have to move very fast during printing. This greatly speeds up typical printing.

Also there's the issue of Prusa's open-design philosophy -- you're free to modify the printer's hardware and software.

I've never owned a Bambu Labs printer, so I might not be the best source for a point-by-point comparison.
by gruez | 2025-07-08 04:19:32+00:00
>Hamas is the legitimate government of Palestine.

They might have defacto control, but most countries don't recognize Hamas as the "legitimate government".

>Hamas is the legitimate government of Palestine. "Health Ministry" would be just as accurate and much less biased than "Hamas-run Health Ministry". The implicit accusation of bias against them by emphasizing the identity of the source is also extremely glaring when put into context; nearly every outside observer that's not an Israeli or US government organization to analyze the data and numbers has come to the conclusion that the "Hamas-run Health Ministry"'s number are an undercount.

So if the BBC was covering the election in Venezuela, would it be "biased" to point out that the election results were from the "government controlled" electoral commission, and that it was packed with Maduro's cronies? After all, the electoral commission is probably the "legitimate" authority for counting votes, so why point out it's staffed by government cronies? Just say that the opposition claims that their guy won, but the electoral authority said Maduro won. End of story. Or is it only biased if the journalist thinks something fishy is going on (ie. the vote was rigged in favor of Maduro)? How would we adjudicate this? This just inevitably devolves into "if you support Israel then saying anything bad about them is bias, and if you oppose Israel then saying anything good about them is bias".
by LarryMade2 | 2025-07-08 04:20:16+00:00
Suggestions for old Mac Apps to look out for:

- WriteNow! a very nice word processor that was originally developed for Next computers, before word took over it was the favorite.

- ClarisWorks/AppleWorks - One of the better pre office integrated apps - the database was REALLY easy to use, and interfaced well with the vector graphics module, spreadsheet, and word processor...

- FoxBase+/Mac - Before Microsoft bought Fox Software they got "Mac religion" and it shows in the incredible FoxBase+/Mac its amazin how much capability fits in a floppy.

- SuperPaint - great bitmap paint program though not as accurate as later graphics apps. (fractional/grid positioning was an issue)

- Ready,Set,Go! A great alternative DTP program to PageMaker/Quark. Never used others but I hear I think it was FrameMaker that had some sort of template/database feature to manage/generate catalogs. There were some interesting things back in the day.

- Stepping out - virtual larger desktop

- PowerPrint - Hook into epson compatible parallel printers with serial->parallel adapter.

- Comic Strip Factory - way before there was ComicLife there was Comic Strip Factory - a nice clipart based comic strip compositor.

- HyperCard - Never got into it but it had quite a community.

- Of course programming languages like Pascal, Logo, and BASIC in various flavors.

Of course you have the early greats like the Adobe programs and Microsoft Word/Excel/Office.
by const_cast | 2025-07-08 04:20:32+00:00
But nobody is trying to prove or show a better alternative, that's my point. A critique of capitalism doesn't mean we should dismantle capitalism.

I don't get it, because we do this with other stuff all the time. I program in C#, guess what? I have plenty of critiques of C#. That doesn't mean I want C# to go die, I love C#. It seems to me everyone understands this... until it's capitalism. And then, suddenly, it's our first day on Earth.

Also capitalism, like everything, is not just one thing. It's a complex beast and there's infinite possible implementations of a capitalist economy. Nobody actually wants raw, unregulated capitalism because that sucks major ass. Yes, that's a technical phrase.

Meaning, we can, and should, be looking to progressively improve our economic system. I mean, it's what we've been doing since forever.
by adastra22 | 2025-07-08 04:21:06+00:00
It remains to be seen. To this day there still isn't any conclusive further evidence beyond "there was an impact event that closely coincides with the dinosaur extinction." Which is, don't get me wrong, very strong evidence. But the Deccan Traps are also just as much a smoking gun, which is why I proclaimed above that the one-two punch theory is the most reasonable. They both contributed to one of Earth life's most epic die offs.

Alvarez looked at the global iridium layer 66M years ago and said "This is from an impact. I don't know where the crater is, but there is one and when we find it, it will be X km big and date to 66M years ago." Then the Chicxulub crater was found and matched his predictions to a T. That is a hell of an impressive scientific accomplishment. Which may or may not have anything to do with the K-T extinction event and the end of the dinosaurs.
by dylan604 | 2025-07-08 04:22:35+00:00
If you’re really paranoid, you can mail cash directly if you’re willing that risk. I’m guessing the number of grandparents sending $5 for birthdays is getting smaller, but I’ve seen first hand the number of people willing to send cash to avoid having checks/credit card charges for specific places. There is no more anonymous method of payment than cash regardless of what cryptoBros tell you. This isn’t X-files where wanting to believe is enough
by somenameforme | 2025-07-08 04:22:38+00:00
Imagine China started doing to the Uyghurs exactly what Israel is doing to the Palestinians, and on the exact same scale. For that matter you can even say for the exact same justification - there have indeed been multiple mass death terrorist style incidents carried out by Uyghurs. Would you expect remotely similar framing?

The entire population of Gaza was only ~2 million and Israel has now killed/wounded hundreds of thousands of Palestinians directly, and it's likely some multiple of that have been killed indirectly (starvation, disease, deaths of despair, etc). If this was China, we would have long since been calling it a systemic genocide, done all we could to economically sanction them out of existence, and perhaps even flirted with direct invasions which would entail risking not only WW3 but global nuclear warfare.

But because it's Israel, we're instead shipping them weapons to keep carrying out this "war" and the media continues framing it as just a regrettable conflict with unfortunate collateral damage.
by ryjo | 2025-07-08 04:24:17+00:00
Very cool. Neat how you managed to get logical symbols in to the language itself! When might someone use preconditions in Lean theorems?

This article caught my eye because it's focused on imperative programming, and I've been very focused on declarative vs imperative programming over the last few years. I implemented a version of your function in CLIPS, a Rules-based language that takes a declarative approach to code:

(defrule sum-is-0 (list $? ?first $? ?second $?) (test (= 0 (+ ?first ?second))) => (println TRUE))

(defrule sum-is-not-0 (not (and (list $? ?first $? ?second $?) (test (= 0 (+ ?first ?second))))) => (println FALSE))

(assert (list 1 0 2 -1)) (run) (exit)

The theorem you write in Lean to prove the function kind-of exists in CLIPS Rules; you define the conditions that must occur in order to execute the Right Hand Side of the Rule. Note that the above simply prints `TRUE` or `FALSE`; it is possible to write imperative `deffunction`s that return values in CLIPS, but I wanted to see if I could draw parallels for myself between Lean code and theorems. Here's a gist with the simple version and a slightly more robust version that describes the index at which the matching numbers appear: https://gist.github.com/mrryanjohnston/680deaee87533dfedc74b...

Thank you for writing this and for your work on Lean! This is a concept that's been circling in my head for a minute now, and I feel like this article has unlocked some level of understanding I was missing before.
by badc0ffee | 2025-07-08 04:24:27+00:00
Something worth mentioning would have been those libc calls where the only way to tell if a return value of 0 is an error is to check errno. And of course, as the article says, errno is only set in error, you need to set it to 0 before making that libc call.

I think strtol was one such function, but there were others.
by mrkeen | 2025-07-08 04:24:52+00:00
> I’ve seen lots of bugs caused by code that unexpectedly forced a commit, or even opened/used/committed a whole new DB connection, somewhere buried down inside a theoretically externally-transactional request handler.

Yes! That's my current codebase you're describing! If you interweave the database all throughout your accounting logic, you absolutely can bury those kinds of problems for people to find later. But remember, one test at a time so that you don't accidentally discover that your the database transactions aren't protecting you nearly as well as you thought.

In fact, screw database transactions. Pay the cost of object-relation impedance mismatch and unscalable joins, but make sure you avoid the benefits, by turning off ACID for performance reasons (probably done for you already) and make heavy use of LINQ so that values are loaded in and out of RAM willy-nilly and thereby escape their transaction scopes.

The C# designers really leaned into the 'statements' not 'expression' idea! There's no transaction context object returned from beginTrans which could be passed into subsequent operations (forming a nice expression) and thereby clear up any "am I in a transaction?" questions.

But yeah, right now it's socially acceptable to plumb the database crap right through the business logic. If we could somehow put CSS or i18n in the business logic, we'd need to put a browser into our test suite too!
by t-3 | 2025-07-08 04:25:03+00:00
A sales ban would simply be in compliance with international law, and the UK is a member of the ICC, so even a partial ban is failing to live up to their obligations. The US is not currently a signatory but it's own laws make it illegal to export arms to Israel, so I guess we're "more" of an ally, as we're willing to more flagrantly break the rules in this regard, but the UK is still pretty far in favor of Israel with their current stance.
by tareqak | 2025-07-08 04:27:06+00:00
I believe there are religious exemptions for some Israeli Jews that legally permits them to not serve in the IDF. In addition, I believe that Israeli Arabs are not required to serve in the IDF, but some do serve willingly. Finally, there are Israeli conscientious objectors who end up serving a prison sentence in order to avoid serving in the IDF.

Please correct me if I am wrong.
by tonetegeatinst | 2025-07-08 04:27:13+00:00
The addition of a dimension can be thought of as adding another variable or "axis" in simpler terms.

Due to the added variable aka axis, you have increased the size of complexity.

2d shapes packed in a 2d boundary vs 3d objects in 3d space. The difference is fitting quarters on a paper vs marbles in a perfect cube.

Now imagine having to find the most optimal method of packing for objects of Nth degree in Nth constraint. For example packing object that have 256 dimensional or variables into a constraint that also is 256 of complexity.

I feel as your dimension aka variable increases....the amount of information to compute grows quite quickly.

We can rule out some things as non optimal or non perfect, but we can also get close to perfection via trial and error. I see this as an example of the traveling salesman issue.

Do you stick with a randomly selected answer, do you go with the current most optimal solution, or do you invest time and effort into finding a new solution but you risk finding a worse solution. At the end of the day is the packing efficient gains worth the computational complexity of N dimension of N constraint given it will take an unknown amount of time to find a more efficient packing solution, and the new solution could be anywhere from 0.1% to 80% more efficient.