| 2023-07-30 00:07:42 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-30 00:07:42 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-30 00:07:42 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-30 00:07:44 +0200 | phma_ | phma |
| 2023-07-30 00:08:13 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18db:fb53:1602:b933) (Remote host closed the connection) |
| 2023-07-30 00:09:56 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 252 seconds) |
| 2023-07-30 00:10:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18db:fb53:1602:b933) |
| 2023-07-30 00:10:32 +0200 | kilolympus | (~kilolympu@cpc105064-sgyl40-2-0-cust46.18-2.cable.virginm.net) (Quit: See you later! :)) |
| 2023-07-30 00:16:22 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-07-30 00:18:10 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2023-07-30 00:19:36 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-07-30 00:20:21 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2) |
| 2023-07-30 00:21:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18db:fb53:1602:b933) (Remote host closed the connection) |
| 2023-07-30 00:22:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18db:fb53:1602:b933) |
| 2023-07-30 00:24:35 +0200 | acidjnk | (~acidjnk@p200300d6e7072f74dd20c62d1ea21df4.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-07-30 00:25:55 +0200 | flounders | (~flounders@24.246.133.1) |
| 2023-07-30 00:30:00 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-07-30 00:33:00 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-30 00:40:47 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds) |
| 2023-07-30 00:46:43 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-07-30 00:50:12 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 00:50:12 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 00:50:12 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 00:50:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-07-30 00:50:42 +0200 | dobblego | dibblego |
| 2023-07-30 00:52:12 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 260 seconds) |
| 2023-07-30 00:55:22 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-07-30 00:55:28 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 00:57:14 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-30 00:58:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-07-30 00:58:36 +0200 | prateem | (~user@2a02:c7c:a440:2900:9aa1:484a:8f82:e5f4) (Ping timeout: 260 seconds) |
| 2023-07-30 00:59:46 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 244 seconds) |
| 2023-07-30 01:00:12 +0200 | Guest5438 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 250 seconds) |
| 2023-07-30 01:11:12 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-30 01:11:18 +0200 | gry | (quasselcor@botters/gry) (Ping timeout: 240 seconds) |
| 2023-07-30 01:14:19 +0200 | phma | (phma@2001:5b0:211c:f748:3478:76f9:d3a9:cc0a) (Read error: Connection reset by peer) |
| 2023-07-30 01:16:16 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 01:24:40 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-07-30 01:25:54 +0200 | phma | (~phma@2001:5b0:210f:59e8:555:41f7:811f:ab7b) |
| 2023-07-30 01:26:16 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 245 seconds) |
| 2023-07-30 01:26:16 +0200 | mauke_ | mauke |
| 2023-07-30 01:29:24 +0200 | gry | (quasselcor@botters/gry) |
| 2023-07-30 01:38:05 +0200 | <wroathe> | Hmm, I tried using Beam like 4 years ago and the documentation site was more or less in the same state as it's in now: https://haskell-beam.github.io/beam/schema-guide/migrations/. Am I missing something or did this guy build a whole library and then just go "fuck it" and give up on filling out the documentation? |
| 2023-07-30 01:38:35 +0200 | <wroathe> | I'm trying to find some examples of his migrations framework |
| 2023-07-30 01:38:37 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-30 01:42:13 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2023-07-30 01:42:21 +0200 | <dolio> | Does anyone remember seeing an encoding of real numbers using streams of 0, 1 and -1, which has the right computability properties to actually match (some subinterval of) the real numbers? |
| 2023-07-30 01:43:52 +0200 | mima | (~mmh@ppp-212-114-180-70.dynamic.mnet-online.de) |
| 2023-07-30 01:44:19 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 2023-07-30 01:45:05 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-07-30 01:50:13 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-07-30 01:52:27 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18db:fb53:1602:b933) (Remote host closed the connection) |
| 2023-07-30 01:54:39 +0200 | <c_wraith> | -1, 0, 1 sounds like balanced ternary representation. but I'm not sure what the latter part means. |
| 2023-07-30 01:54:49 +0200 | gry | (quasselcor@botters/gry) (Ping timeout: 250 seconds) |
| 2023-07-30 01:55:09 +0200 | <dolio> | Well, for instance, if you only use 0 and 1, addition is uncomputable. |
| 2023-07-30 01:55:53 +0200 | <dolio> | Even for numbers that should able to be added, if your bit streams are limited to representing [0,1]. |
| 2023-07-30 01:56:13 +0200 | <c_wraith> | ah. You're going for a representation which allows more operations to be closed under the set of computable reals? |
| 2023-07-30 01:56:54 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18db:fb53:1602:b933) |
| 2023-07-30 01:57:09 +0200 | <dolio> | Yeah, I want something that is equivalent to the 'normal' computable reals, but has a relatively simple definition (no rational arithmetic and δ-ε approximation and stuff). |
| 2023-07-30 02:04:49 +0200 | <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 02:05:00 +0200 | <c_wraith> | But that's what you asked for it to not have. :) |
| 2023-07-30 02:08:23 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-082.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-30 02:08:47 +0200 | <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 02:09:21 +0200 | <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 02:09:56 +0200 | <dolio> | But I'd like a reference to something instead of working out all the details myself. :) |
| 2023-07-30 02:11:59 +0200 | <dolio> | Also it might not be arbitrary streams of 0,1,-1. Not sure. |
| 2023-07-30 02:17:51 +0200 | gry | (quasselcor@botters/gry) |
| 2023-07-30 02:18:31 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 2023-07-30 02:21:34 +0200 | dmgk | (~dmgk@user/dmgk) () |
| 2023-07-30 02:24:10 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-30 02:28:00 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-30 02:29:02 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-07-30 02:29:32 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-07-30 02:30:24 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 02:30:24 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 02:30:24 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 02:30:47 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 258 seconds) |
| 2023-07-30 02:30:53 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
| 2023-07-30 02:32:53 +0200 | phma | (~phma@2001:5b0:210f:59e8:555:41f7:811f:ab7b) (Read error: Connection reset by peer) |
| 2023-07-30 02:33:16 +0200 | phma | (phma@2001:5b0:210f:59e8:555:41f7:811f:ab7b) |
| 2023-07-30 02:33:17 +0200 | mei | (~mei@user/mei) |
| 2023-07-30 02:34:41 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Excess Flood) |
| 2023-07-30 02:40:28 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 02:40:28 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 02:40:28 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 02:43:10 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 02:47:08 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) (Ping timeout: 246 seconds) |
| 2023-07-30 02:47:59 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 264 seconds) |
| 2023-07-30 02:57:56 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-30 03:11:07 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-30 03:17:14 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-30 03:22:58 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 03:24:25 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: No Ping reply in 180 seconds.) |
| 2023-07-30 03:24:39 +0200 | razetime | (~quassel@117.193.6.36) |
| 2023-07-30 03:26:00 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-07-30 03:27:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-30 03:28:03 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 244 seconds) |
| 2023-07-30 03:33:20 +0200 | Alleria | (~JohnGalt@68.65.161.35) |
| 2023-07-30 03:34:10 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 252 seconds) |
| 2023-07-30 03:34:15 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 244 seconds) |
| 2023-07-30 03:36:13 +0200 | Alleria | (~JohnGalt@68.65.161.35) (Changing host) |
| 2023-07-30 03:36:14 +0200 | Alleria | (~JohnGalt@user/alleria) |
| 2023-07-30 03:37:47 +0200 | talismanick | (~user@76.133.152.122) (Ping timeout: 264 seconds) |
| 2023-07-30 03:46:12 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 245 seconds) |
| 2023-07-30 03:48:20 +0200 | mima | (~mmh@ppp-212-114-180-70.dynamic.mnet-online.de) (Ping timeout: 250 seconds) |
| 2023-07-30 03:52:13 +0200 | Alleria | (~JohnGalt@user/alleria) (Read error: Connection reset by peer) |
| 2023-07-30 03:52:57 +0200 | Alleria | (~JohnGalt@68.65.161.35) |
| 2023-07-30 03:55:49 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-07-30 03:56:23 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds) |
| 2023-07-30 03:56:41 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2023-07-30 03:57:20 +0200 | Square | (~Square@user/square) |
| 2023-07-30 03:58:16 +0200 | Alleria | (~JohnGalt@68.65.161.35) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-07-30 03:59:12 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 04:00:37 +0200 | Alleria | (~JohnGalt@user/alleria) |
| 2023-07-30 04:03:42 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 245 seconds) |
| 2023-07-30 04:06:14 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2023-07-30 04:08:53 +0200 | dobblego | (~dibblego@116.255.1.151) |
| 2023-07-30 04:08:53 +0200 | dobblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-30 04:08:53 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 04:09:08 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-30 04:09:38 +0200 | dobblego | dibblego |
| 2023-07-30 04:15:26 +0200 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 245 seconds) |
| 2023-07-30 04:17:05 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 04:17:29 +0200 | td_ | (~td@i5387093B.versanet.de) |
| 2023-07-30 04:18:08 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-30 04:18:08 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-30 04:18:08 +0200 | finn_elija | FinnElija |
| 2023-07-30 04:25:11 +0200 | byte | (~byte@user/byte) (Quit: Quitting...) |
| 2023-07-30 04:28:46 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-30 04:30:39 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 04:30:39 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 04:30:39 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 04:33:42 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 04:35:44 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-30 04:37:23 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 04:37:23 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 04:37:23 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 04:38:19 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 244 seconds) |
| 2023-07-30 04:43:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-30 04:46:20 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 04:46:20 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 04:46:20 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 04:46:35 +0200 | razetime | (~quassel@117.193.6.36) (Ping timeout: 244 seconds) |
| 2023-07-30 04:52:27 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 04:53:18 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-30 04:53:28 +0200 | Alleria | (~JohnGalt@user/alleria) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-07-30 04:54:47 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-30 04:54:56 +0200 | phma | (phma@2001:5b0:210f:59e8:555:41f7:811f:ab7b) (Read error: Connection reset by peer) |
| 2023-07-30 04:55:23 +0200 | phma | (~phma@host-67-44-208-184.hnremote.net) |
| 2023-07-30 04:56:50 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-07-30 04:56:51 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-30 04:56:51 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 04:59:11 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-30 05:02:29 +0200 | razetime | (~quassel@117.193.6.36) |
| 2023-07-30 05:03:48 +0200 | aforemny | (~aforemny@2001:9e8:6cf0:9000:d6be:c81a:96c5:47a4) |
| 2023-07-30 05:04:40 +0200 | aforemny_ | (~aforemny@i59F516E5.versanet.de) (Ping timeout: 244 seconds) |
| 2023-07-30 05:05:13 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 2023-07-30 05:06:53 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-07-30 05:10:23 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-30 05:12:51 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-30 05:17:56 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-30 05:18:06 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2023-07-30 05:19:54 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-30 05:21:10 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 05:21:10 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 05:21:10 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 05:22:06 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-30 05:22:16 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 260 seconds) |
| 2023-07-30 05:27:24 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-30 05:27:33 +0200 | mei | (~mei@user/mei) |
| 2023-07-30 05:27:50 +0200 | <EvanR> | dolio, Signed-Digit Numbe Representations for Fast Parallel Arithmetic - Algirdas Avizienis ? |
| 2023-07-30 05:29:39 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 05:29:39 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 05:29:39 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 05:33:37 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-07-30 05:34:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-30 05:37:13 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 05:37:13 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 05:37:14 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 05:40:01 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2023-07-30 05:44:15 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-30 05:46:44 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 260 seconds) |
| 2023-07-30 05:52:31 +0200 | razetime | (~quassel@117.193.6.36) (Ping timeout: 245 seconds) |
| 2023-07-30 05:53:42 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 245 seconds) |
| 2023-07-30 05:57:48 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-30 06:03:39 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 260 seconds) |
| 2023-07-30 06:04:16 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) |
| 2023-07-30 06:06:02 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 06:06:40 +0200 | <dolio> | Maybe. Hard to tell from the abstract whether that's about real numbers or integers. |
| 2023-07-30 06:08:13 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 244 seconds) |
| 2023-07-30 06:09:18 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-30 06:10:41 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 260 seconds) |
| 2023-07-30 06:14:15 +0200 | <monochrom> | I bet "fast" means integers. :) |
| 2023-07-30 06:30:42 +0200 | <dolio> | Yeah. It's from the 60s, too. :) |
| 2023-07-30 06:31:38 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 246 seconds) |
| 2023-07-30 06:36:53 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 06:43:15 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-07-30 06:47:13 +0200 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-07-30 06:47:37 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 06:47:37 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 258 seconds) |
| 2023-07-30 06:47:37 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 06:47:37 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 06:48:02 +0200 | dobblego | dibblego |
| 2023-07-30 06:49:24 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 2023-07-30 06:52:39 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:18db:fb53:1602:b933) (Ping timeout: 260 seconds) |
| 2023-07-30 06:54:25 +0200 | mei | (~mei@user/mei) |
| 2023-07-30 06:56:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-30 06:59:39 +0200 | myme | (~myme@2a01:799:d60:e400:f7ae:b326:9b0a:e59) (Ping timeout: 260 seconds) |
| 2023-07-30 07:00:24 +0200 | myme | (~myme@2a01:799:d60:e400:b41a:c870:8ef2:7459) |
| 2023-07-30 07:03:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 07:04:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-07-30 07:10:45 +0200 | _________ | (~nobody@user/noodly) |
| 2023-07-30 07:15:38 +0200 | ghostbuster | (~admin@user/ghostbuster) (Ping timeout: 252 seconds) |
| 2023-07-30 07:15:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 07:19:12 +0200 | <Inst__> | hmmm, is anyone bored? |
| 2023-07-30 07:19:24 +0200 | <Inst__> | i have a really bad minimax algorithm in Haskell for tic-tac-toe |
| 2023-07-30 07:19:41 +0200 | <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 07:20:02 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-07-30 07:25:21 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 260 seconds) |
| 2023-07-30 07:27:19 +0200 | yangby | (~secret@183.128.108.131) (Read error: Connection reset by peer) |
| 2023-07-30 07:30:26 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-07-30 07:32:09 +0200 | yangby | (~secret@115.220.173.23) |
| 2023-07-30 07:32:19 +0200 | shapr | (~user@2600:1700:c640:3100:3262:7ed5:7:9da3) (Ping timeout: 260 seconds) |
| 2023-07-30 07:39:19 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) (Ping timeout: 260 seconds) |
| 2023-07-30 07:41:23 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 264 seconds) |
| 2023-07-30 07:41:23 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-07-30 07:41:37 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 245 seconds) |
| 2023-07-30 07:45:38 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-30 07:53:07 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-07-30 07:53:30 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 07:57:01 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-30 07:58:11 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 264 seconds) |
| 2023-07-30 07:58:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-30 07:59:38 +0200 | ghostbuster | (~admin@user/ghostbuster) |
| 2023-07-30 08:01:58 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-07-30 08:01:58 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-30 08:01:58 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 08:07:56 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-30 08:12:22 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 08:12:53 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 08:13:37 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 08:13:37 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 08:13:37 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 08:18:03 +0200 | acidjnk | (~acidjnk@p200300d6e7072f92dd20c62d1ea21df4.dip0.t-ipconnect.de) |
| 2023-07-30 08:18:44 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 250 seconds) |
| 2023-07-30 08:20:03 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 08:20:03 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 08:20:04 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 08:20:12 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-07-30 08:20:55 +0200 | dobblego | dibblego |
| 2023-07-30 08:26:40 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-07-30 08:31:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2023-07-30 08:37:30 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 08:37:30 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 08:37:30 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 08:52:11 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 264 seconds) |
| 2023-07-30 08:56:30 +0200 | trev | (~trev@user/trev) |
| 2023-07-30 09:01:12 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-30 09:03:33 +0200 | mmhat | (~mmh@p200300f1c73d19b6ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-07-30 09:04:08 +0200 | dobblego | (~dibblego@116.255.1.151) |
| 2023-07-30 09:04:08 +0200 | dobblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-30 09:04:08 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 09:04:14 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-30 09:04:34 +0200 | dobblego | dibblego |
| 2023-07-30 09:05:02 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-07-30 09:12:00 +0200 | Guest5438 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-30 09:15:22 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 245 seconds) |
| 2023-07-30 09:16:38 +0200 | Batzy | (~quassel@user/batzy) (Read error: Connection reset by peer) |
| 2023-07-30 09:19:31 +0200 | Batzy | (~quassel@user/batzy) |
| 2023-07-30 09:20:37 +0200 | <[exa]> | Inst__: don't ask to pastebin code, just pastebin code |
| 2023-07-30 09:20:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-07-30 09:23:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 09:24:07 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-30 09:27:32 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-07-30 09:30:21 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 09:30:21 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 09:30:21 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 09:30:26 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-07-30 09:30:32 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 09:30:40 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-30 09:31:05 +0200 | dobblego | dibblego |
| 2023-07-30 09:31:17 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Remote host closed the connection) |
| 2023-07-30 09:34:23 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-30 09:34:53 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 244 seconds) |
| 2023-07-30 09:35:36 +0200 | hays | (rootvegeta@fsf/member/hays) |
| 2023-07-30 09:36:31 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-07-30 09:41:03 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-07-30 09:47:05 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-07-30 09:52:24 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 2023-07-30 09:52:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-07-30 09:56:16 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-07-30 09:57:22 +0200 | arahael | (~arahael@1.145.41.44) |
| 2023-07-30 10:01:26 +0200 | Guest5438 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 250 seconds) |
| 2023-07-30 10:01:41 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 260 seconds) |
| 2023-07-30 10:01:55 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 10:02:44 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-30 10:02:48 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-30 10:02:48 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-30 10:02:48 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 10:03:12 +0200 | dobblego | dibblego |
| 2023-07-30 10:04:40 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-07-30 10:11:24 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-07-30 10:12:40 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-30 10:15:08 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-07-30 10:17:01 +0200 | phma | (~phma@host-67-44-208-184.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-30 10:17:57 +0200 | phma | (phma@2001:5b0:211b:a7f8:71d2:474f:a60:8231) |
| 2023-07-30 10:23:42 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) |
| 2023-07-30 10:31:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 2023-07-30 10:34:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 10:36:39 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Ping timeout: 260 seconds) |
| 2023-07-30 10:37:12 +0200 | <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 10:38:00 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds) |
| 2023-07-30 10:38:32 +0200 | ub | (~Thunderbi@91.141.55.217.wireless.dyn.drei.com) |
| 2023-07-30 10:39:34 +0200 | ubert | (~Thunderbi@178.115.51.82.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2023-07-30 10:39:34 +0200 | ub | ubert |
| 2023-07-30 10:40:11 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-07-30 10:41:11 +0200 | <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 10:44:26 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-30 10:49:41 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-30 10:58:11 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-30 10:58:18 +0200 | dobblego | (~dibblego@116.255.1.151) |
| 2023-07-30 10:58:18 +0200 | dobblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-30 10:58:18 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-30 10:59:15 +0200 | dobblego | dibblego |
| 2023-07-30 11:06:35 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 264 seconds) |
| 2023-07-30 11:14:05 +0200 | arahael | (~arahael@1.145.41.44) (Ping timeout: 244 seconds) |
| 2023-07-30 11:14:36 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 244 seconds) |
| 2023-07-30 11:15:59 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-30 11:16:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 11:19:12 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 11:22:12 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-30 11:23:37 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 258 seconds) |
| 2023-07-30 11:24:07 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-07-30 11:25:11 +0200 | malte | (~malte@mal.tc) |
| 2023-07-30 11:30:00 +0200 | razetime | (~quassel@117.193.6.36) |
| 2023-07-30 11:32:05 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-30 11:32:17 +0200 | razetime | (~quassel@117.193.6.36) (Remote host closed the connection) |
| 2023-07-30 11:36:09 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-07-30 11:36:16 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 11:37:53 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-07-30 11:38:42 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Client Quit) |
| 2023-07-30 11:43:16 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-30 11:43:56 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-07-30 11:44:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2023-07-30 11:45:15 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-07-30 11:52:28 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-30 11:55:38 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2023-07-30 11:57:53 +0200 | kmein | (~weechat@user/kmein) |
| 2023-07-30 12:00:06 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-30 12:06:09 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-30 12:08:18 +0200 | <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 12:09:03 +0200 | <darkling> | But maybe the exercise of writing the optimisations is in itself interesting. |
| 2023-07-30 12:09:19 +0200 | <jade[m]> | tbh for tic tac toe you might as well encode all possible game states by hand |
| 2023-07-30 12:11:29 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-07-30 12:12:06 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-30 12:13:10 +0200 | ft | (~ft@p4fc2a59a.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2023-07-30 12:14:57 +0200 | ft | (~ft@p508db86a.dip0.t-ipconnect.de) |
| 2023-07-30 12:20:05 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f92353e374853bf96f6.dip0.t-ipconnect.de) |
| 2023-07-30 12:21:15 +0200 | acidjnk | (~acidjnk@p200300d6e7072f92dd20c62d1ea21df4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-07-30 12:30:32 +0200 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2023-07-30 12:32:43 +0200 | haskl | (~haskl@user/haskl) |
| 2023-07-30 12:40:22 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 245 seconds) |
| 2023-07-30 12:41:23 +0200 | boxscape_ | (~boxscape_@81.191.27.107) (Ping timeout: 264 seconds) |
| 2023-07-30 12:51:51 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-30 12:51:56 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Ping timeout: 246 seconds) |
| 2023-07-30 12:52:06 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 12:53:45 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-30 12:55:44 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-30 12:56:23 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 258 seconds) |
| 2023-07-30 12:59:36 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-30 13:00:00 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 244 seconds) |
| 2023-07-30 13:00:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-30 13:01:13 +0200 | mrmr | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2023-07-30 13:05:20 +0200 | mrmr | (~mrmr@user/mrmr) |
| 2023-07-30 13:08:18 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-07-30 13:12:18 +0200 | mima | (~mmh@ppp-212-114-180-231.dynamic.mnet-online.de) |
| 2023-07-30 13:20:40 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-30 13:22:39 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-30 13:25:13 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-07-30 13:38:39 +0200 | <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 13:42:59 +0200 | aeroplane | (~user@user/aeroplane) |
| 2023-07-30 13:47:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 13:48:31 +0200 | Square | (~Square@user/square) |
| 2023-07-30 13:58:06 +0200 | <ncf> | found the answer to my question! section 6 of https://arxiv.org/pdf/1402.1699.pdf |
| 2023-07-30 13:59:07 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-07-30 13:59:29 +0200 | <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 14:00:30 +0200 | misterfish | (~misterfis@46.44.172.198) |
| 2023-07-30 14:00:35 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-30 14:01:18 +0200 | ripspin | (~chatzilla@1.145.177.251) |
| 2023-07-30 14:02:04 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-30 14:04:04 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3719:1952:9146:1372) (Ping timeout: 244 seconds) |
| 2023-07-30 14:04:27 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-07-30 14:04:30 +0200 | ubert | (~Thunderbi@91.141.55.217.wireless.dyn.drei.com) (Quit: ubert) |
| 2023-07-30 14:04:47 +0200 | ubert | (~Thunderbi@91.141.55.217.wireless.dyn.drei.com) |
| 2023-07-30 14:09:14 +0200 | ubert | (~Thunderbi@91.141.55.217.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
| 2023-07-30 14:20:15 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) |
| 2023-07-30 14:21:15 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-07-30 14:21:16 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-07-30 14:22:40 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 244 seconds) |
| 2023-07-30 14:24:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:35b2:3ab1:b22a:e38) |
| 2023-07-30 14:27:54 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-07-30 14:34:02 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 244 seconds) |
| 2023-07-30 14:35:40 +0200 | nick4 | (~nick@2600:8807:9084:7800:d53:c5f4:7789:80aa) (Ping timeout: 258 seconds) |
| 2023-07-30 14:41:07 +0200 | mmhat | (~mmh@p200300f1c73d19b6ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.2) |
| 2023-07-30 14:51:50 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 14:54:15 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-07-30 14:59:03 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2023-07-30 14:59:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 15:04:24 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-30 15:05:16 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-30 15:06:09 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-30 15:06:35 +0200 | puke | (~puke@user/puke) |
| 2023-07-30 15:06:53 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-07-30 15:10:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-30 15:13:38 +0200 | phma | (phma@2001:5b0:211b:a7f8:71d2:474f:a60:8231) (Read error: Connection reset by peer) |
| 2023-07-30 15:14:04 +0200 | phma | (phma@2001:5b0:211b:a7f8:71d2:474f:a60:8231) |
| 2023-07-30 15:15:33 +0200 | yax__ | (~pi@user/yax/x-9576643) |
| 2023-07-30 15:15:42 +0200 | <yax__> | hihihihihihiiii |
| 2023-07-30 15:16:05 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-30 15:16:51 +0200 | yax__ | (~pi@user/yax/x-9576643) (Quit: leaving) |
| 2023-07-30 15:17:32 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-07-30 15:21:09 +0200 | yax__ | (~pi@user/yax/x-9576643) |
| 2023-07-30 15:23:10 +0200 | yax__ | (~pi@user/yax/x-9576643) () |
| 2023-07-30 15:25:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 15:33:36 +0200 | misterfish | (~misterfis@46.44.172.198) (Ping timeout: 260 seconds) |
| 2023-07-30 15:33:37 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 260 seconds) |
| 2023-07-30 15:36:02 +0200 | stef204 | (~stef204@user/stef204) |
| 2023-07-30 15:36:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 2023-07-30 15:40:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Ping timeout: 246 seconds) |
| 2023-07-30 15:44:31 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-30 15:49:28 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-07-30 15:53:20 +0200 | beepBoopBop | (~kekbazz@user/kekbazz) |
| 2023-07-30 15:54:45 +0200 | ripspin | (~chatzilla@1.145.177.251) (Remote host closed the connection) |
| 2023-07-30 16:03:54 +0200 | nick4 | (~nick@2600:8807:9084:7800:d7a:5fff:723a:552e) |
| 2023-07-30 16:07:36 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-30 16:08:35 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 16:08:36 +0200 | nick4 | (~nick@2600:8807:9084:7800:d7a:5fff:723a:552e) (Ping timeout: 260 seconds) |
| 2023-07-30 16:13:49 +0200 | ddellacosta | (~ddellacos@146.70.168.156) (Ping timeout: 260 seconds) |
| 2023-07-30 16:15:22 +0200 | ddellacosta | (~ddellacos@146.70.165.220) |
| 2023-07-30 16:22:07 +0200 | nick4 | (~nick@2600:8807:9084:7800:d7a:5fff:723a:552e) |
| 2023-07-30 16:22:48 +0200 | shapr | (~user@2600:1700:c640:3100:5109:9a4a:7d59:40bc) |
| 2023-07-30 16:27:27 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-07-30 16:28:27 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-07-30 16:28:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-30 16:35:24 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-07-30 16:39:44 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) |
| 2023-07-30 16:41:49 +0200 | raym | (~ray@user/raym) (Ping timeout: 260 seconds) |
| 2023-07-30 16:51:03 +0200 | nick2 | (~nick@2600:8807:9080:ea0:c847:cf2:1230:9d3f) |
| 2023-07-30 16:51:24 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2023-07-30 16:52:26 +0200 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 16:52:47 +0200 | nick4 | (~nick@2600:8807:9084:7800:d7a:5fff:723a:552e) (Ping timeout: 264 seconds) |
| 2023-07-30 16:53:13 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 16:54:30 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-30 16:58:19 +0200 | puke | (~puke@user/puke) |
| 2023-07-30 17:02:16 +0200 | pyooque | (~puke@user/puke) |
| 2023-07-30 17:02:16 +0200 | puke | (~puke@user/puke) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2023-07-30 17:02:16 +0200 | pyooque | puke |
| 2023-07-30 17:08:08 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-07-30 17:11:11 +0200 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 17:11:14 +0200 | danza_ | (~francesco@151.35.242.18) |
| 2023-07-30 17:11:18 +0200 | ystael | (~ystael@user/ystael) |
| 2023-07-30 17:13:08 +0200 | danza_ | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 17:13:39 +0200 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 17:19:39 +0200 | Tlsx | (~rscastilh@187.40.124.54) |
| 2023-07-30 17:23:38 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-07-30 17:32:26 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-30 17:34:33 +0200 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 17:34:59 +0200 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 17:37:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-30 17:40:05 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-07-30 17:40:19 +0200 | nckx | (~nckx@guix/contributor/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2023-07-30 17:41:20 +0200 | nckx | (~nckx@guix/contributor/nckx) |
| 2023-07-30 17:44:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-07-30 17:45:51 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 2023-07-30 17:48:38 +0200 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 17:48:45 +0200 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 17:51:32 +0200 | nckx | (~nckx@guix/contributor/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2023-07-30 17:54:18 +0200 | nckx | (~nckx@guix/contributor/nckx) |
| 2023-07-30 17:55:19 +0200 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 17:55:36 +0200 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 17:57:15 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-07-30 17:57:48 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-07-30 17:58:04 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-07-30 17:58:27 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-07-30 17:58:33 +0200 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 17:58:51 +0200 | nckx | (~nckx@guix/contributor/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2023-07-30 17:59:19 +0200 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 17:59:20 +0200 | nckx | (nckx@guix/contributor/nckx) |
| 2023-07-30 18:03:18 +0200 | beepBoopBop | (~kekbazz@user/kekbazz) (Ping timeout: 250 seconds) |
| 2023-07-30 18:04:30 +0200 | kronicma1 | (user37546@neotame.csclub.uwaterloo.ca) (Quit: WeeChat 3.7.1) |
| 2023-07-30 18:05:02 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-30 18:08:58 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2023-07-30 18:13:53 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) |
| 2023-07-30 18:17:37 +0200 | nckx | (nckx@guix/contributor/nckx) (Changing host) |
| 2023-07-30 18:17:37 +0200 | nckx | (nckx@libera/staff/owl/nckx) |
| 2023-07-30 18:23:05 +0200 | razetime | (~quassel@117.193.6.36) |
| 2023-07-30 18:23:43 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-07-30 18:26:10 +0200 | wroathe | (~wroathe@71.24.231.118) |
| 2023-07-30 18:26:10 +0200 | wroathe | (~wroathe@71.24.231.118) (Changing host) |
| 2023-07-30 18:26:10 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-30 18:29:12 +0200 | nick2 | (~nick@2600:8807:9080:ea0:c847:cf2:1230:9d3f) (Ping timeout: 260 seconds) |
| 2023-07-30 18:30:41 +0200 | flounders | (~flounders@24.246.133.1) |
| 2023-07-30 18:30:58 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.0.2) |
| 2023-07-30 18:32:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 2023-07-30 18:38:59 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-30 18:39:27 +0200 | puke | (~puke@user/puke) (Ping timeout: 244 seconds) |
| 2023-07-30 18:39:38 +0200 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 18:39:44 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-07-30 18:39:57 +0200 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 18:43:08 +0200 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 18:43:50 +0200 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 246 seconds) |
| 2023-07-30 18:45:36 +0200 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 18:47:38 +0200 | danza | (~francesco@151.35.242.18) (Remote host closed the connection) |
| 2023-07-30 18:47:54 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2023-07-30 18:50:01 +0200 | ddellacosta | (~ddellacos@146.70.165.220) (Ping timeout: 245 seconds) |
| 2023-07-30 18:50:25 +0200 | danza | (~francesco@151.35.242.18) |
| 2023-07-30 18:53:33 +0200 | ddellacosta | (~ddellacos@146.70.165.220) |
| 2023-07-30 18:57:11 +0200 | akegalj | (~akegalj@95.168.120.37) |
| 2023-07-30 18:59:53 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
| 2023-07-30 19:00:40 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 19:02:20 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-07-30 19:03:18 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2023-07-30 19:03:38 +0200 | akegalj | (~akegalj@95.168.120.37) (Quit: leaving) |
| 2023-07-30 19:04:08 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-07-30 19:04:43 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 19:05:57 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-30 19:06:16 +0200 | ddellacosta | (~ddellacos@146.70.165.220) (Ping timeout: 245 seconds) |
| 2023-07-30 19:09:13 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-30 19:09:29 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-07-30 19:09:42 +0200 | raym | (~ray@user/raym) |
| 2023-07-30 19:10:00 +0200 | ddellacosta | (~ddellacos@146.70.166.10) |
| 2023-07-30 19:11:46 +0200 | shriekingnoise_ | (~shrieking@186.137.175.87) |
| 2023-07-30 19:13:05 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 2023-07-30 19:15:06 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 244 seconds) |
| 2023-07-30 19:15:49 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Read error: Connection reset by peer) |
| 2023-07-30 19:16:09 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-30 19:16:59 +0200 | probie | (cc0b34050a@2604:bf00:561:2000::dbd) (Ping timeout: 260 seconds) |
| 2023-07-30 19:17:22 +0200 | stef204 | (~stef204@user/stef204) |
| 2023-07-30 19:19:19 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Ping timeout: 260 seconds) |
| 2023-07-30 19:19:25 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
| 2023-07-30 19:19:59 +0200 | probie | (cc0b34050a@user/probie) |
| 2023-07-30 19:22:32 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2023-07-30 19:23:24 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) (Ping timeout: 260 seconds) |
| 2023-07-30 19:26:30 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
| 2023-07-30 19:28:07 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.0.2) |
| 2023-07-30 19:30:36 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) (Ping timeout: 244 seconds) |
| 2023-07-30 19:31:34 +0200 | alternateved | (77c0810639@2604:bf00:561:2000::11f0) (Ping timeout: 260 seconds) |
| 2023-07-30 19:34:44 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-07-30 19:35:57 +0200 | alternateved | (77c0810639@2604:bf00:561:2000::11f0) |
| 2023-07-30 19:41:59 +0200 | danza | (~francesco@151.35.242.18) (Ping timeout: 264 seconds) |
| 2023-07-30 19:45:34 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-07-30 19:46:09 +0200 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-07-30 19:46:22 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-30 19:48:17 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 19:48:46 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-07-30 19:55:16 +0200 | wroathe | (~wroathe@71.24.231.118) |
| 2023-07-30 19:55:16 +0200 | wroathe | (~wroathe@71.24.231.118) (Changing host) |
| 2023-07-30 19:55:16 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-30 20:01:28 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-30 20:05:38 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-07-30 20:06:00 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 20:12:53 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-07-30 20:19:20 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) |
| 2023-07-30 20:21:56 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-07-30 20:27:34 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-07-30 20:28:12 +0200 | Tlsx | (~rscastilh@187.40.124.54) () |
| 2023-07-30 20:29:54 +0200 | razetime | (~quassel@117.193.6.36) (Ping timeout: 260 seconds) |
| 2023-07-30 20:34:56 +0200 | phma | (phma@2001:5b0:211b:a7f8:71d2:474f:a60:8231) (Read error: Connection reset by peer) |
| 2023-07-30 20:35:20 +0200 | phma | (~phma@host-67-44-208-166.hnremote.net) |
| 2023-07-30 20:37:37 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-30 20:45:00 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-07-30 20:45:07 +0200 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 260 seconds) |
| 2023-07-30 20:45:42 +0200 | michalz | (~michalz@185.246.207.218) (Ping timeout: 260 seconds) |
| 2023-07-30 20:46:26 +0200 | michalz | (~michalz@185.246.207.221) |
| 2023-07-30 20:49:24 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-07-30 20:50:29 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-30 20:52:31 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-30 20:54:33 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) |
| 2023-07-30 20:54:54 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-30 21:00:24 +0200 | puke | (~puke@user/puke) |
| 2023-07-30 21:00:57 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-07-30 21:02:45 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-07-30 21:11:10 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-30 21:11:44 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 2023-07-30 21:12:56 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-30 21:18:38 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-07-30 21:19:55 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-07-30 21:20:05 +0200 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-07-30 21:20:10 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-30 21:20:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-30 21:20:11 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-30 21:25:01 +0200 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 245 seconds) |
| 2023-07-30 21:26:07 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-30 21:35:12 +0200 | aeroplane | (~user@user/aeroplane) (Ping timeout: 250 seconds) |
| 2023-07-30 21:40:51 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-30 21:44:52 +0200 | ubert | (~Thunderbi@178.165.204.145.wireless.dyn.drei.com) |
| 2023-07-30 21:45:08 +0200 | ddellacosta | (~ddellacos@146.70.166.10) (Ping timeout: 246 seconds) |
| 2023-07-30 21:47:20 +0200 | ddellacosta | (~ddellacos@143.244.47.84) |
| 2023-07-30 22:02:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 22:06:29 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-07-30 22:06:50 +0200 | ubert | (~Thunderbi@178.165.204.145.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2023-07-30 22:08:35 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-07-30 22:11:07 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-30 22:11:34 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-30 22:13:12 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2023-07-30 22:13:31 +0200 | puke | (~puke@user/puke) |
| 2023-07-30 22:14:35 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) |
| 2023-07-30 22:18:44 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2023-07-30 22:19:25 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: yeah! stopping...) |
| 2023-07-30 22:22:31 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 260 seconds) |
| 2023-07-30 22:26:47 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 244 seconds) |
| 2023-07-30 22:27:49 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-07-30 22:31:14 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2023-07-30 22:31:49 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-07-30 22:32:43 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-30 22:33:52 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-30 22:36:46 +0200 | pavonia | (~user@user/siracusa) |
| 2023-07-30 22:38:50 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 245 seconds) |
| 2023-07-30 22:39:12 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2023-07-30 22:43:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-30 22:45:58 +0200 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-07-30 22:46:48 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-07-30 22:52:18 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-30 22:53:24 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-07-30 22:55:08 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 246 seconds) |
| 2023-07-30 22:59:17 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-30 22:59:56 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 2023-07-30 23:02:09 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-30 23:05:12 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-30 23:06:41 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-30 23:08:21 +0200 | michalz | (~michalz@185.246.207.221) (Ping timeout: 245 seconds) |
| 2023-07-30 23:10:03 +0200 | michalz | (~michalz@185.246.204.89) |
| 2023-07-30 23:13:12 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-30 23:13:17 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 245 seconds) |
| 2023-07-30 23:19:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-30 23:28:44 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-30 23:31:35 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-30 23:32:56 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 245 seconds) |
| 2023-07-30 23:33:42 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-07-30 23:34:57 +0200 | michalz | (~michalz@185.246.204.89) (Ping timeout: 245 seconds) |
| 2023-07-30 23:37:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-30 23:41:23 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-30 23:42:27 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 245 seconds) |
| 2023-07-30 23:43:16 +0200 | troydm | (~troydm@user/troydm) |
| 2023-07-30 23:49:30 +0200 | MajorBiscuit | (~MajorBisc@62-110-179.netrun.cytanet.com.cy) |
| 2023-07-30 23:59:38 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |