MurphyA/hacker-news huggingface dataset:
by dwohnitmok | 2025-06-16 21:46:21+00:00
I'm not familiar with the uniform reflection principle. What does the actual first-order statement look like? Because the simplest version I can think of how to formalize this in PA, namely that PA proves "Provable(X) -> True(X)" (because you need an encoding if you're working in PA, "Provable(X) -> X" is simply not something you can write in the language of PA), is not possible to write in PA (so would be a category error) because of Tarski's undefinability of truth result.

> so your argument is implicitly assuming that from the outset, right?

No. My argument implicitly has a fork at the beginning.

If PA is consistent, run the usual standard natural number argument I made.

If PA is not consistent, then PA can prove everything.

Hence the statement "If PA proves 'PA proves X' then PA can prove X." goes through either way. It does not depend on the consistency of PA.
by hashstring | 2025-06-16 21:47:01+00:00
I agree that a prison should not be a business (aka a different model than the US-model). I also think that many prisoners are currently treated unfairly.

However, ideally, I don’t think that it makes sense for someone to go to prison, which costs tax money, and meanwhile earn the same amount of money by remote working from prison as someone in the outside world, who actually has living expenses to pay for (which get taxed also).

So, I think, when it comes to fairness, it wouldn’t be unreasonable if a partial cut goes to the TCOO of holding that prisoner.

