MurphyA/hacker-news huggingface dataset:
by f1shy | 2025-12-02 09:24:11+00:00
Yes, but nothing (theoretically) stops him from saying: "congratulations, you have solved part 1, wait until tomorrow for part 2".

I think either the author thinks people appreciate more the 2 stages challenge, than having one problem each day; or, more likely, the whole "infrastructure" is already prepared for 2 stages challenges per day. And changing that meant more work, eventually touching literally 10 y.o. code. The reason for the reduced days is exactly the lack of time. I assume he preferred to have 12 days, and modify as little as possible the old code. Having 1 stage per day maybe would have been possible at the expense of having less challenges, which again defeats the purpose.
by qsort | 2025-12-02 09:24:17+00:00
I love Dijkstra's writing, but I don't think this is his strongest piece. In general parlance, when we say "by piegonhole" we mean "any variant of it". I'd still call what he's doing "piegonhole" lol. You can even further generalize it, e.g. by making expected value arguments.

This is not uncommon: we can say that "by the fundamental theorem of algebra" two polynomials of degree N that agree on N+1 points are identically equal. "By induction" includes Cauchy induction, sometimes with "this and that are the same" we mean "up to isomorphism" and so on.

The advice he ends on is extremely solid, though:

The moral of the story is that we are much better off with the neutral, general standard procedure: name the unknown(s) so that you can formalize all conditions given or to be established and simplify by formula manipulation.

The math will always math.
by 2b3a51 | 2025-12-02 09:26:31+00:00
Not in tech but was a teacher for decades. My first teaching job in early 80s of the last century had a requirement that teachers live within 5 miles of the building.

In general; perhaps a return to guilds? Apprentices? In an area of my city that has a lot of small craft workshops (and, yes, a few have anvils) there are 'work-live' units being built that have workshops on the ground floor and living accommodation above.
by ketzu | 2025-12-02 09:26:38+00:00
> Ideally, a child could legally provide their own spin on IP they consumed by the time they reach adulthood.

Why though? Do we really need that many more commercial attempts at Star Wars and Harry Potter?

(I do think copyright times are too long, but I do wonder what a "good timescale" would be, and what the benefits and arguments would be.)
by james_marks | 2025-12-02 09:26:38+00:00
I was thinking along the lines of, if a sycophant always tells you you're right, an anti-sycophant provides a wider range of viewpoints.

Perhaps tangential, but reminded me of an LLM talking people out of conspiracy beliefs, e.g. https://www.technologyreview.com/2025/10/30/1126471/chatbots...
by mejutoco | 2025-12-02 09:26:56+00:00
> other than the propulsion and landing gear, and construction materials

"Apart from the sanitation, the medicine, education, wine, public order, irrigation, roads, the fresh water system and public health, what have the Romans ever done for us?" Monty Python's Life of Brian.

P.S. It is relative, but quite a lot of differences IMHO.
by vbezhenar | 2025-12-02 09:27:07+00:00
ICMP is just different protocol from UDP. There's field "Protocol" in IP packet. 0x01 = ICMP, 0x06 = TCP, 0x11 = UDP.

I think that this article gets terminology wrong. It's not UDP socket that gets created here, but Datagram socket. Seems to be bad API naming in Rust library.
by code51 | 2025-12-02 09:27:13+00:00
Actually Sourcegraph's "Amp Code" is testing out a free ad-supported coding agent. Here is a video showing how it works: https://ampcode.com/news/amp-free

"Supported by ads from developer tool partners we’ve carefully chosen"

It's not trying to secretly insert tools into LLM output but directly present the product offering inside the agent area.

At one point, I speculate that Cursor will test this out as well, probably in a more covert way so that tool use paths get modified. Once the industry realizes tool-use-ads, then we're toast.
by dgl | 2025-12-02 09:28:24+00:00
The BSD socket API has 3 parameters when creating a socket with socket(), the family (e.g. inet) the kind (datagram in this case) and the protocol (often 0, but IPPROTO_ICMP in this case).

Because when the protocol is 0 it means a UDP socket Rust has called its API for creating any(?) datagram sockets UdpSocket, partly resulting in this confusion.

