Logs: liberachat/#haskell
| 2025-09-08 12:53:49 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-08 12:54:00 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Remote host closed the connection) |
| 2025-09-08 12:54:27 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-09-08 12:58:11 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-08 13:00:53 | × | tromp quits (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-08 13:07:50 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-08 13:08:05 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-08 13:09:18 | × | ubert quits (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2025-09-08 13:09:40 | → | ubert joins (~Thunderbi@178.165.161.196.wireless.dyn.drei.com) |
| 2025-09-08 13:12:30 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-08 13:12:55 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-08 13:17:10 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 13:17:23 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 13:18:03 | × | jespada quits (~jespada@2800:a4:2294:f600:c8cb:b2ed:49d6:a2cf) (Ping timeout: 260 seconds) |
| 2025-09-08 13:18:54 | × | qqe quits (~qqq@185.54.23.136) (Remote host closed the connection) |
| 2025-09-08 13:19:22 | → | ystael joins (~ystael@user/ystael) |
| 2025-09-08 13:21:46 | → | jespada joins (~jespada@2800:a4:22cd:2900:5991:e5fd:66d0:ba7f) |
| 2025-09-08 13:25:44 | trickard_ | is now known as trickard |
| 2025-09-08 13:42:56 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-08 13:53:00 | → | inline joins (~inline@ip-005-146-196-246.um05.pools.vodafone-ip.de) |
| 2025-09-08 13:55:03 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-08 13:55:30 | × | comerijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-09-08 14:00:52 | × | sindu quits (~sindu@176.75.108.200) (Ping timeout: 256 seconds) |
| 2025-09-08 14:03:30 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 14:03:43 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 14:09:37 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-08 14:15:28 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 14:15:28 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 14:15:28 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-08 14:16:06 | → | tromp joins (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 14:20:42 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 14:28:10 | × | krei-se quits (~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-08 14:33:11 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 14:33:11 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 14:33:11 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-08 14:34:20 | × | fp quits (~Thunderbi@wireless-86-50-141-227.open.aalto.fi) (Ping timeout: 265 seconds) |
| 2025-09-08 14:36:13 | → | krei-se joins (~krei-se@p200300f1cfff1648915f43887404f7ca.dip0.t-ipconnect.de) |
| 2025-09-08 14:37:42 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 14:39:14 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-09-08 14:39:32 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2025-09-08 14:39:38 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 2025-09-08 14:42:03 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 14:42:16 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 14:43:00 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Client Quit) |
| 2025-09-08 14:43:17 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2025-09-08 14:49:22 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 14:49:22 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 14:49:22 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-08 14:51:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 14:52:23 | × | krei-se quits (~krei-se@p200300f1cfff1648915f43887404f7ca.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-08 14:52:49 | → | krei-se joins (~krei-se@p200300f1cfff1648915f43887404f7ca.dip0.t-ipconnect.de) |
| 2025-09-08 14:54:08 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 14:57:29 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-08 14:58:40 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 2025-09-08 14:58:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 14:59:10 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-08 14:59:28 | <ncf> | which language extension is responsible for the following syntax: x :: Foo = bar ? |
| 2025-09-08 15:00:22 | <ncf> | ah, ScopedTypeVariables |
| 2025-09-08 15:03:28 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 15:09:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 15:10:51 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 15:10:51 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 15:10:51 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-08 15:14:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 15:14:54 | × | dfg quits (~dfg@user/dfg) (Ping timeout: 258 seconds) |
| 2025-09-08 15:16:14 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 15:20:34 | × | akegalj quits (~akegalj@78-1-67-84.adsl.net.t-com.hr) (Quit: leaving) |
| 2025-09-08 15:24:01 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 15:24:14 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 15:25:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 15:27:25 | → | dfg joins (~dfg@user/dfg) |
| 2025-09-08 15:30:03 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 15:30:03 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 15:30:03 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-08 15:30:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 15:41:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 15:41:49 | → | srk joins (~sorki@user/srk) |
| 2025-09-08 15:41:52 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-08 15:46:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-08 15:50:51 | → | eron joins (~eron@2804:1b1:fa41:4d27:91a:19f3:6f3c:cf5c) |
| 2025-09-08 15:57:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 15:57:40 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-08 15:58:08 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-08 16:01:32 | × | eron quits (~eron@2804:1b1:fa41:4d27:91a:19f3:6f3c:cf5c) (Quit: Client closed) |
| 2025-09-08 16:02:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 16:03:15 | × | nitrix quits (~nitrix@user/meow/nitrix) (Ping timeout: 256 seconds) |
| 2025-09-08 16:09:00 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 2025-09-08 16:10:34 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-08 16:12:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 16:18:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-08 16:20:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-08 16:20:41 | ski | kinda would like a separate `PatternSignatures' |
| 2025-09-08 16:27:08 | → | tromp joins (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 16:28:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 16:31:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-08 16:33:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 16:36:40 | trickard_ | is now known as trickard |
| 2025-09-08 16:37:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-08 16:38:19 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 16:38:19 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
All times are in UTC.