abetusk
Joined 12 years ago
Joined 12 years ago
[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.
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
[email protected]