MurphyA/hacker-news huggingface dataset:
by bubblyworld | 2025-06-06 10:05:28+00:00
Fantastic links, thank you. When I say Scholze and friends disagree I mean they seem to have specific mathematical criticisms with mochizuki's school that have not been addressed publically, not just "structural opinions" (for lack of a better word). For instance, see Sawin's answer here: https://mathoverflow.net/questions/467696/global-character-o...

But that's fair, it's not exactly one-sided, but to my (completely inexpert) judgement the matter seems heavily weighted against mochizuki?
by brigandish | 2025-06-06 10:06:00+00:00
That "mostly" is doing a lot of work. Why should anyone with an, shall we say innocent opinion have their opinion quashed simply because they are not an expert? Which, by the way, is also a strange requirement, there were plenty of bona fide experts disagreeing with each other during the pandemic, but the experts going against governments promoting lockdowns also had their voices severely limited.

As Mill put it, so eloquently:

> If all mankind minus one, were of one opinion, and only one person were of the contrary opinion, mankind would be no more justified in silencing that one person, than he, if he had the power, would be justified in silencing mankind.
by Semaphor | 2025-06-06 10:06:02+00:00
> How can they not know the stuff they are asking for? It's not like we don't file taxes, we are a properly registered Gmbh, etc. All the information they are asking for is already known to the German government.

Usually the answer is "German data privacy laws that forbid sharing that information with another entity of the same government". If it’s not that, then the fallback is "Federation".
by franciscop | 2025-06-06 10:06:36+00:00
Yeah, exactly, me too. I was expecting something about Japan using 50 and 60 Hz at the same time, something about counting in units of 万 instead of 1000s, some WWII story, heck even some Fukushima one, but instead it was just something akin the Kirisuto no Hata (the belief that Jesus ended up in Japan by some).
by Yizahi | 2025-06-06 10:07:02+00:00
Metadata is spying (c) Bruce Schneier

If a CIA spook is stalking you everywhere, documenting your every visible move or interaction, you probably would call that spying. Same applies to digital.

Also, teapot argument can be applied in reverse. We have all these documented open digital network systems everywhere, and you want to say that one the most unprofitable and certainly the most expensive to run system is somehow protecting all user data? That belief is based on what? At least selling data is based on evidence of the industry and on actual ToS'es of other similar corpos.
by _wire_ | 2025-06-06 10:09:45+00:00
I use an app to get work dome. The app fails disrupting my work. Submitting a bug hijacks my effort from my already failed work, to working for the app developer. The operative term for bug reporting is "submit"! I have to submit to a gauntlet of criteria to justify that the app screwed up when the app maker assumes I've screwed up. If I endure the submission, I'm argued with about whether I know what I'm doing, then if I convince the developer I do, I am dismissed because it's not that important, or more commonly, I am totally ignored. I end up working as a slave for the developer! Of course most don't bother. They're quickly conditioned to ignore bugs and/or to go elsewhere. It's SOP across the industry. And plenty of companies charge you to engage over bugs!
by Szpadel | 2025-06-06 10:10:06+00:00
I'm curious what how big is latency tradeoff. I know assumption here is that it does not matter in those use cases but what order of magnitude it is? 10x? 100x?

this is important for usage in "soft realtime" application, where you do not need instant response but someone is still waiting.

if latency is really big, then it can only be used for basically background processes.
by shakna | 2025-06-06 10:11:22+00:00
And none of that changes YouTube's liability - caused by misinformation and death.

A company can generally be relied upon to act to reduce their liability in most cases. That involves not pissing off their federal regulatory bodies.

Sweden was not caught up in the early suppression of misinformation. Things changed after a certain tacolike individual called Google's CEO into a private meeting. And expecting them to ignore that, is insane.
by johnisgood | 2025-06-06 10:12:06+00:00
That depends, there are specific diets for, say, cats, and it not only needs to be prescribed (to be able to purchase), but it costs a fuckton of money.

<rant>

Think of it like this: imagine if lactose-free or gluten-free food could be bought only with a prescription. Sadly the prices are already high as it is for gluten-free, but I would rather not get into the reasons here. :)

My girlfriend (LA, US) just left 1k USD on 2 visits to the vet with her cat, for some cheap ass antibiotics, and a "specific prescription-only food". Crazy. All that would have been "free" (not quite, but you know) or at a very low cost for humans around here, in Europe. Not the gluten-free food though!

</rant>
by lll-o-lll | 2025-06-06 10:12:42+00:00
First performance review? The dog and pony show should be proceeded with a trawl through the emails and an early summary emailed to the manager. You will be thanked, but it’s your best chance to “remind” the boss of all the great things you’ve done.

You struggle to remember? The manager will struggle more. Unless you always want to be judged on the last couple of weeks you’ve worked, this prep makes a big difference. Get in quick before the manager forms an opinion difficult to shift.
by lynx97 | 2025-06-06 10:13:52+00:00
Dairy industry going for school kids isn't really US specific. We have the same weird stuff here in the middle of Europe. It used to be worse in the 80s, but the milk industry is still strong with ads and lobbying. I still remember noticing the contradiction as a child. "School milk" ads at the same time as my first biology teacher explained to us that cow milk isn't really a good idea. Those are the small moments where you learn, as a kid already, that the world is full of manipulation and dishonesty. One of the thausand cuts that tells you "public" society can't really be trusted.
by alzhi7 | 2025-06-06 10:14:42+00:00
PGRWL is a cloud-native PostgreSQL write-ahead log (WAL) receiver written in Go. It is designed as a container-friendly alternative to pg_receivewal. It supports streaming replication, encryption, compression, retention, and remote storage (S3, SFTP).

The latest release, v1.0.16, introduces a built-in base backup feature, enabling users to perform full backups alongside continuous WAL archiving. This enhancement simplifies disaster recovery and point-in-time recovery (PITR) workflows by integrating base backups directly into the tool.

Additional improvements in this release include: implementation of a restore command for base backups, streaming component for efficient data transfer, bug fixes related to base backup directories and labeling, updated documentation. For more details, visit the release page: https://github.com/hashmap-kz/pgrwl/releases/tag/v1.0.16
by pierrebeaucamp | 2025-06-06 10:14:58+00:00
> When the dude uses `foldl` over lists and `foldr` with `(*)` (numeric product) it is not the language that's the lost cause.

This is a great example of Haskell's community being toxic. The author clearly mentioned they're new to the language, so calling them a "lost cause" for making a beginner mistake is elitist snobbery.

I usually don't point these things out and just move on with my life, but I went to a Haskell conference last year and was surprised that many Haskell proponents are not aware of the effects of this attitude towards newcomers.
by phendrenad2 | 2025-06-06 10:16:31+00:00
I don't understand why my argument is so hard to understand. Let me try again. I'm not saying the law is meaningless, I'm saying that the specific application of the law that is walked back by this new law is useless except for the purposes of nuisance lawsuits to shake down businesses. Now, I asked you if specific examples would be legal if this change went into effect, which you completely declined to comment on, which tells me you aren't that sure of your position.
by gitonthescene | 2025-06-06 10:17:25+00:00
I may be reading too much into this but it sounds like you’re searching for templates to stimulate ideas similar to how there are examples for smaller puzzle type problems.

I think most sizable stuff is proprietary. I implemented an lsp in an open source K which uses json/rpc. But the open source K is probably best considered a hobby project.

https://github.com/gitonthescene/ngnk-lsp/blob/kpath/k/lsp.k

You might consider joining one of the APL forums if you haven’t already.
by noirscape | 2025-06-06 10:17:41+00:00
There is, technically. It's perjury to file a false DMCA claim.

In practice nobody gets pursued for it for several reasons:

* Filing a counterclaim means handing the DMCA filer all your personal information (note that the entity filing the DMCA can and often has the ability to get this info redacted on their side of the equation unless you file a counterclaim), so a lot of people simply don't do it because you're handing your personal info to a possibly malicious party.

* The platform provider has no reason to pursue false claims, since the pushback against a malicious DMCA claim isn't large enough for them to meaningfully lose users.

* Legal fights in the US get expensive very quickly and the reward for winning isn't exactly high enough for a lawyer to give you the nice deals.

Finally, most of the problems with the DMCA are just baked into how the law is written. The entire law basically incentivizes providers to acquiesce to anyone who might be a copyright holder, because if they stick their neck out, they risk it blowing up and losing their safe harbor protections (which makes them liable for other copyright infringement.)
by ben_w | 2025-06-06 10:17:45+00:00
> Both things are OK, even if I will be promptly hated by both groups,

Brave, and I respect that position.

Myself, I would prefer to carefully phrase things to not get hated. I likely can't be of any help anyway, but I think the chances go down even further if both broader groups hate me equally and think I'm on the opposite team or can't see what the other lot are doing wrong.

> I won't give the words meaning beyond what was originally given to them.

"Orangeman" is a member of the Orange Order in Northern Ireland, named for the Dutch William of Orange who took over the UK at the beshest of parliament to support protestantism. William got the name from the principality of Orange, which is named after the city of Orange, which is in France and named after the Celtic word for foread or temple.

They wear the colour orange, even though the colour is named after the fruit (old English grouped this colour under "red"), the fruit being a corruption somewhere in probably-France of "Norange" (hence modern Spanish "naranja"), and before that Arabic.

Back to Dutch Prince William of Orange: The Dutch for the colour is "oranje"; for the fruit is "sinaasappel", literally "Chinese apple", hence the similar (but I'm told distinct species of) fruit with the English name of "mandarin".

Oranges are technically a kind of berry, unlike strawberries which are not.

The zest of an orange is an important ingredient of the mincemeat used in mince pies, which (despite the name) are generally vegetarian.

Words.
by johnisgood | 2025-06-06 10:17:58+00:00
Oh boy, I had many people telling me "please teach me how to use Linux [but I do not want to read any documentation!]". It gives me PTSD whenever I see people talk about documentation. I write documentation for myself and others who give a crap. I have been downvoted here for just simply stating that I wish people were less reluctant to read documentation, so y'know.
by Lio | 2025-06-06 10:18:25+00:00
> which the new administration is rightly cracking down on according to you.

I've made no comment on that at all as I don't think it's germain to current the conversation and I have nothing useful to say about it.

I'm not sure which country you're actually talking about but your use of the word "administration" makes me think it's somewhere other than here; we form governments in the UK not administrations.

Pro-palestine events have been going on in public continuously in the UK since the current episode started. There are several today even and you could go to them if you want to, no one is cracking down on that here.
by cassepipe | 2025-06-06 10:18:38+00:00
> He writes convincingly, he understands charisma and style, but he just can’t hold his own in an intellectual exchange.

Yes, it's convincing because he actually cares to craft a reasoning that you can follow for yourself and definitely not charisma and style

This is just a biased retelling of what happened. Scott responded to Cowen's response. So it's just like... your opinion, man.

I encourage anyone to just go read the exchange and decide for themselves.
by GuB-42 | 2025-06-06 10:18:58+00:00
If you want a point, BSD is probably a better example. Linux is protected by copyright, that's what makes copyleft licenses like GPL possible.

BSD is also protected by copyright, but it matters less for permissive licenses. It still protects attribution (so you can't claim it yours), but it probably would have worked without it, unlike with Linux that is for a big part defined by the "copyleft" protections offered by its licence.
by Fischgericht | 2025-06-06 10:20:13+00:00
I think it is just not possible to have mixed traffic of devices (humans) with a weight of 70kg and SUVs of 3 metric tons.

You have to seperate those. And the default in car nations like Germany or the US has always been to ban the humans. After having seen how other nations are handling it, and what it does for quality of life, whenever I see how German cities look like (and of course most of US cities) it feels totally alien to me.

Anyway: No, Robotaxis clearly are not the solution to the problem. In school kid vs. Tesla, the car always will win. And this includes even if you blame the kid for having made a mistake according to road regulations - making mistakes in regards of traffic rules as a young human should not be punished by death.

What I have seen in my German home town also is a downward spiral: Hockey mums thinking it is safer for their kids to come pick them up with their SUVs. But because those are so big that it is impossible to see the other kids, risk of accidents is actually rising, causing more mums to driver their kids in SUVs etc.
Show HN: An open-source rhythm dungeon crawler in 16 x 9 pixels
by jgalecki | 2025-06-06 10:20:50+00:00
I just released my latest Godot project, a rhythm-based dungeon crawler a la Crypt of the Necrodancer. The entire game plays out in 16 x 9 pixels because of a dare from my game dev group. I've open-sourced (MIT) the code and project files. Of course, the music files I don't own aren't included in the Github project, but I'm releasing the game's hand-crafted pixel sprites under CC0. The Github page also talks about some of the tricks you need to make the rhythm part of the game play nice with the dungeon crawling part.
by wvh | 2025-06-06 10:21:28+00:00
The problem is you only need one woman yelling at you or causing drama, or one man getting overly friendly to get a very strong sense of having to be careful. Most people, male or female, are perfectly good people with some flexibility to take a bit of strife and emotional turmoil. A lot of the bad vibes between men and women are about a select few individuals or ordinary people in particularly bad moods causing traumatic experiences.

My experience has taught me trust and safety are important to women. Sometimes a man is not in his best state ready to provide that solid rock feeling. It is generally not a good situation if a woman feels she is bigger or needs to be bigger than the man and can't put herself in his hands safely.
by metalman | 2025-06-06 10:22:10+00:00
Cory is right and wrong, the early internet is gone from sight, but it has been heavily optimised to make money(full stop). And this is a line I observe, whatever will make me money, and does not involve crime or complicated "platform engagement" is something that I will partisipate in.....as it bridges the dificulties of rural living by allowing me to be in many places at once, while still physicaly bieng on the land. What Mr Doctorow calls the enshitifcation has been manifesting as what I call the "devitilisation" of rural areas for a lot longer, and now with mobile cellular data becoming widespread, the internet is in fact providing an.economic anchor i to the world at large....not an easy or good anchor, but it is something, and with the ability to have critical supplys and parts delivered has changed the balance a bit, so...we will see.
by maz1b | 2025-06-06 10:22:31+00:00
1. What if you store the JTI in your database and have the ability to immediately mark them as invalid, thus so that the next user request makes them logged out?

2. Storing just the JWT and things like user id should not be that big of deal for user performance. If you're refering to for example Apple sending massive jwt payloads for their IAP service, then i can see what you mean.

3. A standard has broken algorithms? This is news to me.

4. Don't most apps have databases? I don't see why this is a bad thing.

If JWT in httponly cookies are bad, what do you suggest inplace of it? For companies running multiple mobile + web apps
by credit_guy | 2025-06-06 10:23:14+00:00
Helium might be expensive, but there is some orher lifting gas that is not. Water vapor. It has about half the buoyancy of helium. It is a bit more complex to use it, because you need to a way to collect the condensation and boil it and send the vapor back. So helium can be used to kickstart the airship production, and once we are reasonably good at it, we can switch to water.
by SEMW | 2025-06-06 10:23:26+00:00
GP clearly meant "trademark not copyright".

It's perfectly coherent to be in favour of strong protection of trademarks but also weaker copyright laws. They have very different purposes (broadly, consumer protection as a mark of origin vs incentivising creativity). Just because they're both in the legal category of "IP" doesn't mean it's hypocritical to have very different positions on both.
by netsharc | 2025-06-06 10:24:16+00:00
It's interesting how the debate is transferable to other topics. In theory maths should be able to be broken down to its basic components and be proven to be all true, or if something is false, then the whole thing collapses. But in practice things like this become so complex that it becomes a matter of conviction, influenced by things like ego.

Now imagine taking something like biology and vaccines. What happens if you rely on your experts and other rely on theirs, and they disagree?
by PeterStuer | 2025-06-06 10:25:12+00:00
" ... bit about whether the content they show is informative, harmful or entertaining, they care about maximizing the amount of ad impressions while avoiding legal repercussions"

Close, but no cigar. If you have a sector with giant add spend, you grant them full control, regardless of the add impressions. People talk a lott about 'regulatory capture', but 'media capture' is just as real.
by rcxdude | 2025-06-06 10:26:00+00:00
Even on a local network, you should probably not be sending e.g. passwords around in plaintext. Let's encrypt is a solution for someone who's tech-savvy enoug to set it up, not the average user.

> Its all look over-engineered in the sake of what? Of imitating desktop app in browser?

Pretty much, yeah. And not just desktop app, but mobile app as well. The overhead of supporting multiple platforms, especially across a broad range of devices, is substantial. Wep applications sidestep a lot of that and can give you a polished UX across basically every device, especially e.g. around the installation process (because there doesn't need to be one).
by Fischgericht | 2025-06-06 10:26:08+00:00
In Germany (and a lot of the world, really) town centers are very old and streets are narrow and are shared. Over here it is also totally legal to cross the road wherever you like.

Also, due to the narrow roads it's standard practice to be in eye contact with other users of the shared space to make sure who drives/walks next.

Car AIs can not hold eye contact, so this is where the problem starts.

And, this one of course is very very specific just to Germany: On parts of the Autobahn you have to always expect another car approaching on the left lane with 250 km/h / 155 MPH, so you really have to use the rear view mirror very early to get an idea at what speed that car may be moving. The reach of the Tesla back camera is far too low for another driver at that speed being able to break so to not crash into your back.

So, when it comes to Germany even if the system worked better, there simply is no place where you could really make use of it without either killing people or getting killed.
by DogRunner | 2025-06-06 10:27:02+00:00
I used a similar budget and build something like this:

7x RTX 3060 - 12 GB which results in 84GB Vram AMD Ryzen 5 - 5500GT with 32GB Ram

All in a 19-inch rack with a nice cooling solution and a beefy power supply.

My costs? 1300 Euro, but yeah, I sourced my parts on ebay / second hand.

(Added some 3d printed parts into the mix: https://www.printables.com/model/1142963-inter-tech-and-gene... https://www.printables.com/model/1142973-120mm-5mm-rised-noc... https://www.printables.com/model/1142962-cable-management-fu... if you think about building something similar)

My power consumption is below 500 Watt at the wall, when using LLLMs,since I did some optimizations:

* Worked on power optimizations and after many weeks of benchmarking, the sweet spot on the RTX3060 12GB cards is a 105 Watt limit

* Created Patches for Ollama ( https://github.com/ollama/ollama/pull/10678) to group models to exactly memory allocation instead of spreading over all available GPUs (This also reduces the VRAM overhead)

* ensured that ASPM is used on all relevant PCI components (Powertop is your friend)

It's not all shiny:

* I still use PCIe3 X1 for most of the cards, which limits their capability, but all I found so far (PCIe Gen4 x4 extender and bifurcation/special PCIE routers) are just too expensive to be used on such low powered cards

* Due to the slow PCIe bandwidth, the performance drops significantly

* Max VRAM per GPU is king. If you split up a model over several cards, the RAM allocation overhead is huge! (See Examples in my ollama patch about). I would rather use 3x 48GB instead of 7x 12G.

* Some RTX 3060 12GB Cards do idle at 11-15 Watt, which is unacceptable. Good BIOSes like the one from Gigabyte (Windforce xxx) do idle at 3 Watt, which is a huge difference when you use 7 or more cards. These BIOSes can be patched, but this can be risky

All in all, this server idles at 90-100Watt currently, which is perfect as a central service for my tinkerings and my family usage.