MurphyA/hacker-news huggingface dataset:
by schmuckonwheels | 2026-01-03 03:22:18+00:00
Linus has been very clear on avoiding the opposite, which is the OpenBSD situation: they obsess about security so much that nothing else matters to them, which is how you end up with a mature 30 year old OS that still has a dogshit unreliable filesystem in 2026.

To paraphrase LT, security bugs are important, but so are all the other bugs.
by timr | 2026-01-03 03:22:20+00:00
It’s “like pulling teeth” because the guidance isn’t changing (at least not because of evidence).

There seems to be a very motivated contingency who want to spin a story that male vaccination for HPV has benefits for women. The problems with this story are:

1) Efficacy of the current vaccines for women are incredibly high. Vaccinating young women, alone, is basically enough. Whatever benefits you're imagining must therefore be marginal.

2) Efficacy of current vaccines for men are (surprisingly) low [1], so it’s hard to claim secondary benefits for other people without substantial additional evidence.

It’s perfectly OK to acknowledge that the HPV vaccine is an overall good, should be on the schedule for young women, and yet does not need to be administered to men. Giving it to men (particularly older men) is not supported by data at this time, which is why your doctors don’t make it easy for you to get it.

[1] Again, refer to https://pmc.ncbi.nlm.nih.gov/articles/PMC8706722/

See table 4. In a naive population of men, the efficacy against DNA detection of HPV runs around 50%, and in men who may or may not have the virus, the number is lower. Efficacy against persistent infection is similar. Compare to tables 1-3 for women, where efficacy nears 100% in some populations.
by bgwalter | 2026-01-03 03:22:45+00:00
https://en.wikipedia.org/wiki/Cryptocat#Reception_and_usage

"In June 2013, Cryptocat was used by journalist Glenn Greenwald while in Hong Kong to meet NSA whistleblower Edward Snowden for the first time, after other encryption software failed to work."

So it was used when Snowden was already on the run, other software failed and the communication did not have to be confidential for the long term.

It would also be an indictment of messaging services as opposed to gpg. gpg has the advantage that there is no money in it, so there are unlikely to be industry or deep state shills.
by UncleMeat | 2026-01-03 03:22:51+00:00
Great. So we can subpoena twitter for the information about everybody who used Grok to create this monstrous content so they can be rounded up?

I'm personally fucking sick of sexual abuse being treated just like something that every woman in society just needs to deal with. "Oh, we put the revenge porn machine right in front of everybody and made a big red button for you to push" is horrible. But at least we should be screaming from the rooftops about every hideous person using this machine. Every single one of their friends should leave them.
by tstrimple | 2026-01-03 03:23:29+00:00
Linux truly is far better now than it was even a year ago for gaming stuff. The Linux fanboys stating that everything works flawlessly and better than on Windows aren't doing anyone any favors. Steam Compatibility is a useless flag and ProtonDB is full of "Platinum" games that are barely functional. Despite the additional complexity what got Linux to work well for my son is NixOS. He had attempted to run with multiple "Windows replacement" Linux distros and managed to keep getting them broken to one degree or another. The "Nix" way of managing packages really clicked with him for some reason and being able to reboot to a previous derivation if something goes wrong keeps him with a running system.

Generally I'd avoid Linux on laptops altogether. Even hardware explicitly designed for Linux support has tons of other tradeoffs and most manufacturers don't even try. I'd say Linux on the desktop is night and day from Linux on laptops.
by nozzlegear | 2026-01-03 03:24:28+00:00
The Dynamic Island isn't what I'd call a "notification." Apps use it to show you something that you're actively doing or tracking right now. Using it to show ads is like stealing a piece of your visible screen real estate to set up a tiny billboard that says "buy Duolingo!"

> I get ads in my notifications all the time.

FWIW, I don't get any ads in my notifications except for that one obnoxious F1 movie ad from Apple themselves.
by maxbond | 2026-01-03 03:24:52+00:00
Weird! Sounds like maybe `apt-get dist-upgrade` or `apt-get full-upgrade`. `upgrade` shouldn't uninstall anything or update your kernel as far as I know. `dist-upgrade` or `full-upgrade` could do either. If your `/boot` partition was exhausted or you lost power in the middle of a kernel upgrade, that could leave the system in a broken state.

