MurphyA/hacker-news huggingface dataset:
by wat10000 | 2025-06-29 15:02:00+00:00
> ZFC doesn't prevent us from defining a non-standard model where Bar halts after a non-standard number of steps.

But it does prevent you from defining a non-standard model where Bar halts after a finite number of steps. Since BB is finite by definition, the non-standard number of steps after which Bar halts cannot be BB(748).

I’m pretty sure you and the other commenter have this mixed up. The fact that BB(748) is independent of ZFC doesn’t mean there are different models that have different values of BB(748). It means that ZFC is insufficient to determine the value of BB(748). That value is still some finite integer, you just can’t prove which one it is. Equivalently, there is some 748-state Turing machine which never halts but ZFC cannot prove never halts.

And no, you can’t change your model such that this Turing machine halts in some non-standard number of steps. Or rather, you can, but that doesn’t actually change anything. The machine still doesn’t halt for the purposes of defining BB(748).
by simonh | 2025-06-29 15:02:20+00:00
I think Jobs recognised that ads are intrusions into people’s lives. The advertiser has a responsibility to respect the audience. They don’t have a natural right to that attention, and have to earn it.

Thats why the F1 wallet add is such a bad move. It’s disrespectful and intrusive.

iAD was supposed to be about innovative, informative, well designed high quality adverts. It never really worked out though.
by kotaKat | 2025-06-29 15:02:46+00:00
Bonus points for a non-unique UEFI UUID that is already enrolled in some random company's Microsoft Intune / Windows Autopilot instance so when you fire it up off a fresh Windows install it begs you to sign into $RANDOM_COMPANY_WITH_BAD_IT_CONTROLS.

Triple-points if the vendor includes a sticker telling you to complete Windows OOBE without connecting it to the Internet to avoid this.
by daveguy | 2025-06-29 15:02:47+00:00
Did you read those? These are the "illegal" moves listed:

5. Mouse slip

4. Forgot to call check

3. Accidentally touched 2 pieces, tried to fix it

2. Forgot to hit the clock button

1. Castle through attacked square

So, the only one of these that was an acual "illegal move" of the sort LLMs make was the castle through attacked square.

LLMs sometimes just move pieces wherever. And that does not happen when humans who know the rules play. Yes, they may mess up en passant or promotion too. But a basic "how a single piece moves" rule is what LLMs f up.
by OutOfHere | 2025-06-29 15:02:51+00:00
It is harmful because innocent users routinely get caught in your dragnet. And why even have a public website if the goal is not to serve it?

What is the actual problem with serving users? You mentioned incredible load. I would stop using inefficient PHP or JavaScript or Ruby for web servers. I would use Go or Rust or a comparable efficient server with native concurrency. Survival always requires adaptation.

How do you know that the alleged proxies belong to the same scrapers? I would look carefully at the values contained in the IP chain as determined by XFF to know which subnets to rate-limit as per their membership in the XFF.

Another way is to require authentication for expensive endpoints.
by gpm | 2025-06-29 15:02:52+00:00
Is there reason to believe that there's not a similarly sized turing machine that halts iff Con(ZFC + Con(ZFC)) (which is independent of ZFC+Con(ZFC) by godel's)?

Certainly there's some sized machine that does that... it seems to me that all you're doing is playing games with adding axioms to maybe change the exact value of "748"... and I don't even see that you've established that you've successfully changed it.
by neilalexander | 2025-06-29 15:05:25+00:00
Logically? Because the world’s needs are changing and one day there will be something you want or need that will be accessible via IPv6, at which point you can either move with the times or be left behind.

IPv6 global adoption is on the rise whether you see the point in it or not. The religious arguments and nitpicking no longer matter.
by qwerpy | 2025-06-29 15:05:45+00:00
They learned from this but still couldn’t help themselves. There’s massive full screen ads in Apple Music to “preload the F1 the movie album”. At least it’s a choice to load it or not this time, but it’s still extremely disappointing that people paying for Apple Music get shown these ads. I had recently canceled my Spotify subscription because of sponsored content in their app.
by msgodel | 2025-06-29 15:06:51+00:00
Most ISPs still just block IPv6 altogether because most small businesses seem to try IPv6 once and then forget to eg update their AAAA records so to the user it looks like their favorite niche thing works when they're on <low quality ISP at friend's house/coffee shop> but not on the one they're paying for which creates problems.

It's kind of a weird issue, I don't know if there are nice solutions other than hoping IPv4 just goes away eventually. Happy eyeballs was supposed to solve this but often the problems manifest way up in the application layer and there's no general protocol for solving that without some kind of very leaky abstraction because the application can do anything.

The compromise I personally have to make things smooth is enabling ipv6 in the network and then disabling ipv6 DNS on all of my browsers which is pretty unsatisfying.
by jeroenhd | 2025-06-29 15:07:32+00:00
You'd lose things like hardware acceleration.

That said, plenty of malware will stop downloading additional modules or even erase itself when it detects things that could indicate it's being analysed, like VirtualBox drivers, VMWare hardware IDs, and in the case of some Russian malware relying on the "as long as we don't hack Russians the government won't care" tactic, a Russian keyboard layout.

It won't stop less sophisticated malware, but running stuff inside of a VM can definitely have viruses kill themselves out of fear of being analysed.
by mandmandam | 2025-06-29 15:07:32+00:00
CBD has an antipsychotic effect. There's not really any debate on that in the scientific community, and I've already provided a link. That's not part of some sinister agenda to legalize cannabis, it's just stating facts to clear up the misinformation which at this point you are willfully repeating.

> The real villains, here, are the people that have secondary agendas (like legalizing drugs, or pushing political agendas), and look at people like us, with very real pain, as nothing but pawns, to be used to push their agenda

Your assumption that I don't also have personal experience, and a stake, and real pain with this issue is based on what exactly? Did I miss the part where you asked me about my own experience, or does your personal experience trump my own for some reason?

I do, in fact, have all three. That has no bearing whatsoever on the basic fact that CBD has confirmed anti-psychotic potential with particular regard to schizophrenia, as was already linked above.

Finally, there's no secret agenda here - cannabis should be legalized. It's just basic common sense and decency, for all the reasons I've already stated and more. Prohibition doesn't work and we have decades of data proving that beyond any doubt.

Have rates of psychosis shot up in states where cannabis was legalized? No, according to a massive analysis of 63,680,589 beneficiaries followed for 2,015,189,706 person-months [0]. So please, stop with the reefer madness. I'm sorry about your family member but if you want to help people you could really try looking at the data.
Ask HN: Where do you deploy internal Streamlit apps for your team?
by shibatanaoto | 2025-06-29 15:08:01+00:00
Hi HN,

I’m researching how engineering and data teams share small Streamlit dashboards or tools with non-technical colleagues.

If your company deploys Streamlit apps internally, I’d love to hear:

- Hosting setup (GCP CloudRun, Streamlit Community Cloud, Streamlit in Snowflake, etc.)

- Team size & monthly users

- Auth / network model (VPN, SSO, basic auth, none)

- Biggest pain points (cost, scaling, compliance, DX, ...)

- If you had to start over today, what would you do differently?

Full disclosure: I’m working on a new platform in this space, but I’m here to learn—no links, no pitch.

Thanks for sharing your experience!
by consumer451 | 2025-06-29 15:08:26+00:00
I am not sure what exactly gp was referring to, but the authoritarians are currently winning by simply, and peacefully, "flooding the zone." Well, they also own the majority of the media. However, they are not yet all powerful.

We need a grassroots pro-EU, pro-democracy, NAFO-type movement. For now, we need to just fight with posts, comments, and podcasts, across all social media. As sad and boring as it might be, that's exactly how elections are won and lost these days.
by Loughla | 2025-06-29 15:08:27+00:00
Sim ant also made me get an ant farm. That's hilarious.

I went out and dug up a big black and nest to find the queen and put her and some workers in my farm. Apparently that caused some kind of peasant revolt, because they killed her the first day. 0/10 experience for young me.

Luckily Sim Copter didn't have the same effect on me.
by kstrauser | 2025-06-29 15:09:38+00:00
We have no such saying in the industry. IPv6 is generally easier to implement and maintain. If IPv6 were the incumbent and someone came in proposing IPv4, they’d be laughed out of the room for its ridiculousness. “You have to run a stateful server just to assign addresses? Dynamic header length? A tiny address space? And tell me again about this NAT thing, LOL.”

