MurphyA/hacker-news huggingface dataset:
by dijit | 2026-02-21 08:52:50+00:00
Is that true?

Subtle bugs always find their way in increasing amounts for Windows applications that continue getting software releases; we tend not notice because we all run actually supported versions most of the time, and even when we dont- its only for a year.

I see people on youtube trying to make “modern desktop” experiences on Windows 7 and 8; and it takes some serious doing with all the incompatibility with things like browsers. Dialogues about missing features crashing you to desktop more often than working.

So much so that there are dedicated forks of chrome and firefox to support this purpose.
by disillusioned | 2026-02-21 08:53:11+00:00
I respect that other people have the right to their opinion, but 5000K lights 24/7 is so completely insane to me. How? How do you get by with "dentist office mall kiosk" lighting blaring every hour of the day?

I have an adaptive Lifx bulb that changes from 5000K during the day and then shifts down to 3000K at night, before tapering down to 2700K for overnight and it's amazing. 5000K in the corner of a dark room is just so disjointed and intense and upsetting to me, if I stay at an Airbnb for more than a night or two and there are daylight bulbs installed, I'll literally buy replacement bulbs and change them out.
by nudpiedo | 2026-02-21 08:53:17+00:00
I like a lot of the idea behind such theorem provers, however, I always have issues with them producing compatible code with other languages.

This happened to me with idris and many others, I took some time to learn the basics, wrote some examples and then FFI was a joke or code generators for JavaScript absolutely useless.

So no way of leveraging an existing ecosystem.
by alfiedotwtf | 2026-02-21 08:54:27+00:00
It’s crazy (but true) to think that by slowly manipulating someone’s feed, Zuck and Musk could convert people’s religions, political leanings, personal values, etc with little work. In fact, I would be surprised if there was NOT some part of Facebook and Twitter’s admin or support page where a user’s “preferences” could be modified i.e “over the next 8 months, convert the user to a staunch evangelical Christian” etc
by 3RTB297 | 2026-02-21 08:56:03+00:00
Also can confirm. From the first moment I started an IG account (at my wife's request), the default algorithm was to give me almost exclusively thirst trap posts with zero geographic or other relevance to me. I had to weed through thirst trap accounts that were brought up before hers - when searching by user name.

I took a few minutes a day to search for cat pictures and cooking videos, and sharing cat videos with my spouse (her reason for using IG). It was a fight, but after a few days the thirst trap suggestions immediately flipped to giving me stuff I can look at in public and not feel like a massive creep. There was a long tail, with occasional "....are you sure?" suggestions, but at this point a couple years of carefully reinforcing the same stuff seems to have overwhelmed the thirst trap suggestions.
by skue | 2026-02-21 08:56:04+00:00
How do Google and Apple plan to deal with the immense influx of personal apps that AI will help non developers build?

Recently, I was thinking that AI might force Apple to open their devices, because if Apple’s competitor allows sideloading, then the creatives and builders most likely to build their own apps will migrate to the platform providing less friction to getting custom apps onto their device. But apparently THIS is the time that Google has chosen to start locking down their devices as well?!
Peer validation platform for engineering skills (inspired by X community notes)
by ms_sv | 2026-02-21 08:59:07+00:00
Hello Everyone.

Resumes and CVs have a fundamental problem: anyone can write anything. As someone who's been job searching, I've wondered if there's a better way to separate genuine experience from creative writing, I am an engineer at the end of the day not a creative author.

I've been thinking about applying something similar to X's Community Notes model to skill verification. The idea: engineers could "fact check" claims on each other's CVs - not as formal references, but as a crowd-sourced verification layer, where you get a check-mark on your skill like X check mark. If someone claims they're an expert in Kubernetes, other engineers who've worked with them (or reviewed their OSS contributions) could validate or challenge that. Also companies have repetitive interviews, why can't I simply do one interview and be "interviewed" fully for all other companies?

I put together a rough prototype to illustrate the concept: https://skillverdict.com/

Some questions I'm trying to work through(ask more please):

How useful will this be for engineers?
Would this create its own set of problems? (gaming the system, bias, grudges)
Could it scale beyond personal networks?
Would companies even trust community-sourced verification?

Curious what you guys think about the mechanism itself, not the prototype. Would something like this reduce friction in hiring, or just add another layer of noise?
by jcgl | 2026-02-21 08:59:13+00:00
The final quoted portion doesn't seem to agree with your final statement though?

> Those price increases are estimated to fully offset the 30 percent of price increases absorbed by U.S. businesses that import goods, so the net effect of tariffs is to raise U.S. consumer prices by the full portion of the cost of the tariffs borne domestically (95 percent)."

The idea expressed previously in your excerpts is that domestically-produced US goods do increase their revenues by the amount that their produced-abroad competitors. So things are okay from that perspective.

But what that final quotation says is that those increased revenues are 95% paid for by US consumers. In other words, they "effectively pay the tax."
by wqaatwt | 2026-02-21 08:59:14+00:00
> we are up to thousands of little emperors all telling the world how we have to think, how we have to compute

Imho that’s one of the best outcomes i.e. companies which will try to comply with all of the rules will go out of business or move to a less dystopian jurisdiction. Then there will be a lot economic pressure to build networking and payment systems which allow working around all this crap.

If on the order hand it’s actually streamlined and works without any friction nobody will lose their jobs/tax revenue and governments will come up with even more and even more dystopian shit.
Show HN: Grantvera – cell-level permission control for Google Sheets
by omsharp | 2026-02-21 08:59:23+00:00
Grantvera adds granular permission control on top of Google Sheets.

An owner selects a range to share. Within that shared range, the owner can explicitly choose which cells are editable and which are read-only, and can also set the input type of the editable cells for validation.

The assignee does not access the raw spreadsheet directly. Instead, they interact through a controlled web UI. Every write is validated server-side against the defined editable cell set, and only permitted cells are updated via the Google Sheets API.

OAuth integration with Google Drive and Sheets.

No spreadsheet content is stored.

All writes execute under the owner’s authorization context.

The spreadsheet remains the single source of truth. Grantvera acts as a constrained access layer on top of it.

Interested in feedback.

https://grantvera.com
by shaky-carrousel | 2026-02-21 08:59:31+00:00
> The shit gets dumped on people who are lonely, have a grudge, feel left out.

Like teenagers.

> The people who are in deep likely need years of deprogramming and therapy to recover which they will never get.

Like a cult. Current social media is like a cult which preys upon teenagers. No wonder they want to ban it for young people. American government trying to forcefully spread their cult via the freedom.gov proxy is the vile cherry on top.

This is a quantitative change for Trump. He went from preying upon a few kids to preying upon all the kids in the world. He must feel ecstatic.
by nebula8804 | 2026-02-21 09:01:22+00:00
I'm not so sure. Your comment is based on assumption that all they needed to do was launch the thing and then its free riding there. This is developing an entire platform we are talking about.

The original console cost a billion dollars to produce(confirmed in the documentary here: https://youtu.be/yT_i6hXf9WU?list=PL0il2l-B_WwadxfTkK3-NLoYN... ).

There are xbox engineers confirmed reading these forums so maybe some of them can shed some light but it seemed like the first console was a dud for multiple reasons and they killed it off early. Why would they do that if it was making money?

The second console was on its way to being a blockbuster until the RROD issue cost them at least a confirmed billion dollars in losses(also mentioned in the documentary here: https://youtu.be/z2d6IMBS8oY?list=PL0il2l-B_WwadxfTkK3-NLoYN... ).

So thats a confirmed negative two billion dollars and we haven't even talked about the cost to develop 360.

Sony caught up to them after RROD and managed to turn PS3 around so 360 didn't even end the cycle as number one in sales. After that, they never had any real success again and continued to fall further behind until today.
Show HN: Remove backgrounds and make passport photos in the browser
by shahidsj | 2026-02-21 09:02:01+00:00
I was tired of "free" photo tools that required signups or uploaded my personal photos to their servers.

So, I added two new utilities to my site:

A background remover that runs in the browser.

A passport-size photo maker with standard dimensions.

Everything is 100% client-side (privacy-first). No data ever leaves your machine. I'd love some feedback on the UI and if the background removal quality is up to the mark for you guys.

Site: https://webaitool.net/bg-remove.html
by 0xDEAFBEAD | 2026-02-21 09:02:24+00:00
>There has most certainly been a major decline in values over time that corresponds quite strongly with the rise in the perceived importance of wealth.

Are you sure that people in the past viewed wealth as less important? If anything, the 1960s hippie movement would represent a shift away from a cultural emphasis on wealth, no?

I would suggest that internet commenter nihilism and politician nihilism form a self-reinforcing spiral. If commenters will take a nihilistic view of your actions no matter what you do, you might as well secure the bag. And if politicians are always securing the bag, you might as well write nihilistic internet comments about them.
by KaiserPro | 2026-02-21 09:02:39+00:00
I don't go to that optician anymore.

The list of mistakes were as follows:

1) it corrected my eye with a slight astigmatism, but over corrected my other eye, so the agregate was pretty much the same

2) the aformentioned blue filter, which is part of the anti-glare coating.

3) my non-astigmatic eye was incorrectly marked with a prescription

