He could have been paid by Anthropic to run a brute-force computer search. The counterexample looks short enough that, given a portion of Anthropic’s computing power and a sufficiently smart algorithm, it could be found by brute force.
HN user
xigoi
Is there any evidence that the discovery was made by Claude and not by Levent Alpöge himself? The only sources listed in the wikipedia article are an X post and a news article that references the post.
From the article:
When your posts are individual HTML files (not Markdown files or database entries), they can finally be seen as the individual web pages that they truly are. And that means that you can really lean into making all of your posts unique! They don’t all have to be cookie-cutter paper-doll clones of one another; that’s just a bi-product of modern web publishing tools and the cultural influence that they have on our concept of a “blog”. You can now go ahead and make every blog post as special and individual as you’d like. Each post can have its own personality, baked right into its HTML. Individual style, individual appearance, even individual layout. Literally everything is possible with this approach.
NFS supports dynamic websites (giving you access to a full Linux system with many programming languages), though you’ll have to pay more.
Isn’t this only a problem if the language is case-insensitive?
because people give up at "how do I import a lib to make an http call" ?
Ironically, this is where I gave up on trying to learn Rust. I just wanted to make a HTTP request and the simplest solution was to… download a library with hundreds of dependencies taking up half a gigabyte?
More like “This artist won the drawing competition because someone told her the theme in advance and the specifically practiced drawing pelicans for hundreds of hours.”
From what I can tell, DuckDB is more focused on huge-scale data analysis than simple data persistence, so I’m not sure if it fits my use cases. Otherwise, it looks good.
What are other choices for FOSS serverless relational databases? I’ve been looking everywhere and couldn’t find anything.
I was talking about Go. I know you don’t need the index in D.
C++32 will look like
for<template> [auto&&&&]:::static (std::for_enumeration_initializer &&⁢ @auto: {{const signed&&&&& i const}}) { }I find Go’s version worse in that it does not allow you to elide the index (which is not needed most of the time). You have to write `for _, s := range vec`, as `for s := range vec` makes s the index.
Many things are harmful for everyone, yet we only ban them for children because banning them for everyone would create huge uproar. Make tobacco illegal and then we can talk about social media.
The fact that, in general, you don’t know what was on the previous pages, if anything. The user may just randomly decide to open page 3 without having visited the previous two pages. Or they clicked “next” after having page 2 open on their computer for several days and meanwhile they used your website on a different device.
Are you arguing that writing a correct program is an NP problem?
With infinite scroll, “what you saw so far” is in the client. With pagination, it exists only in the user’s mind.
When asked to load more items, simply take the entire list (which may have changed) and remove the items already shown on the screen.
The second style makes it impossible to sort by anything other than time.
Did you think HN has an unusable and bad interface?
In thems of pagination, yes, which is why I prefer to use https://hckrnews.com/.
Cursor based pagination only works if the items are sorted in strict chronological order. Otherwise, the problem remains. Consider the list
[A B C] D E F G H …
where the brackets represent the first page. If the user clicks the next page button (asking for the next page after C), but meanwhile the order changed, they get this: A D C [B F E] G H …
Notice how they now see B twice and completely miss out on D. In constrast, infinite scroll will take the new infinite list and remove A B C, leaving D F E …The user expectation is that if you refresh the page, you will see fresh content.
Infinite scroll makes the problem much easier, even if it’s still a problem. The only action you need to support is loading more results, which you can do by loading all results and filtering out those already shown. With pagination, the user may say “give me page 3” and you have no idea what was on pages 1 and 2, if they were even loaded.
Because other people keep adding new posts (and upvoting existing posts, which changes their order).
On the contrary, pagination makes it impossible to keep your place in the list if it changes between page loads.
cd is a shell built-in, not a script.
They meant x = 0.
Makes for horrible footguns like:
history[counter % SIZE] = …
The footgun here is that the “modulo” operator does not actually calculate the modulo in C. In Python, this works correctly for negative values.
I see it as a generic name for the set of modern ideologies that determine someone’s morality based on how many immutable characteristics they share with people who have historically been oppressed.
Classical apex fallacy. Just because 0.0001% of white men have a lot of power doesn’t mean there is any benefit for other white men.
if granted, immediately start downloading their local tileset in the background
Nope. I do not want any app to start downloading hundreds of megabytes without my permission.