V6 was designed by the engineers who realized what they got wrong in V4.
by dustbunny | 2025-06-29 15:10:23+00:00
I think the person who came up with this shouldn't be fired, the person who _approved_ it should be reprimanded.

There's some intersection point between who "owns" the wallet and who is coming up with ways to generate marketing revenue.

Whoever lives at that intersection point is the real shot caller here aren't they?

Imo you don't fire people for generating bad ideas, that just creates a culture of not thinking outside the box. But the person who is filtering those ideas is the critical lynch pin.
by osigurdson | 2025-06-29 15:10:33+00:00
>> It's about who gets to become a musician, because practicing the skill takes a lot of resources, and it seems the middle class can no longer afford that.

Most of the middle class has lots of time to practice (just do that instead of watching TikTok). Practice can help you become a better musician, but cannot make you great - innate talent is needed for that. Being great is also no guarantee of success - luck and / or other forms of skill are needed (marketing capability, etc).

This is also only on the performance side of things. The real limiting factor in music for the most part is writing songs that people want to hear. If you can do that you will be successful almost immediately because supply and demand is so out of balance here and distribution is trivial.
by tsimionescu | 2025-06-29 15:11:02+00:00
Dubbing in general is a horrid practice. People's voices and speech mannerisms are a big part of their personality and presence. Hiding it behind someone else's voice (or an auto-generated translation) just erases a huge part of who the other person is, for no good reason in a world where virtually everyone can read subtitles.

Imagine listening to "I'm gonna make him an offer he can't refuse", but instead of Marlon Brandon's iconic performance, you get someone speaking another language, or an AI generated voice: you'd lose half the point of the scene.
by paulryanrogers | 2025-06-29 15:11:55+00:00
It is amazing how gambling has so thoroughly infiltrated the US. When my older brother was young the cartoons could not have (or consist of) toy commercials, and often included at least a token moral lesson. Now my kids see games and YouTube channels that are filled with thinly veiled gambling tricks. MrBeast has shamelessly built an empire on it. (His charity washing not withstanding.)
by peab | 2025-06-29 15:13:06+00:00
The music industry is a multi-billion dollar market and growing, so it's not really fair to say that the world doesn't value it.

The problem is that it's a bit of a winner takes all market. It's comparable to professional sports.

Everyone loves soccer, but 99.9% of people won't get paid to play it. That doesn't mean it isn't valued - some of the highest paid people in the world are soccer players!
by FirmwareBurner | 2025-06-29 15:13:07+00:00
>remilitarizing EU

A remilitarizing EU is no threat to the US due it's ageing demographics and declining birthrates, and lack of tech like the B2 bomber which is 35+ years old at this point. Hence why the EU doesn't get invited to peace negotiations of conflicts. EU can't even beat Russia next door, how would they challenge the US?
by colonial | 2025-06-29 15:13:09+00:00
> Modern GPUs have a rated lifespan in the 3-7 year range, depending on usage.

I seriously doubt this is true. The venerable GTX 1060 came out 9 years ago, and still sees fairly widespread use based on the Steam hardware survey. According to you, many (most?) of those cards should have given out years ago.
by DidYaWipe | 2025-06-29 15:13:39+00:00
It has become increasingly clear that Apple needs a management housecleaning. Their purposeful antagonism of entire geopolitical blocs with anti-developer douchebaggery alone should have resulted in heads rolling.

But Jony Ive was part of the problem. His "taste level" resulted in the embarrassing emoji bar forced on "pro" users, a grossly defective keyboard that crippled Apple computers for five years, a computer with no available ports on it, regressive UI that made products less useful with every revision, battery life so poor that people were crouching in the corners of cafes next to outlets before lunch, the removal of headphone jacks from the best-selling music players... Ive is pompous hack with no ideas for the advancement of products.

Meanwhile, lazy and ignorant pundits have incorrectly lumped Apple into "big tech" with Google, Amazon, and Meta because they can't be bothered to inform themselves (or even think) about the fact that those companies are all gatekeepers to huge swaths of the Internet; Apple is not. And their continual whining about Apple being "behind on AI" further testifies to their laziness and lack of critical thinking.

Nonetheless, Apple has forfeited the high road. They're now another asshole in the club, inviting scrutiny and crackdowns that threaten the value of the company. What are the owners going to do about it?
by CamperBob2 | 2025-06-29 15:14:18+00:00
He remarked “oh that always plays, I don’t know why” as I reached for the volume.

I use Spotify in the car, and have for years. A couple of weeks ago I made the mistake of saying, "Hey, Siri, play liked songs."

"OK, playing Apple Music."

Oh, well, yet another spark of genius from the tire fire that is Siri. Whatever. I switched back to Spotify manually and went on with my day.

Since then, every time I get in the car it starts playing tracks on Apple Music. No matter how many times I relaunch Spotify, even after force-closing the Apple Music app on the phone itself, Apple Music keeps coming back.

If there is a way to get it to properly resume the playback state at shutdown time, I'm not smart enough to find it. 100% pure unadulterated enshittification... courtesy of Apple, the company with "taste."
by ccheshirecat | 2025-06-29 15:14:33+00:00
That's an excellent point, and you were 100% right. It was a major gap in our initial MVP. Your feedback (and similar comments) pushed us to prioritize this immediately. I'm happy to say we've already shipped full user-data and vendor-data support for cloud-init. You can now pass it in directly via the web UI during VM creation, or via our CLI/API. We wanted to make sure it was properly implemented before announcing it widely, but you called it out perfectly. Thanks for the push, this kind of feedback is exactly what we need to make the platform genuinely useful.
by lizknope | 2025-06-29 15:14:51+00:00
I've got 3 Macbooks from 2008, 2012, and 2013. Apple dropped MacOS support years ago. They all run the latest Fedora Linux version with no problems.

The screen on the MacBookPro10,2 is 2560x1600 which is still higher than a lot of brand new laptops. The latest version it will run is 10.15 from 2019. I know Apple switched to ARM but most people don't need a new faster computer. I stopped buying Apple computers because I want my computer supported more than 6 years.

I do have 3 newer computers but these old Macbooks are kept at various relative's houses for when I visit and wnat my own Linux machine. They have no problems running a web browser and watching videos so why replace them?
by TheNewsIsHere | 2025-06-29 15:14:56+00:00
Brave exists in exactly the niche of those that desire to hear these kind of high-minded ideas, or participate in experimental attempts at such things, while not really understanding the topics involved.

That isn’t an indictment of Brave’s entire user base. I tried it, and tried to like it, several times. Always kept going back to Firefox.

Which Mozilla makes increasingly hard to do from a philosophical perspective, but that’s another story.
by bombcar | 2025-06-29 15:15:38+00:00
The real performance gains were just about the -i386 to pentium jump; a bunch of distros only shipped the most compatible code and didn’t use the newer instructions.

I always found that optimizing for size and using the exact march/mcpu worked nicely.

But the biggest part I liked was being able to turn off features I didn’t need (like mpg123 in a headless server NOT pulling in X).
by djtango | 2025-06-29 15:16:13+00:00
I do that a lot in English because English is so deep and there's a perfect word for everything. Recently I was ruminating on just how many ways there are to say "walk slowly" in English: saunter, meander, stroll, amble, shuffle and I think there were others.

Meanwhile in Chinese earlier I forgot how to say "shallow" so settled for "not deep"
by TheOtherHobbes | 2025-06-29 15:16:14+00:00
This is nonsense. The music business relies on a core of largely unknown session players and arrangers. The successful ones earn a comfortable living. The top players are easily millionaires, because there aren't many people who can learn and perform parts by ear with the right vibe for a headliner stadium or Broadway show in under a week. (Or a weekend, in some cases.)

There are people you've never heard of earning six or seven figures a year from music for ads.

And so on.

The catch is these people are very, very good at what they do. They're not bedroom wannabes.

As for pop - that has always had a complex relationship with management and funding. Everyone assumes you join a band and get famous. But many bands/artists were treated more like investment vehicles or startups, with record companies and sometimes private individuals providing seed funding for careers.

It's a much riskier career than software, where you can be pretty mediocre and make a good living.

