MurphyA/hacker-news huggingface dataset:
by QuesnayJr | 2025-08-21 07:33:12+00:00
The specific example of Fermat's Last Theorem is probably true simply because so much work has been done on the modularity of elliptic curves since then, but the probability of false results being proven is much higher than 0%.

In fact, Buzzard has an "existence theorem" of this exact thing. Annals of Mathematics (one of the top mathematics journals) has published one paper proving a theorem, and another paper proving the opposite result of a theorem: https://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/sli...
by dcow | 2025-08-21 07:33:13+00:00
I deployed a proof of work based auth system once where every single request required hashing a new nonce. Compare with Anubis where only one request a week requires it. The math said doing it that frequently, and with variable argon params the server could tune if it suspected bots, would be impactful enough to deter bots.

Would I do that again? Probably not. These days I’d require a weekly mDL or equivalent credential presentation.

I have to disagree that an anti-bot measure that only works globally for a few weeks until bots trivially bypass it is effective. In an arms race against bots the bots win. You have to outsmart them by challenging them to do something that only a human can do or is actually prohibitively expensive for bots to do at scale. Anubis doesn't pass that test. And now it’s littered everywhere defunct and useless.
by padraigfl | 2025-08-21 07:34:20+00:00
I think it's fine as a metric if you read it correctly.

100% means a film is extremely agreeable with whatever audience it has managed to get to. For major releases this can ultimately mean it's actually lacking anything particularly bold or interesting. This results in things like Frost/Nixon or Knives Out having higher ratings than broadly acclaimed films like Mulholland Drive or even There Will Be Blood; I know which ones I'd be more likely to put on with my extended family even if I don't especially like them.

But yeah, it's amazing how many people still don't grasp it after decades of getting angry about it.
by ITjournalist | 2025-08-21 07:35:43+00:00
Regarding the phrase statistical parrot, I would claim that statistical parrotism is an ideology. As with any ideology, what we see is a speciation event. The overpopulation of SEO parrots has driven out a minority of parrots who now respecialize in information dissemination rather than information pollution, leaving their former search-engine ecological niche and settling in a new one that allows them to operate at a higher level of density, compression and complexity. Thus it's a major step in evolution, but it would be a misunderstanding to claim that evolution is the emergence of intelligence.
by rapnie | 2025-08-21 07:36:10+00:00
You wait in line because there weren't enough checkout points in the first place. Poor customer service by your supermarket. It is funny, in the supermarket near me people are coralled into a kind of scan barracks where underage teen guardians frisk their shoppings regularly. There is only one checkout with personnel still operating it. What regularly happens now is that there's a big crowd waiting for a free scan point, like cattle, while that one patient cashier is waiting idle. And will process the groceries much faster than any self-scanner can. Brave new world.
by marcyb5st | 2025-08-21 07:36:21+00:00
Personal experience: if you use injector[1] with NewType so that you can give your primitive types a meaning and add them to your injection stack it completely fails. For example:

```python

ModelName = NewType("ModelName", str)

# You bind your string within a module: binder.bind(ModelName, to=ModelName(parsed_args.model_name))

# When you need it: model_name = injector.get(ModelName) # Here it fails, saying that you need "concrete" types or something similar

```

So while it is great already it definitely still has many rough edges still. But it is to be expected from alpha releases

[1] https://pypi.org/project/injector/
by gilleain | 2025-08-21 07:37:15+00:00
An interesting feature of repetitive geometric art that took me a long time to appreciate is that the discipline of getting an even cover of paint in a highly repetitive painting is surely very difficult.

Take Bridget Riley - we are so used to how mechanical painting (that is, 'printing') makes getting such even cover, and straight lines trivial that doing it by hand seems no more impressive.

https://www.moma.co.uk/how-to-paint-like-bridget-riley/
by thinkingemote | 2025-08-21 07:37:52+00:00
If there's a group of you and it's one or two journeys, taking a cab is often cheaper than the London Underground or a bus.

There is a graph of number of passengers and price and distance and often if it's over 3 or 4 people, taking a taxi may well be cheaper than public transport more times than not. A black cab can usually seat about 5 people with luggage. (Of course it doesn't apply if everyone has already paid for their public transport tickets via a pass, and does depend on distance and time of day etc etc)

This also applies in many other cities and towns, even more so because the taxis are cheaper and the roads less busy and the distances smaller. I particularly recommend it for families with children and luggage where the tube is a night mare, or for groups of friends going out at night. Of course private hire (e.g. uber) will be cheaper still.
by WinstonSmith84 | 2025-08-21 07:38:11+00:00
1- might make the (waterproof) case harder to build 2- finding the right dead battery among 18650 batteries is requiring more hints than just "something is wrong" 3- marketing / convenience and probably you can order your dead battery straight from the app 4- monitoring battery charge, battery life / cycles / etc. 5- no idea :-)

Just speculating, but I guess there are a lot of reasons why a bluetooth app makes sense
by moomoo11 | 2025-08-21 07:38:12+00:00
Of course I’m pro diplomacy.

I’m just stating my honest beliefs. Geopolitics or business is won through communication but it’s not “bruh we are all one dawg” because been there done that, most of the world would rather kill each other over dumb shit.

Since we believe in higher ideals, we have to do what’s necessary. Do you think the deals made are 1:1? Or does power imbalance play a huge role in getting a 3:1?

Come on dude.
by gentooflux | 2025-08-21 07:38:47+00:00
"Can you do me a favor?" "Can you come here a second?" "HELP!"

It's an attempt to use emotional leverage to acquire assistance.

In the author's case they're appealing to prowess; "if you can help me with this then clearly you are an accomplished java person."

In my first two examples it's usually someone leveraging the nature of your relationship; "if you care about me you'll do this/look at this for me."

In my third example they're probably drowning or something and are trying to get someone's attention before that happens.

It's all very needful.
by prmoustache | 2025-08-21 07:39:29+00:00
> How are people "fussing with unlocking their phones" to pay though? It literally couldn't be any easier - I pull it out, touch the screen on the fingerprint sensor to unlock it and tap on the terminal, done. It's about 200x easier than pulling the card out of my wallet, and the card can only be used for contactless up to a certain amount, and half the time it randomly asks me for my pin anyway so the whole benefit of contactless is lost. Paying with your phone is a massive improvement to convenience.

Sweaty/wet hands can make unlocking unreliable, some people have multiple cards and need to select the correct one, sometimes their phone is lagging and taking time getting the wallet screen opening, etc. It is not uncommon to see people struggling for a few seconds with their watch or smartphone. So do people not finding their wallet in a bag too or failing to grab a card from a physical wallet too to be honest. I wouldn't say one option is 200x easier, both are pretty much on equal terms imho.

I don't use wallet because I don't have a google account on my phone anyway nor would it work with my grapheneOS AFAIK anyway.
by Michelangelo11 | 2025-08-21 07:39:40+00:00
I wouldn't describe him that way but, at any rate, his point is right: pirating books is taking money out of authors' pockets. Corporations (publishers?) aren't hit hardest and don't care the most about it.

You may prefer the same point expressed in less colorful language by Ursula K. LeGuin, from the same article as Ellison's quote: “I thought, who do these people think they are? Why do they think they can violate my copyright and get away with it?” https://www.nytimes.com/2009/05/12/technology/internet/12dig...

Now, as we found out in the meantime from Rudy Rucker's comment, this anthology isn't pirated after all. If you put up your work for free, there's no piracy.
by blablabla123 | 2025-08-21 07:40:17+00:00
I used to have an old dot matrix printer with my PC in the 90s from my dad. Of course it was also possible to put in "normal" paper as the top unit was removable and print with ttf fonts. My mom liked the printing of the dot matrix printer much more though than the inkjet I later had. (Not sure though if it was an MX-80 or a later model/edition)
by moomoo11 | 2025-08-21 07:40:31+00:00
At least at my Whole Foods there are two cashiers and 6 self checkouts. Tuesdays are usually busy.

Both have lines and the self is always faster. I’m that guy and I timed it myself when I was curious. Like I said. I don’t get it.

They run a business. I just need some stuff and I’m outta there. I don’t really care beyond that exchange.
by dewey | 2025-08-21 07:40:49+00:00
I don't have any insights into how the company is doing, I'm just going by the sample set of people around me or things I read.

I'm a fan of indie software and native apps but I know zero people in the past 10 years that switched to ST. I know plenty of people of people who switched to Vscode and all the other free or paid competitors. It's probably enough to sustain a small company, and not everyone has to strive for a monopoly. But I wouldn't call that thriving.
by palata | 2025-08-21 07:41:43+00:00
But I don't get how is goes for spam or scrapping: if I can pass the test "anonymously", then what prevents me from doing it for illegal purposes?

I get it for age verification: it is difficult for a child to get a token that says they are allowed to access porn because adults around them don't want them to access porn (and even though one could sell tokens online, it effectively makes it harder to access porn as a child).

But how does it prevent someone from using their ID to get tokens for their scrapper? If it's anonymous, then there is no risk in doing it, is there?
by dcminter | 2025-08-21 07:41:54+00:00
Well, the "accidentally making the S3 bucket public" scenario would be a good one. If you review carefully with full understanding of what e.g. all your policies are doing then great, no problem.

If you don't do that will you necessarily notice that you accidentally leaked customer data to the world?

The problem isn't the LLM it's assuming its output is correct just the same as assuming Stack Overflow answers are correct without verifying/understanding them.
by ndsipa_pomu | 2025-08-21 07:42:41+00:00
No, that's been disproved. Most people don't consider that they'll be caught and so the penalty isn't relevant to their thought process. What does deter is a high likelihood of being caught - so a small fine will be more effective if the detection/enforcement is sufficient. Also, it's often not feasible to tie up the courts and jails with minor offenders (e.g. speeding, using a bus lane etc).
by a57721 | 2025-08-21 07:43:23+00:00
Among well-known mathematicians, Gabriel Lamé claimed a proof in 1847 that was assuming unique factorization in cyclotomic fields.

This was not obvious at the time, and in fact, Ernst Kummer had discovered the assumption to be false some years before (unbeknownst to Lamé) and laid down foundations of algebraic number theory to investigate the issue.
by hardwaresofton | 2025-08-21 07:43:31+00:00
Yeah sounds like those SaaSes have a broken funnel/aren't doing a good job, because customers are still annoyed. Being second to market doesn't mean you can't be best!

> If anything, someone should just make an AI that sucks in all the things she mentioned and add it to the NPO's pages. As she mentioned, most NPO work is just marketing and fundraising, and hopefully a little bit of doing some of the work you started it for.

Mitchell is definitely a he, but yeah it sounds like most people don't want to do the marketing and fundraising, and I don't think AI is ready to take that on quite yet.

He notes specifically about how interacting with humans is a valuable part of the experience, sounds like they need better automated management/coralling of existing resources, not necessarily AI.
by bionsystem | 2025-08-21 07:44:18+00:00
> For now, it is very simple: there is a VM (running on FreeBSD and bhyve, on hardware I manage) where I have installed SmartOS. The physical host also runs the reverse proxy (in a jail). Inside the SmartOS VM, there are a series of zones: [...]

That is a weird take, to install SmartOS inside a VM for anything else than a PoC. SmartOS is meant to run on bare metal and host its own VMs / zones. It works either way of course but it's funny for an "Illumos cafe" to not go full on Illumos on the setup.
by mcdeltat | 2025-08-21 07:44:26+00:00
IMO the nice thing about Erlang and Elixir is their foundation of representing data is rock solid. Because data is fully immutable, you get a lot of nice things "for free" (no shared state, reliable serialisation, etc). And then on top of that you can add your interfacey, mutable-ish design with processes, if you want. But you will never have oddities or edge cases with the underlying data.

In contrast with languages like C++ and Java where things are shakey from the ground up. If you can't get an integer type right (looking at you, boxing, or you, implicit type conversions), the rest of the language will always be compensating. It's another layer of annoyances to deal with. You'll be having a nice day coding and then be forced to remember that int is different to Integer and have to change your design for no good reason.

Perhaps you disagree with Erlang's approach, but at least it's solid and thought-out. I'd take that over the C++ or Java mess in most cases.
by wonderfuly | 2025-08-21 07:44:47+00:00
This article tries to argue that the AI bubble has burst by pointing to the failed release of GPT-5. Admittedly, the release of GPT-5 was somewhat of a flop, but I think it's more of a failure in its launch rather than the model itself. In fact, if you use the GPT-5 Thinking model, it's actually quite good. They attempted to make the model automatically route to different levels of thinking intensity, but the routing didn't work very well, which led to the various bad cases people experienced.
by palata | 2025-08-21 07:44:54+00:00
> That's not not the kind of proof of life the government and companies want online.

Well that's your assumption about governments, but it doesn't have to be true. There are governments that don't try to exploit their people. The question is whether such governments can have technical solutions to achieve that or not (I'm genuinely interested in understanding whether or not it's technically feasible).
by rendx | 2025-08-21 07:45:03+00:00
> For usability reasons Anubus only requires that you to go trough a the proof of work flow only once in a given period. (I think the default is once per week.) That's just very little work.

If you keep cookies. I do not want to keep cookies for otherwise "stateless" sites. I have maybe a dozen sites whitelisted, every other site loses cookies when I close the tab.
by weinzierl | 2025-08-21 07:45:05+00:00
Clip art is dead, long live clip art!

Unicode started with the mission to encode all characters needed for written communication in the world. This was already broad, but was not unusual for its time. Unlike Wikipedia, Unicode never went through a battle between inclusionists and deletionists. Moreover, with Han Unification it strayed from its core mission to "encode all characters needed for written communication in the world" (emphasis mine).

Instead it ended up as a fancy clip art library that every software somehow has to support, but with no way to implement the standard in its entirety.
by akoboldfrying | 2025-08-21 07:45:07+00:00
Perhaps I caused confusion by writing "If botPain > botPainThreshold and humanPain < humanPainThreshold then Anubis is working as intended", as I'm not actually disputing that Anubis is currently ineffective against bots. (The article makes that point and I agree with it.) I'm arguing against what I take to be your stronger claim, namely that no "Anubis-like" countermeasure (meaning no countermeasure that charges each request the same amount of CPU in expectation) can work.

I claim that the cost for the two classes of user are meaningfully different: bots care exclusively about the total CPU usage, while humans care about some subjective combination of average and worst-case elapsed times on page loads. Because the sheer number of requests done by bots is so much higher, there's an opportunity to hurt them disproportionately according to their cost model by tweaking Anubis to increase the frequency of checks but decrease each check's elapsed time below the threshold of human annoyance.
by vthriller | 2025-08-21 07:45:22+00:00
I'm not sure if I'd count examples with spaces and comments towards valid emails, because one could argue these are not part of the address, they're email header syntax details. Like, sure, FWS from RFC can be used somewhere in the address, but it can also be in any other header. Also, CFWS and whatnot are going to get stripped anyway by the time you'd have to deal with SMTP (see Forward-path in RFC 5321, which doesn't allow `(nonsense in parentheses)`), so I don't think they should be considered part of the valid address anyway.
by hdgvhicv | 2025-08-21 07:45:26+00:00
In the U.K. you get points on a license for being caught speeding (and other offence). Typically 3.

Knock 12 points up over 3 years and you lose your license.

The problem is the time it takes from being caught to getting the letter can be a couple of weeks. You could literally go from 0 points to license loss for driving 10 miles on an empty road with changeable speed limits and have no idea until a week or two later when you get 4 letters arrive.

Now until the court takes away your license you’re still allowed to drive, but it gives you no chance to change your behaviour.
by phendrenad2 | 2025-08-21 07:45:31+00:00
This drove me crazy in online discussions until I realized that 99% of the time, people who "ask to ask" don't just have a question, they want someone to be their dedicated tech support or mentor who will hold their hand and walk them through it, or will outright do the work for them. Now I just mentally filter these requests out and pretend they don't exist.
by StopDisinfo910 | 2025-08-21 07:45:36+00:00
The whole point of the article you are commenting on is discussing the history of the notion of Eretz Yisrael, a political point which has always existed in Israel and has become significant after Netanyahu recent interview - certainly not a “Western fantasy” - and confront it with how it was applied during Israel history.

No one is discussing than Ben-Gurion did use borders as a négociation tool. But Likud’s 1977 platform also exists and the “Yinon plan”.

The main question is how relevant is the concept to Israel current political environment and ambitions.

I have no comment to make about your last paragraph. I fear we have reached the point where history will have to be the judge.
by seventhtiger | 2025-08-21 07:46:00+00:00
Translated tweet text from Japanese gaming Youtuber Shinjisan:

"I checked out the reviews on Steam now that you can see them by country, and I noticed that for almost every game, the reviews from Japan were overwhelmingly negative compared to others. (China and Japan seem to be particularly harsh.)

However, when I read the content of the negative reviews, many of them were surprisingly reasonable. Upon digging into the reasons, it seems like people in Japan tend to leave negative reviews to voice complaints, but they don’t bother leaving positive reviews for games they enjoyed. In short, it just looks like harsh ratings due to a lack of positive reviews. (Giving a negative review to something you didn’t find fun isn’t necessarily a bad thing.)

Steam’s review ratings often impact game sales, and because of Japan’s harsh reviews, some developers apparently avoid Japanese localization during early access or initial release to avoid getting reviewed at that stage.

What I’m trying to say is, if you get into the habit of leaving a positive review—even just a short one—for games you enjoyed, game companies might be more inclined to support Japanese localization sooner or treat us more kindly (⋈◍＞◡＜◍)。♡. I’ll keep up my habit of leaving positive reviews for fun games whenever I remember to do so. Best regards."
by motorest | 2025-08-21 07:47:15+00:00
> Writing code is the design phase.

No, it really isn't. I don't know which amateur operation you've been involved with, but that is really not how things work in the real world.

In companies that are not entirely dysfunctional, each significant change to the system's involve a design phase, which often includes reviews from stakeholders and involved parties such as security reviews and data protection reviews. These tend to happen before any code is even written. This doesn't rule out spikes, but their role is to verify and validate requirements and approaches, and allow new requirements to emerge to provide feedback to the actual design process.

The only place where cowboy coding has a place is in small refactoring, features and code fixes.
by gambiting | 2025-08-21 07:47:57+00:00
UK is stupidly far behind on this though. On one hand the digitization of government services is really well done(thanks to the fantastic team behind .gov websites), but on the other it's like being in the dark ages of tech. My native country has physical ID cards that contain my personal certificate that I can use to sign things or to - gasp! - prove that I am who I say I am. There is a government app that you can use to scan your ID card using the NFC chip in your phone, after providing it with a password that you set when you got the card it produces a token that can then be used to verify your identy or sign documents digitally - and those signatures legally have the same weight as real paper signatures.

UK is in this weird place where there isn't one kind of ID that everyone has - for most people it's the driving licence, but obviously that's not good enough. But my general point is that UK could just look over at how other countries are doing it and copy good solutions to this problem, instead of whatever nonsense is being done right now with the age verification process being entirely outsourced to private companies.
by bflesch | 2025-08-21 07:48:19+00:00
Sorry for the stupid question, but would this IDE be a good place to create VB.net GUI apps for Windows 11?

I've been looking into "best" ways of creating Windows GUI apps from Linux and apart from C/Cpp with native Windows APIs most options seem to focus on React Native and web technologies.

Is SimpleIDE a valid option for this? Does it spit out an .exe file that I can run on a vanilla Windows 11 installation?
by brabel | 2025-08-21 07:48:23+00:00
IntelliJ lets you detach separate windows for almost all of the minor panes.

Click on the 3 dots on the top bar, View Mode, Window. It works for example for the file tree, Runners pane, Terminals etc. And it's easy to "dock" them again (an icon shows up in the window to do that) so you can try it easily.

I always keep some stuff like diffs, for example, in separate windows, it just makes me less confused about what's "temporary buffers" (as you would say in emacs) VS "actual files".