libera/commonlisp - IRC Chatlog Search Saturday, 2nd of July 2022, 0:26:31 UTC 4:36:58 hineios6 ** NICK hineios 9:34:13 Furor ** NICK Colere 10:08:13 SR-71 Hello everyone 10:12:40 pjb Not so fast! 10:13:46 SR-71 Can someone provide an elegent solution to 3n+1 problem. 10:14:12 pjb AFAIK the conjecture is not proven yet. 10:14:22 SR-71 for n < 1000000 10:15:44 hayley See if (dotimes (n 1000000) (collatz n)) halts. It should. 10:15:54 SR-71 lets see..