2025/01/23

2025-01-23 00:01:31 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-01-23 00:02:11 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-23 00:02:15 +0100Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2025-01-23 00:02:32 +0100Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2025-01-23 00:02:57 +0100Square(~Square@user/square) (Ping timeout: 246 seconds)
2025-01-23 00:06:29 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
2025-01-23 00:08:57 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 00:10:38 +0100Googulator(~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu) (Quit: Client closed)
2025-01-23 00:10:48 +0100Googulator(~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu)
2025-01-23 00:11:38 +0100user363627(~user@user/user363627) user363627
2025-01-23 00:13:58 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 265 seconds)
2025-01-23 00:15:25 +0100weary-traveler(~user@user/user363627) (Ping timeout: 265 seconds)
2025-01-23 00:18:21 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 00:19:52 +0100agent314(~quassel@208.131.130.49) (Ping timeout: 244 seconds)
2025-01-23 00:20:39 +0100agent314(~quassel@static-198-54-131-122.cust.tzulo.com) agent314
2025-01-23 00:20:48 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-23 00:22:02 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-23 00:24:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-23 00:25:02 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-01-23 00:26:34 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-01-23 00:27:59 +0100mange(~user@user/mange) mange
2025-01-23 00:28:13 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 00:28:17 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-01-23 00:28:51 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds)
2025-01-23 00:29:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-23 00:30:27 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds)
2025-01-23 00:33:28 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-01-23 00:33:53 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-01-23 00:37:16 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 00:39:53 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 00:44:25 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 265 seconds)
2025-01-23 00:45:48 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 245 seconds)
2025-01-23 00:52:55 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-23 00:55:15 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 00:55:50 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 00:59:59 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 260 seconds)
2025-01-23 00:59:59 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds)
2025-01-23 01:03:16 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 244 seconds)
2025-01-23 01:04:39 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-01-23 01:05:44 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 01:09:09 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-23 01:10:38 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 01:11:44 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-01-23 01:12:13 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-23 01:16:21 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-01-23 01:17:27 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 252 seconds)
2025-01-23 01:17:39 +0100sprotte24(~sprotte24@p200300d16f084200fc9f655953232e47.dip0.t-ipconnect.de) (Quit: Leaving)
2025-01-23 01:17:57 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 01:18:05 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius
2025-01-23 01:18:15 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-23 01:22:44 +0100ystael(~ystael@user/ystael) (Ping timeout: 260 seconds)
2025-01-23 01:22:45 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
2025-01-23 01:24:48 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-23 01:25:32 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-23 01:25:32 +0100tnt2tnt1
2025-01-23 01:25:41 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 01:26:38 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-01-23 01:27:13 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-23 01:28:40 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 01:33:21 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 248 seconds)
2025-01-23 01:34:12 +0100notzmv(~umar@user/notzmv) (Remote host closed the connection)
2025-01-23 01:35:40 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-23 01:37:35 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 265 seconds)
2025-01-23 01:37:35 +0100tnt2tnt1
2025-01-23 01:40:21 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-01-23 01:42:17 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-23 01:42:25 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 265 seconds)
2025-01-23 01:42:25 +0100tnt2tnt1
2025-01-23 01:42:33 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 01:42:35 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-23 01:44:03 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 01:47:49 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-01-23 01:48:43 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 264 seconds)
2025-01-23 01:49:06 +0100rvalue(~rvalue@user/rvalue) (Quit: 'forgot to sleep')
2025-01-23 01:50:13 +0100Midjak(~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
2025-01-23 01:52:33 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 01:53:39 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-01-23 01:54:10 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-01-23 01:54:13 +0100acidjnk(~acidjnk@p200300d6e7283f90cc5a38f326993e22.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-01-23 01:54:22 +0100alecs(~alecs@61.pool85-58-154.dynamic.orange.es) alecs
2025-01-23 01:57:01 +0100ystael(~ystael@user/ystael) ystael
2025-01-23 01:58:32 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-23 01:59:27 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 01:59:30 +0100alecs(~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 276 seconds)
2025-01-23 01:59:31 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 264 seconds)
2025-01-23 01:59:36 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 01:59:52 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 272 seconds)
2025-01-23 01:59:53 +0100tnt2tnt1
2025-01-23 02:00:37 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-23 02:02:52 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-23 02:04:42 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 276 seconds)
2025-01-23 02:04:42 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 276 seconds)
2025-01-23 02:04:53 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-01-23 02:05:42 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-01-23 02:07:55 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-23 02:07:57 +0100tnt2(~Thunderbi@user/tnt1) (Ping timeout: 276 seconds)
2025-01-23 02:08:05 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-01-23 02:08:36 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 02:10:20 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-23 02:10:33 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 276 seconds)
2025-01-23 02:10:33 +0100tnt2tnt1
2025-01-23 02:12:32 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds)
2025-01-23 02:14:34 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-01-23 02:15:07 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 264 seconds)
2025-01-23 02:15:22 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 02:16:35 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 02:19:17 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-01-23 02:19:17 +0100Guest68(~Guest68@220-233-36-18.ip4.exetel.com.au)
2025-01-23 02:19:44 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 244 seconds)
2025-01-23 02:20:04 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-23 02:20:52 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 02:21:17 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-01-23 02:21:57 +0100xff0x_(~xff0x@2405:6580:b080:900:453a:eee1:9125:e152) (Ping timeout: 248 seconds)
2025-01-23 02:25:03 +0100weary-traveler(~user@user/user363627) user363627
2025-01-23 02:26:12 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-23 02:26:24 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 265 seconds)
2025-01-23 02:26:24 +0100tnt2tnt1
2025-01-23 02:26:46 +0100otto_s(~user@p5de2f486.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-23 02:28:14 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds)
2025-01-23 02:28:25 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 02:28:29 +0100otto_s(~user@p5de2f4cd.dip0.t-ipconnect.de)
2025-01-23 02:28:49 +0100user363627(~user@user/user363627) (Ping timeout: 248 seconds)
2025-01-23 02:29:02 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-01-23 02:30:44 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 02:31:13 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-01-23 02:32:25 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-23 02:35:34 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 265 seconds)
2025-01-23 02:37:59 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-01-23 02:38:01 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 02:40:02 +0100j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-23 02:42:55 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius
2025-01-23 02:44:09 +0100Googulator91(~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu)
2025-01-23 02:44:58 +0100pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-01-23 02:46:07 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 02:47:40 +0100Googulator(~Googulato@2a01-036d-0106-2445-f43e-80de-c8dc-0b63.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-01-23 02:47:44 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 02:47:47 +0100pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-01-23 02:49:01 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-23 02:50:24 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-01-23 02:50:45 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 248 seconds)
2025-01-23 02:53:25 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-01-23 02:53:58 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 02:54:37 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-01-23 02:55:10 +0100Guest68(~Guest68@220-233-36-18.ip4.exetel.com.au) (Ping timeout: 240 seconds)
2025-01-23 02:59:25 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-23 03:01:21 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-01-23 03:01:33 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 03:01:39 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 03:04:01 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
2025-01-23 03:07:38 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 03:07:45 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-01-23 03:07:57 +0100ryanbooker(uid4340@id-4340.hampstead.irccloud.com) ryanbooker
2025-01-23 03:09:18 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 252 seconds)
2025-01-23 03:09:31 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-23 03:11:52 +0100ft(~ft@p4fc2a1c1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-23 03:12:58 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-01-23 03:13:50 +0100ft(~ft@p3e9bcab6.dip0.t-ipconnect.de) ft
2025-01-23 03:14:11 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 03:15:36 +0100weary-traveler(~user@user/user363627) user363627
2025-01-23 03:17:08 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2025-01-23 03:17:25 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-23 03:19:11 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 03:20:37 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-01-23 03:23:43 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 03:23:54 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 265 seconds)
2025-01-23 03:26:19 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-23 03:30:42 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 03:30:48 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds)
2025-01-23 03:31:49 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-01-23 03:34:33 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 03:37:53 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 245 seconds)
2025-01-23 03:38:05 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-23 03:38:46 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 03:39:00 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 252 seconds)
2025-01-23 03:42:28 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-01-23 03:44:22 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-01-23 03:47:13 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 03:47:23 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-23 03:49:55 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 03:51:49 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds)
2025-01-23 03:56:53 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 248 seconds)
2025-01-23 03:57:06 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 246 seconds)
2025-01-23 03:57:13 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-23 03:57:40 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 03:59:15 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-01-23 03:59:58 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds)
2025-01-23 04:02:40 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 04:03:43 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 264 seconds)
2025-01-23 04:07:57 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 04:12:36 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 04:12:43 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 264 seconds)
2025-01-23 04:13:13 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-01-23 04:19:12 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 04:19:49 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-01-23 04:23:18 +0100merijn(~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 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-01-23 04:27:30 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-23 04:27:45 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 248 seconds)
2025-01-23 04:28:14 +0100j1n37(~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 +0100alfiee(~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 +0100merijn(~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 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-01-23 04:42:03 +0100terrorjack45(~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 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 04:43:09 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 252 seconds)
2025-01-23 04:43:43 +0100terrorjack45(~terrorjac@2a01:4f8:c17:a66e::) terrorjack
2025-01-23 04:44:13 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-23 04:44:44 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-23 04:49:36 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds)
2025-01-23 04:50:14 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-01-23 04:51:03 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 04:54:05 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 04:57:10 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 04:57:50 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-01-23 04:58:45 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 248 seconds)
2025-01-23 05:03:33 +0100j1n37-(~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 +0100Typedfern(~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 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 05:10:43 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 05:11:36 +0100Guest68(~Guest68@220-233-36-18.ip4.exetel.com.au)
2025-01-23 05:14:35 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 265 seconds)
2025-01-23 05:16:34 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-23 05:17:42 +0100ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-23 05:18:20 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 05:18:22 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-01-23 05:20:10 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 05:21:16 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-01-23 05:22:32 +0100Typedfern(~Typedfern@184.red-83-37-42.dynamicip.rima-tde.net)
2025-01-23 05:22:39 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-23 05:24:44 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 265 seconds)
2025-01-23 05:27:01 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
2025-01-23 05:31:44 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 05:32:40 +0100j1n37-(~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 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 05:36:36 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 05:37:26 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-01-23 05:38:13 +0100peterbecich(~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 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 05:41:40 +0100Guest68(~Guest68@220-233-36-18.ip4.exetel.com.au) (Ping timeout: 240 seconds)
2025-01-23 05:42:11 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-01-23 05:44:23 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 252 seconds)
2025-01-23 05:49:09 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-01-23 05:51:38 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 06:01:51 +0100homo(~homo@user/homo) (Read error: Connection reset by peer)
2025-01-23 06:01:51 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-23 06:02:09 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-01-23 06:05:19 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-23 06:05:40 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-01-23 06:05:59 +0100euleritian(~euleritia@dynamic-176-006-133-222.176.6.pool.telefonica.de)
2025-01-23 06:07:52 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-01-23 06:09:44 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-01-23 06:10:58 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 06:13:52 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-23 06:15:56 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 252 seconds)
2025-01-23 06:19:42 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-01-23 06:21:10 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 06:23:15 +0100Guest68(~Guest68@220-233-36-18.ip4.exetel.com.au)
2025-01-23 06:23:45 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds)
2025-01-23 06:25:23 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 245 seconds)
2025-01-23 06:26:29 +0100euleritian(~euleritia@dynamic-176-006-133-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-01-23 06:26:46 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-23 06:27:49 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-01-23 06:28:00 +0100rekahsoft(~rekahsoft@70.51.99.237) (Remote host closed the connection)
2025-01-23 06:29:16 +0100rekahsoft(~rekahsoft@70.51.99.237) rekahsoft
2025-01-23 06:35:14 +0100homo(~homo@user/homo) homo
2025-01-23 06:35:40 +0100Guest68(~Guest68@220-233-36-18.ip4.exetel.com.au) (Ping timeout: 240 seconds)
2025-01-23 06:36:33 +0100merijn(~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 +0100merijn(~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 +0100merijn(~merijn@62.45.137.128) merijn
2025-01-23 06:45:23 +0100rekahsoft(~rekahsoft@70.51.99.237) (Ping timeout: 245 seconds)
2025-01-23 06:47:05 +0100merijn(~merijn@62.45.137.128) (Ping timeout: 252 seconds)
2025-01-23 06:49:41 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2025-01-23 06:50:03 +0100euleritian(~euleritia@dynamic-176-006-133-222.176.6.pool.telefonica.de)
2025-01-23 06:50:50 +0100euleritian(~euleritia@dynamic-176-006-133-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-01-23 06:51:06 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-23 06:54:23 +0100alfiee(~alfiee@user/alfiee) alfiee