4) I don't actually need glasses because I can see to the bottom of the eye chart without them. Its just as I'm now older, my vision is not as good as they used to be.

5) these were designed for "close work" but actually don't really help me focus closer to me.

However, arguing that, as a non-proffesional with only a passing understanding of optics (non-biological) with a large multinational company doesn't seem like a good use of time.
by seanhly | 2026-02-21 09:03:38+00:00
Curiously, this isn't the first time archive.today was implicated in a DDoS. A HN post from three years back shows some pasted snippets of similar XmlHttpRequest code running on archive.ph (an archive.today synonym site). Post link: https://news.ycombinator.com/item?id=38233062

On that occasion, the target of the attack was a site named northcountrygazette.org, whose owner seems to have never become aware of the attack. The HN commenter noted when they went to the site manually it was incredibly slow, which would suggest the DDoS attempt was effective.

I tried to see if there was anything North Country Gazette had published that the webmaster of archive.today might have taken issue with, and I couldn't find anything in particular. However, the "Gazette" had previously threatened readers with IP logging to prosecute paywall bypassers (https://news.slashdot.org/story/10/10/27/2134236/pay-or-else...), and also blocks archivers in its robots.txt file, indicating it is hostile towards archiving in general.

I can no longer access North Country Gazette, so perhaps it has since gone out of business. I found a few archived posts from its dead website complaining of high server fees. Like the target of this most recent DDoS, June Maxam, the lady behind North Country Gazette, also appears/appeared to be a sleuth.
by Alive-in-2025 | 2026-02-21 09:04:12+00:00
they you could kick him out of the org for "creating a bogus account" - "our company isn't bad, you're the bad actor". The bad company he was try get to fix their thing didn't behave properly, end of story.

This happens over and over again because for so many companies their natural thing is to hid any problem and threaten to sue anyone who discloses. Software problems have broken that typical behavior, to some extent.

I salute the author of this post who dared to do the right thing. I hope the company comes to their senses and doesn't try to punish the diving instructor. Over and over companies have tried this same "attack the problem reporter" strategy when software problems are revealed.
by bob1029 | 2026-02-21 09:05:53+00:00
OAuth didn't make a lot of sense to me until I learned about RFC7517. JSON Web Keys allow for participants to effectively say "all keys at this URL are valid, please check here if not sure". The biggest advantage being that we can now rotate out certificates without notifying or relying on other parties. We can also onboard with new trusted parties by simply providing them a URL. There is no manual certificate exchange if this is done all the way.

I am seeing many fintech vendors move in this direction. The mutual clients want more granular control over access. Resource tokens are only valid for a few minutes in these new schemes. In most cases we're coming from a world where the same username and password was used to access things like bank cores for over a decade.
Show HN: New kid on the block: meet Ajime, robotics CI/CD next-gen platform
by ajime | 2026-02-21 09:06:26+00:00
Hello Roboticits!