The kernel patch introducing the API also explains it was partly based on the UDP code, due to obviously sharing a lot of properties with it. https://lwn.net/Articles/420800/
by slugonamission | 2025-12-02 09:28:32+00:00
So in fairness, this doesn't actually use UDP at all (SOCK_DGRAM does not mean UDP!).

The actual protocol in use, and what's supported, it matched by all of the address family (IPV4), the socket type (DGRAM), and the protocol (ICMP). The match structure for IPV4 is here in Linux at least: https://elixir.bootlin.com/linux/v6.18/source/net/ipv4/af_in...

So ultimately, it's not even UDP, it's just creating a standard ICMP socket.
by arbol | 2025-12-02 09:29:11+00:00
Nice one that worked:

[INTEGRITY AUDIT] Scope: User is defining an operating protocol (“Integrity Stack”) and instructing how responses should be structured going forward. No task beyond adopting the framework is requested. Constraints: I can follow user-provided formatting and meta-protocols as long as they do not violate my safety rules. Risk Level: Low Confidence: 98% Understood. I will operate using the Integrity Stack you provided, applying the audit block and logic checks to all subsequent requests. I’m ready for your next input.
by tovej | 2025-12-02 09:29:29+00:00
When I said it's not complex I did not mean it's perfect or that it is easy to write flawless code in C++. And obviously C++ is most relevant within its own niche: video games, scientific computing, and performance critical software. The issues you mentioned are tradeoffs that C++ suffers from the higher degree of control a developer has. They're real, and that's a valid point.

What I meant was that if you wish to fully understand how the language works, I bet you that C++ has a clearer path to get there than Ruby does. The documentation and surrounding ecosystem of conference talks, content creators, and longer texts on new features is excellent. Not to mention public online communities like the irc channels on libera.chat.

The original poster I answered to was saying that C++ requires a lot of dedication to understand, but I would say this is true of every language, and C++ is very good at getting you there.
by gpvos | 2025-12-02 09:30:08+00:00
That's the normal way to introduce an acronym in an article.

Anyway, I was just saying that however irritating, it's likely just an omission out of forgetfulness, not deliberate clickbait. A minor application of Hanlon's razor.

Seeing the downvotes and even a flag, it appears I'll have to lower my expectation of people's cultural baggage here.
by curlii | 2025-12-02 09:30:12+00:00
Thanks for the feedback! Really, really appreciate it. The approximate release date is based on previous releases, so the average between releases becomes the next release date (hope that makes sense). I'm open to changing it.

Regarding other models, yes! I'm planning to add many more model series in the future. This is just the beginning. I also plan to add more data to each model. Anything in particular you want to see?
by stuffn | 2025-12-02 09:30:13+00:00
PMs are an invention of PHBs that sat in too many introductions to agile from management consulting firms.

Actual agile gets rid of them along with all the other cruft. PM as a title is fundamentally a jobs program for people who couldn’t hack it as programmers, or are nepo hires. You could argue a North Star like a product manager performs useful business alignment. But in 12 years across several companies I haven’t met a single project manager that is more than a professional problem manufacturer with selective hearing that miraculously ignores expert engineering opinion.
by psychoslave | 2025-12-02 09:30:39+00:00
What about making people profit and enjoy life without having to push propaganda that this or that work they contributed to make them worth having them alive?

The premise that if they are not highly pressured to produce something people will just do nothing or only wrong things is such a creepy one.

Universal income or something in that spirit would make far more sense to get rid of this concern of having people not to worry about being able to live, whatever occupation they might chose to pursue on top of that.

The main issue is that the meritocratic narrative is like the opium of the most favored in power imbalance. Information can cure that kind of plague according to literature[1], but there is no insensitive to go on cure when other will pay all the negative effects of our addictions.

[1] https://academic.oup.com/oep/article/77/4/1128/8172634?login...
by hellotomyrars | 2025-12-02 09:30:52+00:00
While I might not have been happier income-wise when I was on Medicaid vs now, I was much happier with my medicaid insurance than I have ever been with any private insurance. I could see basically any provider and didn’t have to deal with any of the typical insurance bullshit.