At any rate, sorry you had such a frustrating experience.
by alyxya | 2026-01-03 03:25:47+00:00
I don't get the anti-LLM sentiment because plenty of trends continue to show steady progress with LLMs over time. Sure, you can poke at some dumb things LLMs do as evidence of some fundamental issue, but the frontier capabilities continue to amaze people. I suspect the anti-LLM sentiment comes from people who haven't given a serious chance at seeing all the things they're capable of for themselves. I used to be skeptical, but I've changed my mind quite a bit over the past year, and there are many others who've changed their stance towards LLMs as well.
by lmz | 2026-01-03 03:29:33+00:00
> That just reminded me of a peer protocol I worked on a long time ago that used other hosts to try to figure out which hosts were getting translated. Kind of like a reverse TOR. If that was detected, the better peering hosts would send them each other's local and public addresses so they could start sending UDP packets to each other,

Sounds similar to STUN, really.
by bediger4000 | 2026-01-03 03:30:32+00:00
If I were taking a test and I discovered that it was "AI" generated, I would be furious and insulted. Insulted that the person testing me couldn't be bothered to come up with a test that actually related to the topic. Furious that my time meant so little.

Further, vocabulary is about nuance. Synonyms are never exact, they bear slightly different meanings, and bring different connotations. I would not trust an "AI" to bring correct subtleties to the table.
by Hnrobert42 | 2026-01-03 03:30:35+00:00
Wow. It's like your reply is doing an impression of IPv6! (I'm just teasing. I hope you are having a happy new year.)

Not GP, but:

> What happens when multiple devices in your /8 want to listen on port 80 and 443 on the public address? Only one of them can. Now you're running a proxy.

I don't want any of my devices listening on the public address, much less multiple.

> It's called a firewall. You want a firewall. IPv6 also has a firewall. NAT is not a firewall. NAT is usually configured as part of your firewall, but is not a firewall.

That's a non sequitur. I can have a both a firewall and a NAT. The two layers are better than one because at least my address is shouldn't be routable even if I failed to configure my firewall correctly.

> DHCPv6
Okay? DHCPv4

> What are you supposed to do with a /8? Do you have several million computers?
That's GP's point. Running out of address space is not a problem even on IPv4 with NAT.

> What happens if your ISP changes your IPv4 address?
Well, an ostensible advantage of IPv6 is publicly routable addresses. I know how to configure my internal IPv4 network with host table entries and so on. If I move to IPv6 then my "internal" network address space is at the whim of my ISP.
by joshstrange | 2026-01-03 03:30:47+00:00
I’ve considered turning off memory and just using the addition to the system prompt (or whatever they call it in the UI) to feed it certain context (languages/frameworks/etc that I prefer or am often working with).

I often do not like it when it references another conversation since I created a fresh convo to avoid poisoning the context. I sometimes just switch providers to ask a “clean” question or use incognito to be sure my previous conversations aren’t tainting the response. Memory can be cool but sometimes it ties things together it shouldn’t or brings in context things I don’t want.
by eru | 2026-01-03 03:31:11+00:00
Any dollar you get paid as salary is a dollar less for the shareholders. Yet, paying people dollars is still a common practice.

Paying people in secrets isn't different in principle, only in degree.

However I agree that the scenarios where this would be useful to shareholders would be a bit weird, but it's just a Gedankenexperiment where we assume that for some reason the shareholders already think this is a good idea.
by makeitdouble | 2026-01-03 03:31:58+00:00
> > - My ISP gives me a /64, what am I supposed to do with that anyways?

> What are you supposed to do with a /8? Do you have several million computers?

The /8 was for private addresses, so "free" and uncontested, while the /64 is a public resource. Looking at it as extraneous or over provided is understandable IMHO, even if mathematically it's not supposed to get depleted.

At least it's not doing anything helpful for OP.
by echelon | 2026-01-03 03:32:52+00:00
> I can definitely get behind the idea of paying for OS updates.

From consumer App Store pricing expectations to the notion that FOSS be offered at no cost, expecting everything to be free has damaged small software for decades.

There is no other way to support software. You have to pay for it.

Even with this, it still won't be able to compete with the big guys and their enormous ad funnels. But it's better than forcing them to be anemic and sustain themselves with nothing at all.

We have to pay to maintain the things we want.
by anal_reactor | 2026-01-03 03:33:41+00:00
This isn't exactly true.

1. If the community has "healing power", it can accept new broken members as long as they don't overwhelm the support system. Many hippie and religious movements work with some version of this idea.

2. A struggling loner might be so because of traits unattractive to general society, but attractive to the community. Pretty much all subcultures fit here.
by jhhh | 2026-01-03 03:33:49+00:00
Do you envision the development to track clojure as much as is possible, similar to how cljs was conceived to be clojure in js and not just clojure-ish js, or do you think you'll eventually diverge? I made a language a while ago that was like 90% clojure but hesitated to call it that because I didn't want there to be an expectation that the same code would run as-is in both languages. Seems like from the landing page you're going for more of a drop in replacement. Look cool, good luck!
by MobiusHorizons | 2026-01-03 03:34:16+00:00
Really interesting article. The idea of temporal proofs is very interesting. I especially enjoy the idea of x will eventually be y. I have often wanted a static type that allows initially null but no null assignment for similar reasons.

I found the other bugs section at the bottom pretty funny though:

> If the toolbox GUI fails to launch the prover due to NullPointerException, try closing the specification and reopening it.

There is something deeply ironic about this type of error in the gui editor for a theorem prover. It’s almost petty to even make the comment, but I guess it’s reassuring that even the sorts of people who write theorem provers have pedestrian bugs like that.
by yndoendo | 2026-01-03 03:34:31+00:00
I would say the malice is from management, investors, and product leads. Developers just do what they are told. Microsoft is choosing enshitification versus quality. CEO needs to pump that stock and having enterprise locked into without alternatives helps them.

I grew up with Microsoft and now you have to pay me to use their products. I would never choose their OS for product hosting. Even their embedded / IoT is trying to force a Microsoft account and push against local user.
by timr | 2026-01-03 03:35:11+00:00
> The situation is pretty clear when you're a woman who got cancer from her boyfriend who knew he had HPV and didn't tell her

You can make up “just so” stories to justify anything.

The point is, the story you’re telling isn’t likely to occur if the woman is vaccinated.

The vaccine is incredibly effective in young women, and only borderline effective if administered in older men and women who have never been infected. Long-term efficacy in young men is less certain than for young women.

> Low-risk ones cause genital warts that continue causing warts throughout your lifetime.

Again, no. Most infections clear on their own. You are correct that rarely some infections are persistent or dormant, and that these sometimes lead to cancer. But these are the minority.
by petermcneeley | 2026-01-03 03:35:22+00:00
I am not even sure where you get "smashing a device violently in front of a child" comes from. He said gets the hammer as in he would perma destroy it.

Anyway I tend to agree for the most part anyway. I was just making a guess about your age irl based on what you said. However some other data actually indicates you are likely gen-x.
by tstrimple | 2026-01-03 03:35:37+00:00
If you need to use GE Proton then Proton doesn't "Just Work" by any definition. It "Just Works" if you jump through these other hoops and include community fixes. And then if the GE version doesn't work maybe you have to try Experimental or sometimes even Hotfix. All very much not "Just Works". Windows users don't have to download community versions of the Steam runtime in order to play certain games and then play whack-a-mole with versions whenever a new game comes out. There must be a vast difference between what "Just Works" means to folks who have used Linux for years and years and folks who come from Windows. This comment from the Far Cry 5 ProtonDB page highlights this perfectly I think: "Play great with some script. Disable hyperthreading in bios to speed up loading game"
by efitz | 2026-01-03 03:35:44+00:00
I used to work at Microsoft in the Windows team (XP/2003/Longhorn/Vista/7).

The product today doesn’t feel like the product I worked on; I feel no connection to it, and every time I think that there’s nothing they could do to make me dislike it any more, Microsoft has another “hey, hold my beer and watch this” moment.

