tromp

47 ms·

871.
by tromp 2y ago
There are 2^60 such 3 state 4 symbol Turing machines. A 49-bit lambda term whose output (normal form) exceeds Graham's Number should blow your mind even more.
872.
by tromp 2y ago
Yes, for a busy beaver properly defined in information theoretic terms, like BBλ2 [1], one can prove that its champions must be incompressible up to some constant. Mikhail Andreev's article "Busy Beavers and Kolmogorov complexity&
873.
by tromp 2y ago
I miscalculated. It should be 3*4*log2(4*2*(3+1))= 60 bits of information.
874.
by tromp 2y ago
The new BB(3,4) record holder is 0 1 2 3 A 1RB 3LB 1RZ 2RA B 2LC 3RB 1LC 2RA C 3RB 1LB 3LC 2RC with the triple (t',d, s') in row s column t specifying the transition from state s with symbol t
875.
by tromp 2y ago
The suggested code tests for bitfield borrows with auto c = ((~x & y) | (~(x ^ y) & (x - y)); c &= 0x8410; return c == 0; where the literal bitmap contains the most significant bit of each bitfield. Couldn'
876.
by tromp 2y ago
True if you play Go on a 2x1 board. Then unique optimal play is pass, pass.
877.
by tromp 2y ago
Then who is playing Go?
878.
by tromp 2y ago
https://archive.is/k8hkQ
879.
Investors clash over Elon Musk's $46B pay package(fortune.com)
4 points by tromp 2y ago|1 comments
880.
by tromp 2y ago
As featured in South Park episode "Pinewood Derby" [1] [2]. [1] https://en.wikipedia.org/wiki/Pinewood_Derby_(South_Park) [2] https://www.southparkstudios.com/episodes/oki0th/south-p
881.
by tromp 2y ago
The IOCCC also featured a very concise fluid simulator [1] [2], which can be seen in action in this video [3]. [1] https://www.ioccc.org/2012/endoh1/endoh1.c [2] https://www.ioccc.org/2012/end
882.
by tromp 2y ago
Reminds me of one of my favorite Seinfeld clips "Frog is Wrong" [1] [1] https://www.youtube.com/watch?v=f0MtSBKgUNk
883.
by tromp 2y ago
> On April 18, 2023, according to a police report, she’d gone into a Citizens Bank branch in New Rochelle in Westchester County, presented an ID with another woman’s name, and walked away with $3,500. A bank employee had become suspiciou
884.
by tromp 2y ago
https://archive.is/GyMOY
885.
How Jim Simons Revolutionised Investing(economist.com)
14 points by tromp 2y ago|4 comments
886.
by tromp 2y ago
Peter Österlund wrote the texelutil legality (dis)proving engine that was used in my ChessPositionRanking project [2] to accurately estimate the number of legal chess positions, by analyzing 94903 randomly generated positions that might or
887.
by tromp 2y ago
> designed to collapse under such a weight. Even if this wasn't fake news, the weight of two people is not something you can design for. If you collapse at 140kg that will still support two light athletes, while not supporting a sin
888.
by tromp 2y ago
https://archive.is/orRZw
889.
by tromp 2y ago
https://archive.is/MR4cS
890.
by tromp 2y ago
https://archive.is/l6N7m
891.
by tromp 2y ago
https://archive.is/8uxk2
892.
by tromp 2y ago
> it's just the sequence of moves it could stay pretty small. It could also be pretty long, 5898 moves to be precise when using the 50-move rule [1]. [1] https://www.youtube.com/watch?v=D5DXJxR3Uig
893.
by tromp 2y ago
Technically speaking, it would require ~ 4.8 * 10^44 pages to cover all legal chess positions [1]. But they're happy to serve utterly illegal positions like https://chess.maxmcd.com/rnbqkbnr/qqqqqqqq/8/8&
894.
by tromp 2y ago
Another functional language that can be concisely implemented [1] in Python is Binary Lambda Calculus, with a large part of the code dealing with BLC's pure I/O model. Instead of using an association list for variable lookup, it u
895.
by tromp 2y ago
As Wikipedia puts it, the > number derivative is a function defined for integers, based on prime factorization, by analogy with the product rule for the derivative of a function that is used in mathematical analysis.
896.
by tromp 2y ago
Non-mobile link: https://en.wikipedia.org/wiki/Arithmetic_derivative
897.
by tromp 2y ago
The news item is blocked by many ad-blockers, including my Brave browser. Using Firefox I see the text: Simons Foundation Co-Founder, Mathematician and Investor Jim Simons Dies at 86 By Thomas Sumner May 10, 2024 Simons Foundation co-founde
898.
by tromp 2y ago
Cute choice of website elv.sh using the top level domain for Saint Helena [1], which even mentions > For the .sh file extension type, see shell script. [1] https://en.wikipedia.org/wiki/.sh
899.
by tromp 2y ago
One reason for this is that since cutting off Russian gas, Europe has begun importing huge amounts of liquefied gas from multiple sources, the U.S. being the biggest one [1]. [1] https://www.eia.gov/todayinenergy/detail
900.
Hertz Charges Tesla Model 3 Renter $277 Fee for Gas(thedrive.com)
30 points by tromp 2y ago|36 comments

More ›