| 2024-11-28 00:01:19 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f45e92259293d368009.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-11-28 00:02:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-28 00:04:52 +0000 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) (Quit: Ping timeout (120 seconds)) |
| 2024-11-28 00:05:53 +0000 | sprotte24 | (~sprotte24@p200300d16f063d0029f19ad0281f854e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-28 00:08:04 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-28 00:09:53 +0000 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) |
| 2024-11-28 00:09:57 +0000 | Alleria_ | (~Alleria@user/alleria) (Ping timeout: 248 seconds) |
| 2024-11-28 00:10:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 00:15:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-28 00:16:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-11-28 00:19:16 +0000 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-11-28 00:20:43 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3502-fd8e-d0c2-176e-9396-3461.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-28 00:23:54 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-11-28 00:24:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-28 00:26:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 00:31:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 00:41:25 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 00:43:43 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e3:b85:1caf:7d34) (Ping timeout: 245 seconds) |
| 2024-11-28 00:45:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 00:46:59 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2024-11-28 00:50:29 +0000 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2024-11-28 00:56:27 +0000 | <jackdk> | huh? I see the error snippet inlined from a pastebin |
| 2024-11-28 00:56:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 00:58:38 +0000 | Everything | (~Everythin@46.211.105.44) (Ping timeout: 255 seconds) |
| 2024-11-28 01:01:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 01:02:57 +0000 | tabemann__ | (~tabemann@2600:1700:7990:24e0:5174:5a46:699:13f) |
| 2024-11-28 01:03:04 +0000 | inedia | (~irc@2600:3c00:e000:287::1) (Quit: WeeChat 4.2.2) |
| 2024-11-28 01:04:44 +0000 | tabemann_ | (~tabemann@2600:1700:7990:24e0:dcfd:354f:7f87:b580) (Ping timeout: 260 seconds) |
| 2024-11-28 01:04:56 +0000 | inedia | (~irc@2600:3c00:e000:287::1) dove |
| 2024-11-28 01:06:25 +0000 | Alleria | (~Alleria@user/alleria) (Ping timeout: 248 seconds) |
| 2024-11-28 01:12:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 01:18:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-28 01:19:32 +0000 | euleritian | (~euleritia@77.22.252.159) (Ping timeout: 252 seconds) |
| 2024-11-28 01:20:43 +0000 | euleritian | (~euleritia@dynamic-176-006-132-016.176.6.pool.telefonica.de) |
| 2024-11-28 01:22:25 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-28 01:23:59 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-11-28 01:26:18 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-28 01:26:33 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2024-11-28 01:30:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 01:34:27 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-28 01:34:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 01:45:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 01:49:10 +0000 | Square2 | (~Square4@user/square) Square |
| 2024-11-28 01:50:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-28 01:51:12 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-11-28 01:51:17 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-28 01:53:09 +0000 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-11-28 01:57:17 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) billchenchina |
| 2024-11-28 02:01:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 02:03:29 +0000 | zenmov | (~zenmov@user/zenmov) (Remote host closed the connection) |
| 2024-11-28 02:05:08 +0000 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 2024-11-28 02:06:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 02:11:39 +0000 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-11-28 02:16:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 02:17:19 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-28 02:20:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-28 02:23:17 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-28 02:29:41 +0000 | krei-se | (~krei-se@p57af2af4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-11-28 02:31:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 02:32:35 +0000 | krei-se | (~krei-se@p5085dd86.dip0.t-ipconnect.de) krei-se |
| 2024-11-28 02:33:59 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 260 seconds) |
| 2024-11-28 02:36:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 02:39:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-28 02:47:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 02:53:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-28 02:54:54 +0000 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-11-28 02:55:32 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-28 03:09:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 03:14:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 03:15:43 +0000 | haritz | (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 2024-11-28 03:18:19 +0000 | foul_owl | (~kerry@174-21-81-201.tukw.qwest.net) (Ping timeout: 260 seconds) |
| 2024-11-28 03:20:22 +0000 | cyphase | (~cyphase@user/cyphase) (Remote host closed the connection) |
| 2024-11-28 03:21:58 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-11-28 03:22:22 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2024-11-28 03:22:22 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2024-11-28 03:22:22 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2024-11-28 03:22:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-11-28 03:23:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 03:31:46 +0000 | foul_owl | (~kerry@185.219.141.161) foul_owl |
| 2024-11-28 03:31:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 03:34:01 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-11-28 03:35:22 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) (Remote host closed the connection) |
| 2024-11-28 03:38:25 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) hgolden |
| 2024-11-28 03:42:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 03:42:19 +0000 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-28 03:44:02 +0000 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-11-28 03:46:48 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-28 03:47:40 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-11-28 03:48:03 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-28 03:49:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-28 03:58:10 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-28 04:00:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 04:04:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 04:09:06 +0000 | divya | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) divya |
| 2024-11-28 04:10:39 +0000 | divya | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) (Client Quit) |
| 2024-11-28 04:11:24 +0000 | divya | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) divya |
| 2024-11-28 04:15:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 04:15:39 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) (Remote host closed the connection) |
| 2024-11-28 04:19:01 +0000 | billchenchina | (~billchenc@103.118.42.229) billchenchina |
| 2024-11-28 04:20:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 04:30:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 04:35:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 04:37:48 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-28 04:38:40 +0000 | aforemny_ | (~aforemny@2001:9e8:6cfc:4900:21e:33c9:bfd:626b) aforemny |
| 2024-11-28 04:39:33 +0000 | aforemny | (~aforemny@2001:9e8:6ce2:4f00:247:abb5:ff11:88a7) (Ping timeout: 245 seconds) |
| 2024-11-28 04:46:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 04:46:14 +0000 | divya` | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) |
| 2024-11-28 04:47:44 +0000 | divya | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) (Ping timeout: 260 seconds) |
| 2024-11-28 04:51:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 04:54:42 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-11-28 04:55:03 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2024-11-28 04:57:41 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-28 05:01:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 05:06:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 05:06:14 +0000 | divya` | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) (Read error: Connection reset by peer) |
| 2024-11-28 05:06:17 +0000 | divya`` | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) |
| 2024-11-28 05:10:35 +0000 | divya``` | (~user@139.5.10.61) |
| 2024-11-28 05:11:49 +0000 | divya`` | (~user@2409:40e2:1025:5604:18e:a8c:90cc:26c5) (Read error: Connection reset by peer) |
| 2024-11-28 05:14:05 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-28 05:14:08 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 2024-11-28 05:16:01 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-11-28 05:16:59 +0000 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-11-28 05:17:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 05:18:02 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-28 05:20:13 +0000 | urdh | (~urdh@user/urdh) (Quit: Boom!) |
| 2024-11-28 05:21:04 +0000 | <Leary> | Playing with RequiredTypeArguments, I find I mostly want them in class methods where they require an ugly hack. I just realised that hack can actually be made pretty: `type a --> b = forall a' -> a' ~ a => b; infixr 0 -->`. Unfortunately we don't have `infixr 0 ->` so it's not perfect; you have to parenthesise the body of the type if it's `_ -> _`. |
| 2024-11-28 05:23:45 +0000 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 276 seconds) |
| 2024-11-28 05:23:51 +0000 | urdh | (~urdh@user/urdh) urdh |
| 2024-11-28 05:24:30 +0000 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-11-28 05:25:30 +0000 | michalz | (~michalz@185.246.207.203) |
| 2024-11-28 05:28:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 05:39:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 05:44:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 05:53:54 +0000 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-28 05:54:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 05:56:59 +0000 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-28 05:59:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 06:10:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 06:14:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-28 06:18:17 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-28 06:19:13 +0000 | euleritian | (~euleritia@dynamic-176-006-132-016.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-28 06:19:32 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-28 06:20:37 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-11-28 06:21:07 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-28 06:21:11 +0000 | _________ | (~nobody@user/noodly) _________ |
| 2024-11-28 06:25:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 06:29:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 06:32:49 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-11-28 06:34:28 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-11-28 06:35:19 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-11-28 06:35:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 06:37:25 +0000 | euleritian | (~euleritia@dynamic-176-006-137-063.176.6.pool.telefonica.de) |
| 2024-11-28 06:41:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 06:42:45 +0000 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-11-28 06:45:39 +0000 | euleritian | (~euleritia@dynamic-176-006-137-063.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-11-28 06:45:53 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-28 06:51:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 06:54:45 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-11-28 06:55:30 +0000 | euleritian | (~euleritia@dynamic-176-002-010-054.176.2.pool.telefonica.de) |
| 2024-11-28 06:56:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 07:00:37 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2024-11-28 07:01:56 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2024-11-28 07:05:41 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-28 07:07:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 07:10:23 +0000 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-11-28 07:13:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 07:24:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 07:33:37 +0000 | CiaoSen | (~Jura@2a05:5800:215:b200:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-28 07:34:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 07:45:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 07:49:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-28 07:53:54 +0000 | briandaed | (~root@user/briandaed) briandaed |
| 2024-11-28 07:54:35 +0000 | ft | (~ft@p508db9c7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-11-28 07:55:17 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-28 07:57:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-28 08:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-28 08:00:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 08:00:45 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-28 08:05:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 08:15:09 +0000 | ubert | (~Thunderbi@91.141.67.185.wireless.dyn.drei.com) ubert |
| 2024-11-28 08:16:56 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2024-11-28 08:21:32 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-28 08:27:56 +0000 | billchenchina- | (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) billchenchina |
| 2024-11-28 08:30:23 +0000 | billchenchina | (~billchenc@103.118.42.229) (Ping timeout: 245 seconds) |
| 2024-11-28 08:32:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-28 08:35:07 +0000 | vpan | (~vpan@212.117.1.172) |
| 2024-11-28 08:35:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-28 08:51:14 +0000 | euleritian | (~euleritia@dynamic-176-002-010-054.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-28 08:51:32 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-28 08:53:02 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-28 08:57:15 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-28 08:58:39 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-28 09:01:35 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-28 09:04:17 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-11-28 09:09:48 +0000 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-11-28 09:10:02 +0000 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2024-11-28 09:18:55 +0000 | <hellwolf> | interesting, I used to use default signature extension for similar situation |
| 2024-11-28 09:20:08 +0000 | <hellwolf> | You could even make a better type error messsage: |
| 2024-11-28 09:20:08 +0000 | <hellwolf> | default abiDecoder :: forall. ( Assert (Not (IsABICoreType a)) |
| 2024-11-28 09:20:08 +0000 | <hellwolf> | (TypeError (Text "abiDecoder must be defined for a core type")) |
| 2024-11-28 09:20:08 +0000 | <hellwolf> | , ABITypeCodec (ABITypeDerivedOf a)) => S.Get a |
| 2024-11-28 09:20:36 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-28 09:21:11 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 265 seconds) |
| 2024-11-28 09:21:45 +0000 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2024-11-28 09:23:37 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-11-28 09:26:43 +0000 | bramh | (~bramh@user/bramh) bramh |
| 2024-11-28 09:31:11 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-28 09:37:41 +0000 | chele | (~chele@user/chele) chele |
| 2024-11-28 09:38:57 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-28 09:39:52 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-11-28 09:41:25 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f2308e7690b90e194d6.dip0.t-ipconnect.de) |
| 2024-11-28 09:58:31 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-28 10:04:27 +0000 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) hgolden |
| 2024-11-28 10:06:04 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) (Ping timeout: 260 seconds) |
| 2024-11-28 10:08:33 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2024-11-28 10:09:26 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-28 10:11:33 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-11-28 10:12:20 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-28 10:20:37 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-28 10:24:30 +0000 | Guest40 | (~Guest40@2409:40f4:39:82b7:7921:f1bd:d070:e8c) |
| 2024-11-28 10:25:42 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Read error: Connection reset by peer) |
| 2024-11-28 10:27:03 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2024-11-28 10:28:06 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-28 10:29:37 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-28 10:33:41 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-11-28 10:42:15 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-11-28 10:43:45 +0000 | euleritian | (~euleritia@176.2.10.54) |
| 2024-11-28 10:43:55 +0000 | mari-estel | (~mari-este@user/mari-estel) () |
| 2024-11-28 10:46:00 +0000 | img_ | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-28 10:47:24 +0000 | img | (~img@user/img) img |
| 2024-11-28 10:52:35 +0000 | Guest40 | (~Guest40@2409:40f4:39:82b7:7921:f1bd:d070:e8c) (Quit: Client closed) |
| 2024-11-28 10:57:13 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-28 11:09:30 +0000 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-11-28 11:09:44 +0000 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2024-11-28 11:11:19 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-11-28 11:15:06 +0000 | CiaoSen | (~Jura@2a05:5800:215:b200:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-11-28 11:23:49 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-28 11:25:59 +0000 | troydm | (~troydm@user/troydm) (Ping timeout: 252 seconds) |
| 2024-11-28 11:30:39 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-11-28 11:31:00 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-11-28 11:32:08 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-11-28 11:32:10 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 2024-11-28 11:38:46 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-11-28 11:38:59 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-11-28 11:39:30 +0000 | grc | (~user@212-132-42-22.customer.gigaclear.net) |
| 2024-11-28 11:40:21 +0000 | euleritian | (~euleritia@176.2.10.54) (Ping timeout: 246 seconds) |
| 2024-11-28 11:41:04 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-28 11:43:08 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection) |
| 2024-11-28 11:43:29 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-28 11:44:46 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-28 11:47:19 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-11-28 11:54:12 +0000 | xff0x | (~xff0x@2405:6580:b080:900:bdac:b2dc:9696:7d21) |
| 2024-11-28 11:56:42 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-28 12:00:08 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-28 12:02:20 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-28 12:07:17 +0000 | divya``` | (~user@139.5.10.61) (Remote host closed the connection) |
| 2024-11-28 12:07:38 +0000 | divya``` | (~user@139.5.10.61) |
| 2024-11-28 12:08:50 +0000 | divya``` | (~user@139.5.10.61) (Remote host closed the connection) |
| 2024-11-28 12:09:07 +0000 | divya``` | (~user@139.5.10.61) |
| 2024-11-28 12:09:23 +0000 | divya``` | divya |
| 2024-11-28 12:15:16 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-28 12:15:37 +0000 | CiaoSen | (~Jura@2a05:5800:215:b200:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-28 12:25:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-28 12:38:33 +0000 | divya- | (divya@140.238.251.170) divya |
| 2024-11-28 12:41:58 +0000 | divya | (~user@139.5.10.61) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-11-28 12:42:10 +0000 | divya- | divya |
| 2024-11-28 12:43:17 +0000 | alp__ | (~alp@2001:861:8ca0:4940:cda0:b848:4c21:79b0) (Remote host closed the connection) |
| 2024-11-28 12:43:39 +0000 | alp__ | (~alp@2001:861:8ca0:4940:c5af:950e:283c:7445) |
| 2024-11-28 12:44:53 +0000 | ash3en | (~Thunderbi@149.222.150.35) ash3en |
| 2024-11-28 12:48:35 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-28 12:52:13 +0000 | ash3en | (~Thunderbi@149.222.150.35) (Quit: ash3en) |
| 2024-11-28 12:53:22 +0000 | CiaoSen | (~Jura@2a05:5800:215:b200:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds) |
| 2024-11-28 13:10:11 +0000 | briandaed | (~root@user/briandaed) (Quit: Lost terminal) |
| 2024-11-28 13:26:29 +0000 | ash3en | (~Thunderbi@149.222.150.35) ash3en |
| 2024-11-28 13:27:32 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-11-28 13:29:47 +0000 | <haskellbridge> | <hellwolf> Well, today's extension to include is ... qualified do |
| 2024-11-28 13:29:55 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-28 13:30:05 +0000 | <haskellbridge> | <hellwolf> For gradedmonad |
| 2024-11-28 13:32:03 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-11-28 13:32:53 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-11-28 13:33:22 +0000 | <haskellbridge> | <hellwolf> But I am in serious questioning of the real value of this do notation in my case. |
| 2024-11-28 13:41:16 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-11-28 13:41:35 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-28 13:41:39 +0000 | billchenchina- | (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) (Quit: Leaving) |
| 2024-11-28 13:45:48 +0000 | ash3en | (~Thunderbi@149.222.150.35) (Ping timeout: 252 seconds) |
| 2024-11-28 13:51:18 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-28 13:52:03 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2024-11-28 13:56:35 +0000 | Alleria | (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-28 13:57:30 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-28 13:58:06 +0000 | CiaoSen | (~Jura@2a05:5800:215:b200:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-11-28 14:01:06 +0000 | <mauke> | grade d monad |
| 2024-11-28 14:01:32 +0000 | Square2 | (~Square4@user/square) Square |
| 2024-11-28 14:06:31 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-28 14:10:24 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Client Quit) |
| 2024-11-28 14:11:08 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-28 14:12:15 +0000 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-11-28 14:30:29 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-11-28 14:32:13 +0000 | euleritian | (~euleritia@dynamic-176-002-091-174.176.2.pool.telefonica.de) |
| 2024-11-28 14:34:49 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-11-28 14:37:38 +0000 | Alleria | (~Alleria@user/alleria) (Ping timeout: 255 seconds) |
| 2024-11-28 14:40:54 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2024-11-28 14:42:29 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 248 seconds) |
| 2024-11-28 14:43:29 +0000 | preflex | (~preflex@user/mauke/bot/preflex) (Ping timeout: 255 seconds) |
| 2024-11-28 14:44:54 +0000 | noctux | (~noctux@user/noctux) (Ping timeout: 260 seconds) |
| 2024-11-28 14:48:02 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-28 14:48:35 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
| 2024-11-28 14:53:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-28 15:04:54 +0000 | mulk | (~mulk@p5b112b80.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-28 15:07:39 +0000 | ash3en | (~Thunderbi@149.222.206.227) ash3en |
| 2024-11-28 15:07:40 +0000 | ash3en | (~Thunderbi@149.222.206.227) (Client Quit) |
| 2024-11-28 15:08:36 +0000 | mulk | (~mulk@p5b112d68.dip0.t-ipconnect.de) mulk |
| 2024-11-28 15:13:01 +0000 | <haskellbridge> | <Bowuigi> Qualified do is more useful without typeclasses ngl |
| 2024-11-28 15:14:13 +0000 | ash3en | (~Thunderbi@149.222.206.227) ash3en |
| 2024-11-28 15:14:30 +0000 | <haskellbridge> | <Bowuigi> Qualified applicative do is even more interesting without typeclasses |
| 2024-11-28 15:14:34 +0000 | ash3en | (~Thunderbi@149.222.206.227) (Client Quit) |
| 2024-11-28 15:22:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-11-28 15:26:03 +0000 | <juri_> | well, glad to be writing haskell again. |
| 2024-11-28 15:27:58 +0000 | ash3en | (~Thunderbi@149.222.206.227) ash3en |
| 2024-11-28 15:32:28 +0000 | ash3en | (~Thunderbi@149.222.206.227) (Ping timeout: 245 seconds) |
| 2024-11-28 15:45:02 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-11-28 15:45:26 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
| 2024-11-28 15:45:26 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) (Remote host closed the connection) |
| 2024-11-28 15:45:27 +0000 | Server | +Cnt |
| 2024-11-28 15:45:31 +0000 | natto | (~natto@129.154.243.159) natto |
| 2024-11-28 15:45:37 +0000 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection) |
| 2024-11-28 15:45:38 +0000 | gawen_ | (~gawen@user/gawen) gawen |
| 2024-11-28 15:45:40 +0000 | hueso_ | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2024-11-28 15:46:00 +0000 | Ekho | (~Ekho@user/ekho) Ekho |
| 2024-11-28 15:46:06 +0000 | urdh | (~urdh@user/urdh) urdh |
| 2024-11-28 15:46:14 +0000 | CiaoSen | (~Jura@2a05:5800:215:b200:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2024-11-28 15:46:17 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Read error: Connection reset by peer) |
| 2024-11-28 15:46:35 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2024-11-28 15:46:46 +0000 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2024-11-28 15:46:50 +0000 | hueso | (~root@user/hueso) hueso |
| 2024-11-28 15:47:31 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-28 15:47:44 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-28 15:47:48 +0000 | noctux | (~noctux@user/noctux) noctux |
| 2024-11-28 15:47:48 +0000 | michalz | (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 2024-11-28 15:47:48 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-28 15:47:56 +0000 | end | (~end@user/end/x-0094621) end^ |
| 2024-11-28 15:48:10 +0000 | gawen | (~gawen@user/gawen) (Ping timeout: 252 seconds) |
| 2024-11-28 15:49:06 +0000 | <juri_> | grr. aeson being opaque, as usual. no instance for FromJSON ByteString when decodeing, but if i supply a fromJSON instance for the type, i have overlapping instances. WTH. |
| 2024-11-28 15:49:55 +0000 | zero | (~z@user/zero) zero |
| 2024-11-28 15:52:10 +0000 | noctux | (~noctux@user/noctux) (Ping timeout: 260 seconds) |
| 2024-11-28 15:56:45 +0000 | noctux | (~noctux@user/noctux) noctux |
| 2024-11-28 16:01:56 +0000 | zenmov | (~zenmov@user/zenmov) (Remote host closed the connection) |
| 2024-11-28 16:03:38 +0000 | benkard | (~mulk@p5b112ff6.dip0.t-ipconnect.de) mulk |
| 2024-11-28 16:04:25 +0000 | mulk | (~mulk@p5b112d68.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-11-28 16:04:25 +0000 | benkard | mulk |
| 2024-11-28 16:13:24 +0000 | <tomsmeding> | hellwolf: that particular (+) is just in GHC.TypeNats in base, no need to depend on ghc-internal |
| 2024-11-28 16:14:05 +0000 | <tomsmeding> | juri_: strict vs lazy ByteString? They're both called ByteString |
| 2024-11-28 16:14:18 +0000 | euleritian | (~euleritia@dynamic-176-002-091-174.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-28 16:14:35 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-28 16:19:36 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-28 16:20:21 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-28 16:22:43 +0000 | <juri_> | tomsmeding: the type i am trying to read uses strict. I've rewritten to use decodeFileStrict, and still can't get around it. |
| 2024-11-28 16:23:23 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-11-28 16:28:14 +0000 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2024-11-28 16:38:24 +0000 | druchan | (uid567859@id-567859.lymington.irccloud.com) |
| 2024-11-28 16:42:23 +0000 | <hellwolf> | I didn't depend on the type (+) directly in the use-site, it was used from my own package elsewhere. It was shown in the error message, which was confusing. But the root cause was more pertinent, and I had to fix that instead. I will watch out how often it shows up to end users, if it were not due to internal bugs, which then could be concerning. |
| 2024-11-28 16:44:31 +0000 | <tomsmeding> | juri_: what instance does the instance you try to write overlap with? Is that instance imported at the place where you try to use it? |
| 2024-11-28 16:44:48 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-11-28 16:45:18 +0000 | <tomsmeding> | hellwolf: right, I was just responding to geekosaur's suggestion to import the module it comes from to simplify the error message |
| 2024-11-28 16:45:49 +0000 | <hellwolf> | I am having serious crisis doubting if do syntax is really that beneficial. `>>= \x -> ...` looks equally fine. It does save you some key strokes of ">>=, >>" with "do", ofc. Thinking about it, the linear-type syntax I am building up heavily relying on (&, &+, &-, &|+, &|-, etc.) to start the line following, usually, a lambda. Akin to the the bind operator ">>=", but with more variant to deal wih those "&" series of |
| 2024-11-28 16:45:49 +0000 | <hellwolf> | multiplicity combinators that I am designing. |
| 2024-11-28 16:45:52 +0000 | <c_wraith> | fwiw, aeson doesn't have a FromJSON instance for ByteString. And it shouldn't. Such an instance implies a privileged encoding. That's fine for your application, but not for the core library |
| 2024-11-28 16:46:11 +0000 | <tomsmeding> | juri_: ^ |
| 2024-11-28 16:46:40 +0000 | <geekosaur> | tomsmeding, that was just a generic "why does that error qualify a type with package and module" |
| 2024-11-28 16:47:32 +0000 | <geekosaur> | and yes, it's a bit of a scorched earth response, but it'll always work whereas I needed to see more to know if it could be simplified in that cas |
| 2024-11-28 16:47:33 +0000 | <geekosaur> | e |
| 2024-11-28 16:48:14 +0000 | <hellwolf> | with (+), if one of the Nat didn't get inferred properly (which is the root problem), then the whole message was garbled with what I pasted above. |
| 2024-11-28 16:48:41 +0000 | <hellwolf> | so I am hoping that such inference error is eliminated at use site so that I won't scare away users. |
| 2024-11-28 16:49:19 +0000 | <tomsmeding> | hellwolf: exporting (Data.TypeNats.+) will at least shorten that to just "+" in the error message |
| 2024-11-28 16:49:26 +0000 | <tomsmeding> | which, granted, may still be unreadable |
| 2024-11-28 16:50:25 +0000 | <hellwolf> | could be. and it could be a wishful thinking from me. if it the inference deficiency did happen, I will have to see if I can shortcircuit it earlier with a TypeError. But that's extra work. |
| 2024-11-28 16:52:01 +0000 | tjbc | (~tjbc@user/fliife) (Ping timeout: 244 seconds) |
| 2024-11-28 16:55:47 +0000 | son0p | (~ff@191.109.96.243) (Ping timeout: 272 seconds) |
| 2024-11-28 16:57:55 +0000 | ft | (~ft@p508db9c7.dip0.t-ipconnect.de) ft |
| 2024-11-28 16:58:52 +0000 | tjbc | (~tjbc@user/fliife) fliife |
| 2024-11-28 17:02:23 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-11-28 17:06:05 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-28 17:13:46 +0000 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-28 17:14:32 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-11-28 17:16:19 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 265 seconds) |
| 2024-11-28 17:18:28 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-28 17:23:48 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-11-28 17:27:07 +0000 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-11-28 17:28:02 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-28 17:28:46 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 2024-11-28 17:32:00 +0000 | Piedro | (~Piedro@213.226.141.250) Piedro |
| 2024-11-28 17:36:56 +0000 | <juri_> | tomsmeding, c_wraith: https://paste.rs/qKcMz.txt |
| 2024-11-28 17:38:03 +0000 | <c_wraith> | is Vocab a type alias? |
| 2024-11-28 17:38:09 +0000 | <juri_> | it is. |
| 2024-11-28 17:38:28 +0000 | <c_wraith> | ... I kind of hate type aliases. |
| 2024-11-28 17:38:45 +0000 | <juri_> | me too, but not my library. |
| 2024-11-28 17:40:09 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-28 17:41:00 +0000 | <juri_> | trying to use https://github.com/BobMcDear/minbpe-hs/blob/main/src/BPE/Base.hs , and serialize in a Vocab from a json file. |
| 2024-11-28 17:42:20 +0000 | <c_wraith> | Ok, so... You need to create a FromJSON instance for BS.ByteString, not for Vocab |
| 2024-11-28 17:42:58 +0000 | <geekosaur> | that was the original question, no? |
| 2024-11-28 17:43:39 +0000 | <c_wraith> | It was, but the error messages that indicate conflicting instances aren't from ByteString, they're from InsOrdHashMap, which Vocab is a type alias for |
| 2024-11-28 17:48:25 +0000 | <c_wraith> | alternatively, you can convert the Vocab to have Text values for serialization, and then convert the values back to the right type after deserializing. |
| 2024-11-28 17:48:48 +0000 | <c_wraith> | Assuming the contents are actually text, anyway |
| 2024-11-28 17:52:51 +0000 | <juri_> | ok, that fits. thank you. :) |
| 2024-11-28 17:54:39 +0000 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 252 seconds) |
| 2024-11-28 17:55:16 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-28 17:58:26 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-28 17:59:13 +0000 | <ash3en> | is every job -- haskell or not -- somehow either project management or writing REST? |
| 2024-11-28 18:03:13 +0000 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-11-28 18:05:48 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2024-11-28 18:08:25 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-11-28 18:10:43 +0000 | <ski> | it would be nice if GHC supported being able to abstractly export a type synonym |
| 2024-11-28 18:11:46 +0000 | <ski> | (in Hugs, this is, more or less, restricted type synonyms. except that in that case, you specifically list which definitions it's concretely in scope over. kinda like `abstype' in SML) |
| 2024-11-28 18:12:56 +0000 | <tomsmeding> | ski: how would that work? |
| 2024-11-28 18:13:40 +0000 | <tomsmeding> | what's the difference with just exporting the type synonym as you can currently do? |
| 2024-11-28 18:15:22 +0000 | <ski> | externally, the type would appear as a `data'/`newtype', with no constructors exported |
| 2024-11-28 18:15:37 +0000 | <ski> | internally, it's known to be a `type' synonym |
| 2024-11-28 18:15:38 +0000 | <tomsmeding> | what would be the advantage of that? |
| 2024-11-28 18:15:49 +0000 | <tomsmeding> | it's not like you can really keep _secrets_ |
| 2024-11-28 18:16:13 +0000 | <ski> | dunno what you mean by the latter |
| 2024-11-28 18:16:43 +0000 | <ski> | but you could avoid some annoying `newtype' constuctor wrapping and unwrapping, in internal definitions |
| 2024-11-28 18:16:59 +0000 | <tomsmeding> | the only difference I see is whether the haddocks contains the definition of the type synonym or not |
| 2024-11-28 18:17:24 +0000 | <ski> | (and also avoid using `unsafeCoerce#' or `coerce') |
| 2024-11-28 18:17:38 +0000 | <tomsmeding> | or would you also disallow `fst foo` if `foo :: Foo` where `type Foo = (Bar1, Bar2)` is an abstractly exported type synonym? |
| 2024-11-28 18:17:56 +0000 | <tomsmeding> | (the `#` there feels somewhat overly strong) |
| 2024-11-28 18:17:56 +0000 | <ski> | yes. otherwise it would not be abstractly exported |
| 2024-11-28 18:18:21 +0000 | <tomsmeding> | right |
| 2024-11-28 18:18:29 +0000 | <ski> | (the ML module systems do this, btw) |
| 2024-11-28 18:21:29 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-11-28 18:21:53 +0000 | <ski> | (if you opaquely (rather than transparently) ascribe a signature that mentions the type, but not it being defined as a particular `datatype' or `type' (synonym), to the structure/module in question that defines the type. e.g. `structure Foo : sig type foo; val mkFoo : int -> foo option ; ... end = struct type foo = ...; fun mkFoo n = ...; ... end') |
| 2024-11-28 18:22:41 +0000 | <ski> | (er, s/Foo :/Foo :>/. using `:' would be transparent ascription) |
| 2024-11-28 18:26:42 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-11-28 18:29:59 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-28 18:30:29 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-28 18:33:56 +0000 | mauke | (~mauke@user/mauke) mauke |
| 2024-11-28 18:34:07 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-28 18:36:12 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-11-28 18:36:25 +0000 | <haskellbridge> | <Bowuigi> ski Miranda has this mechanism combined with module parameters (sorta like ML) instead of typeclasses |
| 2024-11-28 18:37:20 +0000 | <haskellbridge> | <Bowuigi> It is meh because most of the time the definitions are small and you have to do some plumbing to get multiple overloadings going |
| 2024-11-28 18:37:55 +0000 | <haskellbridge> | <Bowuigi> It isn't real overload either, you can't use a single symbol to refer to multiple operations, you have to rename each one manually instead |
| 2024-11-28 18:38:03 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-28 18:38:42 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-28 18:38:45 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-28 18:39:54 +0000 | <haskellbridge> | <Bowuigi> It's quite fast as well, because everything is specialized (Miranda is not fast in general though) |
| 2024-11-28 18:40:52 +0000 | <haskellbridge> | <Bowuigi> In particular, a somewhat naive implementation of graph reduction segfaults on fairly small terms, but that's unrelated |
| 2024-11-28 18:49:13 +0000 | <ski> | Bowuigi : are the module parameters modules ? values ? can they be types ? |
| 2024-11-28 18:49:38 +0000 | <ski> | not sure what you mean by overloadings |
| 2024-11-28 18:53:25 +0000 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-28 18:55:07 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2024-11-28 18:55:49 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2024-11-28 18:59:07 +0000 | <haskellbridge> | <Bowuigi> No, the "module parameters" of Miranda are similar to setting "#define"s before including a file in C |
| 2024-11-28 18:59:32 +0000 | <haskellbridge> | <Bowuigi> They can't be modules because modules exist at a sort of macro level. You can't compute with them either |
| 2024-11-28 19:00:51 +0000 | <haskellbridge> | <Bowuigi> Overloading as in referring to multiple definitions, respecting a singular schema but implemented for different types. The typeclass members on Haskell are overloaded |
| 2024-11-28 19:00:51 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2024-11-28 19:03:47 +0000 | son0p | (~ff@186.121.16.116) son0p |
| 2024-11-28 19:04:30 +0000 | <ski> | mhm |
| 2024-11-28 19:05:38 +0000 | <ski> | (yea, but you said "It isn't real overload either", which made me wonder if it was just like making local names for operations coming from other modules or module parameters) |
| 2024-11-28 19:06:12 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-28 19:07:13 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 2024-11-28 19:10:42 +0000 | sprotte24 | (~sprotte24@p200300d16f138300907ffdfdcf85daeb.dip0.t-ipconnect.de) |
| 2024-11-28 19:10:44 +0000 | <markasoftware> | i can't believe <$> has left-associativity |
| 2024-11-28 19:10:44 +0000 | <markasoftware> | my mind is blown |
| 2024-11-28 19:11:46 +0000 | sprotte24 | (~sprotte24@p200300d16f138300907ffdfdcf85daeb.dip0.t-ipconnect.de) (Client Quit) |
| 2024-11-28 19:14:13 +0000 | <markasoftware> | fn1 <$> fn2 <$> [1, 2, 3] = (fn1 <$> fn2) <$> [1, 2, 3] but functions are functors so (fn1 <$> fn2) = (fn1 . fn2) |
| 2024-11-28 19:14:37 +0000 | <markasoftware> | i always thought it was fn1 <$> (fn2 <$> [1, 2, 3]) |
| 2024-11-28 19:14:51 +0000 | <tomsmeding> | that is funny |
| 2024-11-28 19:15:06 +0000 | <tomsmeding> | automatic fmap fusion by associativity! |
| 2024-11-28 19:17:29 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-28 19:17:33 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-28 19:31:12 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-28 19:31:58 +0000 | <haskellbridge> | <hellwolf> what about (&) |
| 2024-11-28 19:33:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 19:36:11 +0000 | <enikar> | infixl 1 |
| 2024-11-28 19:36:28 +0000 | <enikar> | amazing! |
| 2024-11-28 19:38:01 +0000 | <tomsmeding> | Well that one makes sense. |
| 2024-11-28 19:38:33 +0000 | <tomsmeding> | just like f $ g $ x = f $ (g $ x) = f (g x), you have x & g & f = (x & g) & f = f (g x) |
| 2024-11-28 19:39:09 +0000 | <geekosaur> | yep. remember (&) is reversed |
| 2024-11-28 19:40:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 19:41:40 +0000 | <haskellbridge> | <hellwolf> with block arguments, it can look like this |
| 2024-11-28 19:41:40 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/DUWxphAzhbxtcmoiFFOcnqsr/NRs7mKkwlGA (4 lines) |
| 2024-11-28 19:41:59 +0000 | <markasoftware> | interestingly, <&> is also left-associative, even though they could use the same trick to make it right-associative and the composition order would be correct. |
| 2024-11-28 19:42:37 +0000 | <haskellbridge> | <hellwolf> & + BlockArguments is your reincarnation of unix pipe in Haskell. |
| 2024-11-28 19:42:43 +0000 | <tomsmeding> | hellwolf: if you get BlockArguments out then you can even `f do g do x` |
| 2024-11-28 19:43:07 +0000 | <haskellbridge> | <hellwolf> for that small toy case, yes, but I mean to point out something general. |
| 2024-11-28 19:44:03 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-11-28 19:45:32 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2024-11-28 19:45:53 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-28 19:46:01 +0000 | <tomsmeding> | :t (Control.Category.>>>) |
| 2024-11-28 19:46:02 +0000 | <lambdabot> | forall k (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k). Category cat => cat a b -> cat b c -> cat a c |
| 2024-11-28 19:46:37 +0000 | <tomsmeding> | % :t (Control.Category.>>>) @(->) |
| 2024-11-28 19:46:37 +0000 | <yahb2> | (Control.Category.>>>) @(->) ; :: GHC.Internal.Control.Category.Category (->) => ; (a -> b) -> (b -> c) -> a -> c |
| 2024-11-28 19:47:07 +0000 | <tomsmeding> | :t flip (.) |
| 2024-11-28 19:47:08 +0000 | <lambdabot> | (a -> b) -> (b -> c) -> a -> c |
| 2024-11-28 19:48:23 +0000 | <haskellbridge> | <hellwolf> i am having fun atm with lineartypes, and that's about the only tolerable syntax I can find due to all these one-multiplicity constraint: |
| 2024-11-28 19:48:25 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/aPVnzzMFyBOkwLGLuDYnpbus/EB4G3VwQL1Y (6 lines) |
| 2024-11-28 19:48:57 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-28 19:49:00 +0000 | <tomsmeding> | ah yes, with LinearTypes (&) ends up being quite useful if you don't want to nest `case` 10-deep |
| 2024-11-28 19:50:48 +0000 | <haskellbridge> | <hellwolf> % :t (Control.Category.<<<) @(->) |
| 2024-11-28 19:51:17 +0000 | <tomsmeding> | hellwolf: try putting the command on the second line of your message |
| 2024-11-28 19:51:20 +0000 | <hellwolf> | % :t (Control.Category.<<<) @(->) |
| 2024-11-28 19:51:20 +0000 | <yahb2> | (Control.Category.<<<) @(->) ; :: GHC.Internal.Control.Category.Category (->) => ; (b -> c) -> (a -> b) -> a -> c |
| 2024-11-28 19:51:31 +0000 | <tomsmeding> | (<<<) @(->) = (.) |
| 2024-11-28 19:51:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 19:53:08 +0000 | <hellwolf> | % :t ($!) |
| 2024-11-28 19:53:09 +0000 | <yahb2> | ($!) :: (a -> b) -> a -> b |
| 2024-11-28 19:53:22 +0000 | <hellwolf> | % : info ($!) |
| 2024-11-28 19:53:22 +0000 | <yahb2> | unrecognised flag: info ; unrecognised flag: ($!) |
| 2024-11-28 19:53:28 +0000 | <tomsmeding> | % :i ($!) |
| 2024-11-28 19:53:28 +0000 | <yahb2> | ($!) :: (a -> b) -> a -> b -- Defined in ‘GHC.Internal.Base’ ; infixr 0 $! |
| 2024-11-28 19:53:44 +0000 | <tomsmeding> | has the same type as ($) but evaluates the argument to WHNF before passing it to the function |
| 2024-11-28 19:54:13 +0000 | <hellwolf> | How can I explain WHNF to people like we are all javascript programmers. |
| 2024-11-28 19:54:38 +0000 | <hellwolf> | ELJS |
| 2024-11-28 19:54:52 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-28 19:54:59 +0000 | <tomsmeding> | that might be tricky, because it's not even "strict application" really in a JS mindset, because it's only the top-level constructor |
| 2024-11-28 19:55:45 +0000 | <hellwolf> | Also, today I also had a look of the base's document of Monad, the excerpt: |
| 2024-11-28 19:55:59 +0000 | <hellwolf> | "The Monad class defines the basic operations over a monad, a concept from a branch of mathematics known as category theory. From the perspective of a Haskell programmer, however, it is best to think of a monad as an abstract datatype of actions. Haskell's do expressions provide a convenient syntax for writing monadic expressions." |
| 2024-11-28 19:55:59 +0000 | <tomsmeding> | do you need ($!) specifically or could you make do with ($!!!!) :: NFData a => (a -> b) -> a -> b ; f $!!!! x = x `deepseq` f x |
| 2024-11-28 19:56:07 +0000 | <hellwolf> | how is this supposed to be understandable to beginners. |
| 2024-11-28 19:56:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-28 19:56:28 +0000 | <tomsmeding> | reference documentation is not a tutorial |
| 2024-11-28 19:56:46 +0000 | <hellwolf> | yea, fair enough. but please don't search "what is monad?" |
| 2024-11-28 19:56:52 +0000 | <tomsmeding> | lol |
| 2024-11-28 19:56:55 +0000 | <tomsmeding> | "it's a burrito" |
| 2024-11-28 19:57:14 +0000 | <Rembane> | Mmmburrito |
| 2024-11-28 19:57:25 +0000 | haetsal | (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 2024-11-28 19:57:50 +0000 | <tomsmeding> | Rembane: it's past dinnertime, you should have eaten already |
| 2024-11-28 19:58:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 19:58:19 +0000 | <hellwolf> | Happy thanks giving. Haskell is a wonderful gift to us. I am gonna keep grinding now. |
| 2024-11-28 19:58:39 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2024-11-28 19:59:10 +0000 | haetsal | (~quassel@221.138.168.192) |
| 2024-11-28 20:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-28 20:00:39 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-28 20:00:40 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-11-28 20:01:03 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-28 20:03:31 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-28 20:08:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 20:09:43 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-28 20:13:11 +0000 | <cheater> | haskgiving |
| 2024-11-28 20:13:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 20:20:57 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-11-28 20:20:57 +0000 | sprotte24 | (~sprotte24@p200300d16f138300907ffdfdcf85daeb.dip0.t-ipconnect.de) |
| 2024-11-28 20:24:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 20:24:45 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-11-28 20:29:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 20:30:30 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 276 seconds) |
| 2024-11-28 20:34:40 +0000 | <haskellbridge> | <Bowuigi> ski sort of, you have a "%free" directive to declare free variables in the current module (with their types) and you "fill" them when "%include"-ing it |
| 2024-11-28 20:35:25 +0000 | <haskellbridge> | <Bowuigi> Including also allows you to include parts of modules and/or rename stuff |
| 2024-11-28 20:37:23 +0000 | <ski> | Bowuigi : ok. can two modules be combined, filling free variables of one with some ones defined in the other, and simultaneously also the other way around ? |
| 2024-11-28 20:38:56 +0000 | <haskellbridge> | <Bowuigi> Not sure, lemme check |
| 2024-11-28 20:39:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 20:41:05 +0000 | Piedro | (~Piedro@213.226.141.250) (Remote host closed the connection) |
| 2024-11-28 20:41:33 +0000 | <haskellbridge> | <Bowuigi> You can't, inclusions must form a DAG |
| 2024-11-28 20:42:03 +0000 | <haskellbridge> | <Bowuigi> As in, you can't have cycles / mutually recursive modules |
| 2024-11-28 20:42:27 +0000 | <Athas> | tomsmeding: did you have Haskell implementations of ADBench? |
| 2024-11-28 20:44:23 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-28 20:44:29 +0000 | <ski> | mhm, ok, Bowuigi. ty |
| 2024-11-28 20:45:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-28 20:45:52 +0000 | <ski> | (reminds me of "Some Were Meant for C - The Endurance of an Unmanageable Language" by Stephen Kell in 2017-10-(25-27) at <https://www.humprog.org/~stephen/research/papers/kell17some-preprint.pdf>) |
| 2024-11-28 20:47:09 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-11-28 20:49:32 +0000 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-28 20:50:02 +0000 | <Rembane> | tomsmeding: I know! My eating is lazily evaluated. :D |
| 2024-11-28 20:50:26 +0000 | pera | (~pera@user/pera) pera |
| 2024-11-28 20:51:22 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2024-11-28 20:51:27 +0000 | <tomsmeding> | Athas: I had an implementation of GMM and BA in a fork of Accelerate with AD (of questionable quality) |
| 2024-11-28 20:51:40 +0000 | <tomsmeding> | well, have |
| 2024-11-28 20:51:50 +0000 | <tomsmeding> | "it probably still compiles" |
| 2024-11-28 20:55:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 21:00:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 21:02:38 +0000 | Square | (~Square@user/square) Square |
| 2024-11-28 21:03:29 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2024-11-28 21:06:24 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) (Quit: No Ping reply in 180 seconds.) |
| 2024-11-28 21:06:25 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-11-28 21:07:31 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-11-28 21:08:00 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2024-11-28 21:09:16 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-11-28 21:09:21 +0000 | n3t | (~n3t@user/n3t) (Ping timeout: 252 seconds) |
| 2024-11-28 21:10:25 +0000 | n3t | (~n3t@user/n3t) n3t |
| 2024-11-28 21:11:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 21:12:03 +0000 | gAy_Dragon | (A_D@libera/staff/dragon) (Quit: ZNC - https://znc.in) |
| 2024-11-28 21:12:17 +0000 | A_Dragon | (A_D@libera/staff/dragon) ad |
| 2024-11-28 21:13:47 +0000 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-28 21:14:27 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) (Quit: No Ping reply in 180 seconds.) |
| 2024-11-28 21:15:37 +0000 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Quit: No Ping reply in 180 seconds.) |
| 2024-11-28 21:16:03 +0000 | eugenrh | (~eugenrh@user/eugenrh) (Ping timeout: 265 seconds) |
| 2024-11-28 21:16:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 21:16:36 +0000 | eugenrh | (~eugenrh@user/eugenrh) eugenrh |
| 2024-11-28 21:17:02 +0000 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2024-11-28 21:17:57 +0000 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: Ping timeout (120 seconds)) |
| 2024-11-28 21:18:02 +0000 | simendsjo | (~user@84.211.91.108) simendsjo |
| 2024-11-28 21:18:11 +0000 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2024-11-28 21:20:33 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2024-11-28 21:21:24 +0000 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Read error: Connection reset by peer) |
| 2024-11-28 21:21:40 +0000 | nshepperd2 | (~nshepperd@static.117.72.21.65.clients.your-server.de) nshepperd |
| 2024-11-28 21:22:18 +0000 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) (Ping timeout: 252 seconds) |
| 2024-11-28 21:23:10 +0000 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) fernando-basso |
| 2024-11-28 21:26:02 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-28 21:26:06 +0000 | califax | (~califax@user/califx) califx |
| 2024-11-28 21:26:25 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-28 21:27:00 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-28 21:27:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 21:31:49 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-28 21:32:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 21:32:59 +0000 | Everything | (~Everythin@46-133-159-79.mobile.vf-ua.net) Everything |
| 2024-11-28 21:42:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 21:44:36 +0000 | michalz_ | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2024-11-28 21:48:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-28 21:54:50 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-11-28 21:55:49 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:6136:217c:de43:8e5e) (Ping timeout: 245 seconds) |
| 2024-11-28 21:56:56 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:3504:b367:1fbc:1943) jle` |
| 2024-11-28 21:58:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 21:59:59 +0000 | simendsjo | (~user@84.211.91.108) (Ping timeout: 245 seconds) |
| 2024-11-28 22:01:24 +0000 | tabemann__ | tabemann |
| 2024-11-28 22:04:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 22:08:29 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-28 22:13:10 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-11-28 22:14:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 22:21:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-28 22:25:57 +0000 | gvg | (~dcd@user/gvg) (Ping timeout: 248 seconds) |
| 2024-11-28 22:32:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 22:32:50 +0000 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-28 22:37:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 22:39:27 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-11-28 22:43:45 +0000 | xff0x | (~xff0x@2405:6580:b080:900:bdac:b2dc:9696:7d21) (Ping timeout: 276 seconds) |
| 2024-11-28 22:45:37 +0000 | pera | (~pera@user/pera) (Remote host closed the connection) |
| 2024-11-28 22:48:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 22:50:31 +0000 | xff0x | (~xff0x@2405:6580:b080:900:bdac:b2dc:9696:7d21) |
| 2024-11-28 22:53:08 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-28 22:53:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-28 22:54:14 +0000 | Everything | (~Everythin@46-133-159-79.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-28 22:57:36 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-28 23:00:31 +0000 | <jackdk> | And if it compiles, it probably works, so transitively... |
| 2024-11-28 23:01:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 23:06:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 23:08:19 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Ping timeout: 245 seconds) |
| 2024-11-28 23:14:13 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-28 23:15:06 +0000 | hueso | (~root@user/hueso) (Ping timeout: 246 seconds) |
| 2024-11-28 23:17:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 23:17:28 +0000 | hueso | (~root@user/hueso) hueso |
| 2024-11-28 23:18:03 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-28 23:18:56 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-28 23:22:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-28 23:23:54 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-11-28 23:30:05 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f2308e7690b90e194d6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-11-28 23:33:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 23:37:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-28 23:48:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-28 23:53:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |