| 2025-01-23 00:01:31 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-23 00:02:11 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 00:02:15 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2025-01-23 00:02:32 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-01-23 00:02:57 +0100 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-01-23 00:06:29 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-23 00:08:57 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 00:10:38 +0100 | Googulator | (~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-23 00:10:48 +0100 | Googulator | (~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu) |
| 2025-01-23 00:11:38 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-01-23 00:13:58 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 265 seconds) |
| 2025-01-23 00:15:25 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2025-01-23 00:18:21 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 00:19:52 +0100 | agent314 | (~quassel@208.131.130.49) (Ping timeout: 244 seconds) |
| 2025-01-23 00:20:39 +0100 | agent314 | (~quassel@static-198-54-131-122.cust.tzulo.com) agent314 |
| 2025-01-23 00:20:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 00:22:02 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 00:24:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-23 00:25:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-23 00:26:34 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-01-23 00:27:59 +0100 | mange | (~user@user/mange) mange |
| 2025-01-23 00:28:13 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 00:28:17 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 00:28:51 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-01-23 00:29:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-23 00:30:27 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-01-23 00:33:28 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 00:33:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-23 00:37:16 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 00:39:53 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 00:44:25 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 265 seconds) |
| 2025-01-23 00:45:48 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-01-23 00:52:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 00:55:15 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 00:55:50 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 00:59:59 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 260 seconds) |
| 2025-01-23 00:59:59 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-23 01:03:16 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 244 seconds) |
| 2025-01-23 01:04:39 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-01-23 01:05:44 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 01:09:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-23 01:10:38 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 01:11:44 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-01-23 01:12:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 01:16:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-23 01:17:27 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-23 01:17:39 +0100 | sprotte24 | (~sprotte24@p200300d16f084200fc9f655953232e47.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-23 01:17:57 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 01:18:05 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-01-23 01:18:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 01:22:44 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2025-01-23 01:22:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-23 01:24:48 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-23 01:25:32 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-23 01:25:32 +0100 | tnt2 | tnt1 |
| 2025-01-23 01:25:41 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 01:26:38 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 01:27:13 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-23 01:28:40 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 01:33:21 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
| 2025-01-23 01:34:12 +0100 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-01-23 01:35:40 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-23 01:37:35 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-23 01:37:35 +0100 | tnt2 | tnt1 |
| 2025-01-23 01:40:21 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 01:42:17 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-23 01:42:25 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-23 01:42:25 +0100 | tnt2 | tnt1 |
| 2025-01-23 01:42:33 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 01:42:35 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-23 01:44:03 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 01:47:49 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-23 01:48:43 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-23 01:49:06 +0100 | rvalue | (~rvalue@user/rvalue) (Quit: 'forgot to sleep') |
| 2025-01-23 01:50:13 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-23 01:52:33 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 01:53:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-01-23 01:54:10 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-01-23 01:54:13 +0100 | acidjnk | (~acidjnk@p200300d6e7283f90cc5a38f326993e22.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-23 01:54:22 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-23 01:57:01 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-23 01:58:32 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-23 01:59:27 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 01:59:30 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 276 seconds) |
| 2025-01-23 01:59:31 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 264 seconds) |
| 2025-01-23 01:59:36 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 01:59:52 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-01-23 01:59:53 +0100 | tnt2 | tnt1 |
| 2025-01-23 02:00:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 02:02:52 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-23 02:04:42 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 276 seconds) |
| 2025-01-23 02:04:42 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-01-23 02:04:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-23 02:05:42 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-23 02:07:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 02:07:57 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-01-23 02:08:05 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 02:08:36 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 02:10:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-23 02:10:33 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-01-23 02:10:33 +0100 | tnt2 | tnt1 |
| 2025-01-23 02:12:32 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 2025-01-23 02:14:34 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-01-23 02:15:07 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2025-01-23 02:15:22 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 02:16:35 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 02:19:17 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-23 02:19:17 +0100 | Guest68 | (~Guest68@220-233-36-18.ip4.exetel.com.au) |
| 2025-01-23 02:19:44 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 244 seconds) |
| 2025-01-23 02:20:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-23 02:20:52 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 02:21:17 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-01-23 02:21:57 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:453a:eee1:9125:e152) (Ping timeout: 248 seconds) |
| 2025-01-23 02:25:03 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-23 02:26:12 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-23 02:26:24 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-23 02:26:24 +0100 | tnt2 | tnt1 |
| 2025-01-23 02:26:46 +0100 | otto_s | (~user@p5de2f486.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-23 02:28:14 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds) |
| 2025-01-23 02:28:25 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 02:28:29 +0100 | otto_s | (~user@p5de2f4cd.dip0.t-ipconnect.de) |
| 2025-01-23 02:28:49 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-01-23 02:29:02 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-01-23 02:30:44 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 02:31:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-23 02:32:25 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-23 02:35:34 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 265 seconds) |
| 2025-01-23 02:37:59 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-01-23 02:38:01 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 02:40:02 +0100 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-23 02:42:55 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-01-23 02:44:09 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu) |
| 2025-01-23 02:44:58 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-01-23 02:46:07 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 02:47:40 +0100 | Googulator | (~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-01-23 02:47:44 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 02:47:47 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-01-23 02:49:01 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 02:50:24 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-23 02:50:45 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
| 2025-01-23 02:53:25 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-23 02:53:58 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 02:54:37 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 02:55:10 +0100 | Guest68 | (~Guest68@220-233-36-18.ip4.exetel.com.au) (Ping timeout: 240 seconds) |
| 2025-01-23 02:59:25 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 03:01:21 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 03:01:33 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 03:01:39 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 03:04:01 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-23 03:07:38 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 03:07:45 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 03:07:57 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-01-23 03:09:18 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-23 03:09:31 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-23 03:11:52 +0100 | ft | (~ft@p4fc2a1c1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-23 03:12:58 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 03:13:50 +0100 | ft | (~ft@p3e9bcab6.dip0.t-ipconnect.de) ft |
| 2025-01-23 03:14:11 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 03:15:36 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-23 03:17:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-01-23 03:17:25 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-23 03:19:11 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 03:20:37 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 03:23:43 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 03:23:54 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 265 seconds) |
| 2025-01-23 03:26:19 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 03:30:42 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 03:30:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-23 03:31:49 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 03:34:33 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 03:37:53 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-01-23 03:38:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 03:38:46 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 03:39:00 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-23 03:42:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-01-23 03:44:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-01-23 03:47:13 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 03:47:23 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 03:49:55 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 03:51:49 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-23 03:56:53 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
| 2025-01-23 03:57:06 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 246 seconds) |
| 2025-01-23 03:57:13 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-23 03:57:40 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 03:59:15 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-23 03:59:58 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-01-23 04:02:40 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 04:03:43 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 264 seconds) |
| 2025-01-23 04:07:57 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 04:12:36 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 04:12:43 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-23 04:13:13 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-01-23 04:19:12 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 04:19:49 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 04:23:18 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 04:26:06 +0100 | <haskellbridge> | <Bowuigi> Why is unicode so weird? A lot of equalities in text would make more sense and be much faster if it was actually consistent with combining stuff |
| 2025-01-23 04:26:41 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 04:27:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 04:27:45 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
| 2025-01-23 04:28:14 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 04:30:46 +0100 | <geekosaur> | because different languages have different notions of things like collation. "ll" is a distinct "letter" in Spanish, for example |
| 2025-01-23 04:31:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-23 04:34:28 +0100 | <probie> | geekosaur: That was changed in 1994. Although that's still an issue for other languages (e.g. Welsh) |
| 2025-01-23 04:34:38 +0100 | <geekosaur> | in the case of combining characters, there are "pre-combined" characters for various Western scripts, and will continue to be because "page 0" is defined as ISO8859-1, but you still need the separate ones for languages such as Vietnamese |
| 2025-01-23 04:38:24 +0100 | <geekosaur> | (I'm not sure if any of the Latin-extended blocks covers Polish fully…) |
| 2025-01-23 04:38:42 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 04:39:28 +0100 | <geekosaur> | s/page 0/the basic Latin block/ |
| 2025-01-23 04:39:51 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 04:42:03 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-23 04:42:30 +0100 | <geekosaur> | and in the end, whatever simplifying assumption you choose to try to make things behave "simply", there's some language somewhere that violates it |
| 2025-01-23 04:42:46 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 04:43:09 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-23 04:43:43 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-23 04:44:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-23 04:44:44 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 04:49:36 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 2025-01-23 04:50:14 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-01-23 04:51:03 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 04:54:05 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 04:57:10 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 04:57:50 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-01-23 04:58:45 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
| 2025-01-23 05:03:33 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 05:07:32 +0100 | <monochrom> | Any language standard cannot be better than the language itself. |
| 2025-01-23 05:07:44 +0100 | Typedfern | (~Typedfern@248.red-83-37-32.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2025-01-23 05:07:55 +0100 | <monochrom> | More specifically, s/better/more coherent/ |
| 2025-01-23 05:09:28 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 05:10:43 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 05:11:36 +0100 | Guest68 | (~Guest68@220-233-36-18.ip4.exetel.com.au) |
| 2025-01-23 05:14:35 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 265 seconds) |
| 2025-01-23 05:16:34 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 05:17:42 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-23 05:18:20 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 05:18:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 05:20:10 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 05:21:16 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-23 05:22:32 +0100 | Typedfern | (~Typedfern@184.red-83-37-42.dynamicip.rima-tde.net) |
| 2025-01-23 05:22:39 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 05:24:44 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 265 seconds) |
| 2025-01-23 05:27:01 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-23 05:31:44 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 05:32:40 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-01-23 05:34:50 +0100 | <Guest68> | I was asking questions on #haskell-beginners about getting the sample code from the book "Simple Haskell" to work - I came up with this as the easiest way for a complete newbie to play around with the code. I removed the RIO import, replaced Text -> String and shoved everything into a Haskell Playground. I eventually worked out how to get print out |
| 2025-01-23 05:34:50 +0100 | <Guest68> | the result of show on the testBuild function. Here is a link if anyone is interested: https://play.haskell.org/saved/8wnvkjgn |
| 2025-01-23 05:36:21 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 05:36:36 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 05:37:26 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 05:38:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-23 05:38:53 +0100 | <glguy> | I haven't seen the original, but that seems pretty reasonable |
| 2025-01-23 05:41:13 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 05:41:40 +0100 | Guest68 | (~Guest68@220-233-36-18.ip4.exetel.com.au) (Ping timeout: 240 seconds) |
| 2025-01-23 05:42:11 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 05:44:23 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-23 05:49:09 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 05:51:38 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 06:01:51 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-23 06:01:51 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 06:02:09 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 06:05:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 06:05:40 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-23 06:05:59 +0100 | euleritian | (~euleritia@dynamic-176-006-133-222.176.6.pool.telefonica.de) |
| 2025-01-23 06:07:52 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 06:09:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-23 06:10:58 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 06:13:52 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 06:15:56 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-23 06:19:42 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 06:21:10 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 06:23:15 +0100 | Guest68 | (~Guest68@220-233-36-18.ip4.exetel.com.au) |
| 2025-01-23 06:23:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-23 06:25:23 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 245 seconds) |
| 2025-01-23 06:26:29 +0100 | euleritian | (~euleritia@dynamic-176-006-133-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-23 06:26:46 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-23 06:27:49 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-01-23 06:28:00 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) (Remote host closed the connection) |
| 2025-01-23 06:29:16 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) rekahsoft |
| 2025-01-23 06:35:14 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-23 06:35:40 +0100 | Guest68 | (~Guest68@220-233-36-18.ip4.exetel.com.au) (Ping timeout: 240 seconds) |
| 2025-01-23 06:36:33 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 06:37:12 +0100 | <haskellbridge> | <Bowuigi> geekosaur note that back when "ll", "rr" and "ch" were letters in Spanish, they were mostly treated as separate, only their pronounciation changed. In particular, attempts to unify them into one letter never really became popular |
| 2025-01-23 06:38:40 +0100 | <haskellbridge> | <Bowuigi> Spanish has fairly strict rules for consonant treatment in many situations, and these were treated the as sets of consonants |
| 2025-01-23 06:40:31 +0100 | <haskellbridge> | <Bowuigi> They weren't even named "letters" either, but they got into primary school material as if they were because of their pronounciation |
| 2025-01-23 06:41:31 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 264 seconds) |
| 2025-01-23 06:42:35 +0100 | <haskellbridge> | <Bowuigi> "s/letters/"letters"/" on the first one and "s/treated the as/treated as/" on the second. IRC not having edits is annoying |
| 2025-01-23 06:42:48 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 06:45:23 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) (Ping timeout: 245 seconds) |
| 2025-01-23 06:47:05 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 252 seconds) |
| 2025-01-23 06:49:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-01-23 06:50:03 +0100 | euleritian | (~euleritia@dynamic-176-006-133-222.176.6.pool.telefonica.de) |
| 2025-01-23 06:50:50 +0100 | euleritian | (~euleritia@dynamic-176-006-133-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-23 06:51:06 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-23 06:54:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 06:58:09 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 06:59:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-23 07:03:14 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 272 seconds) |
| 2025-01-23 07:03:49 +0100 | michalz | (~michalz@185.246.207.218) |
| 2025-01-23 07:09:25 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-01-23 07:09:39 +0100 | euleritian | (~euleritia@dynamic-176-006-133-222.176.6.pool.telefonica.de) |
| 2025-01-23 07:11:26 +0100 | euleritian | (~euleritia@dynamic-176-006-133-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-23 07:11:43 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-23 07:13:31 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 07:16:56 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-23 07:17:45 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-23 07:18:10 +0100 | <probie> | Bowuigi: As I understand it, they weren't definitively removed as "letters" until 2010 https://www.rae.es/espanol-al-dia/exclusion-de-ch-y-ll-del-abecedario |
| 2025-01-23 07:18:25 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 248 seconds) |
| 2025-01-23 07:20:05 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-23 07:20:58 +0100 | ft | (~ft@p3e9bcab6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-23 07:21:53 +0100 | <haskellbridge> | <Bowuigi> Yep, that article describes the situation better. I forgot they were named digraphs lol |
| 2025-01-23 07:24:29 +0100 | <haskellbridge> | <Bowuigi> I still remember the colorful alphabet signs with digraphs and how quickly they were replaced when the mistake was corrected |
| 2025-01-23 07:27:07 +0100 | <haskellbridge> | <Bowuigi> In fact, a lot of people still think they are separate letters and will recite it with those digraphs and their original names, "che" and "elle"/"lle" |
| 2025-01-23 07:28:13 +0100 | <haskellbridge> | <Bowuigi> Never understood why they were so unconsistent with it either, the variations of c and r never got their own graphemes. Anyway, that's offtopic lol |
| 2025-01-23 07:30:13 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 07:32:56 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-23 07:33:06 +0100 | euleritian | (~euleritia@dynamic-176-004-135-232.176.4.pool.telefonica.de) |
| 2025-01-23 07:34:54 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-23 07:38:49 +0100 | euleritian | (~euleritia@dynamic-176-004-135-232.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-23 07:39:07 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-23 07:39:45 +0100 | merijn | (~merijn@62.45.137.128) merijn |
| 2025-01-23 07:42:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 07:44:12 +0100 | merijn | (~merijn@62.45.137.128) (Ping timeout: 244 seconds) |
| 2025-01-23 07:45:24 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 260 seconds) |
| 2025-01-23 07:47:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-23 07:48:48 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-01-23 07:49:22 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-01-23 07:50:13 +0100 | euleritian | (~euleritia@dynamic-176-004-135-232.176.4.pool.telefonica.de) |
| 2025-01-23 07:51:10 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-23 07:55:21 +0100 | hawer | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-01-23 07:55:33 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-23 08:06:33 +0100 | hawer | (~newyear@2.219.56.221) |
| 2025-01-23 08:07:58 +0100 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2025-01-23 08:13:10 +0100 | CiaoSen | (~Jura@2a05:5800:223:9800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-23 08:13:13 +0100 | iteratee | (~kyle@162.218.222.207) iteratee |
| 2025-01-23 08:17:09 +0100 | <dminuoso> | probie: The fact that these details even change over time makes it even more complicated, you might require a kind of langdata similar to tzdata for a comprehensive solution. |
| 2025-01-23 08:17:51 +0100 | <dminuoso> | Say you want to test whether a version of a text from 1970 has changed meaningfully from a version published in 2020. |
| 2025-01-23 08:19:00 +0100 | <dminuoso> | And equality might not just refer to lexicography but typography as well - an interesting western example is ligatures. |
| 2025-01-23 08:20:10 +0100 | <dminuoso> | Assuming something like `memcpy` to be the proper solution can be slightly naive too. Imagine `text` supported both UTF8 and UTF16 encodings. Would you want an UTF8 encoded string to be considered different from an UTF16 encoded sequence of the same codepoints? |
| 2025-01-23 08:21:07 +0100 | <dminuoso> | Having worked with timestamps across timezones taught be to be careful and considerate with notions of equality. |
| 2025-01-23 08:33:30 +0100 | HappyNewYear2025 | (~newyear@2.219.56.221) |
| 2025-01-23 08:33:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 08:36:31 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 08:36:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-23 08:36:41 +0100 | hawer | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-01-23 08:37:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-23 08:40:46 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-23 08:48:43 +0100 | <homo> | spew microhs is now bootstrappable with hugs https://issues.guix.gnu.org/75778 |
| 2025-01-23 08:54:14 +0100 | euleritian | (~euleritia@dynamic-176-004-135-232.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-23 08:54:33 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-23 08:55:24 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-23 08:57:55 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-23 08:59:50 +0100 | xdminsy | (~xdminsy@117.147.71.185) (Ping timeout: 252 seconds) |
| 2025-01-23 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-23 09:00:16 +0100 | xdminsy | (~xdminsy@117.147.71.185) xdminsy |
| 2025-01-23 09:00:40 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-23 09:05:02 +0100 | <kqr> | [esqueleto] I have a function that takes a couple of SqlExpr of a fractional type, which constructs an SqlQuery that divides one by the other. The result of this SqlQuery is also an SqlExpr of the same fractional type (because that's how SQL division works in esqueleto). However, I'd like this to be a different fractional type. I cannot promote the relevant Haskell conversion function to an |
| 2025-01-23 09:05:04 +0100 | <kqr> | SqlExpr (the documentation is clear about this[1]) but I'm a little unsure what to do. There is an `unsafeCoerceSqlExpr` but I'm hesitant to use any function called "unsafe". [1]: https://hackage.haskell.org/package/esqueleto-3.6.0.0/docs/Database-Esqueleto-Internal-Internal.ht… |
| 2025-01-23 09:06:21 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-23 09:06:25 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-01-23 09:06:27 +0100 | kuribas | (~user@ptr-bf9vz8xsltavuyq.0000808120a2.ip6.access.telenet.be) kuribas |
| 2025-01-23 09:06:34 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-23 09:08:51 +0100 | tnt2 | tnt1 |
| 2025-01-23 09:12:27 +0100 | kuribas | (~user@ptr-bf9vz8xsltavuyq.0000808120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-01-23 09:12:40 +0100 | kuribas | (~user@ptr-bf9xpsxscyi0h8k.0000808120a2.ip6.access.telenet.be) kuribas |
| 2025-01-23 09:13:10 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-23 09:18:35 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-23 09:19:33 +0100 | kuribas | (~user@ptr-bf9xpsxscyi0h8k.0000808120a2.ip6.access.telenet.be) (Ping timeout: 276 seconds) |
| 2025-01-23 09:22:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 09:24:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-01-23 09:25:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-23 09:27:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-23 09:28:43 +0100 | dsrt^ | (~dsrt@108.192.66.114) (Ping timeout: 245 seconds) |
| 2025-01-23 09:29:48 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-23 09:29:59 +0100 | euleritian | (~euleritia@dynamic-176-004-135-232.176.4.pool.telefonica.de) |
| 2025-01-23 09:31:46 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-23 09:36:45 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-23 09:37:25 +0100 | acidjnk | (~acidjnk@p200300d6e7283f96b82223b200180454.dip0.t-ipconnect.de) acidjnk |
| 2025-01-23 09:41:35 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-23 09:42:57 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 09:44:56 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-01-23 09:46:46 +0100 | cy7 | (~yt@user/cysh) (Ping timeout: 252 seconds) |
| 2025-01-23 09:47:30 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-01-23 09:50:53 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-23 09:57:09 +0100 | Guest68 | (~Guest68@220-233-36-18.ip4.exetel.com.au) |
| 2025-01-23 10:00:27 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-01-23 10:07:02 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-23 10:08:57 +0100 | euleritian | (~euleritia@dynamic-176-004-135-232.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-23 10:09:16 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-23 10:10:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 10:11:39 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-01-23 10:13:04 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-23 10:13:14 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu) |
| 2025-01-23 10:13:20 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-01-23 10:13:20 +0100 | ChanServ | +v haskellbridge |
| 2025-01-23 10:14:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-01-23 10:15:17 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-23 10:16:33 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-23 10:19:39 +0100 | <geekosaur> | Bowuigi: my specific recollection was of "ll" being a distinct section in Spanish<->English dictionaries. I grant that was some time ago, though, and dictionaries (especially the translation variety) may not match normal idiomatic usage. |
| 2025-01-23 10:23:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-23 10:32:40 +0100 | Guest68 | (~Guest68@220-233-36-18.ip4.exetel.com.au) (Ping timeout: 240 seconds) |
| 2025-01-23 10:38:26 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-23 10:38:51 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-01-23 10:40:49 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-23 10:47:18 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:d528:4e69:de49:3fa6) (Ping timeout: 276 seconds) |
| 2025-01-23 10:48:40 +0100 | jcarpenter2 | (~lol@96.78.87.197) |
| 2025-01-23 10:50:20 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-23 10:50:59 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 10:57:31 +0100 | dhil | (~dhil@2a0c:b381:588:5f00:66bb:9c26:40b:1a67) dhil |
| 2025-01-23 11:00:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 11:05:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-23 11:05:18 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 11:08:00 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-01-23 11:08:45 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2025-01-23 11:08:47 +0100 | califax | (~califax@user/califx) califx |
| 2025-01-23 11:09:59 +0100 | mange | (~user@user/mange) mange |
| 2025-01-23 11:15:10 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-01-23 11:18:24 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 11:18:29 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 11:19:06 +0100 | user_ | (~user@user/fmira) (Remote host closed the connection) |
| 2025-01-23 11:19:28 +0100 | user_ | (~user@user/fmira) fmira |
| 2025-01-23 11:23:04 +0100 | Square | (~Square@user/square) Square |
| 2025-01-23 11:23:34 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: Exeunt DS Producer) |
| 2025-01-23 11:24:36 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-23 11:26:17 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 11:26:29 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 11:27:54 +0100 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-01-23 11:30:38 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 265 seconds) |
| 2025-01-23 11:32:09 +0100 | CiaoSen | (~Jura@2a05:5800:223:9800:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2025-01-23 11:33:23 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-01-23 11:34:06 +0100 | akegalj | (~akegalj@54-133.dsl.iskon.hr) akegalj |
| 2025-01-23 11:34:23 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 11:35:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-23 11:36:14 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-01-23 11:38:30 +0100 | chele | (~chele@user/chele) chele |
| 2025-01-23 11:41:53 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 11:43:54 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 11:50:52 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 11:50:59 +0100 | sprotte24 | (~sprotte24@p200300d16f0615004cac1667a189cb83.dip0.t-ipconnect.de) |
| 2025-01-23 11:52:57 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 276 seconds) |
| 2025-01-23 11:54:22 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-23 11:54:46 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) |
| 2025-01-23 11:54:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-01-23 11:55:17 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-01-23 11:58:25 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 12:02:21 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 12:03:24 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 12:04:19 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 264 seconds) |
| 2025-01-23 12:05:17 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-23 12:06:26 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-23 12:06:43 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-01-23 12:10:29 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-23 12:11:30 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:aca5:397:c390:758b) ubert |
| 2025-01-23 12:11:58 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 12:12:28 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7b70:7132:4b2b:5865) |
| 2025-01-23 12:13:23 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 12:14:14 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-23 12:19:53 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 12:19:56 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-01-23 12:20:01 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 12:20:39 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-23 12:20:47 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-23 12:20:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-23 12:22:14 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-23 12:22:25 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu) |
| 2025-01-23 12:22:27 +0100 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
| 2025-01-23 12:22:48 +0100 | ash3en | (~Thunderbi@31.16.203.214) (Client Quit) |
| 2025-01-23 12:23:20 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 252 seconds) |
| 2025-01-23 12:23:39 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-23 12:25:59 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-01-23 12:28:01 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 12:30:02 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-01-23 12:30:24 +0100 | CiaoSen | (~Jura@2a05:5800:223:9800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-23 12:30:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-23 12:33:57 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 12:35:04 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 12:35:52 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-01-23 12:36:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-23 12:40:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 12:40:42 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 246 seconds) |
| 2025-01-23 12:41:26 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 12:43:47 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-01-23 12:44:50 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-23 12:49:19 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 260 seconds) |
| 2025-01-23 12:50:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-01-23 12:51:29 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 12:53:01 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-23 12:53:54 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-23 12:58:24 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2025-01-23 12:58:30 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-23 12:58:31 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-01-23 12:58:32 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 12:58:55 +0100 | vpan | Guest8321 |
| 2025-01-23 12:59:09 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-01-23 12:59:22 +0100 | Guest8321 | vpan |
| 2025-01-23 13:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-23 13:01:05 +0100 | AlexNoo_ | (~AlexNoo@178.34.161.66) |
| 2025-01-23 13:02:18 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-23 13:02:30 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 13:03:26 +0100 | AlexZenon | (~alzenon@178.34.163.23) (Ping timeout: 265 seconds) |
| 2025-01-23 13:04:02 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 13:04:30 +0100 | AlexNoo | (~AlexNoo@178.34.163.23) (Ping timeout: 252 seconds) |
| 2025-01-23 13:06:58 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-23 13:10:03 +0100 | AlexZenon | (~alzenon@178.34.161.66) |
| 2025-01-23 13:12:39 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 13:16:33 +0100 | taleseeker | (~taleseeke@185.107.44.16) (Quit: irc: cannot access '/proc/taleseeker': No such file or directory) |
| 2025-01-23 13:21:32 +0100 | jespada | (~jespada@2800:a4:2317:8200:52e:e131:1453:b068) jespada |
| 2025-01-23 13:22:13 +0100 | sabathan | (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) (Ping timeout: 248 seconds) |
| 2025-01-23 13:22:34 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-01-23 13:24:34 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 13:27:36 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-01-23 13:28:04 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: β reduced) |
| 2025-01-23 13:29:08 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 13:30:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 13:30:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-01-23 13:32:37 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2025-01-23 13:32:39 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-23 13:34:27 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-23 13:34:58 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-01-23 13:37:36 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 276 seconds) |
| 2025-01-23 13:41:10 +0100 | AlexNoo_ | AlexNoo |
| 2025-01-23 13:41:17 +0100 | agent314 | (~quassel@static-198-54-131-122.cust.tzulo.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-23 13:47:37 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 13:52:35 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-01-23 13:53:55 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 13:55:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-01-23 13:56:10 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-23 13:56:16 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-01-23 13:57:18 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2025-01-23 13:57:18 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-01-23 14:00:48 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 14:01:34 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-01-23 14:01:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 14:02:43 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 14:04:17 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-23 14:06:57 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-23 14:08:06 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-23 14:11:06 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-01-23 14:12:49 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-01-23 14:13:38 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-23 14:14:51 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-23 14:15:26 +0100 | <kuribas> | Does the value restriction apply to haskell? For example for mutable data? |
| 2025-01-23 14:15:57 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-23 14:16:12 +0100 | <kuribas> | I suppose it doesn't since haskell doesn't support subtyping? |
| 2025-01-23 14:16:31 +0100 | <kuribas> | Like storing (forall a.Num a) in a datatype. |
| 2025-01-23 14:16:36 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-23 14:18:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 14:19:19 +0100 | acidjnk | (~acidjnk@p200300d6e7283f96b82223b200180454.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-01-23 14:20:37 +0100 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2025-01-23 14:23:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-23 14:24:52 +0100 | <Leary> | kuribas: Based on a cursory reading of the wikipedia article it's obviated by purity---we don't need it. |
| 2025-01-23 14:25:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-23 14:26:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-23 14:26:29 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-01-23 14:28:04 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-23 14:29:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 14:31:52 +0100 | dunj3_ | (~dunj3@2a01:239:328:1600::1) |
| 2025-01-23 14:31:58 +0100 | <opqdonut> | I think you can get related problems when you mix IORefs and unsafePerformIO |
| 2025-01-23 14:32:02 +0100 | constxd | (~constxd@user/constxd) (Ping timeout: 252 seconds) |
| 2025-01-23 14:32:05 +0100 | nschoe- | (~nschoe@82-65-202-30.subs.proxad.net) |
| 2025-01-23 14:32:20 +0100 | constxd | (~constxd@user/constxd) constxd |
| 2025-01-23 14:32:24 +0100 | dunj3 | (~dunj3@h1765027.stratoserver.net) (Ping timeout: 252 seconds) |
| 2025-01-23 14:32:46 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 252 seconds) |
| 2025-01-23 14:32:46 +0100 | noctux | (~noctux@user/noctux) (Ping timeout: 252 seconds) |
| 2025-01-23 14:33:08 +0100 | kmein | (~weechat@user/kmein) (Ping timeout: 252 seconds) |
| 2025-01-23 14:33:52 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2025-01-23 14:34:47 +0100 | xdminsy | (~xdminsy@117.147.71.185) (Remote host closed the connection) |
| 2025-01-23 14:35:13 +0100 | xdminsy | (~xdminsy@117.147.71.185) xdminsy |
| 2025-01-23 14:35:16 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2025-01-23 14:37:40 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 14:37:58 +0100 | <kuribas> | Leary: It would be the same problem with IO and subtyping. |
| 2025-01-23 14:38:18 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 246 seconds) |
| 2025-01-23 14:38:46 +0100 | <kuribas> | writeIORef :: IORef a -> a -> IO () |
| 2025-01-23 14:38:47 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-23 14:39:26 +0100 | <kuribas> | It works because IORef is monomorphic. |
| 2025-01-23 14:41:18 +0100 | <kuribas> | Maybe with impredicative types the value restriction would apply? |
| 2025-01-23 14:41:24 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 14:41:43 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-01-23 14:42:35 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-23 14:43:15 +0100 | <probie> | % let someRef = unsafePerformIO $ newIORef (undefined :: a) in do {let {intRef = (someRef :: IORef Int)}; let {strRef = (someRef :: IORef String)}; writeIORef strRef "bad"; readIORef strRef >>= print} |
| 2025-01-23 14:43:15 +0100 | <yahb2> | "bad" |
| 2025-01-23 14:43:23 +0100 | <probie> | % let someRef = unsafePerformIO $ newIORef (undefined :: a) in do {let {intRef = (someRef :: IORef Int)}; let {strRef = (someRef :: IORef String)}; writeIORef strRef "bad"; readIORef intRef >>= print} |
| 2025-01-23 14:43:23 +0100 | <yahb2> | -2305843008106363762 |
| 2025-01-23 14:43:58 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-23 14:43:58 +0100 | tnt2 | tnt1 |
| 2025-01-23 14:44:24 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-23 14:45:26 +0100 | <probie> | % let someRef = unsafePerformIO $ newIORef (undefined :: a) in do {let {intRef = (someRef :: IORef Int)}; let {strRef = (someRef :: IORef String)}; writeIORef strRef "bad"; readIORef intRef >>= print} |
| 2025-01-23 14:45:26 +0100 | <yahb2> | -1152921503499516810 |
| 2025-01-23 14:46:42 +0100 | <Leary> | kuribas: You can only get `IORef`s from `newIORef :: a -> IO (IORef a)`. That remains monomorphic even if `a` doesn't. |
| 2025-01-23 14:47:05 +0100 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2025-01-23 14:47:37 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-23 14:47:48 +0100 | <kuribas> | newIORef (4 :: forall a.Num a)? |
| 2025-01-23 14:48:08 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-23 14:50:00 +0100 | <probie> | If allowed, that's still safe, because the only thing you can put into that IORef is a `forall a. Num a` |
| 2025-01-23 14:51:43 +0100 | <haskellbridge> | <Bowuigi> geekosaur yeah the situation was always confusing and this slightly more phonetic alphabet was incomplete, that's why it was changed |
| 2025-01-23 14:51:49 +0100 | <kuribas> | probie: and if you have (foo :: IORef Int -> IO (IORef Int))? |
| 2025-01-23 14:52:07 +0100 | <merijn> | kuribas: That's not the same thing |
| 2025-01-23 14:52:18 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-01-23 14:52:35 +0100 | <merijn> | Because Int doesn't unify with `forall a . Num a => a` |
| 2025-01-23 14:53:32 +0100 | <kuribas> | merijn: it's a subtype. |
| 2025-01-23 14:53:46 +0100 | <merijn> | Because what you wrote is (with impredicative types) `IORef (forall a . Num a => a)` which is *not* `forall a . Num a => IORef a` |
| 2025-01-23 14:54:29 +0100 | <merijn> | kuribas: It is not "a subtype", because such a notion doesn't exist in Haskell. The relevant notion is whether they unify (which they don't) |
| 2025-01-23 14:54:30 +0100 | <kuribas> | (forall a . Num a => a) is a subtype of Int |
| 2025-01-23 14:55:06 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 14:55:08 +0100 | <kuribas> | I "can" pass a (forall a.Num a) to a function taking int, no? |
| 2025-01-23 14:55:16 +0100 | <kuribas> | Otherwise, what do you do with those? |
| 2025-01-23 14:55:38 +0100 | <merijn> | You cannot |
| 2025-01-23 14:55:49 +0100 | <merijn> | You can pass them to functions of Num |
| 2025-01-23 14:56:14 +0100 | <Leary> | No, you certainly can. |
| 2025-01-23 14:56:50 +0100 | <merijn> | Leary: How so? |
| 2025-01-23 14:56:55 +0100 | <ncf> | :t (\x -> x) :: (forall a. Num a => a) -> Int |
| 2025-01-23 14:56:56 +0100 | <lambdabot> | (forall a. Num a => a) -> Int |
| 2025-01-23 14:57:26 +0100 | <ncf> | (\x -> x) :: A → B is at least one reasonable definition of A ≤ B |
| 2025-01-23 14:57:48 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-23 14:57:55 +0100 | <kuribas> | > (succ :: Int -> Int) (3 :: Num a => a) |
| 2025-01-23 14:57:57 +0100 | <lambdabot> | 4 |
| 2025-01-23 14:58:03 +0100 | Guest44 | (~Guest44@2409:40f4:101c:dd54:1dc9:6365:96b5:504a) |
| 2025-01-23 14:58:18 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-23 14:58:31 +0100 | <merijn> | kuribas: That's the incorrect example, in that the forall is now in the wrong place for what I was saying |
| 2025-01-23 14:58:43 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-23 14:59:04 +0100 | <merijn> | kuribas: Your original sample was impredicative, which ends up giving you an existential type |
| 2025-01-23 14:59:06 +0100 | <Leary> | Haskell can be said to have subtyping, but it is (and must be) shallow: while `forall a. F a` is a subtype of `F A`, `F (forall a. a)` is not a subtype of `F A`. |
| 2025-01-23 14:59:21 +0100 | <merijn> | But since Haskell existentials use the same syntax with forall it becomes easy to confuse the two |
| 2025-01-23 14:59:54 +0100 | <Leary> | So you cannot pass an `IORef (forall a. Num a => a)` to a function expecting an `IORef Int`. |
| 2025-01-23 15:00:22 +0100 | <kuribas> | merijn: it's reasonable for an immutable list. |
| 2025-01-23 15:00:49 +0100 | <merijn> | kuribas: i.e. putting "forall a . Num a => a" into an IORef and getting an (impredicative) "IORef (forall a . Num a => a)" is fine. But what you "get out" of that IORef is an existential type that you cannot instantiate to Int |
| 2025-01-23 15:01:08 +0100 | <merijn> | kuribas: Impredicativity works the exist same in lists |
| 2025-01-23 15:01:09 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-01-23 15:01:26 +0100 | <Leary> | merijn: It's universal, not existential. |
| 2025-01-23 15:01:31 +0100 | <merijn> | [forall a . Num a => a] has the *exact* same restrictions as IORef |
| 2025-01-23 15:01:47 +0100 | <merijn> | Leary: It *is* an existential, but haskell encodes those as hidden foralls |
| 2025-01-23 15:01:53 +0100 | taleseeker | (~taleseeke@185.107.44.16) |
| 2025-01-23 15:02:37 +0100 | <merijn> | Don't blame me for having to write existentials with forall rather than exists, blame the Simon's and GHC team :p |
| 2025-01-23 15:03:09 +0100 | <Leary> | Well, one of us is confused, because I'm pretty sure nothing is existential here. |
| 2025-01-23 15:03:40 +0100 | Guest44 | (~Guest44@2409:40f4:101c:dd54:1dc9:6365:96b5:504a) (Ping timeout: 240 seconds) |
| 2025-01-23 15:03:42 +0100 | <ncf> | i don't see any existentials here, church-encoded or not |
| 2025-01-23 15:04:26 +0100 | <ncf> | forall a. Num a => a does not produce a type. it accepts a type |
| 2025-01-23 15:04:42 +0100 | CiaoSen | (~Jura@2a05:5800:223:9800:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2025-01-23 15:05:27 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 15:05:50 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-23 15:07:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 15:07:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-23 15:07:59 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-23 15:08:31 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-23 15:08:35 +0100 | <merijn> | ncf: The only way to represent existentials in GHC is via `newtype SomeFoo = SomeFoo (forall a . Foo a => a)` |
| 2025-01-23 15:08:57 +0100 | <ncf> | no |
| 2025-01-23 15:09:08 +0100 | <ncf> | data SomeFoo = forall a. Foo a => SomeFoo a |
| 2025-01-23 15:09:23 +0100 | <ncf> | note that the universal context is outside of the constructor |
| 2025-01-23 15:09:31 +0100 | <ncf> | this is shorthand for |
| 2025-01-23 15:09:36 +0100 | <ncf> | data SomeFoo where |
| 2025-01-23 15:09:47 +0100 | <ncf> | SomeFoo :: forall a. Foo a => SomeFoo |
| 2025-01-23 15:09:51 +0100 | <ncf> | in GADT syntax |
| 2025-01-23 15:10:03 +0100 | <merijn> | I forgot the syntax, since it's been awhile, you get the idea |
| 2025-01-23 15:10:27 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 15:10:36 +0100 | <ncf> | the syntax is precisely what confuses you here |
| 2025-01-23 15:12:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-23 15:12:24 +0100 | <ncf> | er sorry |
| 2025-01-23 15:12:28 +0100 | <ncf> | SomeFoo :: forall a. Foo a => a -> SomeFoo |
| 2025-01-23 15:12:32 +0100 | zero | yin |
| 2025-01-23 15:12:37 +0100 | <ncf> | please note the difference with |
| 2025-01-23 15:12:39 +0100 | <ncf> | data AnyFoo where |
| 2025-01-23 15:12:47 +0100 | <ncf> | AnyFoo :: (forall a. Foo a => a) -> AnyFoo |
| 2025-01-23 15:13:07 +0100 | <ncf> | the former could be rewritten, in pseudo-haskell, |
| 2025-01-23 15:13:17 +0100 | <ncf> | SomeFoo :: (exists a. Foo a /\ a) -> SomeFoo |
| 2025-01-23 15:13:29 +0100 | <ncf> | (using the syntax of the first-class existentials GHC proposal) |
| 2025-01-23 15:15:20 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-01-23 15:15:22 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-23 15:15:54 +0100 | euleritian | (~euleritia@dynamic-176-006-148-054.176.6.pool.telefonica.de) |
| 2025-01-23 15:16:18 +0100 | euleritian | (~euleritia@dynamic-176-006-148-054.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-23 15:17:00 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-23 15:17:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 2025-01-23 15:19:38 +0100 | taleseeker | (~taleseeke@185.107.44.16) (Quit: irc: cannot access '/proc/taleseeker': No such file or directory) |
| 2025-01-23 15:19:38 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-23 15:25:57 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-23 15:26:17 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-01-23 15:28:34 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |