MurphyA/hacker-news huggingface dataset:
by HDThoreaun | 2025-12-23 17:59:23+00:00
Trump forced the UAE to buy $2 billion of his stable coin in order to avoid tariffs. He is making $80 million a year farming yields off that. The tariff nonsense was 100% just a backdoor for corruption.

Edit: and I forgot he pardoned the binance guy for facilitating this corruption too. Trumps pardons are the most corrupt in american history but MAGA is still yelling about the hunter biden pardon even though Joe was absolutely right that trump would maliciously prosecute him
by wildzzz | 2025-12-23 17:59:28+00:00
Basically saying that because the administration isn't cooperating with judicial reviews or even bothering to comment (let alone display a difference in opinions), the story should be shelved. So as long as the government is united in its desire to commit horrible acts and stall justice, I guess we shouldn't bother reporting them? Not sure where the logic is there. And I guess since it's possible some bad apples exist, then we should just take the word of the government that everyone there is a gang member? I wouldn't ever call 60 Minutes cutting edge journalism, it's quality for sure but they are never the first on the scene. Who cares if other media companies have covered CECOT? 60 Minutes got first hand interviews with detainees that have good backgrounds. That's important, it lets viewers empathize with "good" immigrants just trying to create a better life for their families. This letter is weak.
I've Made Tinder for Cities
by nonmaskable | 2025-12-23 17:59:42+00:00
Hello everyone, I am going to make it short and the title is kind off clear.

So basically I created novad.app, a free Nomadlist alternative to find nice destinations that fits your vibe.

Explaining all the features here will be too long so if you want to test it, I am looking for early beta tester so don't hesitate to join the team.

We got a slack to improve things, request features, report bugs and more.

Let me know if you're interested.
by scottyah | 2025-12-23 18:00:57+00:00
This is the true advantage of a competitive marketplace, your parent commenter votes yes to dark patterns where the person who can dodge them wins, and you vote for honest, open checkouts for a higher price. Luckily, you two don't have to agree and as long as there enough of you, both will coexist.

Imagine if you had to agree and compromise on a single airline?
by rep_lodsb | 2025-12-23 18:01:12+00:00
The dozenal movement seems based (no pun intended) mostly on opposition to the metric system.

The article on page 38 is really funny to anyone not in the US:

Fahrenheit temperature usually ranges from about 0° (cold) to about 100°
(hot). On the other hand, those who use the awkward Celsius scale usually range from
about 18° to about 38°! Interesting.

(18-22 °C is room temperature, 38 °C = 100 °F = hot summer day. 0 °F is way below freezing, a lot colder than it gets in most places!).

And apparently only the metric system was imposed by tyrannical governments. Maybe someone could ask the people in metric countries today if they would like to go back to the "natural" measurements that were in use before that happened? And maybe also switch to counting everything in dozen and gross at the same time.

Even if that really were objectively a better system, I think few would make that change if it wasn't forced on them.
by Apocryphon | 2025-12-23 18:01:19+00:00
Eh, eye of the beholder. It's made all the funnier that Ghosts of Tsushima has a Kurosawa Mode that converts all that detail into monochrome.

RE 7 Biohazard was made for the PS4! And its VR version and Half-Life Alyx probably do require higher graphical fidelity, as VR games are not exactly the same thing as regular video games.
by huhkerrf | 2025-12-23 18:01:22+00:00
I'm not sure how you can read that and think it is speaking favorably about the prison.

Here are some parts you left out:

> The El Salvador supermax prison is becoming the new Ohio Diner. It’s the new Iowa State Fair. It’s the new Jeffrey Epstein jet: It’s where every political leader needs to visit, the place to see and be seen if you’re ambitious and in politics today.

> They agreed that there was nothing to be done about the mistakenly deported Maryland man, now in Salvadoran custody. Two leaders of two great countries simply cannot find that one random wrongly deported man, and everyone should move along (I’m assuming that means he’s dead, right?).
by malfist | 2025-12-23 18:01:43+00:00
This thing isn't uncommon. You email a CEO and get put into "executive escalation" if you don't seem like a crackpot. I've done that once before and it was useful to cut through the armies of outsourced CSRs that read from a script and refuse to deviate and send you in circles.

It does help if you start your email with your value to the company (i.e., I spent $X over $Y time period at your company)
by vkou | 2025-12-23 18:01:59+00:00
I mean, yes, you are right, I lived through all that, and I remember it well.

But to me, even at the time, this was at best, magical-thinking bullshit. But what does a teenager know..? I just write the things my teachers tell me to and get graded on them.

The massive backslide in Russia throughout the 90s and 00s towards autocracy at the same time as it was turning into a capitalist country... Wasn't exactly a state secret.

Warsaw pact states tying themselves to a democratic union in an effort to get as far as they could from Russia was, I think, the larger reason most of them didn't go down the same road.
by ankit219 | 2025-12-23 18:02:24+00:00
Its mostly true when the integrating company cares for the user experience. Which apple clearly does.

The example you shared is the opposite. I am imagining a kernel today written in a manner that airpods would be able to use it to extract the max out of it. Now, it has to support 10 other third party pods, so at the minimum, kernel would be more generalized.
by api | 2025-12-23 18:02:27+00:00
The problem with that is usually efficiency. Electrochemical or thermal production of methane from CO2 and H2O is not very efficient, and then you're burning it, which is only heat engine efficiency.

Batteries or direct mechanical storage (compressed gas, pumped hydro, etc.) are both a lot more efficient.

This would make sense if solar gets so cheap that it's something to do with the surplus, and it would be a way to electrify things like long haul aviation where batteries are too heavy. We are flying LNG rockets, so LNG planes are totally possible, or you could upgrade methane to butane or propane which are quite easy to compress to liquid form. Jet engines run great on light weight fuels like that.
by vilos1611 | 2025-12-23 18:02:55+00:00
In a single-level loop, i is just an offset. I agree that depending on the context (maybe even for the vast majority of for loops like you're suggesting) it's probably fine.

But once you nest three deep (as in the example that kicked off this thread), you're defining a coordinate space. Even in a 10-line block, i, j, k forces the reader to manually map those letters back to their axes. If I see grid[j][i][k], is that a bug or a deliberate transposition? I shouldn't have to look at the for clause to find out.
by 0x1ch | 2025-12-23 18:02:56+00:00
I vaguely remember reading when this occurred. It was very recent no? Last few years for sure.

> The Linux kernel began transitioning to EEVDF in version 6.6 (as a new option in 2024), moving away from the earlier Completely Fair Scheduler (CFS) in favor of a version of EEVDF proposed by Peter Zijlstra in 2023 [2-4]. More information regarding CFS can be found in CFS Scheduler.
by tonymet | 2025-12-23 18:03:36+00:00
There’s room for both types of people in any trade. Some photographers obsess over the equipment, some only care about the photos. Carpenters with tools. Musicians with instruments & gear. Every craft has people who care about the how and those who focus on the product.

I’ve always enjoyed the craft of software engineering, though even I admit the culture around it can be a bit overly contemplative .

Nevertheless, there is room for both personalities. Just hang out with likeminded people and ignore the rest.
by SecureBitChat | 2025-12-23 18:03:48+00:00
We’ve open-sourced securebit-core, a platform-agnostic cryptographic core written in Rust.

It is used as a single shared core across all SecureBitChat clients ( desktop, mobile) and contains all security-critical logic: key exchange, session setup, message encryption, and protocol state handling.

The goal is to keep cryptography and protocol logic in one auditable place and avoid platform-specific re-implementations.

We welcome reviews, bug reports, and security feedback.
by blazingbanana | 2025-12-23 18:03:59+00:00
Completely free, offline note and text formatting using local LLMs.

I write a lot of notes that end up unstructured and hard to reuse and make sense of. So the goal was to build a fast, easy, local-first way to turn rough input into usable text without sending anything to the cloud.

Desktop builds are available for macOS, Windows, and Linux, with optional Windows/Linux CUDA builds for faster inference. Everything runs locally.

Big shout out to https://github.com/ggerganov/llama.cpp along with PyQt6, pdfplumber, pytesseract, and python-docx for making it easy to wire everything together.

It uses an 8Gb Phi-4 model, however there's no reason you couldn't point to any other GGUF models you have.

Still very much a work in progress, any suggestions welcome.
by teiferer | 2025-12-23 18:04:49+00:00
I fully agree with your overall message and sentiment. But let me be nit-picky for a moment.

> The test cases are supposed to be the formal specification of our requirements

Formal methods folks would strongly disagree with this statement. Tests are informal specifications in the sense that they don't provide a formal (mathematically rigorous) description of the full expected behavior of the system. Instead, they offer a mere glimpse into what we hope the system would do.

And that's an important part, which is where your main point stands. The test is what confirms that the thing the LLM built conforms to the cases the human expected to behave in a certain way. That's why the human needs to provide them.

(The human could take help of an LLM to write the tests, as in they give an even-more-informal natural language description of what the test should do. But the human then needs to make sure that the test really does that and maybe fill in some gaps.)
by Mikhail_Edoshin | 2025-12-23 18:05:29+00:00
That "use of influence" is pure imagination. But you are right, there is another even darker half of the story: not only she has lost a large sum of money, she is now hated and bullied by a raging mob of "honest buyers".

(Most such sales happen at a large discount; half price is not uncommon. In many cases the buyer can clearly see something is off. Yet the price is so sweet the buyer cannot resist and risks getting sued afterwards. Of course, maybe this particular case is an exception.)
by metadope | 2025-12-23 18:05:55+00:00
I think people might be missing the hack here, because the front story is such an ongoing political (and moral) football.

The hack is in the leak, and the sudden availability, of the video segment, across international borders, against the Weiss will (and apparently against the Ellison and Trump will), rebounding back to us in the US via the good graces of https://archive.org and via some true journalistic (or political) chutzpah.

That's what drew me to this page, to learn more about how presumed underhanded corrupt billionaire-sanctioned censorship was defeated by an innocent premature distribution.

Stand with me as I rise to sing O Canada!
by mint5 | 2025-12-23 18:06:00+00:00
The house is burning down, we should put it out!!.

“it burned down before this is more of the same hurrrummmph.”

Democracy cannot rest or it is eroded, so yes bad things happened. American is flawed but over time has worked towards improving itself and going towards its ideals of equality. But every inch forward is hard fought against the likes of the current administration. Suffrage, voting rights, environmental regulations, abolition were all won as huge battles against those clinging to and abusing power.

The way these “but America has always been…” post are toned, if we listened to the likes of them then none of those victories would have occurred.

Listening to them, we backslide. Dwelling on past imperfections instead of fighting today’s fire? Thats Self sabotage.

These posts are never framed in a constructive way, like how do we right the wrongs of the past, how can we make reparations for them. No, they’re framed like “we’ve always been bad, so this current bad is not so bad”

They seem to be insidiously on the side of injustice, trying to diminish current ills so that they may continue.
by botswana99 | 2025-12-23 18:06:04+00:00
Congrats from a fellow software boostrapper (12 years in, similar size).

For a laugh, here is our founder chat from this weekend:

GB: https://www.linkedin.com/posts/englishpaulm_just-heard-from-...

CB: I'm glad we don't have to deal with that shit.:hankey:

EE: arg. yeah. I think about the funding route at times, but then see threads like this, and it’s a lot of yuck.

GB: Terrible. They did invest, but they just squeezed the founder out.

CB: How is the new vacation home?
by pocketarc | 2025-12-23 18:06:09+00:00
> a vitamin is something you can't live without

They are talking about vitamin supplements, not literal vitamins that you need in order to live. Vitamin supplements do not survive in a budget reduction spreadsheet - they're easy to let go of for a while. On the other hand, if you're in pain, you need painkillers, and you're not going to be thinking about your budget, you're just going to go get some to get rid of the pain, even if it's just a temporary fix (and even better for the business if it's just a temporary fix - recurring revenue!).

That's the whole thing, the whole "solve a real problem" thing they keep talking about for startups.
by strfry | 2025-12-23 18:06:25+00:00
Neat, but we've been in the same situation for a while. A couple years back, I wrote a tutorial for using an open source stack with the Nandland Go FPGA board: a simple Lattice board. This was because the FPGA book I bought from No Starch required Windows (shock and horror). This was 2023. Now we're coming up into 2026?
by wakawaka28 | 2025-12-23 18:06:36+00:00
>There's plenty of tyranny in the USA today and guns have done nothing to stop it.

Guns stop crime which is a form of tyranny. As for government tyranny, you are not going to be able to fight a heavily armed tyrant without guns. We didn't win independence from the British via debate. Guns are a factor in reigning in deranged politicians. That is why they want to disarm everyone.

>This is demonstrably false. Everywhere in the US there is a possibility that grannies can have a gun, but nowhere, even the places where there is concealed carry and a large number of gun owners, has crime been stopped as a result.

Crime has been reduced by gun ownership.

>Thugs don't "think long and hard" period. Guns don't make a difference. Gang members in particular aren't scared of guns. They have guns too. They've been shot, or been shot at, many times. They've watched their friends be killed by gunfire. None of that stops them.

They do fear guns. They have guns because they are effective for self-defense, even for criminals. Hard-boiled criminals fear guns. Even if you find some that are so calloused and/or stupid that they don't fear guns, the guns will protect you from those criminals anyway. The gun does not care what its target thinks of it.

>Where do you live where your politicians are kept in line at all, or by anything except maybe fear of not being reelected?

Like I said, it is a factor. The people who want to take our guns are heavily guarded by men with guns. Take the hint.

>I, like most Americans, don't want to abolish the 2nd amendment, but like with all of our rights, there are reasonable restrictions and limits that can be placed on it which would still allow people to defend their homes and hunt and shoot while still bringing gun deaths closer to what we see in other counties.

We already have background checks on every legal gun purchase and extra unconstitutional laws restricting many types of firearms. There is a de-facto and illegal national gun registry.

For all the benefits we get from government, it remains the biggest domestic menace to all of us and we must take steps to not allow ourselves to be defenseless against the state. How do you think genocides happen? The second amendment is not for hunting, or for warding off low-level thugs, though it might be useful for those purposes. It is there to give normal people a real chance to reign in evil in government. A standing professional army would not win against a well-armed majority standing up for their own rights. Even if they did win, it would be a Pyrrhic victory.
by robtherobber | 2025-12-23 18:06:44+00:00
Indeed. When it started, Spotify populated its beta versions with plenty of MP3s that were only available on The Pirate Bay, had unlicensed music to kick-start the platform [0], and Daniel Ek was the CEO of uTorrent [1] before it was sold to BitTorrent Inc.

Initially Spotify tech was p2p. To quote Rasmus Fleischer, who wrote about Spotify, "Spotify’s beta version was originally a pirate service. It was distributing MP3 files that the employees happened to have on their hard drives." [0]

The company may have turned into a billion-dollar company, with pirate roots. [2]

[0] https://torrentfreak.com/spotifys-beta-used-pirate-mp3-files...

[1] https://venturebeat.com/technology/grooveshark-hits-back-at-...

[2] https://torrentfreak.com/how-the-pirate-bay-helped-spotify-b...
by like_any_other | 2025-12-23 18:07:11+00:00
> Why would you expect to find that? It doesn't make sense.

Can you explain why it doesn't make sense? Closing nuclear plants, which forces replacing them with fossil fuels, which come from Russia, seems quite plain to me, and was entirely predictable (and was in fact predicted) ahead of time. Can you point out where I am making an error?
by wheelinsupial | 2025-12-23 18:07:17+00:00
Depending on what you're looking for in industrial engineering, there are a lot of blogs on lean manufacturing and the Toyota Production System. INFORMS, may be paywalled, also publishes a lot of pretty interesting articles on applications of operations research to industry.

In general, though, my very limited experience working in manufacturing was that much of the blog equivalents were covered in things like white papers from hardware manufacturers or articles in trade publications. We always had a bunch of magazines delivered each month and there were usually some interesting articles to review.
by calmbonsai | 2025-12-23 18:07:32+00:00
You can not efficiently demarcate workloads in a coffee shop the same way you do in a warehouse due many factors including: the lack of transparency in the work done by the work units and the unpredictability of how a single work-unit can impact the entire plant.

The queue management models that work for banks, grocery stores, and warehouses do not fit the highly interdependent plant operations of a coffee shop--Poisson doesn't cut it.

At any given time, there's a good deal of work contained in the "head cache" of the workers (lack of transparency) and orders are (largely) interdependent due to the limited throughput and cornucopia of wait-states of the components that process them.

For a better analog, look at the classic French "brigade de cuisine" system developed by Escoffier and watch videos of high-end restaurants during service.

Pay particular attention to the expediter and notice how there's specialization, redundancy in labor, and semaphoring to manage exceptions, wait-states, and accommodate the entirety of the workload.

None of those strategies can be utilized (at-scale) in a coffee-shop due to vastly different expectations of workload processing timeline, quality, variance, available labor, expected margin, and physical plant size.

A large fast-food restaurant is middle-ground between these extremes.
by imiric | 2025-12-23 18:07:57+00:00
Agreed.

Besides, it's not like types don't matter in dynamically typed languages. The (competent) programmer still needs to keep types in their head while programming. "Can this function work with a float, or must I pass an int?" "This function expects an iterable, but what happens if I pass a string?" Etc.

I started my career with JavaScript and Python, but over the years I've come to the conclusion that a language that hides types from programmers and does implicit conversion magic in the background does not deliver a better DX. It might make the language more approachable initially, and the idea of faster prototyping might be appealing, but it very quickly leads to maintenance problems and bugs. Before type hinting tools for Python became popular, I worked on many projects where `TypeError` was the #1 exception in Sentry by a large margin.

Gradual and optional typing is better than nothing, but IME if the language doesn't require it, most programmers are lazy and will do the bare minimum to properly add type declarations. Especially with things like TypeScript, which makes many declarations difficult to read, write, and understand.

I think that type inference is a solid middle ground. Types are still statically declared, but the compiler is smart enough to not bother the developer when the type is obvious.
by trinix912 | 2025-12-23 18:08:02+00:00
GIMP in my opinion has a very good UI when you're looking at graphics as a programmer: threshold this, clamp that, apply a kernel ("custom filter")... Everything seems to click with a mental model of someone who does graphics programming.

Whereas Photoshop and other "mainstream" software use terms and procedures non-programmers are more likely to be familiar with: heal this area with a patch, clone something with a clone stamp, scissors/lasso to cut something out (not saying GIMP doesn't have those)...
by reify | 2025-12-23 18:08:35+00:00
They dont, not in my home or any home I visit.

Diners ingredients: flavour enhancers, monosodium glutamate, more salt, more sugar and powdered eggs, poor quality flour and soya protein. Fucking nasty shit!

Perfect ingredients for the morbidly obese, or for those dreaming of dying of a heart attack in the near future
by scottyah | 2025-12-23 18:08:56+00:00
Yes, especially for a short flight I do not have high expectations. I don't want to be charged an extra $10 so I can get a "free" half sized water bottle or tea hat's been brewing since the late 90s. I don't need extra baggage, legroom, or any of the other add-ons that other airlines try to provide and charge for.

I don't love the dark patterns, but believe the CEO when he says they are basically traps that enable the low prices for the people that don't fall for them.
by dang | 2025-12-23 18:08:58+00:00
> So, porn, then? Surely there must be limits.

Believe it or not, this mod comment from 5 years ago addresses just that:

https://news.ycombinator.com/item?id=23087737 (May 2020)

The, er, money quote would be this:

When we say "interesting" we mean intellectual interest, not all kinds of interest or curiosity. For example, there is social curiosity (the sort that powers celebrity gossip). There is political curiosity (wanting to know how one's side is doing against the other side). There is sexual curiosity (no comment needed). These things all have their place, but not here. On the other hand, there can also be overlap with intellectual curiosity, in which case it's fine, though the bar is higher in some cases than others.
by nashashmi | 2025-12-23 18:10:40+00:00
lol. That quote is like a blatant copy of the Al-Kafirun chapter of the Quran.

Say: Oh you who turn away. I do not worship what you worship, nor do you worship what I worship. And I will not worship what you worship, Nor will you worship what I worship. Your way is yours, and my way is mine.