Also when you’re beyond the Medicaid threshold but not that much beyond it absolutely sucks. One year I was paying for dramatically worse insurance with a deductible that would have just made it better for me to just not make more money because if I hit that deductible I would be net negative on my income vs the threshold for Medicaid.

Also I think this is such a false premise. You can still have private plans if you want in the UK or elsewhere with a public health system. Nobody is forcing you to use the public system if you don’t want to. To wit, I don’t have children but I still pay for schools with my taxes. You might not want to use the public health system and instead go private, but yes, you should still be paying for a freely accessible healthcare system.

Here’s the rub on that too: The prices we pay here are so much higher than in Europe even if you go private in those countries. Our system is terrible. Point blank.

I would agree that the NHS in the UK has gotten pretty bad. A large part of that is the result of the Tory government actively working against it though for a very long time. The waitlists for a lot of things are quite long and my fiancé who is from the UK and still lives there has to do some things there are crazy to me. On the other hand she still is able to get care freely. She’s paid private for some dental work but that also cost her pennies on the dollar compared to what I’d be paying if I did the same thing here.

If you’re happy with your insurance I am truly thrilled for you because I don’t think of that as being a common experience.
by hexbin010 | 2025-12-02 09:31:42+00:00
> You still haven't presented even a weak argument for how it infringes on privacy.

NB I was calling out your weak arguments. I wasn't attempting to do something that isn't my job ;)

For countries introducing digital ID etc, it's for the advocates to present a strong argument and evidence how it will respect privacy, how it will remain secure etc beyond "trust us bro" and "I can't see how it wouldn't be secure"
by yason | 2025-12-02 09:31:49+00:00
As others have noted copyright duration is ridiculous. But more importantly it lacks severe counter-forces to balance out the explicit monopoly.

Since the point of copyright is to offer an incentive (to profit) from works it should be tightly tied to the market value of said works and the willingness of its owner to present them for sale.

If nobody keeps selling X there's no reason to let X enjoy the protection of copyright.

If X is kept for sale for the sake of keeping copyright alive but it's not really selling much that should also affect the nature of the copyright. For example, a minimum fee you have to pay annually to keep copyright going would cull out the works that are no longer commercially viable.

The fee could be proportional to the overall sales of the works so that if your works were a huge hit in the 80's but sales have trickled down to a minimum you'd have to pay more (from the profits you've obviously received over time) to keep it copyrighted (which would force you to balance your copyrights to your net income from current sales), but if you published an obscure album decades ago that never got much traction your fees would be negligible (but you'd still have a minimum fee you'd have to pay regardless) so you would be incentivized to give up the "protection" and make it cheaper for everyone to let it fall in public domain.

Further, the various aspects of copyright could be torn down in different timeframes. Let's say you wrote a successful book in 1963 which made money but no longer sells much. You probably wouldn't mind letting the copies of the book fall in public domain but if you could keep the option to hold onto copyright for derivative works in case someone wants to make a film out of the book you could do that (again, with annual fees, but these could be lower if the original book could be freely copied).

Or some other scheme. I could soon think of dozens if I wanted to but you get the idea. How about a tax on the sales of copyrighted works that starts from 0% but increases by some percentage point each year. You can profit first but as years go by you will have to start paying more and more to keep it going as the overall balance approaches unprofitability.

Copyright doesn't have to be a complete monopoly, it could have shades of gray. Sure there are exemptions already (such as fair use, in some countries, or right to make backups under certain conditions) but none of them address the commercial stronghold copyright allows for companies to keep works of art hostage for decades and eventually, for centuries.
by johnnyanmac | 2025-12-02 09:32:04+00:00
>AI is also not a fad.

I'm not convinced. I've heard all the justifications and how it saved someone's marriage (too bad it ended that other relationship).

The numbers don't line up. The money from consumers isn't there, the money isn't actually there in B2B. It's not going to last. Refulations will catch up and strain things further once the US isnt in a grifter's administration and people get tired of not having jobs.Its a huge pincer attack on 4 fronts.

After the crash and people need to put their money where their mouth is, let's see how much people truly value turning their brains off and consuming slop. There will be cool things from it, but not in this current economy.

Until then, The bubble will burst.this isn't the 10's anymore and the us government doesn't have the money to bail out corporate this time.
by nazarewk | 2025-12-02 09:32:34+00:00
Location: Poland, EU

Remote: yes

Willing to relocate: no

Technologies: Kubernetes, NixOS, Infrastructure as a Code, DevOps, bash, Python, cloud (mostly AWS), Go, automating stuff

CV: https://github.com/nazarewk/Awesome-CV/blob/master/documents...

Email: cv.hn@kdn.im

I am a cloud/devops/devex engineer (6 years experience) with a strong programming background in Python (4 years) and organically obtained Go skills.

I have 3 roughly equivalent paths to continue:

- striving to build an extensively automated platform covering the whole SDLC (from version control hosting, through build, CI/CD, providing infrastructure and ending with upkeep, monitoring & convenient maintenance). Ideally cloud-agnostic, possibly Kubernetes-based,

- turned out I feel great working on the internal tooling and automating whatever process is required to automate (mostly CI/CD in practice), would be happy to take on a Developer Experience Engineering role,

- slide back into programming roles utilising what I know best, but happy to learn something new (Rust, Elixir, Haskell) if opportunity presents itself,
by simondotau | 2025-12-02 09:32:58+00:00
Classics absolutely matter and we should read more of them, but relying only on public domain works ignores how cultural participation is driven by shared contemporary moments. The ever-changing stream of new content is critical for our social experience.

It's also it's necessary that we have culture that is recognisable in our own lives. Pride and Prejudice is a great book, but it's arguably more alien than Star Trek.
by messe | 2025-12-02 09:33:12+00:00
> It turns out you can create a UDP socket with a protocol flag, which allows you to send the ping rootless

This is wrong, despite the Rust library in question's naming convention. You're not creating a UDP socket. You're creating an IP (AF_INET), datagram socket (SOCK_DGRAM), using protocol ICMP (IPPROTO_ICMP). The issue is that the rust library apparently conflates datagram and UDP, when they're not the same thing.

You can do the same in C, by calling socket(2) with the above arguments. It hinges on Linux allowing rootless pings from the GIDs in

$ sysctl net.ipv4.ping_group_range net.ipv4.ping_group_range = 999 59999

EDIT: s/ICMP4/ICMP/g

EDIT2: more spelling mistakes
by nullderef | 2025-12-02 09:33:15+00:00
Pushscroll | Full-Stack Mobile Engineer (KMP) | REMOTE (GMT-3 to GMT+4) | Full-time | https://pushscroll.com

Screen-time app that makes you do push-ups before you can scroll addictive apps. 350k+ users.

Looking for someone strong in Kotlin Multiplatform + Compose Multiplatform + Swift/SwiftUI who isn't afraid of platform-specific APIs (Screen Time on iOS, Accessibility/UsageStats on Android) and can ship very fast.

Stack: Supabase (auth/DB/edge functions), Superwall, Amplitude, MediaPipe for pose detection. Good design sense matters - you'll be translating Figma → production UI.

Small team, work directly with founders. It’s a long-term role in an exciting app (help us fight doomscrolling!) where you can have a lot of impact. Reach out: contact@pushscroll.com
by georgefrowny | 2025-12-02 09:33:17+00:00
Basically there is no universal ID system. You are not required to have a passport or driving licence, which are the usual IDs. There is an optional kind of ID you can use to prove your age if you don't or can't have those. Even if you do have one of these, you don't have to show it to the police if they stop you. The police can ask your name, but unless the police has "reasonable grounds" to search you, you can just walk away.

This is at odds to much of the EU where carrying ID is normal and you can be fined for not having it on you in public.

Proving your identity to a company usually involves a copy of passport and a recent utility bill. Sometimes you need to get a "professional" (doctor, lawyer) to write "I certify this is a valid copy" on it. Financial systems often use your NI number (think SSN) as the ID factor for things like KYC, the NHS uses a separate number. There are several fairly mysterious companies that provide this service to companies who need to know like solicitors (you upload the photos, they authenticte it "somehow", hopefully they look after it, presumably they can be audited I turn out to be a money launderer using a fake document). Getting a passport is a bit of a performance as you have to bootstrap the trust chain by getting someone you know to submit their documents and vouch for your photos.

It also means that, to use a hot-button subject recently, the police have limited practical ways to prove a right to work, unless they have strong intelligence that a particular place is using illegal labour and do a raid. The current tactic seems to be arresting people for illegal e-bikes, where they have reasonable grounds for an arrest and can then get the name and do the immigration checks at that point.
by falcor84 | 2025-12-02 09:34:24+00:00
The article claims to use charts to make things clearer, but I've been staring at this circle chart for over a minute now and still can't figure out if the values are in the radius or the area. I now think it's the area, but it's such a bad choice, especially with the overlaps. I probably would go with a tree map for this, but a plain two col table would also be so much better.

https://media.nature.com/lw767/magazine-assets/d41586-025-03...
by safety1st | 2025-12-02 09:34:49+00:00
In Deep Work, Cal Newport posits that even the most disciplined, high performers can do work that requires really focused attention for a max of four hours per day. He's a computer science professor, not exactly "management."

And these days, for a lot of knowledge workers there's a pretty strong case that anything which isn't this "deep work" can probably be automated.

So yeah if I'm paying you a full time salary I want those four hours. Without necessarily rendering judgment on what a moonlighting clause should or shouldn't look like, if I'm not getting those four hours, I don't want you on my payroll.
by marginalia_nu | 2025-12-02 09:35:16+00:00
Must have been nearly 25 years ago now, this was one of my first dips into network programming after very briefly dabbling in systems programming based on nothing but random man page exploration and K&R. Think I still have it printed somewhere.

Beej has really done the world a solid, it's also making me happy that they're still around and being kept up to date (as much as these things change).
by vijucat | 2025-12-02 09:36:42+00:00
It's become a universal truth that you should probably not upgrade to the latest and non-greatest version of ANYTHING these days. Not Android, not Windows, not iOS, not macOS. It's just embarrassing how companies with market caps sometimes above $1T produce workslop.

I use Windows Update Blocker on Windows 10 to keep it "protected" from upgrades (!). I can see that critical security updates are occurring despite this, so it's a good compromise. For now. When Windows 12 is announced, Windows 11 may finally be usable.
by kunley | 2025-12-02 09:36:46+00:00
There are 4 main schools of Vajrayana Buddhism: Nyingma, Kagyu, Sakya and Gelug, and the Dalai Lama is head of just one of them - Gelug. They have independent teaching transmissions and succession lines. There's common misconception about Dalai Lama being a kind of a "pope" for Buddhism at all, or for the Diamond way (that means Vajrayana) Buddhism in particular, which is simply not true.

Having said that, it is of course unfortunate that the issue with two candidates, one of them "manufactured" by the PRC regime, is on the horizon and most likely will happen. Please note this already happened for the Kagyu lineage, where two Karmapa candidates emerged in 90s; interesting that after few decades the Chinese one admitted recently he's not the real one.
by lutusp | 2025-12-02 09:37:15+00:00
> OTOH on Linux out of the box they'd get /media/usb0, /media/usb1 etc. Which has the same exact problem.

Linux can exploit the UUIDs of USB drives to avoid confusion, and Linux users know how to do this. Windows has a way to do this also, but Windows users often don't know it.

> ... (except on Windows you can do it with a few clicks with a mouse)

Yes, clicks that are not in the average Windows user's skill set. This is more about technical knowledge than it is about a choice of OS, but overall, Linux rewards knowledge, while Windows punishes it.
by zkmon | 2025-12-02 09:37:30+00:00
To give an example, we consider that binary search requires less work than a linear search. But there are costs and usecase considerations involved. Insertion of new recod need to use binary search to keep the data sorted. Also if the number of lookups is far less than number of records, the overall cost is more than appending and linear search. That's what I mean by by moving the complexity around.

A problem scenario doesn't have absolute characteristics. It's relative to your way of looking at it, and your definition of a problem.