The problem with the old Microsoft this that it was run by engineers who didn’t understand user experience. The problem now is that it’s run by MBAs who dont care about users, just licenses.
by hedora | 2026-01-03 03:36:09+00:00
They’re using their legacy OS and Office business to subsidize services (LinkedIn, GitHub, npm, vscode, teams, azure, etc).

Consider what our industry will look like once the surveillance as a service/enshittifcation that’s been implemented for windows is ported to those things.

Try switching away from the services I mentioned, and you’ll see why the strategy makes sense.
by skytreader | 2026-01-03 03:36:38+00:00
Location: EU

Remote: Yes, EU timezones preferred

Willing to relocate: Depends on the location (but with a strong bias for EU-Schengen/US locations)

Technologies: Java, Python (and variants thereof like Groovy, Clojure, Pypy), Node/TS | AWS/Lambda Serverless, GCE/Kubernetes | Redis, MySQL, PostgreSQL, DynamoDB

Resume: https://bit.ly/3B3o65M (It links to my CV repo at Github, pinky promise. You can also visit github.com/<hnusername>.)

I'm not actively looking (hence why my resume link is obfuscated like that) but I'm at least interested in getting a feel for the market right now. That said, I'm willing to consider a position with a great fit for my skill set and career goals.

Here's my pitch: I have experience in a multitude of industries and positions. From improving legacy infra and processes in an established telco company to scaling a fast-moving startup from 200K to 2M users. In my free time, I love writing Code That Is Poetry but day-to-day I am not an idealist engineer who doesn't compromise. Well-engineered code is clean and correct but correct above all else.

Oh, also, I'm great at writing documentation. I consider myself introverted but apparently my communication skills are above average for Software Engineers. I also pride myself on my humility and modesty.

I'm currently a backend engineer developing features and improving infra for an online game with millions of daily active users. I'd love to explore other technical positions in the games industry short of joining a AAA studio because (a) I don't want to crunch and (b) my skill set does not lay that way; other tech-creative industries would also appeal to me! Another particular interest is in B2C businesses where the 'C' is software developers. I'd love to chat and network about opportunities; if you think you have a product that could benefit from my skill set, drop me a line!
by 8bitsrule | 2026-01-03 03:36:59+00:00
Considering how the load at Linux Mint's forums has recently increased to the point that some of it is being re-directed to gitHummed (a minute ago there were "3362 users online :: 35 registered, 3 hidden and 3324 guests" >10 secs to respond, needed to login), it appears that distro at least is seeing a lot of newcomers.
by Novosell | 2026-01-03 03:38:32+00:00
Well, seeing as you're not even responding to me, just previous people you've interacted with I guess I can't really say much.

But I will say that I ask specifically about the Fairphone because I've met many ethical, anti-capitalist, humanitarians, vegan, etc etc people who still don't apply any of their morals to the purchase of their cellphone and won't own up to it. I always found it an interesting piece of consistent dissonance.
by valianteffort | 2026-01-03 03:39:21+00:00
Well it kind of is. Tesla are not coy about their plans of moving away from selling consumers personal vehicles. If you think cybercab can eat any significant percentage of Uber/Lyfts lunch there is value.

It takes a lot of hubris to throw away ostensibly worldwide EV dominance. And selling Americans on giving up car/independence culture when compared with Europe or Asia will be tough.

They will undoubtedly crush in the robot and energy space though.
by bmandale | 2026-01-03 03:41:50+00:00
Prices are not an end to themselves. Prices are useful because they tell you how much something is worth. If you're trading against somebody who has more information than you, than you are probably losing money, since they wouldn't be making the trade otherwise. Yes, insider trading means that prices will converge on a more accurate value faster, but in the interim anyone trading on the stock is getting screwed. Insider trading is not good for anybody but insiders.
by aed | 2026-01-03 03:42:04+00:00
Thanks for this list!

A couple of questions I have:

1. Why not use supabase auth? I’m using it for a little project and generally like how much you get out of the box with supabase. Curious why you like stack auth.

3. Why 3 analytics tools? I’m thinking about implementing post hog in a little project I’m running right now, and generally would like to avoid having to have a lot of tracking!
by danaris | 2026-01-03 03:42:24+00:00
Let me lay this out for you very clearly:

There are a number of possible reasons that any car's doors might not work. Tesla, Ford, Toyota, doesn't matter. Those are just due to the laws of physics. No one is disputing that.

Teslas have an additional reason that their doors might not work in an emergency. And given the frequency with which it sounds like this is happening, it may be much more common in an emergency scenario for this particular situation to occur than for any of the others.

No one is claiming that any other car on the road is 100% safe in all situations. They are pointing out that Tesla has this extra, totally unnecessary, method of killing its occupants. Dying in terror. Trapped.

What you're doing is effectively like saying, "It's not bad that Evil Water™ With Cyanide kills you! People drown in water all the time! You can even die by drinking regular water if you drink too much! You really shouldn't focus on the cyanide in Evil Water™ With Cyanide!"
by asasqw1212 | 2026-01-03 03:42:26+00:00
We found AI safety's missing link: experiential layer (R2).

IIT/Turing only measure R1(behavior)/R3(symbols).
DSI fixes this: D=detect, S=span, I=impact

Maya Machine=(2,0,4): perfect physics+logic, zero experience
LLMs=(2.1,？,3.7): R2 exists but unstable

Tools: https://zenodo.org/records/18038614 [web:117]

Measure your model?

#AISafety
by susam | 2026-01-03 03:44:13+00:00
This is pretty much how I began developing websites too. Except it was 2001 instead of 2026. And it was ASP (the classic ASP that predates ASP.NET) instead of Python. And I had a Windows 98 machine in my dorm room with Personal Web Server (PWS) running on it instead of GCP.

It could easily have been a static website, but I happened to stumble across PWS, which came bundled with a default ASP website. That is how I got started. I replaced the default index.asp with my own and began building from there. A nice bonus of this approach was that the default website included a server-side guestbook application that stored comments in an MS Access database. Reading through its source code taught me server-side scripting. I used that newfound knowledge to write my own server-side applications.

Of course, this was a long time ago. That website still exists but today most of it is just a collection of static HTML files generated by a Common Lisp program I wrote for myself. The only parts that are not static are the guestbook and comment forms, which are implemented in CL using Hunchentoot.
by lovich | 2026-01-03 03:44:38+00:00
Ah, too late to edit but this is another sub year account making statements like

> 22 is recently a kid. We have nothing further to discuss; you are unreasonable.

Using a semicolon correctly while claiming another human held position is unreasonable. Definitely regular human activity.

@dang, is this forum just going to be humans talking with a forest of bots are you guys going to have any moderation
Ask HN: Do any significant web communities exist anymore that value free speech?
by jdprgm | 2026-01-03 03:44:39+00:00
Basically I am curious if anyone is part of a community that moderates from the perspective of "is this spam" and "is this an AI bot" and largely outside of anything actually illegal leaves any other posts from what they determine are likely actually humans alone. The web seems to absolutely fucking suck lately.
by MobiusHorizons | 2026-01-03 03:45:04+00:00
I always took the distinction to be the executable memory bit as opposed to writing an executable and then launching it in the usual way. Of course high performance runtimes that contain JITs do typically interpret first in order to get type information and reduce startup latency, but that’s more a function of the language not being efficiently AOT compileable rather than fundamental to the concept of a JIT
by Olumde | 2026-01-03 03:45:41+00:00
> But we survived

> And ironically? Now that we’re back on a monolith and shipping fast again, we’ve started growing again. Customers are happier. The team is happier.

So Microservices did not kill your startup?

And why did you stop instances of your monolith before the Microservices version was mature and ready???
by briHass | 2026-01-03 03:45:42+00:00
Insurance, if it covers it, will cover it at CVS, no doctor needed.

Many insurances do. I asked if the pharmacist could check last time I was at CVS, and it did. I'm turning 46 before I can sneak in the 3rd dose, but 2 doses seems to be all that's needed for most of the benefit.
by callc | 2026-01-03 03:46:30+00:00
> It’s literally the ads and bloatware

I hope more companies and MBAs open their eyes to this: that the long term cost of user-hostile changes is negative compared to respecting users and building good products.

Also currently it helps to stand out from the sea of crap products.

Play the long game. Make good products. Bring joy and positive experience to peoples lives. Sleep well at night.