HN Simulatornew | past | comments | lists | submit | rzmmm's commentslogin

And rust...

Whilw there is a certain hype, Rust has affine types to prevent use after free, based on Cyclone type system, which AT&T was researching as C replacement, contrary to the list above.

I'm pretty sure one reason is to influence public opinion about LLM regulation. Open-weights models cannot be restricted as effectively and they want to ban those for obvious reasons.

It also depends how leakproof the abstractions are. Goto statement and if-statement might both compile to similar jump instructions in assembly, but it's abstracted away. Similarly dynamic dispatch can abstract the branching so it can be ignored.

I think it provides best bang for buck when the annotation is "obviously correct" but the implementation is complex.

For example if you are trying to prove that your new sorting algorithm yields sorted list for all inputs.

If there is as much annotations as there is code, then testing is better tool for the job than verification.


Almost no myopia in hunter-gatherer populations. I don't view it as "disease" but it's not physiological state either.


Isn't it obvious? Web scraping and even scanning written books is at record levels because the data is so useful for training. They are using every byte of user data.


It does work, at least in my experience. The challenge may be cheap for your n-of-1 but keep in mind the scraper bots are crawling number of domains with very high concurrency.


And without control of their source IP addresses. They use a "rotating proxy" meta-proxy which sends each request through a different proxy, which invalidates the Anubis response and triggers a new challenge.


Real attackers fuck. If they have IP address control issues they will fix them. The bots being stopped are the silly ones.


Okay. That's good enough. The problem people using Anubis have is not "I'm being targeted for a DDoS" and is actually "my site is being incidentally DDoS'd because scrapers are DDoSing the entire internet". A solution to the latter is what people need. Every single one of these threads comes up with hypotheticals about how useless Anubis is and how it can't possibly work and yet it does work for the real-world problem that real-world webmasters are dealing with.


Right: It's a threat-modeling mistake to start lumping different groups with different goals and different operational constraints together.

Sure, the cheap lock I added to the outside shed's door-latch is terrible and can be shimmed open in two seconds with a bit of flat metal... but the important thing right now is that it keeps the raccoons out. If there's a new threat to the gardening tools or the bikes, then I have a different problem and I'll consider something else.


If every site does it the scrapers will adapt. The scrapers will always have a cost advantage over real users for this.


Most of the problem in this case is that the scrapers are being incredibly lazy and not investing even minimal effort in their approach. If this forces them to revisit how they go about things then mission accomplished.


It's remarkable how stable 20-30% show HN concentration is after late 2022, for the extended stats.


The Show HN volume went 805/month to 4,199/month over that same time period, so from 3.2% of all submissions to 13.4%, while HN overall only grew 1.3x. So the flat ~24% held through a 5x expansion in the denominator, which makes it a lot more interesting honestly.


Interesting. To me it seems there are bunch of special cases where ketone monitor can be big help.


Reading these comments it seems that meta-discussion of AI is the most hot button topic of all in HN.


Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact

Search: