MurphyA/hacker-news huggingface dataset:
by hanslub42 | 2026-01-08 07:51:30+00:00
All the heavy lifting is done by the comments. For example: theorem dof_gt_one_inconsistent (dof : Nat) (h : dof > 1) dof ≠ 1 (in Basic.lean) is the well-known fact that any number > 1 is unequal to 1.

But the comment states: DOF > 1 implies potential inconsistency. Inconsistency of what? Lean doesn't know, or care....
by davorak | 2026-01-08 07:52:05+00:00
I post this elsewhere but:

I have not seen the pyramid with bread, cereal, rice and pasta at the base pushed for at least ~20 years. Maybe it was 25-30 years ago when I saw it pushed seriously in school and even then I did not see people taking it seriously outside of those lessons, as in people actively calling it questionable.

Where in the world was this old pyramid still being pushed?
by jdthedisciple | 2026-01-08 07:52:10+00:00
The problem with dr appointments is that too often, physicians dont actually think carefully about your case.

It's like they one-shot it.

This is why I've had my dr change their mind between appointments, having had more time to review the data.

Or I get 3 different experts giving me 3 different (contradicting!) diagnoses.

That's also why I always hesitate listening to their first advice.
by jauntywundrkind | 2026-01-08 07:52:20+00:00
Used Shelley to write a little guestbook late at night in bed from my phone! Was a fun experience.

Shelley wrote all the code. It was also quite good at launching a browser, seeing the site, scrolling & navigating, assessing the state of the things & groking what I was talking about. All zero friction.

I had signed up for an https://exe.dev account to play around, check out their neat VM offering. I didn't know Shelley was going to be on the box, and was super enchanting.

Little guestbook: https://nan-falcon.exe.xyz
by adrian_b | 2026-01-08 07:52:33+00:00
Compared to other dictionaries, this is a very poor explanation of the word.

Nevertheless, even here it says clearly that "invade" refers only to "enter", and neither to "subjugate" or to "occupy".

Other dictionaries explain better the distinction between "invading" and normal "entering", which is in the manner how one enters, i.e. "in a hostile manner" or "by the use of force".

Your dictionary explains the distinction by intent, not by manner, but this is wrong, as at the time of the invasion one cannot know which is the intent, which will become known only in the future.

By this definition one could never recognize an invasion while it happens, even when one sees a foreign army entering and killing everyone on sight.

I agree however, that the Polymarket bet has specified that the object of the bet was an invasion followed by an occupation of the territory, so the conditions of the bet have not been met.
by jamietanna | 2026-01-08 07:52:54+00:00
Renovate maintainer and Community manager here

Before I joined Mend to work on Renovate, I wrote https://news.ycombinator.com/item?id=40011111 which goes into some ways I found Renovate better than Dependabot, and it still very much holds true (although I'm a little more biased now!)

You can also check out https://docs.renovatebot.com/bot-comparison/ for a high level comparison between the two

Re costs / why giving things away for free - @rarkins (Rhys Arkins, who created Renovate) has worked very hard over the years to give as much good stuff away to the community, and make it more straightforward for folks to run Renovate

The core (Mend Renovate CLI (AGPL-3.0-only)) is free to use and run as you want, and many folks do - it's very flexible and scales well as-is

But if you want things like real-time webhook processing of "rebase this PR" (and/or a few other features) then Mend Renovate Self-Hosted Community (commercial-but-free) Edition is a nice packaging and layer on top of the CLI for that

Running the CLI itself on a schedule against your repos is also absolutely viable as a solution, and we have many users who do that and are super happy with it
by buu700 | 2026-01-08 07:53:38+00:00
I see what you're getting at, but CSS is as much an open standard as the law. Public legal docs written against legal standards aren't fundamentally dissimilar to open source libraries written against technical standards.

While I am all for working out some sort of compensation scheme for the providers of model training data (even if indirect via techniques like distillation), that's a separate issue from whether or not AI's disruption of demand for certain products and services is per se harmful.
by fractallyte | 2026-01-08 07:53:50+00:00
Comments should add something worthwhile to the discussion. Redundant comments ("noise") tend to be downvoted. (I didn't downvote you!)

If you meant for the comment to be read by the content poster, then something more meaningful than a single-word response would have been more appropriate.

These are the rules and practices which have kept HN lean and functional over nearly two decades.
by kstenerud | 2026-01-08 07:56:08+00:00
Wow! Wasn't expecting this to be on HN.

So here's the backstory:

I'd just graduated from BCIT a year before. A friend invited me to visit Japan, so I got a working holiday visa, hopped on a plane, and there I was in a 1K apartment with 2 other people. I had one whole square meter of floor space for my computer (which I'd packed with me) and a donated monitor.

While looking for tech work, I fiddled around with MAME, doing small fixes to drivers and such, but I'd always had a love for the 68000 chip (from my Amiga days), so I looked at what MAME was doing and saw that its 68k emulator was written in assembler.

So I set a goal: Can I outperform the current assembler core with one written in portable C? Spoiler: Yes.

I spent 2 months sitting Buddha-like on the tiny square of floor in between job interviews, writing (and leveraging MAME's debugger). My proudest moment was when I finally saw the title screen for Rastan Saga pop up! (of course it crashed on launch, but still)

I named it Musashi, after Shinmen Musashi-no-Kami Fujiwara no Harunobu (新免武蔵守藤原玄信), commonly known as Miyamoto Musashi, who wrote the Book of Five Rings - a book that had a huge effect on me.
by hurflmurfl | 2026-01-08 07:56:35+00:00
Fair question. Conflicts happen, which I'm fine with.

Realistically speaking, most files I have in my cloud are read-only.
The most common file that I read-write on multiple devices is my keepass file, which supports conflict resolution (by merging changes) in clients.

Also used to happen when I tried editing some markdown notes using obsidian on PC, and then using text editor (or maybe obsidian again?) on android, but I eventually sort of gave up on that use-case. Editing my notes from my phone is sort of inconvenient anyway, so I mostly just create new short notes that I can later edit into some larger note, but honestly can't remember the last time this happened.

But yes, if not careful, you could run into your laptop overwriting the file when it comes online. In my case, it doesn't really happen, and when it does, Nextcloud will have the "overwritten version" saved, so I can always check what was overwritten and manually merge the changes.

P.S. If anyone wants to set this up, here's my nixos config for the service, feel free to comment on it:

# don't forget to run `rclone config` beforehand
# to create the "nextcloud:" remote
# some day I may do this declaratively, but not today
systemd.services.rclone-nextcloud-mount = {
# Ensure the service starts after the network is up
wantedBy = [ "multi-user.target" ];
after = [ "network-online.target" ];
requires = [ "network-online.target" ];

# Service configuration
serviceConfig = let
ncDir = "/home/username/nextcloud";
mountOptions = "--vfs-cache-mode full --dir-cache-time 1w --vfs-cache-max-age 1w";
in {
Type = "simple";
ExecStartPre = "/run/current-system/sw/bin/mkdir -p ${ncDir}"; # Creates folder if didn't exist
ExecStart = "${pkgs.rclone}/bin/rclone mount ${mountOptions} nextcloud: ${ncDir}"; # Mounts
ExecStop = "/run/current-system/sw/bin/fusermount -u ${ncDir}"; # Dismounts
Restart = "on-failure";
RestartSec = "10s";
User = "username";
Group = "users";
Environment = [ "PATH=/run/wrappers/bin/:$PATH" ];
};
};
by ifwinterco | 2026-01-08 07:56:47+00:00
Yep if you use a card in the US the company just takes 2c from your left pocket and puts it in your right pocket in a form that's more difficult to use.

And if you don't use a card, the business takes 2c from your left pocket and keeps it.

It's a great trick though, people really buy into the whole points/cashback thing and don't realise they're being paid with their own money
by CraigJPerry | 2026-01-08 07:57:23+00:00
>> barely says anything about private sector money creation

It opens with the words "Money is created in the Canadian economy in two main ways: through private commercial bank loans..."

the introduction continues "... It also discusses how private commercial banks create money..."

And then it goes on to do exactly that in detail. I'm struggling to understand why you wrote that.

>> Your view of fractional reserve banking is rather.. unorthodox

Unorthodox is not the word to describe what has at this point been published by most of the central banks in western economies with a sovereign currency. From the Fed to the Canadian central bank, from the Bank of England to the Bundesbank and so on.

We're unfortunately living in a Copernican moment. We now better understand how money works but we're not permitted to say the earth orbits the sun just yet.

It's utterly ludicrous that the idea of Fractional Reserve banking is propagated in today's world as having any relevance to how banking works in these economies.

>> why do banks bother with deposits, then

Very simply - cost of funds
by ricardo81 | 2026-01-08 07:57:44+00:00
Unfortunately they do have a couple of points that may prove salient (though I fully agree about them being scrapers also).

You can search Google _for free_ (with all the caveats of that statement), part of their grievance is that serpapi use the scraped data as a paid for service

Lots of Google bot blocking is also circumvented, which they seem to have made a lot of efforts towards in the past year

- robots.txt directives (fwiw)

- You need JS

- If you have no cookie you'll be given a set of JS fingerprints, apparently one set for mobile and one for desktop. You may have to tweak what fingerprints you give back in order to get results custom to user agent etc.

Google was never that bothered about scraping if it was done at a reasonable volume. With pools of millions of IPs and a handle on how to get around their blocking they're at the mercy of how polite the scraping is. They're maybe also worried about people reselling data en masse to competitors i.e. their usual all your data belongs to us and only us.
by dust42 | 2026-01-08 07:57:55+00:00
I wouldn't call it an outright scam. But yes, you pay yourself a nice salary, travel around the world to meet potential OEMs, you may fly in private jets, you stay in fancy hotels, you have business meetings in Michelin star restaurants.

The motorcycle is real, you can buy it.

I worked for a company in Germany in 2024 and the CEO was quite open about using public grant money as a free gift. The company wasn't build around it but it was a significant part of income. He made engineers sign papers that they had worked on some AI stuff which they didn't. A demonstrator was made with yolo by an intern. He said they have just no competency to figure that out and also that they actually don't want to figure it out.

Or look at the EuroLLM: sounds good on paper, never heard about it again. Grant grabbing is a real industry in Europe with companies specialised on creating grant applications and forming consortiums.
by cvhc | 2026-01-08 07:58:00+00:00
For general researching/chatbot, I don't feel one of them is much better than the other. But since I'm already on Google One plan, upgrading the plan costs less than paying $20/mo to OpenAI, so I ended up cancelling ChatGPT Plus. Plus my Google One is shared with my family so they can also use advanced Gemini models.
by JumpCrisscross | 2026-01-08 08:00:02+00:00
> Do you really believe that a hostile group would have difficulty finding important infrastructure to attack without an open infrastructure map?

I honestly do. A large part of what protects open, free societies is that the smartest people generally have better things to do than blowing shit up. If you’ve ever taken a close look at any heavy infrastructure, it should strike you how easy it would be to break into and disable (particularly if you aren’t concerned about getting caught).

On the balance, I still prefer these data being open. But there probably is a domestic-terrorism risk that’s amplified.
by simon_void | 2026-01-08 08:00:53+00:00
technically, Kotlin can use VirtualThreads like it can use any other Java Api
(when being compiled to JVM bytecode).[1]
If I remember correctly the Kotlin team was e.g. thinking about implementing a Coroutine Dispatcher with VirtualThreads.
So building a Kotlin service that uses Virtual Threads instead of coroutines is -in principle- possible. But if you've got a Java project using Virtual Threads you could rewrite it slowly -class for class- to Kotlin (and later probably refactor the VirtualThreads to coroutines).
What you have to keep in mind though: if you're creating a Kotlin lib that is meant to be used by Java then the public Api of this lib should include suspend functions!
My company made that mistake at some point, they ordered a lib from an external supplier and since Java and Kotlin are both first class languages and "Kotlin is compatible with Java", they ordered this lib in Kotlin. They learned the hard way that Kotlin suspend methods translate to Java methods returning a Continuation class (!? If I remember correctly. I wasn't part of that project, but heard their story) which is very unergonomic to use manually. The fix was to write a small Kotlin shim lib that wrapped the other lib and replaced every suspend function with a normal function invoking their suspend counterpart in a runBlocking-block (I think). Hardly ideal, but workable. So yes, writing a Kotlin lib that's (also) meant to be consumed from Java requires more thought than one that is only meant to be used by Kotlin. (There is functionality in Kotlin to help with this though, e.g. look up the annotations @JvmStatic, @JvmName, @JvmRecord.)

[1] https://void2unit.onrender.com/post/virtualthreads-in-kotlin...
by modeless | 2026-01-08 08:01:23+00:00
I bet SerpApi is getting more business than ever due to the Streisand effect. I hadn't heard about them, but if I want an API for Google results I'm definitely going to choose the one that was so hard for Google to block that they had to sue them instead. I see on their website they even advertise a "legal shield" where they assume scraping liability for their customers.
by sfink | 2026-01-08 08:01:24+00:00
The title bothers me. It suggests to me that "AI" is a single thing. If two guys are tested and turn out to be not that great at reading MRI images, should the headline be "Male radiologists miss nearly one-third of breast cancers"?

If it said "AI something", I'd be fine with it. It's a statement about that something, not about AI in general. Use it as an adjective (short for "AI-using" I guess?), not a noun.
by thaumasiotes | 2026-01-08 08:01:25+00:00
My dad worked for a studio that sold a game to WorldPlay. WorldPlay games charged by the hour, but the developers received AOL accounts that bypassed this charge. Theoretically I could play any WorldPlay game for free, but mostly I played my dad's game, which was free anyway as some kind of "check out our new game" introductory promotion.

There was a small regular community which got wiped out when WorldPlay started charging for it. The studio got more free accounts and gave them to regular players so that the game didn't just evaporate immediately, which meant everyone suddenly had a minor name change. After that, the game evaporated.
by resumenext | 2026-01-08 08:01:38+00:00
This was after the alleged attempted ICE ramming in Oakland last year where shots were fired but thankfully nobody died. I think there was a similar incident in LA. It would be great if there were technology to solve this problem. People perceive cars as deadly weapons and open fire and whether it’s good or not people who think they’re going to get smooshed and have a firearm will tend to use it. I didn’t see the one today but there have been enough of these cases that it really begs for a technological solution, like some sort of kill switch (no pun) that halts a vehicle if a person is in front of it. They’d have to make a law to retrofit older vehicles but it seems like something we could engineer fairly cheaply, and it would prevent at least some of these events. Even cases where the person in front of the car aren’t cops, like the guy who drove through the Christmas parade and killed the little kids, or the nazi kid in Charlottesville. Car rammings are becoming a horrible sort of meme. It’s contagious.
by ricardo81 | 2026-01-08 08:03:39+00:00
Reminds me of (the ironic AI summary)
https://www.google.com/search?channel=entpr&q=celebritynetwo...

Testimony
https://medium.com/@brianwarner/celebritynetworths-statement...

CNW ended up putting up content for fake celebrity's after declining Google's request for API usage to prove that Google was scraping them.
by chews | 2026-01-08 08:03:56+00:00
It was remarkably easy to hack, the brilliant human Tod Kurt (todbot) did amazing work hacking them and documenting how to do it. Using his insights, I wrote a little bluetooth library/app for the Mac that would forward movement commands from a Wii remote to a hacked on bluetooth serial adapter connected to the Roomba...
WSJ even did a piece on it. https://archive.ph/A6aTlI

The day after Christmas I was front-page of Digg, Gizmodo, and Slashdot at the same time :-)
by deepsun | 2026-01-08 08:04:07+00:00
Land Value Tax is one way, a very old idea.

Germany practices basically rent control, so that 60%+ of population rent and consider it stable. That's another way.

Maybe there are more, I didn't think hard. The basic idea is to prevent formation of an "aristocracy" that holds some limited but necessary (not luxury) resource. Pretty much every revolution happened because of that.
Show HN: FOSS Email-to-Webhook Bridge (Turn Monitoring Alerts into API Calls)
by idrissmbellil | 2026-01-08 08:04:23+00:00
Github mirror: https://github.com/idrissbellil/gossiper

Deployed project: https://app.v3m.pw/

Video Demo: https://odysee.com/@jostiniane:a/gossip_dispatch:3?r=ApaoeHU...

Any feedback would be appreciated
by simianwords | 2026-01-08 08:04:45+00:00
What is it with you people and privacy? Sure it is a minor problem but to be _this_ affected by it? Your hospitals already have your data. Google probably has your data that you have google searched.

What's the worst that can happen with OpenAI having your health data? Vs the best case? You all are no different from AI doomers who claim AI will take over the world.. really nonsensical predictions giving undue weight to the worst possible outcomes.
by miki123211 | 2026-01-08 08:05:44+00:00
As the post says, Google only scrapes the websites that want to be scraped. Sure, it's opt-out (via robots.txt) rather than opt-in, but they do give you a choice. You can even decide between no scraping at all and opting out on a per-scraper basis, and Google will absolutely honor your preferences in that regard.

SERP API just assumes everybody wants to be scraped, and doesn't give you a choice.

(whether websites should have such a choice is a different matter entirely).
by hulitu | 2026-01-08 08:06:11+00:00
> There is no other way to support software. You have to pay for it.

I paid when i bought it. And i am expecting to work as intended. I do not need another one every second week ( feature updates) but i expect that they fix it when it is defective ( security updates).
Yes, i know, this is not cool, JPEG standard changes regularly and today the scrollbar is obsolete, that's why we need "updates".
by toxik | 2026-01-08 08:06:27+00:00
The relationship between dairy/meat and inflammation is more nuanced than that. While some studies show associations with inflammatory markers, others find neutral or even anti-inflammatory effects depending on the type (e.g., grass-fed vs grain-fed, fermented vs non-fermented dairy) and individual metabolic context.

You're right that ratios matter enormously, but optimal ratios vary significantly by individual - genetics, activity level, metabolic health, and existing conditions all play roles. The overconsumption concern is valid for processed meats and in the context of sedentary lifestyles with excess calories, but the picture is less clear for whole-food animal proteins in balanced diets.

The real issue might be less about meat/dairy per se and more about displacement of other beneficial foods (fiber, polyphenols, etc) and overall dietary patterns. Many Americans do overconsume calories generally, but some subpopulations (elderly, athletes, those on restricted diets) may actually benefit from more protein.
by TowerTall | 2026-01-08 08:06:31+00:00
> I'm still kind of surprised it took him that long to learn that software quality had fallen off that far

Isn't that to some extent (or perhaps exactly) what is going on today? All employees at MS are using the polished Enterprise edition without all the cruft and without many of the annoyances. I bet most of them have never tried to use, eg, the home edition. Few of them has probably ever tried to pick a new PC from a retail store full of trialware and "optimizations" made by the retail store.

The point is that most MS employees don't get to see the edition of Windows that we, normal consumers, do.
by tomaskafka | 2026-01-08 08:06:32+00:00
A really interesting moment:

- The value they created (mindshare, shared “standards” for naming properties, and design atoms) and what they charged for (templates that AI can replace) are two different things — and AI has shortened the time it takes for this discrepancy to show up.

- Isn’t almost all of Tailwind’s value actually in that shared semantics (“mt-2” = a small top margin) — not only in users’ heads, but now also in LLM training data? Isn’t it more of a standards organization (like ISO) than a product company (yes, sure, standards are also a product/service)?

- They criticize AI for extracting value, but I wonder if Tailwind's business model is also value extraction from the standards they established.

- And isn’t it almost a miracle that a token library and the idea of “let’s name five margin sizes” (which they weren’t even the first to do - I started with Basscss) could sustain an ~7-person company for so long?

I tried this LLM prompt for deep research: "Tailwind is laying off people. I consider their business much more of a standards body (like ISO) — their main value is the mindshare and shared semantics and design atoms. What business models could they adopt from standard bodies’ business models?"

However, after reviewing the suggestions, I believe tailwind movement is probably not large/important enough to make money in a similar way (sell certification, membership with governance privileges, training ..).

Two interesting ideas: "Keep human docs free, but put machine-optimized “spec corpora” behind licensing (because AI is the channel disrupting them)."

"Stop relying on docs-as-marketing if AI is eating that funnel, and instead monetize the privileges and assurance around the standard (governance, certification, conformance, canonical distribution)."

(Don't get me wrong, I love using Tailwind, but I believe they need to see their business realistically.)
by SRMohitkr | 2026-01-08 08:07:15+00:00
Every time I wrote a good prompt, it got buried in chat history.
So I built a small web app that lets me save, organize, version, and reuse prompts quickly.

It supports:

fast saving

tags + categories

template variables

local guest mode and optional cloud sync

Not trying to generate prompts, just trying to remember the good ones.
Looking for feedback from people who use AI daily.

check it out: https://promper.vercel.app/