But impossible and nonexistent are both spectacularly wrong and absolutely detached from how the industry works.
by diskzero | 2025-06-29 15:16:16+00:00
Apple employee pre, during and post Steve. I was in a lot of meetings with VPs whose tasteless suggestions were shut down immediately with the usual Steve critiques attached.

My recollection is that Eddy Cue got the most critiques, Phil Schiller the least and the rest were in between. Eddy would push back and still get shut down.

When Steve left the last time, it was knives out between these guys with Scott Forstall taking a fall as Tim Cook got ultimatums from everyone including Jony. I imagine loud voices with bad taste are pushing Tim hard. Apple can be an investor darling but Tim has needed to consider an exit and find a strong successor that knows what made Apple great in other ways.
by jeroenhd | 2025-06-29 15:16:22+00:00
Malware is signed surprisingly often these days, you can't rely on malware companies not to sign their binaries anymore. Hacked code signing certificates seem to be all over the place and Microsoft seems very reluctant to revoke trust out of fear of actually breaking their original customers' software.

Same goes for the common vulnerable drivers that malware likes to load so they can get into the kernel. A weird tiny binary making WMI calls may stand out, but a five year old overclocking utility full of vulnerabilities doing the same queries wouldn't.

From the research I've read, this doesn't seem to be about avoiding detection as much as it's about not detonating the real payload on a malware analyst's machine. If the AV flags the binary or the detection trips, the second stage isn't downloaded and the malware that does stuff that makes the news doesn't execute (yet).
by ForceBru | 2025-06-29 15:16:25+00:00
We (the general "layman" population) don't even known what "consciousness" is, I think. Yet we routinely kill thousands (millions?) of fish, millions of chickens, pigs etc. Not to mention bugs. We make ZERO effort to see if they have consciousness, yet we "turn them off" on a daily basis. So of course we can turn that "conscious computer" off, no problem! Simply declare that it's NOT conscious enough and "doesn't feel pain" and shut it down.
by ccheshirecat | 2025-06-29 15:17:33+00:00
Thanks, I appreciate the kind words and the great questions. Blogging about the ASN/Network Journey: Absolutely. The process of getting an ASN, IP space, and setting up peering at IXs as a solo bootstrapped entity was a wild ride. for sure I've thought a lot about blogging, if not for sharing the journey then because the insights I've gained along the way has ingrained in myself some lessons or well some would call it opinions, that I feel a need to share. So yes I am plannng to do it but it's not especially my nature. Network Security (RPKI, etc.): Yes, security is critical. We've already implemented RPKI for our announced prefixes to prevent route hijacking. We're also using BGP Flowspec with our upstreams for DDoS mitigation and are continuously monitoring our network for any anomalies. It's a constant process, but the foundation is there. "Cartels" Wording: Fair callout on the word choice. You're right, it's a bit of a clunker. I hit the character limit and was trying to be punchy. The intent was to capture the feeling of being locked into a few dominant players with opaque pricing and oversubscribed resources, but I can see how it lands poorly. Point taken, will be more careful with the copy. Thanks for the feedback.
by overu589 | 2025-06-29 15:18:42+00:00
> It only takes a single person to show something exists and world to add substance to a claim

You cannot be serious. Proofs take thousands of man hours and decades of railing against well entrenched beliefs such as yours (that you would see it and accept it readily if true.)

This is one of those things that cannot be proven to more than one person at a time through anything other than a personal revelation. Everyone everywhere will respond exactly as you now do regardless of “poof” or the severity and consequence of prolonged incredulity. This is one of those situations where you must undeceive yourself. Observe humanity and your own life. All except those who actively deceive themselves will admit science is as close to understanding our minds as horoscopes.

I do not criticize your doubts, I criticize that you think truth and reality are so easily accepted by the mind who “refuses to believe.”
by geoctl | 2025-06-29 15:18:48+00:00
I am sorry that you find whatever I say as nothing but "jargon". I assume that those interested in Octelium are already interested in zero trust architectures as defined by NIST, simply products such as Cloudlfare Access, Teleport, StrongDM, Google BeyondCorp, Zscaler ZTNA, etc... I will do my best to simplify the README soon.