| 2023-07-30 00:04:49 +0000 | <c_wraith> | Well, I think whatever you're recalling was using balanced ternary, but I'm not sure how it relates to CR. Well, that's not entirely true. I'm seeing it has some properties like "rounding and truncation are the same operation", which is really helpful - when doing epsilon-delta approximations. |
| 2023-07-30 00:05:00 +0000 | <c_wraith> | But that's what you asked for it to not have. :) |
| 2023-07-30 00:08:23 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-092-082.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-30 00:08:47 +0000 | <dolio> | Well, I think the point is that 0,1 reals get you into 'infinite carry' situations. Like, if you add 0 to 1/2, where the latter is represented as '0111...', no finite amount of lookahead will help you be sure of the first digit of the result. |
| 2023-07-30 00:09:21 +0000 | <dolio> | And the ternary representation might let you go, "I'll just put a 1 there and fix it up with a -1 later if I need to." |
| 2023-07-30 00:09:56 +0000 | <dolio> | But I'd like a reference to something instead of working out all the details myself. :) |
| 2023-07-30 00:11:59 +0000 | <dolio> | Also it might not be arbitrary streams of 0,1,-1. Not sure. |
| 2023-07-30 00:17:51 +0000 | gry | (quasselcor@botters/gry) |
| 2023-07-30 00:18:31 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 2023-07-30 00:21:34 +0000 | dmgk | (~dmgk@user/dmgk) () |
| 2023-07-30 00:24:10 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-30 00:28:00 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-30 00:29:02 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-07-30 00:29:32 +0000 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-07-30 00:30:24 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 00:30:24 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 00:30:24 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 00:30:47 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 258 seconds) |
| 2023-07-30 00:30:53 +0000 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
| 2023-07-30 00:32:53 +0000 | phma | (~phma@2001:5b0:210f:59e8:555:41f7:811f:ab7b) (Read error: Connection reset by peer) |
| 2023-07-30 00:33:16 +0000 | phma | (phma@2001:5b0:210f:59e8:555:41f7:811f:ab7b) |
| 2023-07-30 00:33:17 +0000 | mei | (~mei@user/mei) |
| 2023-07-30 00:34:41 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Excess Flood) |
| 2023-07-30 00:40:28 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 00:40:28 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 00:40:28 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 00:43:10 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 00:47:08 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) (Ping timeout: 246 seconds) |
| 2023-07-30 00:47:59 +0000 | flounders | (~flounders@24.246.133.1) (Ping timeout: 264 seconds) |
| 2023-07-30 00:57:56 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-30 01:11:07 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-30 01:17:14 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-30 01:22:58 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 01:24:25 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: No Ping reply in 180 seconds.) |
| 2023-07-30 01:24:39 +0000 | razetime | (~quassel@117.193.6.36) |
| 2023-07-30 01:26:00 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-07-30 01:27:31 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-30 01:28:03 +0000 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 244 seconds) |
| 2023-07-30 01:33:20 +0000 | Alleria | (~JohnGalt@68.65.161.35) |
| 2023-07-30 01:34:10 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 252 seconds) |
| 2023-07-30 01:34:15 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 244 seconds) |
| 2023-07-30 01:36:13 +0000 | Alleria | (~JohnGalt@68.65.161.35) (Changing host) |
| 2023-07-30 01:36:14 +0000 | Alleria | (~JohnGalt@user/alleria) |
| 2023-07-30 01:37:47 +0000 | talismanick | (~user@76.133.152.122) (Ping timeout: 264 seconds) |
| 2023-07-30 01:46:12 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 245 seconds) |
| 2023-07-30 01:48:20 +0000 | mima | (~mmh@ppp-212-114-180-70.dynamic.mnet-online.de) (Ping timeout: 250 seconds) |
| 2023-07-30 01:52:13 +0000 | Alleria | (~JohnGalt@user/alleria) (Read error: Connection reset by peer) |
| 2023-07-30 01:52:57 +0000 | Alleria | (~JohnGalt@68.65.161.35) |
| 2023-07-30 01:55:49 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-07-30 01:56:23 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds) |
| 2023-07-30 01:56:41 +0000 | lbseale | (~quassel@user/ep1ctetus) |
| 2023-07-30 01:57:20 +0000 | Square | (~Square@user/square) |
| 2023-07-30 01:58:16 +0000 | Alleria | (~JohnGalt@68.65.161.35) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-07-30 01:59:12 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 02:00:37 +0000 | Alleria | (~JohnGalt@user/alleria) |
| 2023-07-30 02:03:42 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 245 seconds) |
| 2023-07-30 02:06:14 +0000 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2023-07-30 02:08:53 +0000 | dobblego | (~dibblego@116.255.1.151) |
| 2023-07-30 02:08:53 +0000 | dobblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-30 02:08:53 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 02:09:08 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-30 02:09:38 +0000 | dobblego | dibblego |
| 2023-07-30 02:15:26 +0000 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 245 seconds) |
| 2023-07-30 02:17:05 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 02:17:29 +0000 | td_ | (~td@i5387093B.versanet.de) |
| 2023-07-30 02:18:08 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-30 02:18:08 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-30 02:18:08 +0000 | finn_elija | FinnElija |
| 2023-07-30 02:25:11 +0000 | byte | (~byte@user/byte) (Quit: Quitting...) |
| 2023-07-30 02:28:46 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-30 02:30:39 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 02:30:39 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 02:30:39 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 02:33:42 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 02:35:44 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-30 02:37:23 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 02:37:23 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 02:37:23 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 02:38:19 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 244 seconds) |
| 2023-07-30 02:43:22 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-30 02:46:20 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 02:46:20 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 02:46:20 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 02:46:35 +0000 | razetime | (~quassel@117.193.6.36) (Ping timeout: 244 seconds) |
| 2023-07-30 02:52:27 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 02:53:18 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-30 02:53:28 +0000 | Alleria | (~JohnGalt@user/alleria) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-07-30 02:54:47 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-30 02:54:56 +0000 | phma | (phma@2001:5b0:210f:59e8:555:41f7:811f:ab7b) (Read error: Connection reset by peer) |
| 2023-07-30 02:55:23 +0000 | phma | (~phma@host-67-44-208-184.hnremote.net) |
| 2023-07-30 02:56:50 +0000 | dibblego | (~dibblego@116.255.1.151) |
| 2023-07-30 02:56:51 +0000 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-30 02:56:51 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 02:59:11 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-30 03:02:29 +0000 | razetime | (~quassel@117.193.6.36) |
| 2023-07-30 03:03:48 +0000 | aforemny | (~aforemny@2001:9e8:6cf0:9000:d6be:c81a:96c5:47a4) |
| 2023-07-30 03:04:40 +0000 | aforemny_ | (~aforemny@i59F516E5.versanet.de) (Ping timeout: 244 seconds) |
| 2023-07-30 03:05:13 +0000 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 2023-07-30 03:06:53 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-07-30 03:10:23 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-30 03:12:51 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-30 03:17:56 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-30 03:18:06 +0000 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2023-07-30 03:19:54 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-30 03:21:10 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 03:21:10 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 03:21:10 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 03:22:06 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-30 03:22:16 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 260 seconds) |
| 2023-07-30 03:27:24 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-30 03:27:33 +0000 | mei | (~mei@user/mei) |
| 2023-07-30 03:27:50 +0000 | <EvanR> | dolio, Signed-Digit Numbe Representations for Fast Parallel Arithmetic - Algirdas Avizienis ? |
| 2023-07-30 03:29:39 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 03:29:39 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 03:29:39 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 03:33:37 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-07-30 03:34:47 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-30 03:37:13 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 03:37:13 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 03:37:14 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 03:40:01 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2023-07-30 03:44:15 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-30 03:46:44 +0000 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 260 seconds) |
| 2023-07-30 03:52:31 +0000 | razetime | (~quassel@117.193.6.36) (Ping timeout: 245 seconds) |
| 2023-07-30 03:53:42 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 245 seconds) |
| 2023-07-30 03:57:48 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-30 04:03:39 +0000 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 260 seconds) |
| 2023-07-30 04:04:16 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) |
| 2023-07-30 04:06:02 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 04:06:40 +0000 | <dolio> | Maybe. Hard to tell from the abstract whether that's about real numbers or integers. |
| 2023-07-30 04:08:13 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 244 seconds) |
| 2023-07-30 04:09:18 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-30 04:10:41 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 260 seconds) |
| 2023-07-30 04:14:15 +0000 | <monochrom> | I bet "fast" means integers. :) |
| 2023-07-30 04:30:42 +0000 | <dolio> | Yeah. It's from the 60s, too. :) |
| 2023-07-30 04:31:38 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 246 seconds) |
| 2023-07-30 04:36:53 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 04:43:15 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-07-30 04:47:13 +0000 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-07-30 04:47:37 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 04:47:37 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 258 seconds) |
| 2023-07-30 04:47:37 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 04:47:37 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 04:48:02 +0000 | dobblego | dibblego |
| 2023-07-30 04:49:24 +0000 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 2023-07-30 04:52:39 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18db:fb53:1602:b933) (Ping timeout: 260 seconds) |
| 2023-07-30 04:54:25 +0000 | mei | (~mei@user/mei) |
| 2023-07-30 04:56:58 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-30 04:59:39 +0000 | myme | (~myme@2a01:799:d60:e400:f7ae:b326:9b0a:e59) (Ping timeout: 260 seconds) |
| 2023-07-30 05:00:24 +0000 | myme | (~myme@2a01:799:d60:e400:b41a:c870:8ef2:7459) |
| 2023-07-30 05:03:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 05:04:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-07-30 05:10:45 +0000 | _________ | (~nobody@user/noodly) |
| 2023-07-30 05:15:38 +0000 | ghostbuster | (~admin@user/ghostbuster) (Ping timeout: 252 seconds) |
| 2023-07-30 05:15:44 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 05:19:12 +0000 | <Inst__> | hmmm, is anyone bored? |
| 2023-07-30 05:19:24 +0000 | <Inst__> | i have a really bad minimax algorithm in Haskell for tic-tac-toe |
| 2023-07-30 05:19:41 +0000 | <Inst__> | wondering if anyone is willing to help clean it up (no, I'm not optimizing it, but just in terms of readability) |
| 2023-07-30 05:20:02 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-07-30 05:25:21 +0000 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 260 seconds) |
| 2023-07-30 05:27:19 +0000 | yangby | (~secret@183.128.108.131) (Read error: Connection reset by peer) |
| 2023-07-30 05:30:26 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-07-30 05:32:09 +0000 | yangby | (~secret@115.220.173.23) |
| 2023-07-30 05:32:19 +0000 | shapr | (~user@2600:1700:c640:3100:3262:7ed5:7:9da3) (Ping timeout: 260 seconds) |
| 2023-07-30 05:39:19 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) (Ping timeout: 260 seconds) |
| 2023-07-30 05:41:23 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 264 seconds) |
| 2023-07-30 05:41:23 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-07-30 05:41:37 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 245 seconds) |
| 2023-07-30 05:45:38 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-30 05:53:07 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-07-30 05:53:30 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 05:57:01 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-07-30 05:58:11 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 264 seconds) |
| 2023-07-30 05:58:47 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-30 05:59:38 +0000 | ghostbuster | (~admin@user/ghostbuster) |
| 2023-07-30 06:01:58 +0000 | dibblego | (~dibblego@116.255.1.151) |
| 2023-07-30 06:01:58 +0000 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-30 06:01:58 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 06:07:56 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-30 06:12:22 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 06:12:53 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 06:13:37 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 06:13:37 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 06:13:37 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 06:18:03 +0000 | acidjnk | (~acidjnk@p200300d6e7072f92dd20c62d1ea21df4.dip0.t-ipconnect.de) |
| 2023-07-30 06:18:44 +0000 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 250 seconds) |
| 2023-07-30 06:20:03 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 06:20:03 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 06:20:04 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 06:20:12 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-07-30 06:20:55 +0000 | dobblego | dibblego |
| 2023-07-30 06:26:40 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-07-30 06:31:47 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2023-07-30 06:37:30 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 06:37:30 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 06:37:30 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 06:52:11 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 264 seconds) |
| 2023-07-30 06:56:30 +0000 | trev | (~trev@user/trev) |
| 2023-07-30 07:01:12 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-30 07:03:33 +0000 | mmhat | (~mmh@p200300f1c73d19b6ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-07-30 07:04:08 +0000 | dobblego | (~dibblego@116.255.1.151) |
| 2023-07-30 07:04:08 +0000 | dobblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-30 07:04:08 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 07:04:14 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-30 07:04:34 +0000 | dobblego | dibblego |
| 2023-07-30 07:05:02 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-07-30 07:12:00 +0000 | Guest5438 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-30 07:15:22 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 245 seconds) |
| 2023-07-30 07:16:38 +0000 | Batzy | (~quassel@user/batzy) (Read error: Connection reset by peer) |
| 2023-07-30 07:19:31 +0000 | Batzy | (~quassel@user/batzy) |
| 2023-07-30 07:20:37 +0000 | <[exa]> | Inst__: don't ask to pastebin code, just pastebin code |
| 2023-07-30 07:20:43 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-07-30 07:23:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 07:24:07 +0000 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-30 07:27:32 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-07-30 07:30:21 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 07:30:21 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 07:30:21 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 07:30:26 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-07-30 07:30:32 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 07:30:40 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-30 07:31:05 +0000 | dobblego | dibblego |
| 2023-07-30 07:31:17 +0000 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Remote host closed the connection) |
| 2023-07-30 07:34:23 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-30 07:34:53 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 244 seconds) |
| 2023-07-30 07:35:36 +0000 | hays | (rootvegeta@fsf/member/hays) |
| 2023-07-30 07:36:31 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-07-30 07:41:03 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-07-30 07:47:05 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-07-30 07:52:24 +0000 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 2023-07-30 07:52:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-07-30 07:56:16 +0000 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-07-30 07:57:22 +0000 | arahael | (~arahael@1.145.41.44) |
| 2023-07-30 08:01:26 +0000 | Guest5438 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 250 seconds) |
| 2023-07-30 08:01:41 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 260 seconds) |
| 2023-07-30 08:01:55 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 08:02:44 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-30 08:02:48 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 08:02:48 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 08:02:48 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 08:03:12 +0000 | dobblego | dibblego |
| 2023-07-30 08:04:40 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-07-30 08:11:24 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-07-30 08:12:40 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-30 08:15:08 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-07-30 08:17:01 +0000 | phma | (~phma@host-67-44-208-184.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-30 08:17:57 +0000 | phma | (phma@2001:5b0:211b:a7f8:71d2:474f:a60:8231) |
| 2023-07-30 08:23:42 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) |
| 2023-07-30 08:31:48 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 2023-07-30 08:34:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 08:36:39 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Ping timeout: 260 seconds) |
| 2023-07-30 08:37:12 +0000 | <probie> | If you ask "can someone help me clean it up" without including the code at the time of asking, you're not likely to get a reply. You're asking someone to volunteer their time without really letting them know what they'll be volunteering for |
| 2023-07-30 08:38:00 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds) |
| 2023-07-30 08:38:32 +0000 | ub | (~Thunderbi@91.141.55.217.wireless.dyn.drei.com) |
| 2023-07-30 08:39:34 +0000 | ubert | (~Thunderbi@178.115.51.82.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2023-07-30 08:39:34 +0000 | ub | ubert |
| 2023-07-30 08:40:11 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-07-30 08:41:11 +0000 | <probie> | Your minimax might be <10 line naive {mini,nega}max with no pruning, or something quite involved with pruning, transposition tables, and relies on knowledge about sibling nodes (e.g. you've implemented the killer heuristic for move ordering) |
| 2023-07-30 08:44:26 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-30 08:49:41 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-30 08:58:11 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-30 08:58:18 +0000 | dobblego | (~dibblego@116.255.1.151) |
| 2023-07-30 08:58:18 +0000 | dobblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-30 08:58:18 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 08:59:15 +0000 | dobblego | dibblego |
| 2023-07-30 09:06:35 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 264 seconds) |
| 2023-07-30 09:14:05 +0000 | arahael | (~arahael@1.145.41.44) (Ping timeout: 244 seconds) |
| 2023-07-30 09:14:36 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 244 seconds) |
| 2023-07-30 09:15:59 +0000 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-30 09:16:56 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 09:19:12 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 09:22:12 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-30 09:23:37 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 258 seconds) |
| 2023-07-30 09:24:07 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-07-30 09:25:11 +0000 | malte | (~malte@mal.tc) |
| 2023-07-30 09:30:00 +0000 | razetime | (~quassel@117.193.6.36) |
| 2023-07-30 09:32:05 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-30 09:32:17 +0000 | razetime | (~quassel@117.193.6.36) (Remote host closed the connection) |
| 2023-07-30 09:36:09 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-07-30 09:36:16 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 09:37:53 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-07-30 09:38:42 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Client Quit) |
| 2023-07-30 09:43:16 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-30 09:43:56 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-07-30 09:44:59 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2023-07-30 09:45:15 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2023-07-30 09:52:28 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-30 09:55:38 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2023-07-30 09:57:53 +0000 | kmein | (~weechat@user/kmein) |
| 2023-07-30 10:00:06 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-30 10:06:09 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-30 10:08:18 +0000 | <c_wraith> | a completely unoptimized game tree for tic-tac-toe has less than 300k nodes. It doesn't matter that much if you optimize it or not. |
| 2023-07-30 10:09:03 +0000 | <darkling> | But maybe the exercise of writing the optimisations is in itself interesting. |
| 2023-07-30 10:09:19 +0000 | <jade[m]> | tbh for tic tac toe you might as well encode all possible game states by hand |
| 2023-07-30 10:11:29 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-07-30 10:12:06 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-30 10:13:10 +0000 | ft | (~ft@p4fc2a59a.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2023-07-30 10:14:57 +0000 | ft | (~ft@p508db86a.dip0.t-ipconnect.de) |
| 2023-07-30 10:20:05 +0000 | acidjnk_new | (~acidjnk@p200300d6e7072f92353e374853bf96f6.dip0.t-ipconnect.de) |
| 2023-07-30 10:21:15 +0000 | acidjnk | (~acidjnk@p200300d6e7072f92dd20c62d1ea21df4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-07-30 10:30:32 +0000 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2023-07-30 10:32:43 +0000 | haskl | (~haskl@user/haskl) |
| 2023-07-30 10:40:22 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 245 seconds) |
| 2023-07-30 10:41:23 +0000 | boxscape_ | (~boxscape_@81.191.27.107) (Ping timeout: 264 seconds) |
| 2023-07-30 10:51:51 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-30 10:51:56 +0000 | kimiamania60 | (~681cf57f@user/kimiamania) (Ping timeout: 246 seconds) |
| 2023-07-30 10:52:06 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 10:53:45 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-30 10:55:44 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-30 10:56:23 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 258 seconds) |
| 2023-07-30 10:59:36 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-30 11:00:00 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 244 seconds) |
| 2023-07-30 11:00:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-30 11:01:13 +0000 | mrmr | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2023-07-30 11:05:20 +0000 | mrmr | (~mrmr@user/mrmr) |
| 2023-07-30 11:08:18 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-07-30 11:12:18 +0000 | mima | (~mmh@ppp-212-114-180-231.dynamic.mnet-online.de) |
| 2023-07-30 11:20:40 +0000 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-30 11:22:39 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-30 11:25:13 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-07-30 11:38:39 +0000 | <probie> | c_wraith: I'd assumed they were using the term "tic-tac-toe" to refer to an arbitrary m,n,k game (m x n board, k in a row to win), as opposed to 3,3,3 in specific, but that may have been a mistake on my part |
| 2023-07-30 11:42:59 +0000 | aeroplane | (~user@user/aeroplane) |
| 2023-07-30 11:47:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 11:48:31 +0000 | Square | (~Square@user/square) |
| 2023-07-30 11:58:06 +0000 | <ncf> | found the answer to my question! section 6 of https://arxiv.org/pdf/1402.1699.pdf |
| 2023-07-30 11:59:07 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-07-30 11:59:29 +0000 | <ncf> | so a Monad m => (a -> m a) -> s -> m s is the same as s -> Free (Store a) s, where Store a s = (a, a -> s) |
| 2023-07-30 12:00:30 +0000 | misterfish | (~misterfis@46.44.172.198) |
| 2023-07-30 12:00:35 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-30 12:01:18 +0000 | ripspin | (~chatzilla@1.145.177.251) |
| 2023-07-30 12:02:04 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-30 12:04:04 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3719:1952:9146:1372) (Ping timeout: 244 seconds) |
| 2023-07-30 12:04:27 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-07-30 12:04:30 +0000 | ubert | (~Thunderbi@91.141.55.217.wireless.dyn.drei.com) (Quit: ubert) |
| 2023-07-30 12:04:47 +0000 | ubert | (~Thunderbi@91.141.55.217.wireless.dyn.drei.com) |
| 2023-07-30 12:09:14 +0000 | ubert | (~Thunderbi@91.141.55.217.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
| 2023-07-30 12:20:15 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 12:21:15 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-07-30 12:21:16 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-07-30 12:22:40 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 244 seconds) |
| 2023-07-30 12:24:41 +0000 | xff0x | (~xff0x@2405:6580:b080:900:35b2:3ab1:b22a:e38) |
| 2023-07-30 12:27:54 +0000 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-07-30 12:34:02 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 244 seconds) |
| 2023-07-30 12:35:40 +0000 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 258 seconds) |
| 2023-07-30 12:41:07 +0000 | mmhat | (~mmh@p200300f1c73d19b6ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.2) |
| 2023-07-30 12:51:50 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 12:54:15 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-07-30 12:59:03 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2023-07-30 12:59:08 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 13:04:24 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-30 13:05:16 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-30 13:06:09 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-30 13:06:35 +0000 | puke | (~puke@user/puke) |
| 2023-07-30 13:06:53 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-07-30 13:10:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-30 13:13:38 +0000 | phma | (phma@2001:5b0:211b:a7f8:71d2:474f:a60:8231) (Read error: Connection reset by peer) |
| 2023-07-30 13:14:04 +0000 | phma | (phma@2001:5b0:211b:a7f8:71d2:474f:a60:8231) |
| 2023-07-30 13:15:33 +0000 | yax__ | (~pi@user/yax/x-9576643) |
| 2023-07-30 13:15:42 +0000 | <yax__> | hihihihihihiiii |
| 2023-07-30 13:16:05 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-30 13:16:51 +0000 | yax__ | (~pi@user/yax/x-9576643) (Quit: leaving) |
| 2023-07-30 13:17:32 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-07-30 13:21:09 +0000 | yax__ | (~pi@user/yax/x-9576643) |
| 2023-07-30 13:23:10 +0000 | yax__ | (~pi@user/yax/x-9576643) () |
| 2023-07-30 13:25:36 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 13:33:36 +0000 | misterfish | (~misterfis@46.44.172.198) (Ping timeout: 260 seconds) |
| 2023-07-30 13:33:37 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 260 seconds) |
| 2023-07-30 13:36:02 +0000 | stef204 | (~stef204@user/stef204) |
| 2023-07-30 13:36:29 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 2023-07-30 13:40:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Ping timeout: 246 seconds) |
| 2023-07-30 13:44:31 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-30 13:49:28 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-07-30 13:53:20 +0000 | beepBoopBop | (~kekbazz@user/kekbazz) |
| 2023-07-30 13:54:45 +0000 | ripspin | (~chatzilla@1.145.177.251) (Remote host closed the connection) |
| 2023-07-30 14:03:54 +0000 | nick4 | (~nick@2600:8807:9084:7800:d7a:5fff:723a:552e) |
| 2023-07-30 14:07:36 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-30 14:08:35 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 14:08:36 +0000 | nick4 | (~nick@2600:8807:9084:7800:d7a:5fff:723a:552e) (Ping timeout: 260 seconds) |
| 2023-07-30 14:13:49 +0000 | ddellacosta | (~ddellacos@146.70.168.156) (Ping timeout: 260 seconds) |
| 2023-07-30 14:15:22 +0000 | ddellacosta | (~ddellacos@146.70.165.220) |
| 2023-07-30 14:22:07 +0000 | nick4 | (~nick@2600:8807:9084:7800:d7a:5fff:723a:552e) |
| 2023-07-30 14:22:48 +0000 | shapr | (~user@2600:1700:c640:3100:5109:9a4a:7d59:40bc) |
| 2023-07-30 14:27:27 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-07-30 14:28:27 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-07-30 14:28:44 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-30 14:35:24 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-07-30 14:39:44 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) |
| 2023-07-30 14:41:49 +0000 | raym | (~ray@user/raym) (Ping timeout: 260 seconds) |
| 2023-07-30 14:51:03 +0000 | nick2 | (~nick@2600:8807:9080:ea0:c847:cf2:1230:9d3f) |
| 2023-07-30 14:51:24 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2023-07-30 14:52:26 +0000 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 14:52:47 +0000 | nick4 | (~nick@2600:8807:9084:7800:d7a:5fff:723a:552e) (Ping timeout: 264 seconds) |
| 2023-07-30 14:53:13 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 14:54:30 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-07-30 14:58:19 +0000 | puke | (~puke@user/puke) |
| 2023-07-30 15:02:16 +0000 | pyooque | (~puke@user/puke) |
| 2023-07-30 15:02:16 +0000 | puke | (~puke@user/puke) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2023-07-30 15:02:16 +0000 | pyooque | puke |
| 2023-07-30 15:08:08 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-07-30 15:11:11 +0000 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 15:11:14 +0000 | danza_ | (~francesco@151.35.242.18) |
| 2023-07-30 15:11:18 +0000 | ystael | (~ystael@user/ystael) |
| 2023-07-30 15:13:08 +0000 | danza_ | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 15:13:39 +0000 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 15:19:39 +0000 | Tlsx | (~rscastilh@187.40.124.54) |
| 2023-07-30 15:23:38 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-07-30 15:32:26 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-30 15:34:33 +0000 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 15:34:59 +0000 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 15:37:58 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-30 15:40:05 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-07-30 15:40:19 +0000 | nckx | (~nckx@guix/contributor/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2023-07-30 15:41:20 +0000 | nckx | (~nckx@guix/contributor/nckx) |
| 2023-07-30 15:44:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-07-30 15:45:51 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 2023-07-30 15:48:38 +0000 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 15:48:45 +0000 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 15:51:32 +0000 | nckx | (~nckx@guix/contributor/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2023-07-30 15:54:18 +0000 | nckx | (~nckx@guix/contributor/nckx) |
| 2023-07-30 15:55:19 +0000 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 15:55:36 +0000 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 15:57:15 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-07-30 15:57:48 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-07-30 15:58:04 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-07-30 15:58:27 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-07-30 15:58:33 +0000 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 15:58:51 +0000 | nckx | (~nckx@guix/contributor/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2023-07-30 15:59:19 +0000 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 15:59:20 +0000 | nckx | (nckx@guix/contributor/nckx) |
| 2023-07-30 16:03:18 +0000 | beepBoopBop | (~kekbazz@user/kekbazz) (Ping timeout: 250 seconds) |
| 2023-07-30 16:04:30 +0000 | kronicma1 | (user37546@neotame.csclub.uwaterloo.ca) (Quit: WeeChat 3.7.1) |
| 2023-07-30 16:05:02 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-30 16:08:58 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2023-07-30 16:13:53 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) |
| 2023-07-30 16:17:37 +0000 | nckx | (nckx@guix/contributor/nckx) (Changing host) |
| 2023-07-30 16:17:37 +0000 | nckx | (nckx@libera/staff/owl/nckx) |
| 2023-07-30 16:23:05 +0000 | razetime | (~quassel@117.193.6.36) |
| 2023-07-30 16:23:43 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-07-30 16:26:10 +0000 | wroathe | (~wroathe@71.24.231.118) |
| 2023-07-30 16:26:10 +0000 | wroathe | (~wroathe@71.24.231.118) (Changing host) |
| 2023-07-30 16:26:10 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-30 16:29:12 +0000 | nick2 | (~nick@2600:8807:9080:ea0:c847:cf2:1230:9d3f) (Ping timeout: 260 seconds) |
| 2023-07-30 16:30:41 +0000 | flounders | (~flounders@24.246.133.1) |
| 2023-07-30 16:30:58 +0000 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.0.2) |
| 2023-07-30 16:32:59 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 2023-07-30 16:38:59 +0000 | mechap | (~mechap@user/mechap) |
| 2023-07-30 16:39:27 +0000 | puke | (~puke@user/puke) (Ping timeout: 244 seconds) |
| 2023-07-30 16:39:38 +0000 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 16:39:44 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-07-30 16:39:57 +0000 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 16:43:08 +0000 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 16:43:50 +0000 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 246 seconds) |
| 2023-07-30 16:45:36 +0000 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 16:47:38 +0000 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 16:47:54 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2023-07-30 16:50:01 +0000 | ddellacosta | (~ddellacos@146.70.165.220) (Ping timeout: 245 seconds) |
| 2023-07-30 16:50:25 +0000 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 16:53:33 +0000 | ddellacosta | (~ddellacos@146.70.165.220) |
| 2023-07-30 16:57:11 +0000 | akegalj | (~akegalj@95.168.120.37) |
| 2023-07-30 16:59:53 +0000 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
| 2023-07-30 17:00:40 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 17:02:20 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-07-30 17:03:18 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2023-07-30 17:03:38 +0000 | akegalj | (~akegalj@95.168.120.37) (Quit: leaving) |
| 2023-07-30 17:04:08 +0000 | qqq | (~qqq@92.43.167.61) |
| 2023-07-30 17:04:43 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 17:05:57 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-30 17:06:16 +0000 | ddellacosta | (~ddellacos@146.70.165.220) (Ping timeout: 245 seconds) |
| 2023-07-30 17:09:13 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-30 17:09:29 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-07-30 17:09:42 +0000 | raym | (~ray@user/raym) |
| 2023-07-30 17:10:00 +0000 | ddellacosta | (~ddellacos@146.70.166.10) |
| 2023-07-30 17:11:46 +0000 | shriekingnoise_ | (~shrieking@186.137.175.87) |
| 2023-07-30 17:13:05 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 2023-07-30 17:15:06 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 244 seconds) |
| 2023-07-30 17:15:49 +0000 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Read error: Connection reset by peer) |
| 2023-07-30 17:16:09 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-30 17:16:59 +0000 | probie | (cc0b34050a@2604:bf00:561:2000::dbd) (Ping timeout: 260 seconds) |
| 2023-07-30 17:17:22 +0000 | stef204 | (~stef204@user/stef204) |
| 2023-07-30 17:19:19 +0000 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Ping timeout: 260 seconds) |
| 2023-07-30 17:19:25 +0000 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
| 2023-07-30 17:19:59 +0000 | probie | (cc0b34050a@user/probie) |
| 2023-07-30 17:22:32 +0000 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2023-07-30 17:23:24 +0000 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) (Ping timeout: 260 seconds) |
| 2023-07-30 17:26:30 +0000 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
| 2023-07-30 17:28:07 +0000 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.0.2) |
| 2023-07-30 17:30:36 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) (Ping timeout: 244 seconds) |
| 2023-07-30 17:31:34 +0000 | alternateved | (77c0810639@2604:bf00:561:2000::11f0) (Ping timeout: 260 seconds) |
| 2023-07-30 17:34:44 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-07-30 17:35:57 +0000 | alternateved | (77c0810639@2604:bf00:561:2000::11f0) |
| 2023-07-30 17:41:59 +0000 | danza | (~francesco@151.35.242.18) (Ping timeout: 264 seconds) |
| 2023-07-30 17:45:34 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-07-30 17:46:09 +0000 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-07-30 17:46:22 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-30 17:48:17 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 17:48:46 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-07-30 17:55:16 +0000 | wroathe | (~wroathe@71.24.231.118) |
| 2023-07-30 17:55:16 +0000 | wroathe | (~wroathe@71.24.231.118) (Changing host) |
| 2023-07-30 17:55:16 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-30 18:01:28 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-30 18:05:38 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-07-30 18:06:00 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 18:12:53 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-07-30 18:19:20 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) |
| 2023-07-30 18:21:56 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-07-30 18:27:34 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-07-30 18:28:12 +0000 | Tlsx | (~rscastilh@187.40.124.54) () |
| 2023-07-30 18:29:54 +0000 | razetime | (~quassel@117.193.6.36) (Ping timeout: 260 seconds) |
| 2023-07-30 18:34:56 +0000 | phma | (phma@2001:5b0:211b:a7f8:71d2:474f:a60:8231) (Read error: Connection reset by peer) |
| 2023-07-30 18:35:20 +0000 | phma | (~phma@host-67-44-208-166.hnremote.net) |
| 2023-07-30 18:37:37 +0000 | mechap | (~mechap@user/mechap) |
| 2023-07-30 18:45:00 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-07-30 18:45:07 +0000 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 260 seconds) |
| 2023-07-30 18:45:42 +0000 | michalz | (~michalz@185.246.207.218) (Ping timeout: 260 seconds) |
| 2023-07-30 18:46:26 +0000 | michalz | (~michalz@185.246.207.221) |
| 2023-07-30 18:49:24 +0000 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-07-30 18:50:29 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-30 18:52:31 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-30 18:54:33 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) |
| 2023-07-30 18:54:54 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-30 19:00:24 +0000 | puke | (~puke@user/puke) |
| 2023-07-30 19:00:57 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-07-30 19:02:45 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-07-30 19:11:10 +0000 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-30 19:11:44 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 2023-07-30 19:12:56 +0000 | mechap | (~mechap@user/mechap) |
| 2023-07-30 19:18:38 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-07-30 19:19:55 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-07-30 19:20:05 +0000 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-07-30 19:20:10 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-30 19:20:11 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-30 19:20:11 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-30 19:25:01 +0000 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 245 seconds) |
| 2023-07-30 19:26:07 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-30 19:35:12 +0000 | aeroplane | (~user@user/aeroplane) (Ping timeout: 250 seconds) |
| 2023-07-30 19:40:51 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-30 19:44:52 +0000 | ubert | (~Thunderbi@178.165.204.145.wireless.dyn.drei.com) |
| 2023-07-30 19:45:08 +0000 | ddellacosta | (~ddellacos@146.70.166.10) (Ping timeout: 246 seconds) |
| 2023-07-30 19:47:20 +0000 | ddellacosta | (~ddellacos@143.244.47.84) |
| 2023-07-30 20:02:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 20:06:29 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-07-30 20:06:50 +0000 | ubert | (~Thunderbi@178.165.204.145.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2023-07-30 20:08:35 +0000 | qqq | (~qqq@92.43.167.61) |
| 2023-07-30 20:11:07 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-30 20:11:34 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-30 20:13:12 +0000 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2023-07-30 20:13:31 +0000 | puke | (~puke@user/puke) |
| 2023-07-30 20:14:35 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) |
| 2023-07-30 20:18:44 +0000 | lyxia | (~lyxia@poisson.chat) |
| 2023-07-30 20:19:25 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: yeah! stopping...) |
| 2023-07-30 20:22:31 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 260 seconds) |
| 2023-07-30 20:26:47 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 244 seconds) |
| 2023-07-30 20:27:49 +0000 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-07-30 20:31:14 +0000 | vgtw | (~vgtw@user/vgtw) |
| 2023-07-30 20:31:49 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-07-30 20:32:43 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 20:33:52 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-30 20:36:46 +0000 | pavonia | (~user@user/siracusa) |
| 2023-07-30 20:38:50 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 245 seconds) |
| 2023-07-30 20:39:12 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2023-07-30 20:43:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-30 20:45:58 +0000 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-07-30 20:46:48 +0000 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-07-30 20:52:18 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-30 20:53:24 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-07-30 20:55:08 +0000 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 246 seconds) |
| 2023-07-30 20:59:17 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-30 20:59:56 +0000 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-07-30 21:02:09 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 21:05:12 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-30 21:06:41 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-30 21:08:21 +0000 | michalz | (~michalz@185.246.207.221) (Ping timeout: 245 seconds) |
| 2023-07-30 21:10:03 +0000 | michalz | (~michalz@185.246.204.89) |
| 2023-07-30 21:13:12 +0000 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-30 21:13:17 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 245 seconds) |
| 2023-07-30 21:19:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 21:28:44 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-30 21:31:35 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-30 21:32:56 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 245 seconds) |
| 2023-07-30 21:33:42 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-07-30 21:34:57 +0000 | michalz | (~michalz@185.246.204.89) (Ping timeout: 245 seconds) |
| 2023-07-30 21:37:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-30 21:41:23 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-30 21:42:27 +0000 | troydm | (~troydm@user/troydm) (Ping timeout: 245 seconds) |
| 2023-07-30 21:43:16 +0000 | troydm | (~troydm@user/troydm) |
| 2023-07-30 21:49:30 +0000 | MajorBiscuit | (~MajorBisc@62-110-179.netrun.cytanet.com.cy) |
| 2023-07-30 21:59:38 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-30 22:00:34 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-30 22:05:23 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 264 seconds) |
| 2023-07-30 22:05:28 +0000 | slayd | (~slayd@2601:1c2:97f:89a0::3e28) |
| 2023-07-30 22:07:42 +0000 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-07-30 22:07:42 +0000 | Feuermagier | Guest6862 |
| 2023-07-30 22:07:42 +0000 | Guest6862 | (~Feuermagi@user/feuermagier) (Killed (lithium.libera.chat (Nickname regained by services))) |
| 2023-07-30 22:07:42 +0000 | Feuermagier_ | Feuermagier |
| 2023-07-30 22:09:34 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-07-30 22:12:06 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-07-30 22:17:11 +0000 | acidjnk_new | (~acidjnk@p200300d6e7072f92353e374853bf96f6.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-07-30 22:17:14 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-07-30 22:18:03 +0000 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 2023-07-30 22:18:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-07-30 22:22:24 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Remote host closed the connection) |
| 2023-07-30 22:29:23 +0000 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
| 2023-07-30 22:32:31 +0000 | MajorBiscuit | (~MajorBisc@62-110-179.netrun.cytanet.com.cy) (Quit: WeeChat 3.6) |
| 2023-07-30 22:34:07 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-30 22:35:17 +0000 | slayd | (~slayd@2601:1c2:97f:89a0::3e28) (Remote host closed the connection) |
| 2023-07-30 22:38:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 22:38:35 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-07-30 22:40:48 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-30 22:42:26 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-07-30 22:43:21 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-30 22:43:49 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 22:43:49 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 22:43:49 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 22:47:17 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-07-30 22:47:20 +0000 | <shapr> | here's another blog post! https://shapr.github.io/posts/2023-07-30-goldilocks-property-tests.html |
| 2023-07-30 22:47:28 +0000 | <shapr> | and it's short! |
| 2023-07-30 22:49:14 +0000 | xff0x | (~xff0x@2405:6580:b080:900:35b2:3ab1:b22a:e38) (Ping timeout: 246 seconds) |
| 2023-07-30 22:49:38 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-07-30 22:54:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-30 22:56:26 +0000 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-07-30 22:56:26 +0000 | Feuermagier | Guest9970 |
| 2023-07-30 22:56:26 +0000 | Guest9970 | (~Feuermagi@user/feuermagier) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 2023-07-30 22:56:27 +0000 | Feuermagier_ | Feuermagier |
| 2023-07-30 22:56:37 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2023-07-30 22:57:31 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-07-30 23:02:16 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 252 seconds) |
| 2023-07-30 23:03:17 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-30 23:03:40 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 23:03:40 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 23:03:40 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 23:04:53 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 244 seconds) |
| 2023-07-30 23:05:07 +0000 | <dsal> | shapr: It's so weird that people complain about bugs that were found that they weren't looking for. |
| 2023-07-30 23:05:32 +0000 | <dsal> | Sometimes it's the "old" bugs, or sometimes it's a property testing hitting an area it hadn't hit before, but revealing a bug. |
| 2023-07-30 23:06:04 +0000 | <dsal> | Of course, sometimes it's just poorly written tests, which some folks tend to argue is a distinct experience in property tests. |
| 2023-07-30 23:06:11 +0000 | <jackdk> | The best bit is when property tests turn up bugs of the "how did that _ever_ work?" variety. |
| 2023-07-30 23:06:51 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f767:6bf8:2493:e83f) |
| 2023-07-30 23:07:59 +0000 | <int-e> | dsal: but wouldn't you agree that the information whether the bug is in new code or in old code is helpful for debugging |
| 2023-07-30 23:08:30 +0000 | <int-e> | (that's not black and white of course; new code can use old code in novel ways) |
| 2023-07-30 23:08:57 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-30 23:09:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 23:09:34 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-30 23:10:13 +0000 | <dsal> | int-e: sure, just responding to that blog post plus my experience with people being upset about bugs unrelated to what they changed. |
| 2023-07-30 23:10:39 +0000 | <dsal> | They’re either bugs or poorly written tests. |
| 2023-07-30 23:15:22 +0000 | ddellacosta | (~ddellacos@143.244.47.84) (Ping timeout: 245 seconds) |
| 2023-07-30 23:20:28 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-07-30 23:21:07 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-30 23:21:14 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 2023-07-30 23:21:28 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-07-30 23:21:36 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-30 23:21:36 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-30 23:21:36 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-30 23:22:29 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-07-30 23:23:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-30 23:24:00 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 244 seconds) |
| 2023-07-30 23:24:00 +0000 | mauke_ | mauke |
| 2023-07-30 23:26:36 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 250 seconds) |
| 2023-07-30 23:32:07 +0000 | tom__ | (~tom@host81-151-255-71.range81-151.btcentralplus.com) |
| 2023-07-30 23:32:22 +0000 | tom_ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
| 2023-07-30 23:35:53 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2023-07-30 23:41:30 +0000 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 2023-07-30 23:41:43 +0000 | <shapr> | dsal: deadlines make people cranky |
| 2023-07-30 23:42:06 +0000 | <shapr> | I agree, I'm happy when property tests find "old" bugs |
| 2023-07-30 23:42:26 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-07-30 23:42:49 +0000 | Lycurgus | slips em with glee |
| 2023-07-30 23:45:34 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-07-30 23:46:35 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-30 23:47:31 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-07-30 23:47:42 +0000 | <dolio> | People set up a lot of arbitrary rules around tests that make that sort of thing inconvenient. |
| 2023-07-30 23:47:49 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-30 23:48:31 +0000 | <dolio> | Like, "your code can't be merged until a bug you had nothing to do with is fixed, because it was triggered when reviewing your patch." |
| 2023-07-30 23:48:53 +0000 | <Lycurgus> | part of a vast make work sector |
| 2023-07-30 23:49:59 +0000 | <shapr> | dolio: yeah, that's bad |
| 2023-07-30 23:50:14 +0000 | <shapr> | I'm fine with "report the bug that had nothing to do with your change, then continue" |
| 2023-07-30 23:50:15 +0000 | <Lycurgus> | the conditions that would make building quality in from the jump, which you might especially expect in the hs culture, being socially inhibited |
| 2023-07-30 23:50:17 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-30 23:58:31 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-07-30 23:59:25 +0000 | <arahael> | dolio: I'm fine with that as long as you can put that into a separate ticket which then gets triaged. |