MurphyA/hacker-news huggingface dataset:
by lxgr | 2026-01-10 09:07:07+00:00
> the banks will want to move the entire flow into whatever secure device, enclave, or "agent" they supply - meanwhile, the whole point of me having a general-purpose computer is to be able to do general-purpose computing that I want within this flow.

Sure, you should definitely be able to do what you want with your computer, but you're actually demanding more here (at least in the case of transaction initiation and confirmation): For others to also trust the outcome of whatever you did on your own computer.

Banks are often legally required to cover losses resulting from unauthorized account access, so I can somewhat understand them wanting to minimize the chance of that happening. Sandboxed trusted computing, when done well, can strike that compromise much better than annoying non-solutions like root detection heuristics or invasive full-system attestation.

> As far as I know it, there's no way of making it happen without breaking sandboxing or otherwise hacking the app and/or API endpoints in a way that's likely to break, and likely to get you in trouble with the bank.

Banks should probably be required to make such a read-only API available (and in the EU, they are, to some extent – unfortunately only to "trusted", i.e. regulated and registered, service providers, raising the old question of who determines who is and isn't trusted). This is a very different story from transaction initiation.

Unfortunately, there are also caveats here. It's getting more and more common for companies to require me to "connect my bank account", which often means nothing less than granting them full and persistent account view access.

I think having the API still outweighs the downsides of others also starting to make demands for that access, but it's a slippery slope. For example, Airbnb not too long ago wanted full access to all(!) my Chase accounts to "verify my credit card".
by Someone | 2026-01-10 09:08:12+00:00
> Hilariously they're never found a pair of shoes, only singles.

From that first link: “These two little treasures were part of the hoard of over 400 shoes excavated in 2016. One would probably think that we have lots of pairs of shoes however, we only have a few. But this pair was easier to identify as they were small and have a less usual construction style as they do not have a seam that stitches them up over the toe and they were also found close together.”

Also, looking at those shoes, many of them don’t look beyond repair to me. Quite a few look like they’d need only minor repairs.
by qsera | 2026-01-10 09:08:35+00:00
Now that the original thread is flagged and hidden, we can discuss without fear.

In capitalism, the incentive of the manufactures to maintain product quality is that people won't buy the thing if it is bad, or does not appear to work.

This cannot be cheated. You cannot "bribe" a population.

But when government mandates a product, then it changes the equation greatly against the population. Manufacture is no longer incentivized to maintain quality. If the quality is not easy to identify then it becomes much more easy.

Now, they are outside capitalism. Now they can bribe the government, and enjoy perpetual sales.

So to answer your question, if it was not mandated, there would be no push against it. Such businesses will run out of business as capitalism run its course.
Show HN: A daily cryptic clue puzzle with a twist
by jpallen | 2026-01-10 09:10:31+00:00
Hi HN,

I've created https://riddlegrid.com, which is a daily puzzle game with about 10 cryptic clues to solve each day. But rather than being arranged in a typical crossword, all of the letters from the clues are already visible and arranged in grid. You find answers by swiping through the letters (like Squardle if you know that).

I made it for myself and friends and family, and we've been enjoying playing it over the last few days, so I thought you might like it too. I find having all the letters available but jumbled up adds a new dimension to it where you search for words or fragments if you're stuck. As you solve clues the remaining ones get easier too.

Would love to know what you think!
by becquerel | 2026-01-10 09:10:40+00:00
Tao's broad project, which he has spoken about a few times, is for mathematics to move beyond the current game of solving individual theorems to being able to make statements about broad categories of problems. So not 'X property is true for this specific magma' but 'X property is true for all possible magmas', as an example I just came up with. He has experimented with this via crowdsourcing problems in a given domain on GitHub before, and I think the implications of how to use AI here are obvious.
by 3abiton | 2026-01-10 09:12:14+00:00
Not to mention, play integrity is being used a some sort of "anti cheats" by bank apps and other essential services. Even some government apps in the EU, essentially forcing you to be spied on by google.

The worse part is that, you can do all of those functionality with a browser on linux (or Android), yet to use them as Android apps on a device without gapps (even if jt's not rooted and with locked bootloader) is not allowed. Make this make sense.
by charamis | 2026-01-10 09:12:18+00:00
I don’t understand why this has been downvoted, it’s true that the US has done many interventions in the past based on vague rationale or simply by misleading public opinion. And it has always been a part of its’ state propaganda to make it look like they are on the good side, doesn’t mean they are though every time. The difference this time is that they didn’t even try that much to shape a proper narrative.
by arjie | 2026-01-10 09:12:57+00:00
Most of the changes make sense given the population. There's much of it that we will be applying our own choices to, but I understand why others are different. As an example, White Americans have a pretty low rate of chronic Hep B. My wife is Taiwanese American, I am Indian. Rates among our extended family are probably much higher than the background rate for White Americans.

Blood contact is more common (at least for the life we lead) than one thinks. My daughter, while 9 months old, once stuck her finger suddenly into my nostril (go to my profile and see what a big nose I have) and scratched the inside of my nose giving me a mighty nose bleed. It so happens that I don't have Hep B.

The base rate among White Americans means many of them can safely opt out. We probably shouldn't, so we got the Hep B vaccine. When we have our second daughter, we will vaccinate her for it as well.

But we're not vaccine-maxxers. My daughter hasn't received a COVID-19 vaccine, for instance. I think that's in line with what most Western countries do and their children are doing mostly well.
by codeflo | 2026-01-10 09:14:10+00:00
> apparently

When someone takes the time to explain undergrad-level concepts in a comment, responding with "are you an expert?" is a level of skepticism that's bordering on hostile. The person you're responding to is correct, it's rare that the theorem statement itself is particularly hard to formalize. Whatever you read likely refers to the difficulty of formalizing a proof.
by teiferer | 2026-01-10 09:14:12+00:00
An issue with this approach is that it may not be robust. That is, you could run into a casr where a minor modification of your program is suddenly not provable anymore, even though it is still correct. The heuristic (AI or otherwise) has necessarily limits, and if your are close to the "edge" of its capabilities then a minor change could push it across.

If the proof is rooted in the programmer's understanding who can give proof hints to the prover then any modification of the program can then be accompanied with a modification of the hints, still allowing automatic proofs. But if the human has no clue then the automatic system can get stuck without the human having a chance to help it along.
by beeflet | 2026-01-10 09:14:41+00:00
The amount of electricity we can produce is limited only by regulation, because we have practically unlimited amount of fission energy under our feet. That is what you are seeing now with all of these new nuclear plants being built and de-decommissioned. If that is too scary for you, we also have the world's greatest reserves of shale gas.

I am not pro-AI, and I agree that the market will crash. But what I take issue with is this NIMBY mentality that we should nitpick proposals with a thousand fake reasons for why we can't build anything in this country. We can't do big engineering projects like china because they are too much of an eyesore or they use too much water or they're not zoned correctly.

We can't put up a new apartment block, it's too much of a strain on the local water supply. Okay can we collect more water, invest in a new reservoir? Of course not, it will endanger the tumbleweed population.

We can't let a new datacenter go up because it will cause everyone's power prices to increase. Okay maybe we can produce more power?? No, BECAUSE ENERGY IS FINITE AND THE SUN IS JUST GOING TO EXPLODE ANYWAYS SO WHY DO YOU EVEN CARE. WTF?

Why can't we build things? Because we just can't, and actually it's impossible and you are rude for suggesting we build anything ever. It's circular reasoning designed to placate suburban NPCs.

If you oppose AI because it is ruining art, or it will drive people out of jobs, just say that. Because these fake complaints about power and water are neither compelling nor effective (they are just technological and material problems which will be ironed out in the coming generations).
by xlii | 2026-01-10 09:14:45+00:00
Dunno.

I have 90 lines zsh config with 3 plugins (compinit, vcs-info, edit-command-line) and startup-exit sequence takes 0.32s.

You learn very quickly where the lags come though when you work on a big old repository (I learned this on Emacs source code) where getting current branch for jujutsu takes ~5 second. Git is faster in this regard but it still is ~0.3s

I'm not fan of starship (I don't use fancy command line variables in general) but many of those issues can be dealt with awesome bkt caching utility [0]. Instead of live reading just let bkt cache it with long TTL with eager async refreshes. My guess is that Starship does exactly that.

[0]: https://github.com/dimo414/bkt
by aswegs8 | 2026-01-10 09:15:23+00:00
I don’t think that conclusion follows. These results don’t mean “barely effective.” They mean that, on average, people who get therapy or exercise end up noticeably better off than people who don’t. When researchers translate the results into intuitive terms, therapy typically moves the average person from the middle of the pack to around the top 30 percent, and exercise to roughly the top 35 percent. That’s the same general magnitude of benefit seen with many approved medications, including antidepressants themselves. Depression trials have large placebo effects, which makes the numbers look smaller, but that doesn’t mean the treatments are doing almost nothing.
by Fnoord | 2026-01-10 09:16:37+00:00
I've been using fish for nearly 10 years.

First, there are some ways to make fish more compatible with bash.

If you want to do some shell scripting in fish, or running other people's shell scripts (or commands) this may aid you since you wouldn't have to port them (or take less time to port them over).

You can achieve this with a plugin system such as 'oh my fish' or 'fisher'. But, as always, it adds complexity (and bloat :P), you'll need it on every fish shell (including remote systems), etc.

It is a bit akin to having nvim with plugins versus being able to use vi. Sometimes, you're going to need to be able to use the latter.

Also, to people who recently adopted fish: fish has been made more and more compatible with bash throughout those years.

FWIW, I use fish with starship these days.
by RagnarD | 2026-01-10 09:17:04+00:00
But why are you? Unless it requires interfacing with a JS library or some JS operation on the DOM, the goal of a Blazor app is to write in C#, not JS. What's your JS code doing that it requires passing C# objects to it? (That said, Blazor supports JS Interop, see https://dev.to/rasheedmozaffar/intro-to-js-interop-in-blazor...)
by -i | 2026-01-10 09:17:05+00:00
747.run is a realtime infinite Ai wikipedia, every word is a link to a unique article based on the word in the URL, Ai frequently checks all URL's and writes a new article based on the word you click.

You can also write articles and all your words become links, use the website address bar to type any word after 747.run/ or type 747.run/ behind any domain to generate unique articles based on domain.

Have a group chat with unlimited people and Ai, share any link to chat with anyone, press space to chat with the Ai, have an Ai chatbot on your website or chat with users privately by embedding it on your website with iFrame (set BG color or leave it transparent)

The Ai sometimes drifts & hallucinates.
by atoav | 2026-01-10 09:17:05+00:00
Well the trick is to schedule the meeting at hh:mm, but start it at hh: mm+5 and then just make this a policy organization-wide.

In academia (mostly European) this has been a concept for centuries to allow changes of classes to happen: https://en.wikipedia.org/wiki/Academic_quarter_%28class_timi...

So you can have a c.t. event (cum tempore = with time) or a s.t. event (sine tempore = without time).
by Fwirt | 2026-01-10 09:17:26+00:00
Be willing to accept less pay. Work in the public sector. Government and education jobs tend to be less demanding and pay commensurately.

As mentioned by others, nobody gets paid to “chill”, but with fewer responsibilities there can be more opportunities to take initiative and grow in a direction that interests you. Once you clear out your backlog if things are slow you can start looking for ways you can improve the system while sharpening your skills on your own terms.
by danielbln | 2026-01-10 09:18:00+00:00
Let's not rewrite history. Somehow the counter point to these AI discussions seems to be some revisionist fantasy past where humans would only write perfect code at the height of the craft. That's just not true, there was plenty of shit code around before and business interests never cared one iota about "clean" code.

So no, we haven't gone from "making software as good and efficient as possible", that was always a niche.
by astrobe_ | 2026-01-10 09:18:26+00:00
The funny thing is that HTML was supposed to be a markup language that could be read/written by hand, while making it also machine-to-machine friendly - notably by making some "semantic" features accessible for browsers. One of these for instance is the structure of the document; marking section headers was supposed to let browser to automatically generate a table of contents. Additionally CSS was supposed to let users choose how all this was displayed.

All of this failed - or rather, was undone and cancelled by the "modernization" of the Web. Namely the arrival of for-profit companies on the Web, be it Facebook of the press like the New York Times.

It was a boon as they brought valuable content, but they brought it with their own rules. The first set of which is the ads-supported model, which is by definition the opposite of free content; an ad-supported website is not free in a very sneaky way, and it's not just about privacy and manipulative practices (targeted ads, as if ads were not already manipulative enough). Users are actively prevented from consuming the content the way the want.

The situation today is that very few browsers offer out-of-the-box a way to apply a personal CSS, and I think none will generate a ToC from the headers of a HTML page.

And the "semantic" part - far from specialized and more accurate semantic markup frameworks that were considered - is being completely taken over by LLMs; an insanely expensive brute-force solution IMHO.

The web has already be reinvented mostly the way you suggest, see for instance the Gopher and Gemini protocols, but they'll stay forever "niche" networks. Which could be not so bad, as it is very clear that the Web is full of actors malicious to various degrees. Tranquility by obscurity?
by eddythompson80 | 2026-01-10 09:18:31+00:00
For me it’s always been an inability to “copy this command from stackoverflow” (or in the modern day, it’ll be copy this from ChatGPT) into your shell. Maybe it’s better now, but the last time I seriously gave fish a chance was 2014.

Also one of may main use case is documenting things other developers can do to make their life easier. There are handful of things where zsh behaves differently than bash. And while those handful of thins are not even a POSIX or shell things, they often come up.

The reality is, every day I’m fighting with “developers” who don’t know what the difference between AWS, Linux, and bash is. Throwing “fish” into the mix seems like I’m just being obtuse for no reason. I have sept hours trying to explain to some dumbass that git-bash on windows is not the same thing as Linux only for them to call me “oh he really cares about ‘bash’”-guy. While claiming they are “Linux developers” as they use macOS.
by jwrallie | 2026-01-10 09:18:51+00:00
Interestingly I have not noticed ads on Perplexity yet, but it could be due to a number of reasons including using ublock and not being located in the US. Kagi seems more appealing to me in the way they do business, but I got a free year and lower prices for academia through Perplexity, so it does not make sense to switch.
by junto | 2026-01-10 09:19:53+00:00
Agreed but not just NuGet. David also was a key driver for SignalR and now Aspire (which is genuinely the most awesome tool I’ve seen for a while). He’s also extremely humble and doesn’t need to try to impress anyone.

I think it’s clear that he’s just doing this tool for fun and chose to share it. People shouldn’t mix up their anti-Microsoft autoeroticism and a person that happens to work for them.
by Ianjit | 2026-01-10 09:20:37+00:00
I guess it all comes down to what a meaningful gain is. I agree that 10-30% is meaningful and if “software is a gas” this will lead to more software. But my expectations had become anchored to the frontier labs marketing (10x), and in that context the data was telling me that LLMs are a good productivity tool rather than a disruptor of human labor.

BTW thanks for the links to the studies
by DELTA-X | 2026-01-10 09:20:52+00:00
I’m sharing a full corpus (750 pages) proposing a non-decision cognitive protocol designed for AI alignment, medical conformity, and institutional governance.

Core idea:

The system does not decide

It structures, constrains, audits, and stops

Human agency remains the only decision layer

The corpus includes:

A formal protocol architecture

Medical and legal conformity framing

Governance and audit mechanisms

Failure modes and stop conditions

This is not a product, not a model, not a framework for prediction.
It’s a constraint-based structure meant to prevent misuse rather than optimize outcomes.

Open access: https://zenodo.org/records/18190262

Looking for technical and structural critique, not hype.
by LoganDark | 2026-01-10 09:21:33+00:00
Well, with this last one they finally made the telephoto 48MP. Also, vapor chamber is nice. I don't know if the 18 will have enough for me to upgrade, and it might even have a reason for me not to upgrade (removing gestures from Camera Control). But so far it's been every year, because I've only been using iPhone for a couple years, and my first was a refurbished 15 Pro Max.

The 17 Pro (non-Max) only comes with up to 1TB of storage, but that's still more than my 15 of before.
by cookiengineer | 2026-01-10 09:21:48+00:00
I thought SSE2 and everything that came after like AVX 512 or SSE4 were made for streaming, leveraging the cache only for direct access to speed things up?

Haven't used SSE instructions for anything other than fiddling around with it yet, so I don't know if I'm wrong in this assumption. I understand the lock state argument about cores due to always max 2 cores being able to access the same cache/memory... but doesn't this have to be identical for FPUs if we compare this with SIMD + AVX?
by jimnotgym | 2026-01-10 09:22:02+00:00
My neurodiverse mind often won't let me sleep that early. It just whirls with problem solving that keeps me up all night if I go to bed in a whirl. Yes I know how to meditate. Imagine spending years at it and finding yourself in a mental state that means you can't clear your mind any more. You can't 'let it go', it just comes straight back in a more aggressive way with flash backs and visions. What would you do now?
by MORPHOICES | 2026-01-10 09:22:12+00:00
I have kept track of a few instances where AI has been applied to real and genuine problems. ~

Not trivial problems. Issues with possible solutions, errors, and unresolved history.

AI did not \\"solve\\" any issues on its own, but what stood out to me was the speed at which concepts could be rewritten, restructured and tested for stress.

A mental model that has been useful to me is that AI is not particularly good at providing the first answer, however, it is very good at providing the second, third, and tenth versions of the answer, especially when the first answer has already been identified as weak by a human.

In these instances, the progress seemed to stem from the AI being able to: Quickly reword and restate a given argument. Convert implicit assumptions into explicit ones. Identify small gaps in logic before they became large.

What I have been grappling with is how to differentiate when AI is just clarifying versus when it is silently hallucinating structure. Is the output of AI being treated as a draft, a reviewer, a rubber duck, or some combination? When is the output so fast that the rigor of thought is compromised? I am interested in how others are using AI for hard thinking and not just for writing cleanup.
by internet_points | 2026-01-10 09:25:53+00:00
I find it horrifying (though not surprising) how many people can assume that just because you express some level of support for a group, you are complicit in all actions taken by that group.

In the extreme, that sort of view makes it impossible to have criminal lawyers.
(And not far below that extreme, we have people using all their power to go after independent judges and lawyers with every extrajudicial tool at their disposal, legal system be damned.)

The nuance between speech and action was one of the many casualties of social media. I wonder if, back in the 90's, people would get arrested for holding "FREE KEVIN MITNICK" posters, if we'd had two decades of social media before it.
by goku12 | 2026-01-10 09:25:59+00:00
> Even some government apps in the EU, essentially forcing you to be spied on by google.

The same in India. I can't use even the government weather app and the disaster alerts app without signing in to google play.

Seeing that this malpractice (of forcing the users into Google's surveillance net) is widespread among seemingly unrelated agencies like banks and government agencies of several nations, I would really like to know who is peddling this draconian scheme among them.

I want to send some angry rants to the app owners/developers and ask for those malicious peddlers to be permanently banned from further interference in cyber security matters of these institutions.
by MORPHOICES | 2026-01-10 09:26:28+00:00
AOSP has felt different lately, what’s going on? Not much. ~

More like a change of tone.

Quarterly releases given more emphasis. More precise stability language. Rather than feeling like an afterthought, feature flags are now receiving first-class treatment.

My view.

The isolation of platform work is earlier.

Landing flags are occurring more frequently than ever.

By “Stable,” it appears the Intuit team is suggesting “boring” which is deliberate.

I have been using a simple lens.

The surface of the platform is slow and predictable.

A gated and reversible design.

The OEM risk will be pushed later.

I wonder how other people see it.

Is Android giving off more conservative vibes?

Are flags cutting down on breakage, or just relocating it?

Has your testing strategy changed if you’ve shipped against AOSP?

In a practitioner’s take, not in a press narrative.