Now again, American prisons have their whole incentive model messed up, so I don’t even want to get in an argument about America’s implementation of this system and how it would lead to more problems— because it’s well-known and more than expected.
Ask HN: How would you convert 80% of the Linux kernel to rust?
by leoh | 2025-06-16 21:47:12+00:00
What do folks think? One area I’m thinking about most is how one could (a) make it easy for anyone to contribute [I’m thinking about dedicated webpages for major blocks of functionality with CI baked in (2) best ensure near-identical behavior for everything, syscalls, etc.
by yummypaint | 2025-06-16 21:47:28+00:00
Have you personally reviewed a non-zero number of papers? What is this statement based on? For a thread ostensibly about science, the comments are disappointingly lacking in evidence and heavy on vibes.

Maybe people could learn about what peer review is before posting their strong feelings about it? The purpose certainly isn't to replicate people's experiments, that happens after publication and not by referees. One of a reviewer's duties is to look at whether the study could be replicated given the included information. That is a very different thing.

Also, just because something has made it past peer review also doesn't mean it isn't controversial in the field.
by kelnos | 2025-06-16 21:48:31+00:00
Meaningful, perhaps, but not at all precise enough to be understood by everyone who might read your code in the future. Many people will understand the difference between "hack" (or even "clever hack") and "stupid hack" in a variety of different ways, many of them not in the way you intended.

When I was in my 20s I would write comments like that, but now what I'm in my 40s I see them as entirely useless, aside from a way for the author to blow off steam. Code that others have to read is not the place for that.
by ignoramous | 2025-06-16 21:48:59+00:00
> ... Whatsapp became a paid app ... it was either €0.79 or €0.99, I’m not sure if one off or yearly payment, but it doesn’t matter ...

Interestingly, WhatsApp put up paid plans to slow down user acquisition [0].

On Androids, in some countries, WhatsApp continued to work even if you didn't pay the $1/year fee.

[0] https://youtu.be/8-pJa11YvCs?t=952
by oh_fiddlesticks | 2025-06-16 21:49:07+00:00
To be honest, if he didn't pay a cut of his earnings while living off government allocated funds, wouldn't that put him in a better position than those who haven't been found guilty and sentenced for breaking the laws of the land in which they reside? I can't see a much resistance to the argument that they one really ought to pay the full cost back to the state, as with community service... no?
by Guest9081239812 | 2025-06-16 21:50:57+00:00
It only generates about 15k a year in ad revenue. It's fairly low revenue because:

1. Users are spread around the world. This isn't a site with 70% US visitors.

2. The majority of users run ad block, and this continues to rise.

3. Ad rates plummet each year. I earn about 5x less on the site now, than in the past, with the same number of active users, and 3x as many advertisements.

I've tried all the major advertising networks. I setup header bidding and signed direct deals with large networks, such as AppNexus, Amazon, Yahoo, AOL, etc. At the end of the day, ads do not pay well for my audience.

Users can pay $3/mo to remove advertising. Yes, I'm aware that's $36/yr, when the average registered user is generating less than $0.50/yr in ad revenue. About 30% of paying users choose to pay higher than $3/mo for no additional benefit (they can pay any amount they wish). I also have some individuals that have paid thousands of dollars.

What would happen if I offered a $1/yr plan for an ad free experience, so it's more inline with ad revenues? I honestly don't know, but I would guess I would lose a few of the $3/mo paying users, and gain less than 100 users paying $1/yr, so it would likely be net negative.
by RajT88 | 2025-06-16 21:51:52+00:00
Well, I don't hack wifi networks as part of my day job.

I'm an older dude, and no longer find talking to strangers all that fun.

I like nature and the outdoors, but that can be admired only from a great distance until you make port. Going fishing off a moving cruise ship will end your vacation rather quickly (aside from not being feasible - you're going too fast for anything which is catchable on light tackle).

I love the swimming pools and such, but my wife can't swim.

There's all kinds of gambling and stuff, but I don't gamble.

I spent much of the cruise wishing for better internet... Or that I'd brought more books.

We spent a good amount of time playing FF7 in the evenings on our hotel TV wired up to a PSP.
by ceejayoz | 2025-06-16 21:52:48+00:00
Those 12 terminals still need to talk to satellites. Only a certain number will be in reach, and if the ship is significantly out to sea, those satellites will need to pass data along to others to reach the ground.

We know a densely populated land area can saturate the satellites overhead; it's part of the reason we don't use Starlink in, say, NYC. The same math applies to a thousand cruise ship passengers trying to use it at the same time.

(It will absolutely be much better than the previous state-of-the-art, though.)
by TeMPOraL | 2025-06-16 21:53:04+00:00
> It's simultaneously the obvious next step

As it has been over three years ago, when that was originally published.

I'm continuously surprised both by how fast the models themselves evolve, and how slow their use patterns are. We're still barely playing with the patterns that were obvious and thoroughly discussed back before GPT-4 was a thing.

Right now, the whole industry is obsessed with "agents", aka. giving LLMs function calls and limited control over the loop they're running under. How many years before the industry will get to the point of giving LLMs proper control over the top-level loop and managing the context, plus an ability to "shell out" to "subagents" as a matter of course?
by czhu12 | 2025-06-16 21:53:27+00:00
Yeah so at the moment it kind of supports two options: 1. A single Hetzner VPS 2. An existing Kubernetes cluster.

I usually use #1 for staging / development apps, and then #2 for production apps. For #2, I manage the number of nodes on the Digital Ocean side, and kubernetes just magically reschedules my workload accordingly (also can turn on auto scaling).

I think the thing that you're getting at that is not supported is having Canine create a multi-node cluster directly within Hetzner.

There is a terraform to create a Kubernetes cluster from hetzner, but this isn't currently installed on Canine.

I'm not closed to trying it out, there were a few UI improvements I wanted to take a shot at first, but at the moment Canine assume's you have a cluster ready to go, or can help you walk through a K3s installation to a single VPS.

https://github.com/kube-hetzner/terraform-hcloud-kube-hetzne...
by arch_deluxe | 2025-06-16 21:53:51+00:00
This seems like a good time to mention that FreeFollow.org is looking for private beta testers for our app that combines the pub/sub model and slick UX of social media (posts, comments, following) with the economic model of webhosting (pay to host a group, not to participate in them) and the E2EE design of 1Password (but using OPAQUE which is actually the protocol used by WhatsApp, rather than SRP).

Our initial use case -- why we're building this -- is parents who are currently using text groups in Apple Messages or WhatsApp to share photos/videos of their kiddos with friends/family and want something less interruptive and more casual, but for whom social media is so toxic and untrusted as to be a non-starter.
by metalman | 2025-06-16 21:53:51+00:00
my recent experience as an adept tool user/maker and repairer of all things mundane is that my emotional response is sufficient and planing or thinking about what I am doing isn't realy ressesary...unless it's something potentialy dangerous or deadly I am doing, and then I mainly stay out of gravitys way and/or any line of potential failure involving a lot of mass and torque living in a rural maritime area, many objects are personified and gendered, mostly female here,but the pennsylvania side of the family says "he's a good truck!" which is completely different from outport fisherfolk who refer to anything manufactured as a machine, "bring me that blue machine der you" refering to a plastic bucket, which was a common attitude in pre industrial societies that were rubbing up against the manufactured world, where everything in there world was personified by the person (who they know) who made it echos of this, everywhere diagnosible now....
by 3abiton | 2025-06-16 21:54:54+00:00
> Unlike traditional Transformer designs, which suffer from quadratic memory and computation overload due to the nature of the self attention mechanism, our model avoids token to token attention entirely.

I skimmed the paper, and unlike transformers they basically can scale much more efficiently with longer context. While it's possible to fit 1M token, you need a significant amount of memory. Alrhough they benchmark against GPT2, so I would say quite preliminary work so far, although promising architecture.
by eptcyka | 2025-06-16 21:55:57+00:00
Can’t say I’m a fan of Nix evangelists pointing their finger at any problem and yelling how it would be solved better by using Nix, but in this case, one could pin a nixpkgs version and all the sources for llvm, gcc and ocaml, and thus have a reproducible bootstrap. Ultimately, it wouldn’t do anything different to what was done manually here, but pinning commits will save the archaelogical burden for the next bootstrapper.
by wat10000 | 2025-06-16 21:56:20+00:00
Nah, it’s not fear, it’s indignation.

You can see it on full display in the comments here. It’s not, “we shouldn’t have to live in fear of saying the wrong thing.” It’s, “how DARE they try to dictate what I can say.”

It’s obvious when people get so upset over an idea as simple as “don’t curse in your work.” Not even “don’t curse out loud, just “don’t put it in your code.” It’s the easiest thing in the world to do. It’s not like misgendering someone who presents ambiguously. If you’re about to type “fuck” into your editor, don’t. If that’s where you make your stand, it’s not fear.
by djtango | 2025-06-16 21:56:21+00:00
Why did MMS feel so janky back in the day?

Was it a client thing or a protocol thing?

Whatsapp felt so responsive back in the day. I'd be pinging my family in real time halfway across the globe on mobile in 2009. For Free. That was a killer app...

Why did MMS fail where Whatsapp succeeded?
by kreetx | 2025-06-16 21:57:47+00:00
This person was sent back from the border, so it sounds like a technicality, as they probably didn't have the info at point of departure to not let him on the plane. He's also a foreigner and an activist, so I assume that's why the assumed visa was cancelled.

You seem to argue that regardless of what the US as a country wanted (to not let him in) should be ignored, because he made it onto US soil. Sounds like a technicality.
by crq-yml | 2025-06-16 21:57:57+00:00
For most pens, it's really all about the quality of the writing surface, and blame is incorrectly attributed to the pen when it's taken outside its design limits. Paper that is overly thin or rough with a hard backing(like most school desks) tends to be less forgiving and ballpoints become likely to clog more easily because the ball will roll without good contact - for those, dry media, marker or brush will do the best. But smooth, heavy papers backed by kraft board will be very sympathetic to all pens.
by ephou7 | 2025-06-16 21:58:14+00:00
6.15.2 has 20 occurrences, of which only 2 are actual swearwords

./fs/bcachefs/bkey_cmp.h: /* we shouldn't need asm for this, but gcc is being retarded: */ ./drivers/net/wireless/broadcom/brcm80211/brcmsmac/d11.h:/* Advance Retard */ ./drivers/net/wireless/broadcom/b43legacy/phy.h:#define B43legacy_OFDMTAB_ADVRETARD B43legacy_OFDMTAB(0x09, 0) ./drivers/net/wireless/broadcom/b43legacy/phy.c: for (i = 0; i < B43legacy_ILT_RETARD_SIZE; i++) ./drivers/net/wireless/broadcom/b43legacy/phy.c: b43legacy_ilt_retard[i]); ./drivers/net/wireless/broadcom/b43legacy/ilt.h:#define B43legacy_ILT_RETARD_SIZE 53 ./drivers/net/wireless/broadcom/b43legacy/ilt.h:extern const u32 b43legacy_ilt_retard[B43legacy_ILT_RETARD_SIZE]; ./drivers/net/wireless/broadcom/b43legacy/ilt.c:const u32 b43legacy_ilt_retard[B43legacy_ILT_RETARD_SIZE] = { ./drivers/net/wireless/broadcom/b43/wa.c:static void b43_wa_art(struct b43_wldev *dev) /* ADV retard table */ ./drivers/net/wireless/broadcom/b43/wa.c: for (i = 0; i < B43_TAB_RETARD_SIZE; i++) ./drivers/net/wireless/broadcom/b43/wa.c: b43_ofdmtab_write32(dev, B43_OFDMTAB_ADVRETARD, ./drivers/net/wireless/broadcom/b43/wa.c: i, b43_tab_retard[i]); ./drivers/net/wireless/broadcom/b43/tables.h:#define B43_TAB_RETARD_SIZE 53 ./drivers/net/wireless/broadcom/b43/tables.h:extern const u32 b43_tab_retard[]; ./drivers/net/wireless/broadcom/b43/tables.c:const u32 b43_tab_retard[] = { ./drivers/net/wireless/broadcom/b43/tables.c: BUILD_BUG_ON(B43_TAB_RETARD_SIZE != ARRAY_SIZE(b43_tab_retard)); ./drivers/net/wireless/broadcom/b43/phy_n.h:#define B43_NPHY_PHYSTAT_ADVRET B43_PHY_N(0x1F3) /* PHY stats ADV retard */ ./drivers/net/wireless/broadcom/b43/phy_lp.h:#define B43_LPPHY_ADVANCEDRETARDROTOR_ADDR B43_PHY_OFDM(0x8B) /* AdvancedRetardRotor Address */ ./drivers/net/wireless/broadcom/b43/phy_a.h:#define B43_OFDMTAB_ADVRETARD B43_OFDMTAB(0x09, 0) ./drivers/net/dsa/sja1105/sja1105_dynamic_config.c:/* The switch is so retarded that it makes our command/entry abstraction
by kelnos | 2025-06-16 21:58:42+00:00
I'm assuming you're not Spanish, and work with some Spaniards in the context of a company that's not Spanish, or is multi-national, or something like that.

Perhaps the difference you see is that the Spaniards you work with censor themselves because they believe you or others will be offended. But perhaps when it's just those Spaniards together, or when, say, they are working for a Spanish company where everyone else is Spanish, they let loose and are quite vulgar, because that's socially and professional acceptable in those contexts.

I'm not Spanish either. I'm American and am very aware of the polite sensibilities you're talking about in professional settings. But even that can differ. I joined a previous company when it was around 50 people in total, and stayed with that company as it grew to around 10,000. When we were 50 people there was lots of in-person swearing and poor-taste jokes, because we were small enough to know what most/all people would be comfortable with. But as the company grew, that happened less and less, because people could never be sure of the audience for what they were saying. (I had a similar, if less drastic, experience at another company that grew even just from 15 people to 200.)

This phenomenon seems entirely normal, in pretty much any place, though the details of what is and isn't offensive can be different depending on region or culture.
by JumpCrisscross | 2025-06-16 21:59:10+00:00
> As far as I know some companies charge more for seats near entrances where there's more space, so people are willing to pay more

In my anecdotal experience, the people complaining about leg room are precisely those who are not paying for additional leg room. (Similar to how people who compare modern air travel with service in the 1960s aren't purchasing the inflation-adjusted equivalent ticket, which would almost always be a lay-flat seat today if not Wheels Up.)
by LegionMammal978 | 2025-06-16 22:00:30+00:00
I've done this project myself, based on Ubuntu 20.04 and a whole lot of patchsets [0]. I got up to the 2014-01-20 snapshot before running into weird LLVM stack issues that I couldn't figure out how to resolve. One big annoyance is that the snapshot file refers to some commit hashes that do not appear to point to any surviving public repo, so it takes a fair bit of effort to reconstruct which commits must have been included in the missing commits.

[0] https://github.com/LegionMammal978/rust-from-ocaml
by pcthrowaway | 2025-06-16 22:01:06+00:00
Like, you're right that some, perhaps many, sites would continue using https, just like in the current situation, many sites continue supporting http (instead of just setting up a redirect)

No site needs to do this though, and I can't recall seeing a site with sensitive user info that supports http in recent years. And in the current situation, many sites are still supporting old versions of https (SSL2). A protocol name upgrade would give you more certainty that you're connecting over a secure connection, and perhaps a better indication if you've accidentally used a less-secure connection than intended.

I mean actually your exact argument could be made about http vs https, that http+SSL should have become the default (without changing the protocol name of http://), and by changing the protocol name it made it so that some websites still accept http. I guess in practice there's a slight difference since http->https involved a default port change and ssl2 -> tls did not, so in the former case the name change was important to let clients know to use a different default port; but ignoring that, the same argument could be made, and I would have disagreed with it there too.

Specifying the protocol... in the protocol portion of the URL... can be useful for users.
by colingauvin | 2025-06-16 22:01:26+00:00
>Until the 6th of November 2023 when they—in their words—moved to a different repository and to the AGPL license. In reality, the Foundation did not know this was coming, and a huge support net was pulled away under their feet.

Surprising considering that two of the four Foundation guardians (at the time the Foundation had no board) were Element co-founders

>Now, and I can't stress this enough, I really don't think many people at the foundation want this. But with Element sort of just pushing whatever they need in their client and nothing else, I doubt anyone would even be able to get anything implemented in Element to notify Matrix.org users akin to what Thunderbird or KDE started doing in their respective products.

Again surprising seeing as how the Matrix Foundation members I communicate with/am in rooms with about Matrix have suggested the exact opposite sentiment.

This article is all conjecture, but stated as fact.
by makeitdouble | 2025-06-16 22:02:04+00:00
> people would never pay for software.

I mostly share your conclusion, but I think there is a specific twist: most people will pay for on the spot transactions.

We see it in spades for games: in-app purchases and season passes have a lower barrier of acceptance. I assume buying stones to unlock a character must be thought at the same level as buying coffee, as just a one-time purchase that doesn't require further calculations.
by onecommentman | 2025-06-16 22:02:12+00:00
“Holford emphasized that these patterns are not simply historical artifacts. “The disparities we see today are the result of decades of cumulative effects — on smoking rates, health care access, environmental exposures, and public health investments,” he said. “Without conscious policy changes, these gaps will likely persist or even widen.””

The cited study performs no analysis nor provides conclusions about these “cumulative effects”: their existence, the magnitude of the effects nor the completeness of the set of cumulative effects considered. The Author is babbling at this point.
by jimmydddd | 2025-06-16 22:03:02+00:00
---The Starlink dish was secretly installed on the Independence Class vessel’s weather deck, where it was relatively out of view. The network was initially named “Stinky”, but it was later renamed to appear to be a wireless printer – despite there being no such devices aboard.

---The Starlink dish wasn’t discovered until a civilian technician, installing a Starshield satellite communications system, noted the device and reported it to a senior crew member.
by klipklop | 2025-06-16 22:04:18+00:00
> Once people are robbed of what remaining opportunities they have to exercise agency and improve their life, it isn't hard to imagine that we see some form of swift and punitive backlash, politically or otherwise.

Now you understand why the government is rushing to implement a surveillance state and deputize tech execs to speed this process up. The "control grid" goes in first and the middle-class job market is snuffed out after.
by password4321 | 2025-06-16 22:04:45+00:00
This seems useful if users don't have admin access to override local DNS/hosts, but I'm not the only one still confused why it's necessary for those who do.

If I'm vanilla SSH forwarding 127.0.0.1:12345 to the target, and override the .tld FQDN locally to resolve to 127.0.0.1, it will not work? Maybe you could document a bit more about the error(s) you ran into doing this so I can catch up with your understanding.

Otherwise the sales pitch is less hassle, which makes sense but it's always helpful to document alternatives so that everyone is in the same page.