MurphyA/hacker-news huggingface dataset:
by LeoWattenberg | 2025-11-05 09:52:23+00:00
There is no server in Moscow, and I don't think there ever was. Muse Group left their original office in Kaliningrad for Cyprus pretty much the second the war started, and at this point has no offices or employees left in Russia. The servers always have been bog-standard cloud things, so Cloudflare, DigitalOcean, aws via Netlify and such.
by Imustaskforhelp | 2025-11-05 09:52:39+00:00
Well firstly I would love to know more about your workflow where it actually broke etc. because I feel like tmux-ressurect team could help or something for sure.

I haven't used the tool itself so I am curious as I was thinking of a similar workflow as well sometime ago

Now please answer the above questions but also I am going to assume that you are right about tmux-ressurect, even then there are other ways of doing the same thing as well.

https://www.baeldung.com/linux/process-save-restore

This mentions either Criu if you want a process to persist after a shutdown, or the shutdown utility's flags if you want to temporarily do it.

I have played around with Criu and docker, docker can even use criu with things like docker checkpoint and I have played with that as well (I used it to shutdown mid compression of a large file and recontinue compression exactly from where I left)

What are your thoughts on using criu+docker/criu + termux, I think that it itself might be an easier thing than k3s for your workflow.

Plus, I have seen some people mention vps where they are running the processes for 300 days or even more without a single shutdown iirc and I feel like modern VPS providers are insanely good at uptime, even more so than sometimes cloud providers.
Show HN: DeepShot – NBA game predictor with 70% accuracy using ML and stats
by frasacco05 | 2025-11-05 09:53:11+00:00
I built DeepShot, a machine learning model that predicts NBA games using rolling statistics, historical performance, and recent momentum — all visualized in a clean, interactive web app. Unlike simple averages or betting odds, DeepShot uses Exponentially Weighted Moving Averages (EWMA) to capture recent form and momentum, highlighting the key statistical differences between teams so you can see why the model favors one side. It’s powered by Python, XGBoost, Pandas, Scikit-learn, and NiceGUI, runs locally on any OS, and relies only on free, public data from Basketball Reference. If you’re into sports analytics, machine learning, or just curious whether an algorithm can outsmart Vegas, check it out and let me know what you think: https://github.com/saccofrancesco/deepshot
by IanCal | 2025-11-05 09:53:47+00:00
I strongly disagree, but I think there are a few problems

1. Lots of devs just don't know about it.

2. It's easy to do it wrong and try and reimplement the thing you're testing.

3. It's easy to try and redo all your testing like that and fail and then give up.

Here's some I've used:

Tabbing changes focus for UIs with more than 1 element. Shift tabbing the same number of times takes you back to where you came from.

This one on TVs with u/d/l/r nav -> if pressing a direction changes focus, pressing the opposite direction takes you back to where you came from.

An extension of the last -> regardless of the set of API calls used to make the user interface, the same is true.

When finding text ABC in a larger string and getting back `Match(x, start, end)`, if I take the string and chop out string[start:end] then I get back exactly ABC. This failed because of a dotted I that when lowercased during a normalisation step resulted in two characters - so all the positions were shifted. Hypothesis found this and was able to give me a test like "find x in 'İx' -> fail".

No input to the API should result in a 500 error. N, where N>0, PUT requests result in one item created.

Clicking around the application should not result in a 404 page or error page.

Overall I think there's lots of wider things you can check, because we should have UIs and tools that give simple rules and guarantees to users.
by cjrp | 2025-11-05 09:53:54+00:00
The AVHerald is usually the best source for these things, rather than MSM: https://avherald.com/h?article=52f5748f&opt=0

