MurphyA/hacker-news huggingface dataset:
by czgnome | 2026-02-10 20:23:00+00:00
Theorem. If ZFC is consistent, then there is a model of ZFC that has a definable complete ordered field ℝ with a definable algebraic closure ℂ, such that the two square roots of −1 in ℂ are set-theoretically indiscernible, even with ordinal parameters.

Haven’t thought it through so I’m quite possibly wrong but it seems to me this implies that in such a situation you can’t have a coordinate view. How can you have two indistinguishable views of something while being able to pick one view?
by delichon | 2026-02-10 20:23:22+00:00
> the model decides whether a mention like “Sarah” maps to an existing “Sarah Chen” node or represents a new entity, and then either updates the existing note or creates a new one.

Thanks! How much context does the model get for the consolidation step? Just the immediate file? Related files? The existing knowledge graph? If the graph, does it need to be multi-pass?
by chongli | 2026-02-10 20:23:29+00:00
The simple fact you wanted to write this:

i=0+1*i

Makes i a number. Since * is a binary operator in your space, i needs to be a number for 1*i to make any sense.

Similarly, if = is to be a binary relation in your space, i needs to be a number for i={anything} to make sense.

Comparing i with a unary operator like - shows the difference:

i*i=-1 makes perfect sense

-*-=???? does not make sense
by godelski | 2026-02-10 20:23:31+00:00
Do you have a source (link) on that?

I have follow-up questions but they'll be much better if there's a source we can talk around.

Literally the first result of a google search for

"RosIndex" coca cola brand recognition in russia

returns this thread... I get 3 results... The next is a PDF (CANnual Report) that mentions "rosindex" but around 2016 and nothing about coke and then just a slideshare. Even the LLMs are returning this thread as the source.

So I have questions, but can we start with the source?
by netsharc | 2026-02-10 20:23:53+00:00
Seems like the question is never answered. There's a lot of how the trucks get there, but not why they're better. (I skimmed it, the writing has too much emotional bait of "Look how evil they are! Don't forget, we're the good guys!").

Maybe it's survivor bias, the ones that are crap have been blown up by a Hellfire shot by a drone..
by wfleming | 2026-02-10 20:24:04+00:00
For folks who have never seen it, these are the referenced Top Gear segments:

- part 1: https://youtu.be/xnWKz7Cthkk

- part 2: https://youtu.be/xnWKz7Cthkk

- part 3: https://youtu.be/kFnVZXQD5_k
by retube | 2026-02-10 20:24:12+00:00
High frequency is the domain of market makers. They are not taking positions in anything (well, only momentarily), they are just matching buyers with sellers. Actual investors move the market, and can be split into "fast money" and "real money". Fast money is basically hedge funds, holding periods typically hours - months depending on the strategy. Real money is the traditional investor base: asset managers, pension funds, sovereign wealth funds, insurers. These guys are much slower: e.g. the investment committee might meet once a quarter, and investment strategy (e.g "we're gonna get a bit longer UK real rates", or "dial US equity allocation down 5%") is often only updated annually.
by goalieca | 2026-02-10 20:24:28+00:00
I use ddg instead of google but it does show answers. I don't go to google for chatbots, i do go to find answers and more than not i find myself unsatisfied with the LLM answer so i end up diving past SEO spam (also LLM written these days) to find where i need to go. It's very frustrating and i'm feeling very pessimistic about the future of the web. It seems to be atrophying.
by AndrewKemendo | 2026-02-10 20:25:24+00:00
Ok here: Everything from the semiconductor through the vacuum cleaner, automobile, airplanes and steam engines was developed to give a small group an advantage over all the other groups. It has always been the case, it will always be the case.

Fundamentally, at the root nature of humanity, humans do not care about the externalities, either good or bad.
by janalsncm | 2026-02-10 20:25:25+00:00
Certain classes of problems can be solved by searching over the space of possible solutions, either via brute force or some more clever technique like MCTS. For those types of problems, searching faster or more cleverly can solve them.

Other types of problems require measurement in the real world in order to solve them. Better telescopes, better microscopes, more accurate sensing mechanisms to gather more precise data. No AI can accomplish this. An AI can help you to design better measurement techniques, but actually taking the measurements will require real time in the real world. And some of these measurement instruments have enormous construction costs, for example CERN or LIGO.

All of this is to say that there will color point at our current resolution of information that no more intelligence can actually be extracted. We’ve already turned through the entire Internet. Maybe there are other data sets we can use, but everything will have diminishing returns.

So when people talk about trillion dollar superclusters, that only makes sense in a world where compute is the bottleneck and not better quality information. Much better to spend a few billion dollars gathering higher quality data.
by PlatoIsADisease | 2026-02-10 20:25:36+00:00
Wild guess: You like Apple more than Google.

I only guessed that because that is a strange conclusion to draw when Apple was involved in PRISM, they worked with China to black pro- democracy hong kong apps, and I believe they turned over data to China and Russia.

Apple's PR/marketing is best in class, so I can also see this just being a knowledge level error rather than bias.
by dsiegel2275 | 2026-02-10 20:25:51+00:00
Wow this hits home - I just turned 51 and I also started coding at age 7, writing BASIC on a TRS-80 Model III.

I still have a very distinct memory when my father told me he was buying us our first home computer. I remember him telling me that you could use the computer to make games. I was so excited by the idea and amazing by this technology (that I hadn't yet even remotely understood). I remember saying "Oh, you just tell it to make a game? And it makes a game?" He explained to me then what programming was.

When we got the TRS-80, he and I worked together to build a game. We came up with an idea for a text adventure game called "Manhole Mania" - you were a city works employee exploring the sewers after reports of strange noises. We never finished much of it - maybe just the first few "rooms".

Maybe this weekend I will tell Codex to make me a game.
by m463 | 2026-02-10 20:25:56+00:00
I knew an actuary, and remember wondering "why do sports cars cost so much to insure?" Turns out that actuaries have very good data about which kinds of cars have more accidents, and cost more to insure.

She said the only time that the data and the rates do not match is after an accident. After an accident, the rates go up, however drivers are more careful and are statistically less likely to have an accident.
Show HN: EZClaw – Deploy OpenClaw agents in – 1 minute – no tech skills needed
by felipejfc | 2026-02-10 20:26:19+00:00
Hey HN,

I built EZClaw (https://www.ezclaw.app) to solve a problem I kept running into: non-technical friends and family wanted their own AI assistant, but the setup barrier was too high. Self-hosting means Docker, API keys, cloud accounts, SSH — none of that is reasonable to ask of normal people.

EZClaw is managed hosting for OpenClaw (https://github.com/openclaw), an open-source personal AI assistant that lives in Telegram. You sign up, connect your Telegram, pick an AI model through OpenRouter (or use your openai/anthropic api key), and you're done. No cloud accounts, no API keys to manage, no servers to maintain.

What you get:
- A personal AI assistant in Telegram that can search the web, manage files, run code, control smart home devices, and more
- Choice of AI model (Claude, GPT-4, Gemini, Llama, etc.) via OpenRouter — you can bring your own OpenRouter/OpenAI/Anthropic key so you control model costs separately -- or rely solely on managed solution
- Each user gets their own isolated container
- The assistant remembers context across conversations

How it works technically: each user gets a dedicated OpenClaw instance running in a container. OpenClaw itself is an agent runtime — it connects to Telegram as your bot, routes to your chosen LLM via OpenRouter, and has a plugin system for tools (web search, browser automation, home assistant, etc.). EZClaw just handles the infra: provisioning, updates, monitoring, backups.

Pricing: $0.05/hr for the hosting. AI model costs are separate and go either through our openrouter infra or your OpenRouter/Anthropic/OpenAI account, so you have full visibility and control over that spend.

The underlying OpenClaw project is open source, so you can always self-host if you prefer. EZClaw is for people who'd rather not deal with that.

I'd love feedback on the product, pricing, or the approach in general. Happy to answer questions about the architecture.
by csense | 2026-02-10 20:26:46+00:00
The problem here is that when alice@chat.example.com and bob@xmpp.example2.com talk to each other, chat.example.com asks "Are you xmpp.example2.com?" and xmpp.example2.com asks "Are you chat.example.com?"

If you strictly require the side that opens the TCP connection to only use client certs and require the side that gets the TCP connection to only use server certs, then workflows where both sides validate each other become impossible with a single connection.

You could have each server open a TCP connection to the other, but then you have a single conversation spread across multiple connections. It gets messy fast, especially if you try to scale beyond a single server -- the side that initiates the first outgoing connection has to receive the second incoming connection, so you have to somehow get your load balancer to match the second connection with the first and route it to the same box.

Then at the protocol level, you'd have to essentially have each connection's server send a random number challenge to the client saying "I can't authenticate clients because they don't have certs. So please echo this back on the other connection where you're the server and I can authenticate you." The complexity and subtlety of this coordination dance seems like you're just asking security issues.

If I was implementing XMPP I would be very tempted to say, "Don't be strict about client vs. server certs, let a client use a server cert to demonstrate ownership of a domain -- even if it's forbidden by RFC and even if we have to patch our TLS library to do it."
by brailsafe | 2026-02-10 20:26:49+00:00
Looks great I don't have a nees for it, but I'm also happy to see more specialized tools being built natively for macOS, despite Apple's poor releases lately. I have no plans to use anything but a mac in the near future, and normally am happy to pay for a well-crafted mac first app.

Did you use or have any problems with SwiftUI that you found workarounds for? It's been a while since I've played with it, but last I checked it was a bit underperforming and opaque
by andrewla | 2026-02-10 20:27:08+00:00
I guess where we differ is that I believe that we've tried the other side and found it wanting. You can say that the Biden asylum catch-and-release policies did not include entitlement reform or worker protections so they don't count, but what it shows me is that too many moving parts mean that only the worst aspects of the worst solution are what get implemented. The simplest solution is securing the border and deporting illegal immigrants.
by chihuahua | 2026-02-10 20:27:22+00:00
There's a much less effective guy in Germany who does a similar thing, but for parking violations. He'll ride around in his small town until he finds someone whose car is 20 cm from the curb instead of the maximum allowable 15 cm, or a car is 199 cm from a hydrant instead of the required 200 cm, or some similar insignificant situation.

He documents these "transgressions", and submit it to the police. He calculates that he's brought the city hundreds of thousands of Euros in revenue.

Except the police ignore all of his reports because they're mostly nit-picky bullshit.
by rockskon | 2026-02-10 20:27:41+00:00
For state actors - they frequently have issues "connecting the dots". Or heck - maybe connecting the dots is easy but it's a manual process that introduces too much friction for them to do casually. Maybe some of the data they connect it with is not trustworthy.

If the dots already come pre-connected, it makes the job easier.

Not to mention its value as blackmail material shoots up because it comes pre-associated with your government ID and/or a scan of your face because fewer sources/methods need to be risked.
by vel0city | 2026-02-10 20:27:49+00:00
> So I wanted to get 7zip but there was no linux version

You didn't need 7zip, you can extract compressed tars natively. In fact, IntelliJ's docs tell you exactly what command to run.

https://www.jetbrains.com/help/idea/installation-guide.html#...

sudo tar -xzf idea-*.tar.gz -C /opt
by readitalready | 2026-02-10 20:28:30+00:00
Section 230 is the reason why media was able to be consolidated into a few large corporations while eliminating higher-quality news organizations.

Section 230 allows anyone to be a journalist without facing consequences for false or incorrect information. This means a post on Facebook or YouTube or their own website has equal weight as a traditional news report that relies on higher standards, like verification through multiple sources.

So a company like Facebook can host any false or unverified article posted by some random weirdo, since Facebook can't be sued for hosting that info, and the controversy draws eyeballs and draws attention away from more traditional news content. So now the attention shifts to low-quality social media and away from traditional media.

Note that traditional media still had their own problems propagated through their ownership. We never really had high-quality independent media in the US, although the current indie-media landscape might have opportunities for growth the way they wouldn't have if traditional media still existed.
by 8note | 2026-02-10 20:28:45+00:00
I'd have guessed that teenagers dont have enough places where theyre unsupervised or otherwise surveiled such that they can have sex without thinking about the possible results of said sex.

"its the advertising" could be another one. people today are put on a heavy track with very high expectation about everything that needs to be done before even considering parenthood - same thing as with the trades. everyone is trained to think being a parent before getting other accomplishments makes you a failure
by PlatoIsADisease | 2026-02-10 20:28:50+00:00
After you get frustreted having to use the terminal to make Ubuntu work, try Fedora.

Ubuntu is outdated linux, it part of Debian-family, which goes by the misleading name 'stable'. Its not stable like a table. Its stable like software versions are frozen, despite bugs being fixed.

Fedora isnt Arch, I think most Debian-family users don't realize they are unrelated. Fedora is just well maintained and generally up to date.
by digiown | 2026-02-10 20:29:03+00:00
I don't really understand the point in these cases specifically. If not Google, the government can always ask a bunch of other companies like utilities or stores about your details. It's a fool's errand to protect your payment info, ID, etc from the government, since it's issued or authorized by them in the first place.

With regard to more important info, treat Google and any other company's software as government-accessible. Don't put anything that could be even suspicious, since even if you can win in court, your time gets wasted by government employees getting paid for it. People keep forgetting it, but the cloud is just someone else's computer.
Show HN: Accountify – habit tracking with visible accountability
by rodri_ia | 2026-02-10 20:29:03+00:00
I built a small MVP because I kept quitting habit apps the same way: silently.

Most tools optimize for motivation, streaks, or reminders.
I wanted to test a different angle — social accountability.

Accountify centers habits around small groups:
– shared habits
– automatic check-ins
– messages and photos as proof
– visibility when you miss a day

The idea is simple: quitting shouldn’t be invisible.

Tech-wise it’s a straightforward Next.js + Supabase app.
There are no users yet and plenty missing (payments, moderation, scalability).

I’m mainly looking for feedback on the premise:
Does visible accountability solve a real problem, or does it just add stress?
by PostOnce | 2026-02-10 20:29:37+00:00
It is fucking CRAZY how many cloud companies don't let you set a spending limit.

I had to hunt around for a host in a suitable geography with a spending limit, almost had to go on-prem (which will happen eventually, but not in the startup phase)

Waking up to bankruptcy because of bots out of your control visiting your website seems a little nuts. Adding some other bullshit on top (like cloudflare) seems even more nuts.

Yeah I can manage all that and have the machine stop responding when it hits a spending limit -- but why would I pay for the cloud if I have to build out that infrastructure?

grumble.
by dmix | 2026-02-10 20:29:42+00:00
Indeed, no one seems to ever talk about the banking monopoly in Canada so it's not a big political issue. It's not nearly as controversial as the telecom or airline monopolies.

There are some new banking startups popping up in Canada like Neo Financial (from the guys who made SkipTheDishes) but they are online-only and have limited integration with stuff like Plaid.
by scarecrowbob | 2026-02-10 20:29:46+00:00
I think a lot about white supremacy culture, and I think one in-obvious feature is how scared of white folks the white-bodied people generally seem to be.

That fear seems like a rational choice- one of my very first experiences of folks with white bodies as a human was them cutting the tip of my penis off, so I get why folks are generally afraid.

But that culture seems to be defined by its ability to normalize the harms it does to all who touch it, to reshape folks so that they don't even notice what gets cut off, and when the examine the scars they are forced to admit surely that must be the right and clean thing to do to all humans, even the ones who can't cut off -all- the dirty parts of their skin.

What makes that fear interesting to me is how much of said fear gets sublimated in so many diffuse ways.

The contradictions around folks who have an identity-defining amount of firepower and fear of the state, yet who tremble in fear to actually oppose the state are subliminal; that fear expresses itself as a deeply activating hatred for anyone who does anything as banal as to get in the street and yell.

It's kind of a wild thing to witness.
by tamimio | 2026-02-10 20:29:52+00:00
It depends, do you have the time to maintain few things, or sometimes more than “few things”? Do you have the skills or at least willing to learn? Are you willing to deal with some basic contingency planning in case some stuff goes wrong? What kind of services are you replacing, if emails, probably not worth it, storage? Definitely. Do you have a reliable internet/power combo to rely on accessing your lab remotely? Say you are traveling and want to access your NAS to get a copy of XYZ document, last thing you want is that you are unable to do so because your power is down.

So it really depends on the use case and many factors, if it works for you, great, otherwise and you are willing to pay some subscriptions, then be it.
by gethly | 2026-02-10 20:29:54+00:00
i know that. i run my own linux servers and i know how to use bash. but i specifically do not want to be doing any of these things on desktop. i was hoping, after such hype-wave for linux due to w11 being utter crap, that things got better. they did not. and yes, of course, this is just N1 experience.
by jojva | 2026-02-10 20:29:58+00:00
Your comment is interesting because it shows how engineers view their work: through the product, i.e the why, or through the craft, i.e the how.

What you consider "exciting", as a theoretical gardener, is the act of taking care of the plants. What OP finds it exciting is that they may now get a team of gardeners that'll build a Versailles-like garden for free.
by vldszn | 2026-02-10 20:29:58+00:00
The issue still seems to be ongoing.

I managed to fix it today by updating to the latest Cursor version, downgrading the Prettier VS Code extension to 11.0.2, and removing the following from settings.json:

"[typescript]": {
"editor.defaultFormatter": "vscode.typescript-language-features"
}

Links to comments that helped me to fix the issue:

https://forum.cursor.com/t/after-last-update-prettier-stoppe...

https://forum.cursor.com/t/after-last-update-prettier-stoppe...
by AndrewKemendo | 2026-02-10 20:30:02+00:00
Because every effort people use to do anything else is a waste of resources and energy and I want others to stop using resources to make bullshit and put all of them into ASI and human obviation

There are no more important other problems to solve other than this one

everything else is purely coping strategies for humans who don’t want to die wasting resources on bullshit
by chongli | 2026-02-10 20:30:03+00:00
It’s the same story as the Casio F-91W as well as the AK-47. Terrorists (or just any armed paramilitary group) who live in the back country far from common supply lines have a great need for standardized, rugged, reliable, and repairable technology. By living that life, they’re basically forced to think about these issues as a matter of survival.
by StringyBob | 2026-02-10 20:30:09+00:00
Vital bit of background context from the article:

> Now in his 50s, Erp was 19 and still living in his hometown of Harare, Zimbabwe, when he got the call from a local shopkeeper telling him that a drunk driver had collided with his father, who was riding a motorbike. By the time he arrived on the scene, it was too late. He found his father’s body under a blanket. “I’m long past that”, he says in his thick Zimbabwean accent, swilling his tea. “But my feeling is that if I can save someone else that experience, then that’d be quite a good thing.”
by bwhiting2356 | 2026-02-10 20:30:15+00:00
We need contingency plans. Most waves of automation have come in S-curves, where they eventually hit diminishing returns. This time might be different, and we should be prepared for it to happen. But we should also be prepared for it not to happen.

No one has figured out a way to run a society where able bodied adults don't have to work, whether capitalist, socialist, or any variation. I look around and there seems to still be plenty of work to do that we either cannot or should not automate, in education, healthcare, arts (should not) or trades, R&D for the remaining unsolved problems (cannot yet). Many people seem to want to live as though we already live in a post scarcity world when we don't yet.