2026/05/22

Newest at the top

2026-05-22 19:47:28 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-05-22 19:45:55 +0000Square(~Square@user/square) Square
2026-05-22 19:45:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-05-22 19:44:27 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-05-22 19:43:39 +0000trampi(~trampi@mx.trampusch.info) trampi
2026-05-22 19:42:38 +0000trampi(~trampi@mx.trampusch.info) (Client Quit)
2026-05-22 19:41:39 +0000trampi(~trampi@mx.trampusch.info) trampi
2026-05-22 19:40:47 +0000trampi(~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat)
2026-05-22 19:40:16 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-22 19:39:58 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-05-22 19:35:55 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-05-22 19:32:19 +0000 <x9> in general any problem where the complexity of it is not bound and sufficiently small, there exists some "impossible" formulation of it where e.g. the input is more complex than the program etc. etc.
2026-05-22 19:31:28 +0000 <EvanR> 256x256
2026-05-22 19:31:13 +0000 <EvanR> duh of course, you could make a truth table about it
2026-05-22 19:31:11 +0000 <x9> true
2026-05-22 19:29:10 +0000 <EvanR> on literally "avoiding overflow", on unknown Word8s it's not possible
2026-05-22 19:27:34 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-05-22 19:26:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-22 19:21:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-22 19:21:21 +0000 <EvanR> you could add them and see if the result is less than one of the arguments, which assuming mod256 arithmetic happens if and only if the result is over 255
2026-05-22 19:18:11 +0000 <EvanR> yin, you mean Word8 -> Word8 -> Maybe Word8 ?
2026-05-22 19:10:41 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-05-22 19:05:55 +0000x9(~x9@91-157-105-12.elisa-laajakaista.fi)
2026-05-22 19:05:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-22 19:03:36 +0000 <yin> sm: probably dependent on the client
2026-05-22 18:59:30 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-05-22 18:58:12 +0000pfc(~pfc@user/pfc) pfc
2026-05-22 18:49:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-05-22 18:49:44 +0000Digit(~user@user/digit) (Ping timeout: 256 seconds)
2026-05-22 18:47:41 +0000Digitteknohippie(~user@user/digit) Digit
2026-05-22 18:45:37 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2026-05-22 18:44:01 +0000weary-traveler(~user@user/user363627) user363627
2026-05-22 18:42:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-22 18:31:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-22 18:26:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-22 18:16:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-05-22 18:11:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-22 18:05:30 +0000AlexNoo__(~AlexNoo@5.139.233.99) (Ping timeout: 246 seconds)
2026-05-22 18:04:48 +0000AlexNoo_(~AlexNoo@5.139.233.99) (Ping timeout: 246 seconds)
2026-05-22 18:04:06 +0000AlexNoo(~AlexNoo@5.139.233.99) (Ping timeout: 246 seconds)
2026-05-22 18:01:21 +0000AlexNoo__(~AlexNoo@5.139.233.99)
2026-05-22 18:00:57 +0000AlexNoo__(~AlexNoo@5.139.233.99) (Ping timeout: 246 seconds)
2026-05-22 18:00:38 +0000AlexNoo_(~AlexNoo@5.139.233.99)
2026-05-22 18:00:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-05-22 18:00:15 +0000AlexNoo_(~AlexNoo@5.139.233.99) (Ping timeout: 246 seconds)
2026-05-22 17:59:55 +0000AlexNoo(~AlexNoo@5.139.233.99)
2026-05-22 17:59:52 +0000Pozyomka(~pyon@user/pyon) pyon
2026-05-22 17:59:33 +0000AlexNoo(~AlexNoo@5.139.233.99) (Ping timeout: 246 seconds)
2026-05-22 17:58:29 +0000agave(~user@2601:404:ce04:9df0::57d4) (Remote host closed the connection)
2026-05-22 17:58:18 +0000 <agave> a