MurphyA/hacker-news huggingface dataset:
by MORPHOICES | 2026-01-08 11:05:28+00:00
I have been looking into BGP incidents for a while, and one of the things that continues to puzzle me is figuring out the difference between legitimate outages and noisy but expected behavior. ~

The mental model I’ve been using is: Intentional change (maintenance, policy update) Accidental leak (misconfig, partial rollout) Structural failure (dependency or upstream issue) I like to ask three questions first: Did the blast radius grow over time, or did it appear instantly? Did paths change symmetrically or only in one direction? Did things revert cleanly or drift back slowly? Some concrete tricks that helped: Look for AS-path prepending changes first. Compare visibility across regions rather than just globally.

Track “who benefits” from the new paths, even if only for a short time. I’m interested in how others approach this: What is your first indicator that things are indeed wrong? Do you prefer automated alerts or manual recognition of a pattern?
by lifetimerubyist | 2026-01-08 11:06:02+00:00
The “community” doesn’t decide what goes into the project, TailwindLabs does. Tailwind is not a community developed project. It’s a project that sometimes accepts outside contributors when they feel like it and the are under no obligation to do so. You did work that nobody from the project asked for and you’re throwing a fit because they have different priorities and said they don’t want it. They don’t owe you anything.

It seems you have fundamental misunderstanding of how open source works and now you’re throwing a fit because you’re an entitled brat.

Take the L. Learn a lesson. Grow and be better.
by pembrook | 2026-01-08 11:06:27+00:00
So you created a policy that takes money from the lower/working classes and those on welfare (restricting rental supply for those who rent) and transfers it as a tax subsidy to the middle class (who own) and are offering this up as "good" policy?

You've also encouraged your middle class to massively over-leverage themselves to a single house/apartment by creating a huge tax subsidy for them (from 30-75%), which will no doubt continue placing upward pressure on house prices and also create risks if interest rates increase. Why would you not take the biggest loan the bank will offer, given interest rates are quite low in Europe and you will not be taxed on most of the value of that property you can acquire with leverage?

Crazy thought, did your politicians ever think about the idea of NOT subsidizing the demand side at all? If the issue is the price of housing, subsidizing demand for it in any way is going to make that problem worse!
by bayindirh | 2026-01-08 11:06:55+00:00
I remember the face of one guy after we chatted about lawful interception over a couple of drinks. He was visibly shaken like he has seen the hell through the door just opened before him.

These kinds of infrastructure is present everywhere, for a very long time. Just because not everyone is talking about the matter doesn't make it non-existent.

For example, in 2003, I saw how Japan monitored their network traffic in real time. It was eye opening for me, too. Technologies like DPI which required beefy servers are now trivial to implement with the right hardware.

This is all I can say.
by potato3732842 | 2026-01-08 11:07:06+00:00
What I was getting at is that these richer areas are pretty bimodal. They either support the shit out of the police or they think that enforcing petty theft laws are racist and both cases lead to more orwellian crap (the latter because the retailer has to basically serve up felony prosecutions on a silver platter if they want anything to happen).
by Lio | 2026-01-08 11:07:14+00:00
"We" as in the whole world really.

I know in Europe we have the GDPR regulations and in theory you can get bad information corrected but in practice you still need to know that someone is holding it to take action.

Then there's laundering of data between brokers.

One broker might acquire data via dubious and then transfer that to another. In some jurisdictions once that happens the second company can do what they like with it without having to worry about the original source.
Show HN: Founders can now chat with their Git history
by akhnid | 2026-01-08 11:07:17+00:00
Gitmore (https://gitmore.io) – natural language queries across GitHub, GitLab, and Bitbucket.

Instead of filtering PRs, scanning commit logs, or asking engineers for updates:

- "What shipped last week?"
- "Who's been working on the API?"
- "Which PRs have been open longest?"
- "Summarize this month's releases"

Plain English in, plain English out.

*How it works:*

Connect your repos via OAuth. We register webhooks. Every event gets normalized into a structured schema – commit message, PR description, author, timestamp, files changed.

The AI queries structured data, not raw text. PR descriptions and titles carry context that individual commits often miss.

*Automated reports:*

Don't want to ask? Schedule it.

Weekly or monthly summaries delivered to Slack or email. Forward to stakeholders or let it run on autopilot.

*Other features:*
- Slack bot: Ask from where you already work
- Public changelog: yourcompany.gitmore.io/changelog
- Contributor leaderboard

*Security:*

Metadata only. We store commit messages, PR titles, descriptions, timestamps, authors.

We never access source code, diffs, or file contents.

- Token encryption: Fernet (HMAC-SHA256 + AES-128-CBC)
- Webhook verification: HMAC-SHA256
- 2FA support

Verify yourself: check webhook settings after connecting.

Free for 1 repo: https://gitmore.io
by akimbostrawman | 2026-01-08 11:07:38+00:00
That is not what happend. You can clearly see by the movement of the wheels that she had full control and already moved very close to the cop before he opened fire. The response to multiple cops shouting at you and surrounding you and trying to open your door is also not flooring it regardless if there is somebody in front of you.

We have once again a "don't believe your lying eyes" case
by scotty79 | 2026-01-08 11:07:49+00:00
> Those models are, and keep being the guy from memento. Your "long memory" is nothing but notes scribbled everywhere that you have to re-assemble every time.

That's exactly how the long term memory works in humans as well. The fact that some of these scribbles are done chemically in the same organ that does the processing doesn't make it much better. Human memories are reassembled at recall (often inaccurately). And humans also scribble when they try to solve a problem that exceeds their short term memory.

> If it was "next tier smarter" it wouldn't need the exact same workarounds as the "dumber" models.

This is akin to opposing calling processor next tier because it still needs RAM and bus to communicate with it and SSD as well. You think it should have everything in cache to be worthy of calling it next tier.

It's fine to have your own standards for applying words. But expect further confusion and miscommunication with other people if don't intend to realign.
by pbhjpbhj | 2026-01-08 11:08:01+00:00
That sounds useful. Consumers most likely choose the food they want to eat by type, being able to spot the healthier options within a category sounds like it would help me in the supermarket.

We have a traffic light system, pretty useful. But when all items in a category are bad for you, and you know it, them all having red lights doesn't help much.

I'd certainly try alternatives that are marginally healthier, if that's true generally then it puts some pressure on food industry to move to healthier choices.
by holowoodman | 2026-01-08 11:08:35+00:00
There were backup cables. The bridge carried 5 cables, redundancy configuration would have been 3+2 afaik. But only for purposes of maintenance, not to protect against hostile action. For that, one should have taken care to not have all redundancies on the same bridge ;)

And in most environments, you cannot hide the location of those cables. Either they are visible directly, like all overhead power lines. No use in hiding those. And for the underground ones, you could try to hide them. But every backhoe operator will rightfully want a map of those anyways, so the information will come out in some way.

The only environment where hiding this kind of infrastructure would be possible is some state-does-everything soviet-like police state. Where comrade backhoe-operator wouldn't get a map, but he would get accompanied by a secret police supervisor who would tell him where to dig and where not to.
by ben_w | 2026-01-08 11:08:51+00:00
> Can vibe coder gurus create operating system from scratch that competes with Linux and make it generate code that basically isn’t Linux since LLM are trained on said the source code …

No.

Vibe-coding, in the original sense where you don't bother with code reviews, the code quality and speed are both insufficient for that.

I experimented with them just before Christmas. I do not think my experiments were fully representative of the entire range of tasks needed for replacing Linux: Having them create some web apps, python scripts, a video game, a toy programming language, all beat my expectations given the METR study. While one flaw with the METR study is the small number of data points at current 50% successful task length, I take my success as evidence I've been throwing easy tasks at the LLM, not that the LLM is as good as it looks like to me.

However, assume for the moment that they were representative tasks:

For quality, what I saw just before Christmas was the equivalent of someone with a few years' experience under their belt, the kind of person who is just about to stop being a junior and get a pay rise. For speed, $20 of Claude Code will get you around 10 sprints' equivalent to that level of human's output.

"Junior about to get a pay rise" isn't high enough quality to let loose unchecked on a project that could compete with Linux, and even if it was, 10 sprints/month is too slow. Even if you increase the spend on LLMs to match the cost of a typical US junior developer, you're getting an army of 1500 full-time (40h/week) juniors, and Linux is, what, some 50-100 million developer-hours, so it would still take something like 16-32 years of calendar time (or, equivalently, order-of 1.2-2.5 million dollars) even if you could perfectly manage all those agents.

If you just vibe code, you get some millions of dollars worth of junior grade technical debt. There's cases where this is fine, an entire operating system isn't one of them.

> Also all this on $20 plan. Free and self host solution will be best

IMO unlikely, but not impossible.

A box with 10x the resources of your personal computer may be c. 10x the price, give or take.

While electricity is negligible (which today, hah!): If any given person is using that server only during a normal 40 hour work week, that's 25% utilisation rate, therefore if it can be rented out to people in other timezones or where the weekend is different, the effective cost for that 10x server is only 2.5x.

When electricity price is a major part of the cost, and electricity prices vary a lot from one place to another, then it can be worth remote-hosting even when you're the only user.

That said, energy efficiency of compute is still improving, albeit not as rapidly as Moore's Law used to, and if this trend continues then it's plausible that we get performance equivalent to current SOTA hosted models running on high-end smartphones by 2032. Assuming WW3 doesn't break out between the US and China after the latter tries to take Taiwan and all their chip factories, or whatever
by monkeydust | 2026-01-08 11:09:14+00:00
I have been thinking about this a bit - so rather than rely on one have an agentic setup that could take question run against the top 3 and then another one to judge the response to give back.

Is anyone doing this for high stake questions / research?

The argument against is that the models are fairly 'similar' as outlined in one of the awarded papers from Neurips '25 - https://neurips.cc/virtual/2025/loc/san-diego/poster/121421
by quantpunk | 2026-01-08 11:09:34+00:00
The argument is either intellectually dishonest or you just really haven't thought this through very deep and are just puppeting this neoliberal bullshit.

We could start with I have traded wheat futures and could hedge with future contracts on all those commodities. You can't trade single family home derivatives in the same way because it is not the same.

This is unthinking market religion stupidity and the result is going to be a massive over correction towards socialism. You don't help free markets with this bullshit. You are helping to destroy them in the long run.
by amiga386 | 2026-01-08 11:10:31+00:00
It's about a million miles away from that. It's a 68000 CPU emulator, with no Amiga hardware, and just enough OS structures sprinkled into memory, such that quite a few Amiga CLI utilities work.

What you're looking for is a ROM with a full implementation of AmigaOS, that can manage real Amiga hardware: that is only possible with the official ROMs or projects like AROS
by countWSS | 2026-01-08 11:10:44+00:00
I have to somewhat agree on the "deceptive" answers part:
Specifically, Grok4.1(#3 currently) is psychopathically manipulative and easily hallucinates things to appear more competent,
even if there is nothing to form the answer it generated. Gemini3 pro(#1) casually subverts the intent of prompt and rewrites the question as if there was a literal genie on the other side mocking you with the power of thousand language lawyers.
If you examine the answers, fact-check everything you will not like the "fake confidence" and the style will appear like scam artist trying to sound professional.

However, LMarena,despite its flaws(recaptcha in 2026?) is the only "testing ground" where you
can examine the entire breadth of internet users. Everything else is incredibly selective, hamstrung bureaucratic benchmark on pre-approved QA sessions. It doesn't handle edge cases or out-of-distribution content. LMarena is the "out-of-distribution" questions that trigger the corner cases and expose weak parts in processing(like tokenization/parsing bugs) or inference inefficiency(infinite loops, stalling and various suboptimal paths), its "idiot-proofing" any future interactions beyond sterile test-sets.
by risfriend | 2026-01-08 11:10:58+00:00
I have been misdiagnosed and taken wrong medicine for 4 years for a problem by a top specialist, the doctor kept making up reasons on why I'm not getting better.

By luck I consulted with another specialist due the former doctor not being available at and odd time, and some re-tests help determine that I need a different class of medicines. I was better within months.

4 years of wrong medicines and over confidence from a leading doctor. Now I have a tool to double check what doctor has recommended.
by trissim | 2026-01-08 11:11:09+00:00
Addressed the criticisms raised here.

The main gap was real: language capability claims (Python can achieve SSOT, Rust cannot) were derived from string matching, not from formalized semantics. Fixed.

Proof chain now:

python_can_achieve_ssot
uses python_has_hooks (a Prop, not a Bool)
uses init_subclass_in_class_definition
derived from execute_class_statement (modeled Python class definition semantics)

To attack this, you must either show Python code where init_subclass does not run at class definition time (empirically false), or find a bug in Lean.

For Rust, rust_lacks_introspection is now a 40 line proof by contradiction, not rfl. It assumes a hypothetical introspection function exists, uses erasure_destroys_source to show user-written and macro-expanded code produce identical RuntimeItems, then derives that any query would need to return two different sources for the same item. Contradiction.

On the "SSOT.lean is trivial" point: that file is scaffolding (38 lines). The substantive proofs are in Inconsistency.lean (225 lines, formalizes inconsistency as a Prop, proves dof_gt_one_implies_inconsistency_possible with constructive witness) and Coherence.lean (264 lines, proves determinate_truth_forces_ssot).

On "proofs are just rfl": many foundational proofs are definitional by design. When you model correctly, theorems become structural. But the new rust_lacks_introspection shows non-trivial reasoning exists where needed.

Updated stats: 9351 lines, 26 files, 541 theorems, zero sorry. lake build passes.

Remaining attack surfaces are model fidelity (show me Python code that contradicts the model) and interpretation gap (philosophy, not math). Both are inherent to any formal verification of real systems.

Common rebuttals already addressed in the paper:

"OpenAPI/Swagger achieves SSOT without hooks": Yes, because the spec file IS the single source and generated code is derived. That instantiates DOF=1, it does not contradict it. External tooling can always enforce consistency by being the source. Our claim is about what the language itself can enforce.

"Model doesn't mirror rustc internals verbatim": We model observable behavior, not compiler implementation. The claim is: at runtime, you cannot distinguish hand-written code from macro-generated code. Challenge: produce Rust code that recovers macro provenance at runtime without external metadata files.

"You just need discipline": Discipline is the human oracle. The theorem says: with DOF > 1, consistency requires an external oracle (human memory, documentation, review process). That is not a counterargument, it is the theorem restated.

"Real codebases don't need formal DOF guarantees": Whether you need it is engineering judgment. We prove what is logically required IF you want guaranteed consistency. Same interpretation gap exists for CAP theorem, Rice's theorem, Halting problem. Philosophy, not math.

Full rebuttals section in the paper addresses these and more.
by f1shy | 2026-01-08 11:11:27+00:00
Disclaimer: I've no idea what I'm talking about. :)

But I have heard repeatedly that the good thing of prolog is the compiler, that takes information and queries that would be awful inefficient, and convert them in something that actually works. So I'm not sure... of course, you can convert virtually any language in a kind of library with some API that basically accepts source code... but I'm pretty sure is not what you meant.
by fergie | 2026-01-08 11:13:16+00:00
https://econofact.org/factbrief/do-private-equity-firms-own-...

> "Large institutional investors, defined as those owning over 100 homes (which includes private equity firms), own 3 percent of the single-family rental stock nationwide according to Brookings. This share is higher in some local markets — in the 20 Metropolitan Statistical Areas where these investors are most present, they own 12.4 percent"

I personally believe that its problematic that large institutional investors own 12.4% of single family properties in the 20 main metro areas of the US.
by tomaytotomato | 2026-01-08 11:15:01+00:00
It's interesting to see the commentary on processed meat and inverting the pyramid. T

It feels a bit Orwellian in some way - Oceania is always the enemy, Saturated fat was never the enemy.

Meat is ok, I try and consume fish and chicken with the odd bit of beef, but the amount of chemicals that goes into processed meat like sliced ham would make a chemist blush.

I wrote a light hearted blog piece just before the new year on giving up processed meat if anyone is interested:

https://tomaytotomato.com/no-ham-anuary/

Also mandatory South Park clip:

https://youtu.be/fIGXkh6S8Zw
by MORPHOICES | 2026-01-08 11:15:17+00:00
I've found that sometimes it's easier to put off a task. At other times, it simply becomes avoidance. ~

I've been able to distinguish between the two by asking:

Does the lack of information prevent the task from being completed?

Will it be less expensive to complete the task later?

Am I holding off to avoid discomfort or to obtain clarity?

Delays typically pay off if they lower uncertainty.
In most cases, it doesn't make anxiety worse.

I've tried concrete things:

Put my reasons for delaying something in writing.

Instead of setting a date, set a "revisit trigger."

Try it for five minutes to see what hurts the most.

I'm curious what other people think of this:

How can procrastination be distinguished from strategic delay?

Do you put off making decisions longer than taking action?

Do you use any heuristics?
by simiones | 2026-01-08 11:15:49+00:00
The first thing on the website is indeed broccoli. But the first thing in the new inverted pyramid, both on the website and in other graphics of it, is meat. In fact, on the website, when you first get to "The New Pyramid", you'll first see only the left half, the one that has meat and other proteins; you'll have to scroll more to see the right half with vegetables and fruit.
by nihakue | 2026-01-08 11:16:43+00:00
I do regret mentioning Broccoli because it seems to have become a bit of a distraction from my original point, which was that getting enough protein from a varied diet actually isn't that hard once you start to notice how much protein is in certain common veg. I'm not totally sure I understand where the mentality that all your protein has to come from a single source in isolation comes from, but suspect representations like this pyramid are at least partly to blame.

Agree that g/kcal isn't perfect but g/g has its own corner cases like water content skewing things badly (e.g. dried spirulina is 57% protein by weight but you'd never eat more than like a gram in a serving). I never meant to suggest that people should be eating broccoli _in place of_ turkey, only that by _de-emphasising_ the protein content of many vegetables in favor of animal proteins, the graphic encourages meal planning that must always contain an animal protein. More insidiously, in my experience at least, it blurs the line between the nutrition content of different animal proteins ("I have my veg I just need 'a protein' now") which leads to more consumption of red meat regardless of quality.

The graphic that I wish someone would make is the 'periodic table of macro nutrients' that positions foods along multiple dimensions at once but I don't know how you would actually do it in just two dimensions.
by afrazullal | 2026-01-08 11:16:45+00:00
Hi HN,

I built Vect AI, an autonomous marketing system designed to reduce manual planning and execution work.

The platform uses AI agents to handle tasks that are usually split across multiple tools:
– campaign planning
– content and visual generation
– workflow execution
– iteration based on feedback

The goal is not “AI suggestions”, but actual execution with minimal human input.

This is an early version and I’m primarily looking for feedback from founders, growth engineers, and builders who manage their own marketing stack.

Would appreciate thoughts on where this breaks, where it helps, and what’s missing.