Logs: liberachat/#haskell
| 2025-10-07 07:17:42 | × | m_a_r_k quits (~m_a_r_k@user/m-a-r-k:45929) (Ping timeout: 252 seconds) |
| 2025-10-07 07:18:08 | m_a_r_k_ | is now known as m_a_r_k |
| 2025-10-07 07:20:30 | × | a_fantom quits (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 2025-10-07 07:21:34 | → | trampi joins (~trampi@mx.trampusch.info) |
| 2025-10-07 07:21:37 | → | FANTOM joins (~fantom@87.75.184.126) |
| 2025-10-07 07:25:37 | × | Googulator55 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 07:25:39 | → | Googulator49 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 07:28:55 | → | craunts795 joins (~craunts@175.176.17.8) |
| 2025-10-07 07:32:44 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-07 07:34:02 | → | img joins (~img@user/img) |
| 2025-10-07 07:45:37 | → | Googulator45 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 07:46:14 | × | Googulator49 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 07:56:04 | × | lyxia quits (~lyxia@poisson.chat) (Ping timeout: 265 seconds) |
| 2025-10-07 07:56:20 | → | lyxia joins (~lyxia@poisson.chat) |
| 2025-10-07 07:58:29 | × | jrm quits (~jrm@user/jrm) (Ping timeout: 265 seconds) |
| 2025-10-07 07:58:31 | Googulator45 | is now known as Googulator |
| 2025-10-07 07:58:36 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-07 07:58:39 | → | jrm joins (~jrm@user/jrm) |
| 2025-10-07 08:00:08 | × | Jackneill_ quits (~Jackneill@188-143-82-121.pool.digikabel.hu) (Read error: Connection reset by peer) |
| 2025-10-07 08:00:13 | → | tromp joins (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) |
| 2025-10-07 08:00:25 | → | Jackneill_ joins (~Jackneill@188-143-82-121.pool.digikabel.hu) |
| 2025-10-07 08:02:25 | × | finsternis quits (~X@23.226.237.192) (Ping timeout: 245 seconds) |
| 2025-10-07 08:02:48 | → | finsternis joins (~X@23.226.237.192) |
| 2025-10-07 08:02:50 | × | kaol quits (~kaol@94-237-45-144.nl-ams1.upcloud.host) (Ping timeout: 265 seconds) |
| 2025-10-07 08:02:57 | → | kaol joins (~kaol@94-237-45-144.nl-ams1.upcloud.host) |
| 2025-10-07 08:09:18 | → | acidjnk joins (~acidjnk@p200300d6e7171999b4aa79db5dfaa0f5.dip0.t-ipconnect.de) |
| 2025-10-07 08:19:04 | × | craunts795 quits (~craunts@175.176.17.8) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-07 08:20:51 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2025-10-07 08:21:07 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2025-10-07 08:30:39 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 08:30:40 | → | Googulator17 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 08:31:21 | × | tzh_ quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-07 08:39:45 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 2025-10-07 08:40:03 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-07 08:42:16 | × | ft quits (~ft@p4fc2a225.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-07 08:46:01 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-07 08:46:14 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-07 08:52:10 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-07 08:53:39 | <bwe> | zfnmxt: just in case you recorded the sessions - are they online? https://diku-dk.github.io/ap-notes/chapter_2.html (audio-only would suffice along with the slides) |
| 2025-10-07 08:58:40 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-10-07 09:05:27 | → | chele joins (~chele@user/chele) |
| 2025-10-07 09:05:27 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 2025-10-07 09:05:38 | → | Googulator97 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 09:06:17 | × | Googulator17 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 09:06:37 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 264 seconds) |
| 2025-10-07 09:09:12 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-07 09:10:47 | rvalue- | is now known as rvalue |
| 2025-10-07 09:17:50 | × | AlexZenon quits (~alzenon@85.174.181.143) (Ping timeout: 245 seconds) |
| 2025-10-07 09:20:51 | × | tromp quits (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-07 09:21:33 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2025-10-07 09:21:56 | → | AlexZenon joins (~alzenon@85.174.181.143) |
| 2025-10-07 09:27:19 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 2025-10-07 09:30:38 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-10-07 09:35:39 | × | Googulator97 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 09:35:40 | → | Googulator41 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 09:44:46 | → | leo2007 joins (~leo@user/leo2007) |
| 2025-10-07 09:45:11 | × | leo2007 quits (~leo@user/leo2007) (Client Quit) |
| 2025-10-07 09:46:40 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-10-07 09:47:42 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-10-07 09:47:52 | × | humasect_ quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-07 09:57:48 | → | Square3 joins (~Square4@user/square) |
| 2025-10-07 10:09:33 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-10-07 10:12:55 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-10-07 10:13:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-10-07 10:15:54 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-10-07 10:16:57 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-07 10:20:20 | → | fp1 joins (~Thunderbi@2001:708:150:10::72df) |
| 2025-10-07 10:20:26 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-10-07 10:23:09 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-10-07 10:24:15 | × | fp1 quits (~Thunderbi@2001:708:150:10::72df) (Read error: Connection reset by peer) |
| 2025-10-07 10:25:40 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-07 10:34:32 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-07 10:39:43 | × | qqe quits (~qqq@185.54.23.200) (Ping timeout: 240 seconds) |
| 2025-10-07 10:41:45 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-07 10:49:20 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-07 10:50:36 | × | Googulator41 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 10:50:44 | → | Googulator76 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 10:51:36 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-07 10:52:24 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 2025-10-07 10:54:47 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-07 10:58:02 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-07 11:00:05 | × | caconym747879 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-07 11:01:49 | × | srk quits (~sorki@user/srk) (Ping timeout: 264 seconds) |
| 2025-10-07 11:02:10 | → | caconym747879 joins (~caconym@user/caconym) |
| 2025-10-07 11:02:31 | → | srk joins (~sorki@user/srk) |
| 2025-10-07 11:07:57 | → | craunts795 joins (~craunts@136.158.7.194) |
| 2025-10-07 11:09:41 | × | craunts795 quits (~craunts@136.158.7.194) (Client Quit) |
| 2025-10-07 11:11:02 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2025-10-07 11:11:15 | × | qqe quits (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-07 11:14:08 | → | xff0x joins (~xff0x@2405:6580:b080:900:fbe4:4f3c:f608:c4da) |
| 2025-10-07 11:14:38 | trickard_ | is now known as trickard |
| 2025-10-07 11:15:38 | → | Googulator22 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-07 11:15:45 | × | Googulator76 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-07 11:18:24 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-10-07 11:20:29 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-10-07 11:24:00 | × | end quits (~end@user/end/x-0094621) (Quit: end) |
| 2025-10-07 11:24:00 | × | bcksl quits (~bcksl@user/bcksl) (Quit: \) |
| 2025-10-07 11:27:38 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-10-07 11:34:31 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-10-07 11:34:34 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
All times are in UTC.