Logs on 2024-11-03 (liberachat/#haskell)
| 00:06:43 | × | pointlessslippe- quits (~pointless@62.106.85.17) (Ping timeout: 264 seconds) |
| 00:07:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:11:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 00:12:10 | × | TonyStone quits (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 00:12:30 | → | TonyStone joins (~TonyStone@user/TonyStone) |
| 00:16:44 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 00:19:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:23:33 | × | sprotte24 quits (~sprotte24@p200300d16f1da300c4b7e0625cb221a9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:23:49 | × | rini quits (~rini@user/rini) (Ping timeout: 248 seconds) |
| 00:24:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 00:27:02 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 00:29:44 | → | rini joins (~rini@user/rini) |
| 00:33:29 | → | sprotte24 joins (~sprotte24@p200300d16f1da300c4b7e0625cb221a9.dip0.t-ipconnect.de) |
| 00:34:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:36:28 | × | sprotte24 quits (~sprotte24@p200300d16f1da300c4b7e0625cb221a9.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:42:15 | × | alp quits (~alp@2001:861:e3d6:8f80:3e67:102a:f6c8:49e7) (Remote host closed the connection) |
| 00:42:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:42:33 | → | alp joins (~alp@2001:861:e3d6:8f80:4216:fbc5:8f36:e0e6) |
| 00:46:55 | × | alp quits (~alp@2001:861:e3d6:8f80:4216:fbc5:8f36:e0e6) (Remote host closed the connection) |
| 00:53:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:58:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 00:59:06 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 01:02:50 | → | hgolden__ joins (~hgolden@204.152.216.122) |
| 01:05:23 | × | hgolden_ quits (~hgolden@static-198-44-129-115.cust.tzulo.com) (Ping timeout: 255 seconds) |
| 01:07:17 | <Square> | I trying to find the documentation for GHC Wasm backend types, namely the module GHC.Wasm.Prim. Anyone know here I can find that? |
| 01:08:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:09:21 | <geekosaur> | I would ask terrorjack |
| 01:09:55 | <Square> | thanks |
| 01:11:23 | <int-e> | https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/ghc-internal/src/GHC/Internal/Wasm/Prim/Types.hs?ref_type=heads#L32 /may/ answer some questions |
| 01:12:08 | <Square> | thanks |
| 01:13:01 | <int-e> | (I don't know anything about the WASM backend, just poking around in the source, and this wouldn't turn up in haddocks or similar) |
| 01:13:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 01:17:07 | × | alphabitserial quits (~alphabits@user/alphabitserial) (Read error: Connection reset by peer) |
| 01:17:13 | → | billchenchina joins (~billchenc@113x43x213x198.ap113.ftth.arteria-hikari.net) |
| 01:19:22 | <int-e> | Ah, utils/jsffi/prelude.js is (a good chunk of) the JS side of that. |
| 01:20:24 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
| 01:21:52 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 01:24:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:24:52 | <Square> | int-e, your link helped me find what i wanted. |
| 01:25:11 | <int-e> | nice :) |
| 01:30:34 | × | zzz quits (~z@user/zero) (Ping timeout: 260 seconds) |
| 01:30:50 | → | zero joins (~z@user/zero) |
| 01:31:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 01:38:49 | → | billchenchina- joins (~billchenc@2a09:bac5:444a:dc::16:21e) |
| 01:41:28 | × | billchenchina quits (~billchenc@113x43x213x198.ap113.ftth.arteria-hikari.net) (Ping timeout: 252 seconds) |
| 01:42:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:46:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:49:52 | <sm> | there's also the #haskell-wasm matrix room |
| 01:54:24 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 01:59:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:04:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 02:04:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 02:04:50 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 02:07:36 | × | zero quits (~z@user/zero) (Ping timeout: 252 seconds) |
| 02:07:40 | → | zzz joins (~z@user/zero) |
| 02:08:04 | zzz | is now known as zero |
| 02:14:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:18:38 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 02:19:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:30:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:34:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:46:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:51:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 02:52:02 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 03:00:53 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 03:01:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:05:01 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 03:05:32 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 03:08:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 03:12:51 | × | Square quits (~Square@user/square) (Ping timeout: 276 seconds) |
| 03:19:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:25:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 03:30:53 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 03:35:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:36:03 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 03:40:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:50:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:55:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 03:55:40 | × | td_ quits (~td@i5387090B.versanet.de) (Ping timeout: 252 seconds) |
| 03:57:29 | → | td_ joins (~td@i5387092D.versanet.de) |
| 03:59:06 | → | madhavanmiui joins (~madhavanm@2409:40f4:305e:c732:8000::) |
| 04:00:09 | × | madhavanmiui quits (~madhavanm@2409:40f4:305e:c732:8000::) (Client Quit) |
| 04:02:54 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 04:06:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:09:14 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 04:10:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:21:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:26:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 04:26:34 | → | alphabitserial joins (~alphabits@user/alphabitserial) |
| 04:36:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:42:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:54:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:59:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 05:01:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:09:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 05:13:00 | → | Guest74 joins (~textual@129.94.128.31) |
| 05:14:49 | × | alphabitserial quits (~alphabits@user/alphabitserial) (Quit: goodnight) |
| 05:20:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:24:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:28:52 | → | Inst_ joins (~Inst@user/Inst) |
| 05:31:39 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 05:32:20 | Inst_ | is now known as Inst |
| 05:35:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:40:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:51:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:54:45 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 05:55:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 06:03:56 | → | Guest19 joins (~Guest19@64.189.201.112) |
| 06:05:51 | × | Guest19 quits (~Guest19@64.189.201.112) (Client Quit) |
| 06:06:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:11:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 06:22:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:29:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:36:51 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:38:09 | → | zaquest joins (~notzaques@5.130.79.72) |
| 06:40:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:42:14 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 06:45:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:46:27 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 06:56:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:36 | → | caconym joins (~caconym@user/caconym) |
| 07:05:00 | → | LainExperiments joins (~LainExper@2804:880:1312:2d00:980e:a6e9:388c:88a0) |
| 07:06:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:17:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:22:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:35:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:40:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 07:46:28 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:47:48 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 07:47:49 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:49:43 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 07:51:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:51:23 | → | Axma67059 joins (~Axman6@user/axman6) |
| 07:53:25 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 07:54:34 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 08:00:02 | × | tt1231097832435 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 08:00:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 08:00:08 | × | Guest74 quits (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 08:03:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:03:42 | → | tt1231097832435 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 08:07:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:15:55 | → | Guest74 joins (~textual@129.94.128.31) |
| 08:18:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:22:34 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:23:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 08:26:51 | → | acidjnk joins (~acidjnk@p200300d6e7283f251482dc7d2b491cb5.dip0.t-ipconnect.de) |
| 08:32:34 | → | turlando joins (~turlando@user/turlando) |
| 08:33:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:38:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 08:45:05 | × | billchenchina- quits (~billchenc@2a09:bac5:444a:dc::16:21e) (Remote host closed the connection) |
| 08:49:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:53:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:55:31 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 09:00:12 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 09:04:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:11:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 09:16:13 | → | CiaoSen joins (~Jura@2a05:5800:48c:e200:ca4b:d6ff:fec1:99da) |
| 09:22:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:23:06 | × | raym quits (~ray@user/raym) (Ping timeout: 252 seconds) |
| 09:24:51 | → | raym joins (~ray@user/raym) |
| 09:25:03 | → | misterfish joins (~misterfis@84.53.85.146) |
| 09:26:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:27:34 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:30:32 | × | Guest74 quits (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:35:21 | → | hgolden_ joins (~hgolden@static-198-44-129-83.cust.tzulo.com) |
| 09:37:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:37:46 | × | hgolden__ quits (~hgolden@204.152.216.122) (Ping timeout: 252 seconds) |
| 09:37:53 | → | hgolden joins (~hgolden@23.162.40.69) |
| 09:39:33 | × | hgolden_ quits (~hgolden@static-198-44-129-83.cust.tzulo.com) (Ping timeout: 245 seconds) |
| 09:44:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 09:49:43 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 09:50:38 | → | Guest74 joins (~textual@129.94.128.31) |
| 09:50:38 | × | Guest74 quits (~textual@129.94.128.31) (Client Quit) |
| 09:51:00 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:51:12 | → | Guest74 joins (~textual@129.94.128.31) |
| 09:55:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:58:39 | × | CiaoSen quits (~Jura@2a05:5800:48c:e200:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 09:59:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 10:06:30 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 10:09:18 | → | son0p joins (~ff@181.237.206.243) |
| 10:20:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:22:41 | → | sprotte24 joins (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) |
| 10:22:47 | × | zfnmxt quits (~zfnmxt@user/zfnmxt) (Remote host closed the connection) |
| 10:25:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 10:25:54 | → | zfnmxt joins (~zfnmxt@user/zfnmxt) |
| 10:26:09 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 10:29:28 | × | Guest74 quits (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:31:30 | → | Guest74 joins (~textual@129.94.128.31) |
| 10:33:28 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 10:36:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:38:03 | × | preflex quits (~preflex@user/mauke/bot/preflex) (Remote host closed the connection) |
| 10:40:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:51:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:51:44 | <juri_> | yaay. writing haskell for the first time in a year. |
| 10:53:22 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 10:57:41 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 10:58:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:06:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:11:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 11:15:51 | → | n0den1te joins (~aaaa@2402:3a80:4242:f78b:ea21:c8:204:f5b1) |
| 11:19:13 | × | LainExperiments quits (~LainExper@2804:880:1312:2d00:980e:a6e9:388c:88a0) (Changing host) |
| 11:19:13 | → | LainExperiments joins (~LainExper@user/LainExperiments) |
| 11:21:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:26:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:31:09 | → | preflex joins (~preflex@user/mauke/bot/preflex) |
| 11:35:15 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 11:37:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:39:36 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 11:41:07 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:42:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 11:53:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:54:49 | → | rvalue- joins (~rvalue@user/rvalue) |
| 11:55:38 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 11:57:20 | × | euleritian quits (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 11:57:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 11:57:42 | → | euleritian joins (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 11:58:50 | rvalue- | is now known as rvalue |
| 12:01:52 | × | euleritian quits (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Read error: Connection reset by peer) |
| 12:01:56 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 255 seconds) |
| 12:02:34 | → | euleritian joins (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 12:02:53 | → | leah2 joins (~leah@vuxu.org) |
| 12:06:08 | × | euleritian quits (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Read error: Connection reset by peer) |
| 12:06:21 | → | euleritian joins (~euleritia@176.2.147.80) |
| 12:07:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:07:39 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 12:08:43 | × | euleritian quits (~euleritia@176.2.147.80) (Read error: Connection reset by peer) |
| 12:09:03 | → | euleritian joins (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 12:09:17 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:10:10 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 12:11:59 | → | Guest15 joins (~Guest15@ten.nat.whka.de) |
| 12:12:39 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 12:13:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 12:14:16 | × | euleritian quits (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Read error: Connection reset by peer) |
| 12:15:56 | × | Guest15 quits (~Guest15@ten.nat.whka.de) (Client Quit) |
| 12:18:00 | → | euleritian joins (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 12:22:03 | × | euleritian quits (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Ping timeout: 245 seconds) |
| 12:23:37 | × | n0den1te quits (~aaaa@2402:3a80:4242:f78b:ea21:c8:204:f5b1) (Quit: Quitting...) |
| 12:25:50 | → | euleritian joins (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) |
| 12:29:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:34:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:46:57 | → | Leneleni joins (~Leneleni@189.45.112.167) |
| 12:47:21 | × | Leneleni quits (~Leneleni@189.45.112.167) (Write error: Broken pipe) |
| 12:48:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:50:01 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 12:55:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 12:58:03 | → | Square joins (~Square@user/square) |
| 12:59:15 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 12:59:33 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 13:03:54 | × | euleritian quits (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 13:04:23 | → | euleritian joins (~euleritia@ip-185-104-138-53.ptr.icomera.net) |
| 13:04:25 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 13:06:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:10:54 | × | euleritian quits (~euleritia@ip-185-104-138-53.ptr.icomera.net) (Ping timeout: 252 seconds) |
| 13:11:10 | → | euleritian joins (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) |
| 13:12:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:18:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:18:20 | × | euleritian quits (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 13:22:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:24:44 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 13:28:13 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 13:33:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:35:05 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 13:38:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 13:39:19 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 13:45:19 | → | gentauro joins (~gentauro@user/gentauro) |
| 13:46:53 | → | weary-traveler joins (~user@user/user363627) |
| 13:47:02 | → | Everything joins (~Everythin@178-133-29-33.mobile.vf-ua.net) |
| 13:49:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:52:34 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 13:53:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 13:53:42 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 14:00:27 | × | LainExperiments quits (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 14:04:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:05:05 | → | weary-traveler joins (~user@user/user363627) |
| 14:13:10 | × | Guest74 quits (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:13:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 14:14:19 | → | euleritian joins (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) |
| 14:17:47 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 14:23:29 | → | Guest74 joins (~textual@129.94.128.31) |
| 14:28:17 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 14:29:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:35:29 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 14:35:49 | → | leah2 joins (~leah@vuxu.org) |
| 14:37:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 14:39:45 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 14:47:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:52:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 15:00:22 | → | n0den1te joins (~n0den1te@1.38.99.107) |
| 15:03:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:07:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:10:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:11:08 | × | Guest74 quits (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:15:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 15:17:35 | <juri_> | la la la, writing an ai in haskell.. la la la... |
| 15:19:44 | × | n0den1te quits (~n0den1te@1.38.99.107) (Quit: leaving) |
| 15:24:12 | → | gmg joins (~user@user/gehmehgeh) |
| 15:25:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:30:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 15:34:08 | × | euleritian quits (~euleritia@dynamic-176-002-147-080.176.2.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 15:41:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:50:06 | × | nschoe quits (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 276 seconds) |
| 15:52:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:55:11 | × | sprotte24 quits (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 15:55:17 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:59:58 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:68dd:fce:5f86:d51a) |
| 16:03:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:05:11 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:10:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 16:18:24 | × | mantraofpie quits (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 16:20:42 | → | mantraofpie joins (~mantraofp@user/mantraofpie) |
| 16:21:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:23:22 | → | euleritian joins (~euleritia@dynamic-176-006-132-010.176.6.pool.telefonica.de) |
| 16:25:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:30:09 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:36:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:38:15 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 16:39:38 | → | stef204 joins (~stef204@user/stef204) |
| 16:41:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:44:41 | → | sprotte24 joins (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) |
| 16:45:15 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 16:52:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:53:38 | × | Everything quits (~Everythin@178-133-29-33.mobile.vf-ua.net) (Ping timeout: 248 seconds) |
| 16:55:12 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 16:55:30 | → | Everything joins (~Everythin@46.211.221.97) |
| 16:55:41 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 16:57:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 17:02:08 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:07:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:12:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 17:18:04 | × | constxd quits (~constxd@user/constxd) (Ping timeout: 260 seconds) |
| 17:23:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:28:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 17:28:42 | → | constxd joins (~constxd@user/constxd) |
| 17:38:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:41:30 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:45:04 | × | euleritian quits (~euleritia@dynamic-176-006-132-010.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 17:45:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:46:10 | → | euleritian joins (~euleritia@dynamic-176-006-137-196.176.6.pool.telefonica.de) |
| 17:46:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:48:18 | → | hgolden_ joins (~hgolden@23.162.40.28) |
| 17:48:26 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 17:50:40 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 17:50:41 | × | hgolden quits (~hgolden@23.162.40.69) (Ping timeout: 255 seconds) |
| 17:51:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 17:58:13 | × | euleritian quits (~euleritia@dynamic-176-006-137-196.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:58:31 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:02:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:06:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 18:08:34 | → | CoolMa7 joins (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) |
| 18:12:45 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:15:46 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 18:17:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:20:12 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 18:22:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:24:13 | <haskellbridge> | <Bowuigi> Not strictly about Haskell but since type theorists are hard to find gotta ask here: In my lang I have three constraints on row types: "lacks label" (r\l, read "row r lacks label l"), "row equals" (r ~ r', like type equality, delayed unification) and "subrow" (r < r', where r' has every field of r). Subrow is only used for "default" (setting default values for some fields), is there any way to get rid of it?... |
| 18:24:18 | <haskellbridge> | ... Default has type "r < r' => Rec r -> Rec r' -> Rec r'", I only need it for compile time known r's |
| 18:25:28 | <haskellbridge> | <Bowuigi> (Compile time known r', like, the one that has the default values) |
| 18:26:34 | <haskellbridge> | <Bowuigi> I can't use record concatenation either as it doesn't have a simple translation to evidence. Row restriction over single labels is allowed |
| 18:27:51 | <haskellbridge> | <Bowuigi> I also have a lift/row map type level operator with corresponding record/variant maps, and a foldMap operation over records too. Is it possible to get rid of the subrow constraint? |
| 18:32:26 | → | briandaed joins (~root@185.234.210.211.r.toneticgroup.pl) |
| 18:32:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:34:00 | → | Digitteknohippie joins (~user@user/digit) |
| 18:34:38 | × | Digit quits (~user@user/digit) (Ping timeout: 272 seconds) |
| 18:37:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 18:40:22 | Digitteknohippie | is now known as Digit |
| 18:47:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:52:31 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:53:34 | × | briandaed quits (~root@185.234.210.211.r.toneticgroup.pl) (Ping timeout: 260 seconds) |
| 19:02:43 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:03:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:04:09 | → | alp joins (~alp@2001:861:e3d6:8f80:dca:285c:1799:872d) |
| 19:07:41 | → | dcoutts joins (~duncan@185.201.60.211) |
| 19:08:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 19:13:28 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:18:09 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:18:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:25:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 19:29:20 | → | LainExperiments joins (~LainExper@user/LainExperiments) |
| 19:36:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:41:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:42:17 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 19:47:37 | → | sroso joins (~sroso@user/SrOso) |
| 19:48:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:50:27 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:53:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 19:53:08 | × | remedan_ quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 20:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:38 | → | caconym joins (~caconym@user/caconym) |
| 20:02:30 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 20:03:17 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 20:04:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:04:30 | × | dcoutts quits (~duncan@185.201.60.211) (Remote host closed the connection) |
| 20:06:00 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 20:08:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:16:16 | × | LainExperiments quits (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 20:19:04 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 20:19:06 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 20:19:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:22:09 | → | dcoutts joins (~duncan@212.187.244.50) |
| 20:22:49 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 20:24:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:25:53 | <lxsameer> | hey folks, is there any way to include the idirect test dependencies of my project in the freeze file? (for example I use lib A that uses tasty for its tests but it is missing from my freeze file) |
| 20:27:01 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 20:28:35 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 20:35:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:36:57 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 20:37:24 | → | CiaoSen joins (~Jura@2a05:5800:48c:e200:ca4b:d6ff:fec1:99da) |
| 20:37:52 | → | euleritian joins (~euleritia@dynamic-176-006-143-185.176.6.pool.telefonica.de) |
| 20:39:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 20:48:23 | × | TonyStone quits (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 20:49:08 | × | dcoutts quits (~duncan@212.187.244.50) (Ping timeout: 252 seconds) |
| 20:49:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:50:26 | → | TonyStone joins (~TonyStone@user/TonyStone) |
| 20:56:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:07:11 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 21:07:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:10:54 | → | dcoutts joins (~duncan@109.238.68.62) |
| 21:11:52 | × | Everything quits (~Everythin@46.211.221.97) (Ping timeout: 252 seconds) |
| 21:12:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 21:12:25 | → | Everything joins (~Everythin@178-133-29-33.mobile.vf-ua.net) |
| 21:20:37 | × | euleritian quits (~euleritia@dynamic-176-006-143-185.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 21:20:47 | → | LainExperiments joins (~LainExper@user/LainExperiments) |
| 21:20:57 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 21:21:44 | × | LainExperiments quits (~LainExper@user/LainExperiments) (Write error: Broken pipe) |
| 21:23:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:27:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:39:36 | × | CoolMa7 quits (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 21:43:28 | × | sprotte24 quits (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) (Quit: Leaving) |
| 21:46:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:50:21 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 21:55:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:56:29 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 21:59:58 | → | sprotte24 joins (~sprotte24@p200300d16f282a00c16d448cb4b8f2b8.dip0.t-ipconnect.de) |
| 22:03:09 | × | CiaoSen quits (~Jura@2a05:5800:48c:e200:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 22:07:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:12:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 22:15:18 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 22:23:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:23:18 | → | weary-traveler joins (~user@user/user363627) |
| 22:27:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 22:29:11 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:35:41 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:38:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:42:21 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 22:44:09 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 22:44:13 | Axma67059 | is now known as Axman6 |
| 22:44:48 | → | euleritian joins (~euleritia@77.22.252.56) |
| 22:46:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 22:50:00 | × | dcoutts quits (~duncan@109.238.68.62) (Read error: Connection reset by peer) |
| 22:50:22 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:51:28 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 22:51:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:56:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:02:43 | → | dcoutts joins (~duncan@109.238.68.62) |
| 23:04:55 | → | hgolden joins (~hgolden@146.70.173.165) |
| 23:06:10 | hololeap_ | is now known as hololeap |
| 23:06:38 | × | hgolden_ quits (~hgolden@23.162.40.28) (Ping timeout: 252 seconds) |
| 23:06:43 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 23:07:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:09:18 | × | acidjnk quits (~acidjnk@p200300d6e7283f251482dc7d2b491cb5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:11:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 23:13:10 | × | Everything quits (~Everythin@178-133-29-33.mobile.vf-ua.net) (Quit: leaving) |
| 23:14:19 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 23:15:47 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 23:16:16 | → | euleritian joins (~euleritia@dynamic-176-006-143-185.176.6.pool.telefonica.de) |
| 23:18:17 | × | euleritian quits (~euleritia@dynamic-176-006-143-185.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 23:18:34 | → | euleritian joins (~euleritia@77.22.252.56) |
| 23:18:47 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 23:22:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:25:20 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 23:27:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 23:31:03 | × | euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 23:31:22 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 23:38:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:41:36 | → | troojg joins (~troojg@user/troojg) |
| 23:42:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:45:20 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:52:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:55:11 | × | slac68956 quits (~slack1256@179.60.70.224) (Remote host closed the connection) |
| 23:56:56 | → | Nachtgespenst joins (~user@user/siracusa) |
| 23:57:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
All times are in UTC on 2024-11-03.