tromp

32 ms·

631.
Neom CEO departs as Saudi Arabia scales back mega-projects(theguardian.com)
5 points by tromp 2y ago|0 comments
632.
Lightfoot solar scooter(engadget.com)
1 points by tromp 2y ago|0 comments
633.
by tromp 2y ago
https://archive.is/CiLHO
634.
The Incredible Power of Quantum Memory(wired.com)
2 points by tromp 2y ago|0 comments
635.
by tromp 2y ago
> We should not accept this. If we don’t, then the future of computing will belong to biology, not logic. In this quote from Leslie Lamport, I took "If we don't" to mean "If we don't accept this". But the re
636.
by tromp 2y ago
> “Even though silicon works at these extremely small dimensions, the energy efficiency required to do one calculation has been going up, and this makes it highly unsustainable,” They probably meant: the energy use required to do one cal
637.
Apple M4 Pro analysis – fast, but not as efficient(notebookcheck.net)
19 points by tromp 2y ago|6 comments
638.
by tromp 2y ago
9 hex digits makes for a 36 bit search space, so we can expect a solution in 64 billion hashes. moderately but not terribly impressive.
639.
by tromp 2y ago
Most Go players I know prefer the simplicity and elegance of Fischer time [1]. No more pausing the clock to count out N stones, or worries about using less time than allotted for your N moves and wasting the rest. I don't mind seeing b
640.
by tromp 2y ago
> What follows the lambda is the list of arguments. It would be clearer to say that what follows the lambda is the name of its (single) argument, not a list. And then explain that for notational convenience, you could abbreviate successi
641.
by tromp 2y ago
The title is slightly misleading. It's not storing one file in one chess game, but storing one file in a sequence of chess games. The technique has not much to do with chess but applies to any game, as long as you have a deterministic
642.
by tromp 2y ago
added...
643.
by tromp 2y ago
> Just go into any crypto sub on Reddit. Any. How is https://old.reddit.com/r/grincoin toxic? Not all crypto are about number go up. Or about enriching its creators...
644.
by tromp 2y ago
> Technically the language is Turing complete at this point, but will be excruciatingly laborious to use, violating my design rule #2. I stopped at step #1 with my Lambda Diagrams [1]. The bottom of that page links to all other graphical
645.
The Biggest Clue That the Supreme Court Has Lost Touch with Reality(slate.com)
4 points by tromp 2y ago|0 comments
646.
by tromp 2y ago
Besides the metric ton of 1000kg there are various others that differ slightly [1]. So that is indeed approximately 200,000 kilograms. [1] https://en.wikipedia.org/wiki/Ton
647.
by tromp 2y ago
The hardest 5x5 unit rush hour takes a still very impressive 199 moves and can be played at https://tromp.github.io/oriscript5.html That one is definitely humanly possible. The hardest 4x4 is only 40 moves as playable at h
648.
by tromp 2y ago
https://archive.is/ndahQ
649.
by tromp 2y ago
The database has the hardest 6x6 Rush hour level taking 51 moves. This goes up significantly if we make all cars to be 1x1 unit sized but each one restricted to either horizontal or vertical movement. Then the hardest 6x6 level takes a whop
650.
by tromp 2y ago
The Alonzo programming language named after him [1] has mostly been forgotten. [1] https://dl.acm.org/doi/pdf/10.1145/68127.68139
651.
by tromp 2y ago
Ah, the number of days in 400 years is 400 * 365 + 97 = (57*7+1) * (52*7+1) + (14*7-1) = 0 mod 7, so indeed it doesn't work out.
652.
by tromp 2y ago
Of course that would still be the case if there were no Hamiltonian circuit. The only new thing that brings is that the number of moves to solve it is less than the number of possible configurations.
653.
by tromp 2y ago
https://archive.is/Qu1qm
654.
by tromp 2y ago
> No one wants bitcoin to stop being issued at 21 million. Miners cannot survive on fees alone. Of course speculators, i.e. the vast majority of bitcoin users, want issuance to stop at 21M, to keep playing their game of number go up. As
655.
The paper no one read before declaring the demise of modern cryptography(arstechnica.com)
3 points by tromp 2y ago|0 comments
656.
by tromp 2y ago
But if the pair of (date, weekday) repeats every 400*7 years, then it still works out exactly?!
657.
by tromp 2y ago
Unless you're considering a limited date range, it should fall equally often on both in the limit since neither 365 nor 366 (leap year) are multiples of 7.
658.
by tromp 2y ago
The minimum is not over all starting configurations, but over all move sequences for a fixed starting configuration.
659.
by tromp 2y ago
That would make the most sense for the next Mac Studio version.
660.
by tromp 2y ago
Or at some point, some miners will have to call it quits...

More ›