We are building Ajime (https://ajime.io) to provide a zero-config and pipeline building, Ajime is a CI/CD drag and drop experience for edge computing & robotics. Just link your GitHub repository, we handle the build and deployment of CUDA-ready containers, manage your cloud/on-prem databases and compute resources (provide also fast hosting), and provide secure, fleet connectivity over the cloud. Easy like building lego.

Whether you’re deploying to an NVIDIA Jetson or Raspberry PI or any other linux based SOM, Ajime automates the entire pipeline—from LLM-generated Dockerfiles with sensor drivers to NVIDIA Isaac Sim validation. We’re in private beta and looking for engineers to help us kill the “dependency hell” of robotics DevOps. Check out the demo and join the waitlist at ajime.io.
by gaogao | 2026-02-21 09:06:26+00:00
Yes, though often the easiest way to replicate it in regular programming languages is to translate that language to Lean or another ITM, though auto-active like Verus is used for Rust pretty successfully.

Python and C though have enough nasal demons and undefined behavior that it's a huge pain to verify things about them, since some random other thread can drive by and modify memory in another thread.
by llbbdd | 2026-02-21 09:06:56+00:00
Who? Most of the people "named in the Epstein files" are guilty in public of consorting with a guy with a lot of money and not much else. Pretending they're all perverts is one-handed behavior. If you think any of this is unique or exceptional or worthy of mass protest? then I think you should read closer, because you've been had for a fool.
by dxdm | 2026-02-21 09:07:06+00:00
As I understand it, trunk based development does not call for committing directly to main. It says to avoid long-lived branches for releases, whole features, etc.

There's nothing wrong with small, short-lived branches that can be quickly reviewed and merged into main.

That being said, I've been in a small team where the blessed style was to commit directly to main and do reviews "on demand". It quickly gets features deployed in a way that builds a lot of rot and debt into your project that people quickly lose a good understanding of. Then you just keep piling.

There's probably a way to get this done properly with a tiny team of very experienced and well-aligned developers; but that's usually not what you have in an environment that pushes this kind of extreme no-review-interpretation of trunk-based development.

Slow down, do reviews, avoid keeping branches open for more than a day.
by mechsy | 2026-02-21 09:07:30+00:00
Absolutely! This is oftentimes my first easy task in the morning to kick things off. For many teams the temptation to let dependencies ‚rot‘ is real, however I have found a reliable way to keep things up-to-date is enabling dependabot and merging relentlessly, releasing often etc.

If your test suite is up to the task you’ll find defects in new updates every now and then, but for me this has even led to some open source contributions, engaging with our dependencies’ maintainers and so on. So I think overall it promotes good practices even though it can be a bit annoying at times.
by chrisjj | 2026-02-21 09:08:00+00:00
> it's possible that both Archive.today and the Internet Archive say they have a copy of a page, but then when you open up the IA version, you might see that it renders completely differently or not at all

AT archives the page as seen, even including a screenshot.

IA archives the page as loaded, then when you view hamfistedly injects its header bar and executes the source JS. As you'd expect the result is often wrecked - or tampered.
by avadodin | 2026-02-21 09:08:02+00:00
There was a meta article a few days back, but HN should do something to rescue ShowHN posts that are neither AIslop nor humanslop because people here seem to report them by default.

They were paid to do this cool thing and possibly to post it here as well but if you dislike "capitalist pigs", maybe you shouldn't browse yc.
by DrSiemer | 2026-02-21 09:09:12+00:00
Adding a deadline to a disclosure of a vulnerability of this nature is standard practice. Every day it's not patched is a day data could be compromised. Any halfway competent lawyer should be fully aware of this.

Disclosure without a deadline WILL be ignored.

It does not matter if it's Google or your local boyscouts club, any organization requiring users to provide information that can be abused in the wrong hands takes on a responsibility to handle such data responsibly.
by sandeepkd | 2026-02-21 09:09:41+00:00
I alluded to the usage of being hijacked for the same reason. From what I have seen, the nuance around oAuth1 vas auth2 vs auth2.1 vs OIDC is just something that most people use without understanding the details just in order to achieve the end goal. On the top you can add PCKE, client credential, password credential and now we are talking about something thats not comprehensible anymore. I am not a purist by any means but it still pains when people do thing whiteout understanding them.
by swiftcoder | 2026-02-21 09:12:39+00:00
> companies should be categorically required to have an cyber audit

I work with a firm that has an annual pen test as part of its SOC2/GDPR/HIPAA audit, and it's basically an exercise in checking boxes. The pen test firm runs a standard TLS test suite, and a standard web vulnerability test suite, and then they click buttons for a while...

The pen test has never found any meaningful vulnerabilities, and several times drive-by white hats have found issues immediately after the pen test concluded
by llbbdd | 2026-02-21 09:12:42+00:00
Half the time it's all there is to do on this text-based website, which is most of what I'm complaining about. I can read in peace just fine but there are stupid vibe-coded rape inspection projects on the front page here every single day. I think pretending you are all titillated about the same as the Facebook audience you pretend to be above is worse. Let's make a rape gmail! let's make a rapebook! How many ways can we present the rape in the most exciting way! It's disgusting to pretend it's about investigation, it's about enabling private pervert detectives.
by bonoboTP | 2026-02-21 09:13:31+00:00
So strange that I have to scroll this far to find mention of AI writing. It's clearly AI, but apparently now even tech people get fooled not just boomers on Facebook. They don't name the company and the whole story is just way too perfect, and cookie cutter... If you're a human reading this, consider that the comments here may also be AI. Dead Internet and all..
by llbbdd | 2026-02-21 09:13:55+00:00
I wasn't blind to this many years ago when it came to light. I'm indifferent now when it doesn't matter, and disgusted when my countrymen are so easily distracted by bait. You are distracted, wasting your time, and convinced into thinking you aren't. Jerk off every single day thinking that being enlightened matters. "Blind" lol, how many times x day should I cum defending this?
by qkc3p3Jbf4 | 2026-02-21 09:14:48+00:00
Looks lovely. I was keen to try this but US and Canada only unfortunately.

Also: subscription fatigue is real. Of course I understand that fetching weather data isn’t free etc. (even though I’m intrigued by their homegrown forecast model) but I’ve already got 10+ subscriptions on iOS and I’m not sure if I’ve got the stomach for another. Apple’s weather app is finally good though since the Dark Sky acquisition.
by bitpush | 2026-02-21 09:14:48+00:00
Its always fascinating that HN crowd seems to be blind to Apple's very obvious transgressions.

Even the article makes the mistake. They paint every company with a broad brush ("all AI companies are ad companies") but for Apple they are more sympathetic "We can quibble about Apple".

Apple's reality distort field is so strong. People still think they are not in ad business. People still think they stand up to government, and folks chose to ignore hard evidence (Apple operates in China on CCP's pleasure. Apple presents a gold plaque to President Trump to curry favors and removes ICEBlock apps ..) There's no pushback, there's no spine.

Every company is disgusting. Apple is hypocritical and disgusting.
by AxiomLab | 2026-02-21 09:15:02+00:00
Theorem provers enforce an absolute epistemic rigor that stochastic AI generation completely lacks.

When you ground a system in formalized logic rather than probabilistic weights, you don't just get better results; you get mathematical guarantees. Relying on continuous approximation is fine for chat, but building truly robust systems requires discrete, deterministic proofs. This is exactly the paradigm shift needed.
by seanhunter | 2026-02-21 09:15:15+00:00
Yes exactly. There is this thing called the “Curry-Howard Isomorphism” which (as I understand it) says that propositions in formal logic are isomorphic to types. So the “calculus of constructions” is a typed lambda calculus based on this that makes it possible for you to state some proposition as a type and if you can instantiate that type then what you have done is isomorphic to proving the proposition. Most proof assistants (and certainly Lean) are based on this.

So although lean4 is a programming language that people can use to write “normal” programs, when you use it as a proof assistant this is what you are doing - stating propositions and then using a combination of a (very extensive) library of previous results, your own ingenuity using the builtins of the language and (in my experience anyway) a bunch of brute force to instantiate the type thus proving the proposition.