abetusk
I think this is a common trend for algorithms that are in wide use, where you have Moore's law like behavior on the hardware side and then also software optimizations that give their own order of magnitude speedups.
I'm a little used to the trick but it'd be nice to give some deeper motivation of why the trick works in the first place and why this particular representation.
[0]:
> We give a deterministic algorithm for exactly counting the satisfying assignments of an arbitrary k-CNF formula. For every fixed k ⩾ 2, on a formula with n variables and m clauses, our algorithm uses $poly_k (n, m)$ space and runs in time $(n + m)^{O_k(1)} 2^{n/(\log n)^{1/2 + o(1)}}$
The dominant term there is (roughly) $2^{n / (\log n)^{0.5}}$, so still superpolynomial but less than exponential. Fucking wild.
[0] https://github.com/openai/math/blob/main/preprints/The-Expon...
This sentiment is akin to wanting to curse humanity to darkness because they're not the one carrying the candle. Strogatz is not lamenting the loss of discovery, he's lamenting the loss of being heralded as a hero for the discovery.
Nothing prevents him or others discovering truths for themselves. Turn off the computer and try to re-derive it from first principles. Have at it! This is what students do in many courses anyway.
I've found little so depressing as being at the precipice of a renaissance of science and mathematical discovery, only to see how resistant the scientists and mathematicians are to it. It lays bare their counterarguments. Any pretense of wanting to discovery fundamental truth about reality is supplanted with "but what about our careers!?". Strogatz, and others like him, should be ashamed of themselves.
I still disagree but it looks like the author makes a cursory attempt to address the issues that I think are more relevant.
Not one word of copyright length, which is now effectively over a century long. Not one word of some of the most successful AI models being open source.
Commons encirclement, as the author is describing, has been happening since source code was labelled art instead of engineering and since lobbying efforts have been extending copyright terms. My view is that AI technology are trampling over the encirclement, which is why so many people are upset.
I was rotating all around and couldn't figure out what to actually do.
This definitely needs a tutorial.
A mountain of AI math, a few precious bytes
I guess it's a bit hard to explain, but there's a cluster of points of interest that appeal to the stereotypical user on hacker news, of which generative art (and potentially a "wave function collapse"-like algorithm that you may or may not be using), architecture, brutalism and indie gamedev are part of that list.
I suspected your project resonates with a lot of people's interest who frequent the site, which is why I submitted it here (anyone can submit, I just happened to be the one that did it first).
"""
specs:
Windows 10 / macOS 12+ / Ubuntu 22.04+ Any GPU from the last ~8 years, integrated is fine, M1 Macs are plenty 4 GB RAM ~250 MB disk
It's a small game, no dedicated graphics card needed.
"""
[0] https://placeholders.itch.io/tiny-brutalism#post-17475584
Tiny Brutalism
There is no Percolation at the Critical Probability in all Dimensions
I'd be interested to know if that's just a coincidence or whether there's an underlying reason.
Universe, Drawn in ASCII
As an aside, if you take numbers from 0 to (n-1) in an array, there are n! configurations, so representing each configuration or differentiating each configuration take n lg n bits. So, in some sense, taking a mapping that's able to differentiate the input state to map to the ordered state takes at least O(n lg n) time, the standard runtime of a basic sorting algorithm.
Any additional assumptions (n larger than maximum element, distribution of elements) helps reduce this.
Lean Game Server
Natural Number Game (Lean4 Tutorial)
Even a BOM would be helpful. Also understanding the post-processing/cleanup step would be interesting.
Blog post: https://iclr-blogposts.github.io/2025/blog/sparse-autodiff/
Previous discussion: https://news.ycombinator.com/item?id=43828423