> Ground observers reported the aircraft had been delayed for about two hours for work on the left hand engine (engine #1), the engine #1 separated during the takeoff run, the center engine emitted streaks of flames, the aircraft impacted a UPS warehouse and ploughed through other facilities before coming to rest in a large plume of fire and smoke.
by sylware | 2025-11-05 09:54:03+00:00
I wonder why. Marketing? ISO tax mandatory to access some specific markets? That said, they should be careful on what they will pay in order to get an ISO stamp. And what parts of RISC-V will be covered... because RVA may probably get significant changes (after a while it may drop some hardware requirements which are kind of only here to help port from legacy ISA to RISC-V). Not to mention, it seems there are doubts about the core memory reservation over ZACAS and only designers of large and performant RISC-V implementations could answer that, and maybe this is a fluke.

It weirdly feels too early.

ISO is often the source of feature creep in programming languages or massive bloat (mechanically favoring some vendors) in file formats. Namely, everything from ISO must be looked at in the details to see if it is 'clean'.
by lmm | 2025-11-05 09:54:09+00:00
> The order of evaluation of function arguments in C is unspecified, so every time any function whatsoever is called which has two or more arguments, there is unspecified behavior.

Yes, and that's bad! Subsequent languages like Java learned from this mistake.

> A security flaw can be caused by a bug that is built on nothing but 100% specified constructs.

Of course. But it's less common.

> The programmer believing that a particular behavior will occur, whereas a different one occurs, can cause a bug.

And unspecified behaviour is a major cause of this! Something like Hyrum's Law applies; programmers often believe that a thing will behave the way it did when they tested it.

> The unspecified behaviors of a hash table in the face of modified keys can be spelled out in some detail.

That is to say, specified :P. The more you narrow the scope of what is unspecified, the better, yes; and narrowing it to nothing at all is best.
by mslot | 2025-11-05 09:57:13+00:00
(1) We've thought about it, no current plans. We'd ideally reimplement DuckLake in Postgres directly such that we can preserve Postgres transaction boundaries, rather than reuse the Ducklake implementation that would run in a separate process. The double-edged sword is that there's a bunch of complexity around things like inlined data and passing the inlined data into DuckDB at query time, though if we can do that then you can get pretty high transaction performance.

(2) In principle, it's a bit easier for pg_duckdb to reuse the existing Ducklake implementation because DuckDB sits in every Postgres process and they can call into each other, but we feel that architecture is less appropriate in terms resource management and stability.
by basisword | 2025-11-05 09:58:31+00:00
>> highway and warehouses at the end of the runway

It's astonishing that this is a thing. Why aren't we building airports with enough space for a plane to remain on the ground and have plenty of room to decelerate in this situation? I can understand why it can't be retro fitted to existing airports but is it a scenario that's considered at new airports? Just seems like such an absolutely basic safety step.
by csomar | 2025-11-05 09:59:20+00:00
My opinion is that there will be no "AGI" any time soon. The recent model have shown two things: 1. a hard plateau where gains in one surface leads to losses in another and 2. what we have is cool and useful but extremely far from an autonomous AGI system.

This tech is not going anywhere at the time being (next 5 years). I am at the confidence where I'll bet on this. I also think unlocking the next step will require further theoretical and technical advances.
by autoexec | 2025-11-05 09:59:32+00:00
AMD just tried to get away with stopping support for cards that were still being sold new in stores. Nvidia cards are just getting worse and more expensive over time (https://www.xda-developers.com/shrinkflation-is-making-nvidi...).

Part of what made PC gaming in the late 90s/early 2000s so exciting was that the improvements were real and substantial instead of today where we're stuck with minor improvements including bullshit like inserting fake frames generated by AI, and the cards back then were usually pretty easy to get your hands on at a normal price. You might have had to occasionally beat your neighbors to a best buy, but you didn't have to compete with armies of bot scalpers.
by clan | 2025-11-05 10:00:06+00:00
Perfectly pure happiness:

"The answer to this is very simple. It was a joke. It had to be a number, an ordinary, smallish number, and I chose that one. Binary representations, base thirteen, Tibetan monks are all complete nonsense. I sat at my desk, stared into the garden and thought '42 will do' I typed it out. End of story." from the man himself[1]

...but let us not ruin a good story with the truth. Remember why earth was built. The "real" answer might then be flowing in the ether.

[1] https://en.wikipedia.org/wiki/Phrases_from_The_Hitchhiker%27...
by d1sxeyes | 2025-11-05 10:00:13+00:00
Example 1 is car insurance, not health insurance, so not really apples to apples. Being able to drive is not the same as being able to access healthcare.

Example 2 is private healthcare insurance, which does exist in the UK, but only about 10-15% of the population have it, and it's mostly about getting access to healthcare provision faster. These private providers can of course do what they like, same as in the US, with the caveat that everybody is entitled to free, comprehensive healthcare through the NHS if they don't have private healthcare insurance.

However, folks that can afford to sometimes like to skip the queue.

It's worth noting I suppose that the UK has significantly more in the way of 'sin taxes' than the US. For example, tax on cigarettes is 16.5% of the retail price plus £6.69 ($8.73) on a packet of 20, meaning on average cigarettes retail for around £15 (~$20). This compares to the US average of somewhere around $3 tax and retail of around $10 (varying based on state).

It's more complicated to calculate for alcohol, but again, the UK taxes alcohol more heavily than the US.

This additional tax revenue helps to fund the treatment of those who use those substances (although to be clear, it doesn't cover it fully).
Show HN: Clarity – A macOS app for checking color accessibility, WCAG compliance
by albemala | 2025-11-05 10:00:31+00:00
Hey everyone!

I’ve been working on a small macOS app called Clarity (Color Accessibility Check). It started because I often needed to quickly check color contrast for accessibility while designing interfaces, but most tools I found were either too limited or didn’t support the color models I actually use when fine-tuning visual consistency.

Clarity lets you pick any color from your screen and view or adjust it using several perceptually uniform color spaces (LAB, LCH, and HCT), in addition to the usual RGB and HSL. Perceptually uniform spaces are useful because equal numeric changes in color values correspond more closely to how we actually see differences in color. That makes it much easier to tweak hues or lightness without unpredictable shifts, especially when you’re working toward accessible contrast ratios.

Once you pick two colors, the app shows their WCAG contrast ratio and compliance level (AA or AAA) clearly. It can also suggest alternative color pairs that meet accessibility guidelines while staying as close as possible to your original colors.

There’s a palette library to save and organize color pairs, plus import/export options for text, files, and even images, something I couldn’t find in other color accessibility tools.

Accessibility compliance is becoming increasingly important, not just ethically but legally. Both the European Accessibility Act (EAA) and the Americans with Disabilities Act (ADA) make accessible digital design a requirement for many organizations. I wanted to build something that makes it easy to stay within those guidelines without slowing down the creative process.

I’d love feedback, especially from designers or developers who work with color accessibility regularly. Are there features you think would make this kind of tool more useful?

Thanks for reading!
by scrubs | 2025-11-05 10:00:34+00:00
Fancy seeing this here. I was just writing a paper on formal tools, and made a passing reference to Maude. It's definitely one of the lesser known tools in this area, and confers distinction for an unique approach (rewrite).

There is (certainly there was) a book on same. Indeed, see [1] op's link section 1.6 for that reference.

Now, correct me if am wrong: Maude more than TLA, SPIN, Lean, COQ and the rest of the usual tools has remained far more ensconced entirely in academia. If there's commercial/industrial interest I am all ears.

[1] https://maude.lcc.uma.es/maude-manual/
by adim86 | 2025-11-05 10:00:34+00:00
This is so nostalgic for me. In 1999, I watched a couple of movies, and I decided I wanted to be a hacker. I watched the movie Hackers, Swordfish and let's not forget The Matrix. These were all influntial to me, I went down a rabbit hole and found the Hacker Manifesto, which I resonated with. I slurped up all the information I could find (There wasn't much), and then came a realization that changed everything for me. Hacking was as hard as writing software to me, one was creating and inventing things and the other was tearing down what others had made...not to mention it was also illegal (White hat was not really big at the time). I was like, if I was gonna do one, I'd rather develop software and make things that made people's day and got praised for than ruin people's day and possibly go to jail. Hence my origin story as a software developer :)
by lossyalgo | 2025-11-05 10:00:43+00:00
LLMs were not designed to count letters[0] since they work with tokens, so whatever trick they are now doing behind the scenes to handle this case, can probably only handle this particular case. I wonder if it's now included in the system prompt. I asked ChatGPT and it said it's now using len(str) and some other python scripts to do the counting, but who knows what's actually happening behind the scenes.

[0] https://arxiv.org/pdf/2502.16705
by elihu | 2025-11-05 10:00:44+00:00
Small wimpy ones are widely available. I'd love to have an electric chainsaw that runs on 220v and has a respectably long bar, but those don't seem to be available in the US as far as I can tell.

At 30 amps and 220 volts, that would be about 8 horsepower. I think most motors that size rated for that much continuous power would be rather heavy.
by sundache | 2025-11-05 10:01:40+00:00
> If running on your own data center, or renting physical/virtual machines from ie Hetzner, you will pay for that capability overhead for 30.5 days per month, when in reality you only need it for 2-3 days.

I keep seeing this take on here and it just shows most people don't actually know what you can do off the cloud. Hertzner allows you to rent servers by the hour, so you can just do that and only pay for the 2-3 days you need them.
by jon-wood | 2025-11-05 10:02:35+00:00
These things aren't for use in an office setting where you're fiddling with a web browser, Excel, or writing software. They're for situations where colour calibration matters, so either designing for print, or working on video.

Particularly for the people doing video an 8k display is great - that means you can have full resolution 4k video on screen with space around it for a user interface, or you can have a display with the 8k source material on it if the film was shot at that resolution.
by JuniperMesos | 2025-11-05 10:03:31+00:00
There is definitely some naivety about this manifesto - mostly about what computers would end up looking like in practice once the hardware and software industries figured out how to build them so they could be marketed to the petty authoritarians who administer schools, as well as the smart rebellious kids, and every other sort of person including ones who were never at +++The Mentor+++'s high school. It's net-good if the average normie has access to the incredibly powerful computers and networked systems of the present day, but that will necessarily dilute the number of people interested in deeply exploring computer systems as a percentage of total internet users, which indeed is what actually happened. Not to mention all of the other complicated social consequences of the widespread adoption of networked computers that occurred in the decades after this essay - I suspect the author would like some and dislike others, depending on their other values in life.

Nonetheless, I can't help but admire the rebellious spirit in this article. A lot of human social systems really are conformist and oppressive - high school absolutely included - and I have some respect for people who chafe against it.

I guess it would be good to ask, what specifically was +++The Mentor+++ arrested for, and is that law good or bad?
by bayindirh | 2025-11-05 10:04:01+00:00
> However on high dpi screens they are better than anything else.

As a Mac user, I find this arguable. Many of the color correction comes from the fact that Macs contain ICC profiles for tons of monitors. OTOH, if the monitor is already has accurate color rendering out of the box (e.g.: Dell UltraSharp, HP EliteDisplay), Linux (esp. KDE) has very high display quality on HiDPI monitors, too.
by wvh | 2025-11-05 10:04:25+00:00
Lots of medical and governmental organisations are not allowed to run in public cloud environments. It's part of my job to help them get set up. However, in reality that often boils down to devs wining about adding a registry to Harbor to cache; nobody is going to recompile base images and read through millions of lines of third party code.

A lot of security is posturing and posing to legally cover your ass by following an almost arbitrary set of regulations. In practice, most end up running the same code as the rest of us anyway. People need to get stuff done.
by nobody9999 | 2025-11-05 10:05:00+00:00
>(do you know what NYC was like in the 90's? It's not some distant history)

I do. And today is light years better than it was in the 90s. In fact, there were crack dealers on my corner in the 90s. They're not there any more. Or on 95th street and Amsterdam.

And there aren't any hookers on 90th street and Broadway or 58th and Sixth like there were in the 80s.

And I didn't know Verdi Park was called "Verdi Park" back then either. I just thought they called it "needle park" because it was kind of shaped like a needle. Silly me.

Or the side streets between 38th and 42nd streets from 10th Avenue to the West Side Highway literally covered in hundreds/thousands of used condoms every morning

And the 80s were much, much worse than the 90s. And don't even get me started on the 1970s, when there were street gangs every few blocks.

Oh, and back then (not much change AFAICT), the cops were just the biggest and best-armed gang.

Oh, I'm sorry haven't you lived in NYC for nearly 60 years too?

Soft on crime because Mamdani wants to send non-cops to help people having mental episodes? Soft on crime because he wants to enforce the law and close Rikers?

Free buses? Really? that's not exactly going to break the bank. And even so, the MTA needs to approve that -- and the MTA is controlled by the Governor, not the Mayor.

Five grocery stores in areas which aren't served by private ones? How exactly is that going to threaten[0] (perhaps USD$10 million to acquire space and set them all up, then presumably it can cover its costs from, you know, selling groceries -- or even USD$2.5 million in subsidies) the economic viability of NYC which has a budget of USD$116 Billion[1]?

Crime is down at levels not seen since the early 1960s (before I was born -- that's relevant because I've lived in, with the exception of a year here, six months, three months elsewhere, etc. in NYC my whole life) and crime is at its lowest in all that time. Free buses are a few tens of millions and a few grocery stores are chump change[2] in NYC.

>If you don't think any of those policies are contentious, you are living in a bubble and greatly disconnected from huge portions of the population.

I take issue with that characterization. How long have you lived in NYC?

[0] https://pos.toasttab.com/blog/on-the-line/cost-to-open-a-sup...

[1] https://www.nydailynews.com/2025/06/30/nyc-council-passes-11...

[2] https://www.merriam-webster.com/dictionary/chump%20change

Edit: Fixed prose/punctuation.
by themafia | 2025-11-05 10:05:28+00:00
> You’ve been scammed, likely not out of your own money, but your employer’s money – and that’s why you don’t give a crap.

No, I've ran the numbers, and in doing so, realized that EC2 is the wrong solution for most problems. If you use the correct solution the price is highly competitive with your servers. One of the reasons being, I do not need to maintain servers.. I did that for 25 years and I absolutely hate it. The amount of time I save, which my company pays for, is ridiculous. I get a powerful security model, a unified API for managing everything, and expertly managed runtimes.

You're acting as if people only making $4k/mo in salary are making these decisions. You've got startup brain. Come back down to earth and reassess your position.

> you’re looking to save for the long run. Well, turns out buying your own servers is even cheaper in a long enough time frame

Yet another process I don't have to waste time on. "Capital purchasing" is extremely annoying (by design) in every single organization I've ever worked for or consulted with.

Like most "cloud cost analysis" this is extremely shallow and is apparently based upon the supposed "virality" of a single tweet.
by thaumasiotes | 2025-11-05 10:05:51+00:00
> Surely there's a difference between collecting a thumbprint for a driver's license or even collecting full fingerprints for a specific job type, and collecting your DNA and an iris scan just for being a citizen?

Not really; every citizen is expected to have a driver's license, and this takes place before anyone has really thought about the issue even if they're likely to object later. It's sort of like the difference between baptizing infants and baptizing adults.

You're right that there's more information in the DNA, but what difference do you see in the iris scan?
by torginus | 2025-11-05 10:06:20+00:00
This is a bit of an aside, but why isn't medical tourism more popular in the US? If you could set aside a couple tens of thousands of dollars, as a rainy day fund, you could get close to the very best possible care for even serious conditions from countries that have highly developed medical tourism sectors.

Granted, I acknowledge, that the US will likely still provide better care at the absolute high end, and asking most people to save that much can be quite a tall order, but from what I gather, a lot of people either bankrupt themselves, and end up paying much more than that and/or receive substandard care for conditions where treatment regime is established like treatable forms of cancer or congestive heart failure.

I remember Trump blasting Obama about Medicare, and proposing to 'open up' the system, introducing competition to drive prices down instead (which is the real problem of the US system, socially subsidizing it is just a bandaid fix imo). I guess not much has come off that.
by kkapelon | 2025-11-05 10:06:43+00:00
> He took a step towards more hands on management. And he saved a ton of money.

Then the article should be titled as

"Send this article to your friend who still thinks that AWS is a good idea"

or

"Save costs by taking a step towards more hands on management"

or

"How I saved money moving from AWS to Hetzner"