| 2025-10-08 00:05:32 +0000 | kaskal | (~kaskal@84-115-235-223.cable.dynamic.surfer.at) (Quit: ZNC - https://znc.in) |
| 2025-10-08 00:05:40 +0000 | Googulator14 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 00:05:42 +0000 | Googulator97 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 00:05:50 +0000 | kaskal | (~kaskal@84-115-235-223.cable.dynamic.surfer.at) kaskal |
| 2025-10-08 00:07:07 +0000 | trickard__ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-10-08 00:07:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 00:07:58 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-08 00:10:25 +0000 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-10-08 00:12:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 00:17:39 +0000 | dyno | (dyno@user/dyno) (Quit: WeeChat 4.1.1) |
| 2025-10-08 00:17:58 +0000 | dyno | (dyno@user/dyno) dyno |
| 2025-10-08 00:22:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 00:24:23 +0000 | xff0x | (~xff0x@2405:6580:b080:900:fbe4:4f3c:f608:c4da) (Ping timeout: 244 seconds) |
| 2025-10-08 00:25:34 +0000 | Googulator14 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 00:25:39 +0000 | Googulator35 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 00:26:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 00:33:03 +0000 | dyno | (dyno@user/dyno) (WeeChat 4.1.1) |
| 2025-10-08 00:37:33 +0000 | tabemann__ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2025-10-08 00:37:33 +0000 | tabemann__ | tabemann |
| 2025-10-08 00:38:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 00:40:57 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-08 00:45:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 00:46:55 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Ping timeout: 240 seconds) |
| 2025-10-08 00:55:13 +0000 | otto_s | (~user@p5de2f28b.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-10-08 00:56:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 00:56:28 +0000 | otto_s | (~user@p5de2f8a0.dip0.t-ipconnect.de) |
| 2025-10-08 00:57:26 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-10-08 00:57:50 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-08 01:00:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 01:00:39 +0000 | Googulator35 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 01:00:45 +0000 | Googulator83 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 01:02:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-10-08 01:02:54 +0000 | dyno | (dyno@user/dyno) dyno |
| 2025-10-08 01:06:08 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-08 01:07:52 +0000 | Square | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2025-10-08 01:09:51 +0000 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 244 seconds) |
| 2025-10-08 01:10:11 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-10-08 01:10:37 +0000 | Googulator83 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 01:10:42 +0000 | Googulator59 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 01:11:09 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-10-08 01:11:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 01:16:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-08 01:17:26 +0000 | trickard_ | trickard |
| 2025-10-08 01:23:31 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-08 01:26:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 01:31:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 01:33:13 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-08 01:35:03 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-10-08 01:36:52 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-08 01:42:08 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 01:42:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 01:45:47 +0000 | Googulator45 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 01:45:47 +0000 | Googulator59 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 01:45:47 +0000 | synchrom1 | (~john@2406:5a00:2412:2c00:39fd:af6c:a9e5:b1c5) (Read error: Connection reset by peer) |
| 2025-10-08 01:46:44 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) synchromesh |
| 2025-10-08 01:46:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 01:56:30 +0000 | craunts7953 | (~craunts@136.158.7.194) |
| 2025-10-08 01:57:00 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-10-08 01:57:57 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 2025-10-08 01:57:57 +0000 | vgtw_ | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2025-10-08 01:57:57 +0000 | a_fantom | (~fantom@87.75.184.126) |
| 2025-10-08 01:57:57 +0000 | kaskal | (~kaskal@84-115-235-223.cable.dynamic.surfer.at) (Ping timeout: 256 seconds) |
| 2025-10-08 01:57:57 +0000 | divlamir_ | divlamir |
| 2025-10-08 01:58:08 +0000 | craunts795 | (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-10-08 01:58:11 +0000 | otto_s | (~user@p5de2f8a0.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-10-08 01:58:11 +0000 | FANTOM | (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 2025-10-08 01:58:11 +0000 | shapr | (~user@130.44.148.32) (Ping timeout: 256 seconds) |
| 2025-10-08 01:58:18 +0000 | otto_s | (~user@p5de2f8a0.dip0.t-ipconnect.de) |
| 2025-10-08 01:58:25 +0000 | shapr | (~user@130.44.148.32) shapr |
| 2025-10-08 01:58:29 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-10-08 01:58:40 +0000 | kaskal | (~kaskal@2a02:8388:1a8b:7d00:da7b:74b4:ea7f:2207) kaskal |
| 2025-10-08 01:58:45 +0000 | typedfern_ | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2025-10-08 01:59:08 +0000 | typedfern_ | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) typedfern |
| 2025-10-08 02:00:54 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2025-10-08 02:03:10 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-08 02:03:51 +0000 | a_fantom | (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 2025-10-08 02:05:54 +0000 | FANTOM | (~fantom@87.75.184.126) |
| 2025-10-08 02:07:38 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-08 02:12:01 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-10-08 02:13:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 02:19:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-08 02:20:16 +0000 | shapr | (~user@130.44.148.32) (Remote host closed the connection) |
| 2025-10-08 02:31:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 02:33:05 +0000 | <bgg__> | Hello |
| 2025-10-08 02:33:11 +0000 | bgg__ | bgg |
| 2025-10-08 02:35:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 02:35:39 +0000 | Googulator45 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 02:35:40 +0000 | Googulator83 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 02:41:42 +0000 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-10-08 02:42:01 +0000 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-08 02:45:47 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-10-08 02:46:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 02:47:22 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-08 02:49:50 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Quit: peterbecich) |
| 2025-10-08 02:50:08 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 02:50:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 02:51:06 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-08 02:51:24 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 02:55:01 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-08 02:55:17 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 02:58:45 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Client Quit) |
| 2025-10-08 02:59:00 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 03:01:05 +0000 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 03:01:19 +0000 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-10-08 03:01:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 03:06:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 03:07:34 +0000 | aforemny_ | (~aforemny@2001:9e8:6ce1:5a00:119f:ba7b:f92f:1a2c) aforemny |
| 2025-10-08 03:08:53 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-08 03:09:01 +0000 | aforemny | (~aforemny@i59F4C440.versanet.de) (Ping timeout: 264 seconds) |
| 2025-10-08 03:10:45 +0000 | Googulator50 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 03:10:45 +0000 | Googulator83 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 03:13:33 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-10-08 03:17:19 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-10-08 03:20:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-08 03:23:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 03:28:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 03:28:59 +0000 | trickard_ | trickard |
| 2025-10-08 03:29:48 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-10-08 03:33:28 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-10-08 03:39:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 03:43:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-08 03:45:53 +0000 | <ski> | hello bgg |
| 2025-10-08 03:46:03 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-10-08 03:47:06 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2025-10-08 03:50:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-08 03:52:36 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-10-08 03:54:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 03:57:42 +0000 | superstar64 | (~superstar@2600:1700:57e0:e3c0::31) (Quit: Leaving) |
| 2025-10-08 04:00:37 +0000 | Googulator50 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 04:00:43 +0000 | Googulator58 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 04:01:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 04:10:03 +0000 | chenjf | (~chenjf@104.208.72.114) |
| 2025-10-08 04:10:53 +0000 | chenjf | (~chenjf@104.208.72.114) (Client Quit) |
| 2025-10-08 04:12:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 04:16:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 04:27:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 04:28:13 +0000 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-10-08 04:28:28 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-10-08 04:30:06 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-10-08 04:30:38 +0000 | Googulator43 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 04:30:39 +0000 | Googulator58 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 04:32:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 04:34:56 +0000 | michalz | (~michalz@185.246.207.221) |
| 2025-10-08 04:39:43 +0000 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2025-10-08 04:43:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 04:46:13 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 04:47:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-08 04:50:53 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-08 04:55:38 +0000 | Googulator11 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 04:55:38 +0000 | Googulator43 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 04:56:07 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-10-08 04:56:24 +0000 | peterbecich1 | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 04:58:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 04:59:31 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-10-08 04:59:31 +0000 | peterbecich1 | peterbecich |
| 2025-10-08 05:02:35 +0000 | peterbecich1 | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 05:02:53 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Quit: peterbecich) |
| 2025-10-08 05:02:53 +0000 | peterbecich1 | peterbecich |
| 2025-10-08 05:03:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-10-08 05:04:32 +0000 | peterbecich1 | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 05:04:39 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-08 05:04:39 +0000 | peterbecich1 | peterbecich |
| 2025-10-08 05:05:24 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Client Quit) |
| 2025-10-08 05:05:42 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 05:07:34 +0000 | peterbecich1 | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 05:07:41 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-08 05:07:41 +0000 | peterbecich1 | peterbecich |
| 2025-10-08 05:09:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 05:14:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 05:15:38 +0000 | Googulator26 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 05:15:38 +0000 | Googulator11 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 05:20:21 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-08 05:24:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 05:26:34 +0000 | chewybread | (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 2025-10-08 05:26:57 +0000 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2025-10-08 05:28:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 05:29:25 +0000 | chewybread | (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 2025-10-08 05:34:05 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2025-10-08 05:34:53 +0000 | ft | (~ft@p4fc2a225.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-08 05:36:32 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-10-08 05:40:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 05:45:39 +0000 | Googulator26 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 05:45:45 +0000 | Googulator22 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 05:46:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 05:58:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 06:02:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-08 06:10:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 06:14:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 06:22:24 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 06:28:08 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-10-08 06:38:38 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-08 06:41:28 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-10-08 06:46:42 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-08 06:46:59 +0000 | trampi8 | (~trampi@mx.trampusch.info) trampi |
| 2025-10-08 06:49:28 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-10-08 06:50:42 +0000 | trampi8 | (~trampi@mx.trampusch.info) (Client Quit) |
| 2025-10-08 06:54:45 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-08 06:57:25 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-08 06:58:07 +0000 | trampi8 | (~trampi@mx.trampusch.info) trampi |
| 2025-10-08 07:00:00 +0000 | caconym747879 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-08 07:00:40 +0000 | caconym747879 | (~caconym@user/caconym) caconym |
| 2025-10-08 07:02:25 +0000 | trampi8 | (~trampi@mx.trampusch.info) (Client Quit) |
| 2025-10-08 07:05:07 +0000 | trampi8 | (~trampi@mx.trampusch.info) trampi |
| 2025-10-08 07:06:06 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-08 07:08:20 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-08 07:11:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 07:15:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 07:18:15 +0000 | annamalai | (~annamalai@157.32.194.1) (Ping timeout: 245 seconds) |
| 2025-10-08 07:26:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 07:29:15 +0000 | acidjnk | (~acidjnk@p200300d6e7171954c04f1adcf50f27d3.dip0.t-ipconnect.de) acidjnk |
| 2025-10-08 07:30:01 +0000 | cheater | (~fuck@user/cheater) cheater |
| 2025-10-08 07:30:37 +0000 | Googulator22 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 07:30:41 +0000 | Googulator32 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 07:31:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 07:33:29 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-08 07:34:51 +0000 | trampi8 | (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-08 07:41:33 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-08 07:43:28 +0000 | trampi8 | (~trampi@mx.trampusch.info) trampi |
| 2025-10-08 07:44:42 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-10-08 07:45:03 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-08 07:50:58 +0000 | Googulator32 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 07:50:59 +0000 | Googulator34 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 07:52:32 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 265 seconds) |
| 2025-10-08 07:55:23 +0000 | chele | (~chele@user/chele) chele |
| 2025-10-08 07:55:57 +0000 | trampi8 | trampi |
| 2025-10-08 08:00:07 +0000 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) fp |
| 2025-10-08 08:00:41 +0000 | Googulator79 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 08:00:41 +0000 | Googulator34 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 08:01:40 +0000 | fp1 | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) fp |
| 2025-10-08 08:02:33 +0000 | fp1 | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Remote host closed the connection) |
| 2025-10-08 08:04:18 +0000 | fp1 | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) fp |
| 2025-10-08 08:04:49 +0000 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Ping timeout: 264 seconds) |
| 2025-10-08 08:04:49 +0000 | fp1 | fp |
| 2025-10-08 08:08:33 +0000 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 08:08:47 +0000 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-10-08 08:15:15 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 08:15:26 +0000 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-08 08:20:07 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-08 08:20:48 +0000 | trampi | (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-08 08:24:14 +0000 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2025-10-08 08:26:13 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-08 08:27:06 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-08 08:27:37 +0000 | jackneill__ | (~Jackneill@188-143-82-121.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2025-10-08 08:29:47 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-10-08 08:32:11 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 08:35:53 +0000 | <fgarcia> | i think type tetris is real. ghc is cool |
| 2025-10-08 08:39:02 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-08 08:40:43 +0000 | Googulator6 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 08:40:43 +0000 | Googulator79 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 08:40:56 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-08 08:43:21 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2025-10-08 08:44:29 +0000 | <[exa]> | fgarcia: type tetris is underrated |
| 2025-10-08 08:44:59 +0000 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 08:45:12 +0000 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-10-08 08:47:12 +0000 | craunts7953 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-08 08:47:19 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 08:49:37 +0000 | <fgarcia> | [exa]: i have been learning haskell these few weeks and got curious enough to check out other types for the numbers. i am liking how the compiler is helping me make things more general |
| 2025-10-08 08:51:16 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-08 08:51:25 +0000 | <[exa]> | wait for the type tetris equivalent of smashing in the 4-square stick :D |
| 2025-10-08 08:53:56 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-08 08:56:55 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-10-08 08:59:38 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-10-08 09:04:43 +0000 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Quit: fp) |
| 2025-10-08 09:05:42 +0000 | Googulator63 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 09:05:43 +0000 | Googulator6 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 09:06:42 +0000 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) fp |
| 2025-10-08 09:07:17 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-08 09:10:06 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 09:13:23 +0000 | <haskellbridge> | <sm> are other matrix clients besides Element also very slow at showing the history of IRC-bridged matrix rooms like this one ? |
| 2025-10-08 09:13:30 +0000 | craunts7953 | (~craunts@136.158.7.194) |
| 2025-10-08 09:15:47 +0000 | <haskellbridge> | <sm> because of the high number of join/leave events, presumably |
| 2025-10-08 09:17:43 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-08 09:20:09 +0000 | <haskellbridge> | <Morj> sm: Cinny is fine, but cinny doesn't collapse room state changes, and there are a ton of them. Afaik the amount of events fetched by default when scrolling up history is somewhat low, so to see just one uncollapsed message would take a lot of fetching |
| 2025-10-08 09:22:05 +0000 | <haskellbridge> | <sm> that sounds like my IRC client (Textual, on mac) which if I leave join/leave events visible, shows page after page of those with scattered actual messages |
| 2025-10-08 09:22:53 +0000 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Remote host closed the connection) |
| 2025-10-08 09:23:21 +0000 | <haskellbridge> | <sm> If I hide them entirely, I lose important presence hints. Still, I see I can do that in Element too, let's see if it helps performance |
| 2025-10-08 09:24:53 +0000 | <haskellbridge> | <sm> no; still takes tens of seconds to show a pageful of messages here |
| 2025-10-08 09:26:56 +0000 | <haskellbridge> | <sm> it makes rooms like this one or #GHC:matrix.org (https://matrix.to/#/#GHC:matrix.org) unattractive, which is unfortunate |
| 2025-10-08 09:30:40 +0000 | Googulator81 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 09:30:44 +0000 | Googulator63 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 09:30:47 +0000 | <haskellbridge> | <sm> maybe Element's famous "fast sliding sync" has regressed.. |
| 2025-10-08 09:31:25 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 09:32:18 +0000 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) fp |
| 2025-10-08 09:33:31 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-08 09:36:27 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-10-08 09:36:27 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-10-08 09:37:02 +0000 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Remote host closed the connection) |
| 2025-10-08 09:37:12 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-08 09:38:22 +0000 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) fp |
| 2025-10-08 09:40:15 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 09:41:12 +0000 | fp1 | (~Thunderbi@wireless-86-50-141-222.open.aalto.fi) fp |
| 2025-10-08 09:42:01 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-10-08 09:42:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-08 09:45:07 +0000 | fp | (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-10-08 09:45:07 +0000 | fp1 | fp |
| 2025-10-08 09:45:17 +0000 | <haskellbridge> | <Morj> sm: I'm itching to write an irc client that would show join/part events only for users that participated in the conversation recently |
| 2025-10-08 09:45:20 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-08 09:46:34 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 09:46:43 +0000 | <haskellbridge> | <maerwald> you're talking about merijn? xD |
| 2025-10-08 09:46:54 +0000 | <haskellbridge> | <Morj> Ditto for a matrix client, but there are so so many things one could improve. You know what they say, those who never used telegram-desktop are doomed to repeat its competitor's mistakes |
| 2025-10-08 09:47:09 +0000 | <haskellbridge> | <Morj> Isn't mеrijn a person? (= |
| 2025-10-08 09:47:21 +0000 | <haskellbridge> | <maerwald> used to be |
| 2025-10-08 09:47:30 +0000 | <haskellbridge> | <maerwald> these days maybe just an IRC bouncer |
| 2025-10-08 09:49:44 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 09:50:35 +0000 | Googulator81 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 09:50:37 +0000 | Googulator35 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 09:53:56 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-08 09:54:20 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-08 09:57:34 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 09:59:50 +0000 | fp | (~Thunderbi@wireless-86-50-141-222.open.aalto.fi) (Remote host closed the connection) |
| 2025-10-08 10:02:07 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-08 10:02:07 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) (Read error: Connection reset by peer) |
| 2025-10-08 10:03:27 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) synchromesh |
| 2025-10-08 10:05:21 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-10-08 10:05:38 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-08 10:06:06 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) fp |
| 2025-10-08 10:09:12 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 10:10:47 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 250 seconds) |
| 2025-10-08 10:14:01 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2025-10-08 10:16:13 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-08 10:20:52 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-08 10:21:18 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 252 seconds) |
| 2025-10-08 10:22:05 +0000 | fp1 | fp |
| 2025-10-08 10:24:36 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-10-08 10:27:49 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 10:30:44 +0000 | qqe | (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-08 10:33:53 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 10:34:17 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 10:35:20 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-08 10:37:16 +0000 | tamer | (~tamer@user/tamer) (Quit: "") |
| 2025-10-08 10:37:34 +0000 | tamer | (~tamer@5.2.74.82) |
| 2025-10-08 10:41:10 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 10:42:52 +0000 | Googulator35 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 10:43:06 +0000 | Googulator35 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 10:44:46 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
| 2025-10-08 10:52:12 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-08 10:54:01 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2025-10-08 10:54:54 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-10-08 10:55:43 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-08 11:02:45 +0000 | Square | (~Square4@user/square) Square |
| 2025-10-08 11:05:40 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 11:08:52 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-08 11:08:53 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-08 11:09:08 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-10-08 11:12:07 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-10-08 11:14:49 +0000 | xff0x | (~xff0x@2405:6580:b080:900:eb0a:12ff:4234:8ea5) |
| 2025-10-08 11:16:34 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 11:16:55 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 11:24:16 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-08 11:24:36 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-08 11:30:20 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 11:30:51 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 11:34:29 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-08 11:35:00 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-08 11:35:20 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-10-08 11:35:52 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-08 11:38:56 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-10-08 11:45:31 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 11:46:04 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 11:51:23 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 11:52:22 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 11:54:06 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-08 11:54:11 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 11:54:25 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 11:54:56 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-08 11:55:10 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-08 11:56:07 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 11:56:28 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 11:58:56 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2025-10-08 12:04:07 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-08 12:04:58 +0000 | defragger | (~random@i6DFADE93.versanet.de) defragger |
| 2025-10-08 12:05:46 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-10-08 12:05:46 +0000 | Googulator35 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 12:05:56 +0000 | Googulator35 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 12:12:13 +0000 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-10-08 12:12:30 +0000 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-10-08 12:12:43 +0000 | fp | (~Thunderbi@wireless-86-50-141-222.open.aalto.fi) fp |
| 2025-10-08 12:15:08 +0000 | fp | (~Thunderbi@wireless-86-50-141-222.open.aalto.fi) (Remote host closed the connection) |
| 2025-10-08 12:15:40 +0000 | Googulator90 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 12:15:42 +0000 | Googulator35 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 12:17:33 +0000 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-10-08 12:18:01 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 12:19:53 +0000 | qqe | (~qqq@185.54.23.200) |
| 2025-10-08 12:22:35 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 12:24:40 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-10-08 12:26:01 +0000 | trickard_ | trickard |
| 2025-10-08 12:30:27 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 12:30:58 +0000 | Googulator52 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 12:31:03 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 12:31:18 +0000 | Googulator90 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 12:37:59 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 12:41:06 +0000 | <mauke> | Morj: sounds like something you could script in irssi |
| 2025-10-08 12:42:22 +0000 | <bwe> | *** Exception: Prelude.last: empty list |
| 2025-10-08 12:42:40 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-10-08 12:42:43 +0000 | <bwe> | how can I get a little more context? |
| 2025-10-08 12:42:54 +0000 | <bwe> | (and why isn't it default?) |
| 2025-10-08 12:44:11 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 12:45:41 +0000 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 12:45:41 +0000 | Googulator52 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 12:47:01 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-08 12:47:04 +0000 | annamalai | (~annamalai@157.32.202.67) annamalai |
| 2025-10-08 12:48:10 +0000 | guest3860 | (~username@2a04:27c0:0:d::e018) yoann |
| 2025-10-08 12:48:14 +0000 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-08 12:48:34 +0000 | <tomsmeding> | bwe: haskell, being lazy, does not necessarily execute according to the lexical structure of your program; as a result, in contrast to e.g. C/C++, there is no hardware call stack that you can just read off and get something useful |
| 2025-10-08 12:49:23 +0000 | <tomsmeding> | there are two things you can do to get something useful: print the actual haskell evaluation stack (which is in order of forcing, not in order of "calls" in your program); you can get that by compiling in profiling mode and running with +RTS -xc |
| 2025-10-08 12:49:35 +0000 | <tomsmeding> | (cabal run --enable-profiling yourprogram -- +RTS -xc) |
| 2025-10-08 12:49:56 +0000 | <bwe> | would that automatically show a context (e.g. where the Prelude.last was called)? |
| 2025-10-08 12:50:27 +0000 | <tomsmeding> | alternatively, you can add additional annotations to your program that explicitly collect lexical call stack info; this slows down the program a little because it now does more work and also inhibits some optimisations |
| 2025-10-08 12:50:55 +0000 | <tomsmeding> | actually I think this latter thing is already done automatically if you --enable-profiling in cabal |
| 2025-10-08 12:51:33 +0000 | <tomsmeding> | bwe: yes, with --enable-profilng, optionally with +RTS -xc, you should get more backtrace info |
| 2025-10-08 12:52:14 +0000 | <tomsmeding> | -xc prints backtrace info on EVERY thrown exception though, even if it ends up being caught later -- this is a fun way to find out that the haskell standard library uses quite a bunch of exceptions internally sometimes |
| 2025-10-08 12:52:42 +0000 | <tomsmeding> | bwe: what GHC version are you on? |
| 2025-10-08 12:52:46 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-08 12:53:38 +0000 | <tomsmeding> | you may need ghc 9.10 or higher to get the lexical profiling backtraces |
| 2025-10-08 12:54:11 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 12:54:30 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 12:55:01 +0000 | <tomsmeding> | @tell morj that "join/part only for users that participated recently" is built-in behaviour in weechat in the irc.look.smart_filter* settings |
| 2025-10-08 12:55:02 +0000 | <lambdabot> | Consider it noted. |
| 2025-10-08 12:56:06 +0000 | <haskellbridge> | <Morj> I really want to know how that at-tell is supposed to look without a bridge |
| 2025-10-08 12:56:15 +0000 | <tomsmeding> | oh brainfart |
| 2025-10-08 12:56:19 +0000 | <haskellbridge> | <Morj> Thanks for the info tоmsmeding and mаuke |
| 2025-10-08 12:56:33 +0000 | <tomsmeding> | that @tell is a lambdabot thing that sends that to you in a private message when you next join on irc |
| 2025-10-08 12:56:34 +0000 | <haskellbridge> | <Morj> I did think there already exist some that are reasonable, it's an old protocol |
| 2025-10-08 12:56:41 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) fp |
| 2025-10-08 12:56:58 +0000 | <tomsmeding> | I did that without thinking when Morj didn't autocomplete, but that was because you're over the bridge lol |
| 2025-10-08 12:57:32 +0000 | <haskellbridge> | <Morj> Lowercase morj is my irc nick, but I only use it from one PC which is not this one |
| 2025-10-08 12:58:00 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 265 seconds) |
| 2025-10-08 12:59:28 +0000 | <tomsmeding> | I consider this smart_filter stuff essential to even consider participating in a room like this :p |
| 2025-10-08 12:59:28 +0000 | <bwe> | tomsmeding: 9.12.2 |
| 2025-10-08 12:59:34 +0000 | <tomsmeding> | bwe: nice |
| 2025-10-08 13:00:11 +0000 | <bwe> | tomsmeding: Well, I just eliminated any occurence of last and I am done. That's simpler than restarting repl with profiling options… |
| 2025-10-08 13:00:19 +0000 | <tomsmeding> | :) |
| 2025-10-08 13:00:30 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) (Remote host closed the connection) |
| 2025-10-08 13:00:35 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 13:00:42 +0000 | <tomsmeding> | bwe: the low-tech alternative to all this is to add HasCallStack constraints to functions that call `last` |
| 2025-10-08 13:00:58 +0000 | <tomsmeding> | https://hackage.haskell.org/package/base-4.21.0.0/docs/GHC-Stack.html#t:CallStack |
| 2025-10-08 13:01:00 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 13:01:03 +0000 | <haskellbridge> | <Morj> Btw is there by chance a ghc option that will automatically collect evaluation stack in IO only? |
| 2025-10-08 13:01:26 +0000 | <haskellbridge> | <Morj> For now I have a vim macro that will insert HasCallStack everywhere and recompile |
| 2025-10-08 13:01:26 +0000 | <tomsmeding> | not that I know of |
| 2025-10-08 13:01:53 +0000 | <tomsmeding> | Morj: there is this https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html#cfg-field-profiling-det… |
| 2025-10-08 13:02:28 +0000 | <tomsmeding> | but that doesn't have the granularity that you're asking for |
| 2025-10-08 13:03:46 +0000 | <haskellbridge> | <Morj> I thought profiling is about execution time, not about error reporting, but it makes sense that annotations can work for both |
| 2025-10-08 13:03:57 +0000 | <haskellbridge> | <Morj> Cabal with their docs again :/ |
| 2025-10-08 13:04:00 +0000 | <tomsmeding> | HasCallStack is separate from profiling |
| 2025-10-08 13:04:38 +0000 | <haskellbridge> | <Morj> I know, I'm talking about error location/backtrace reporting, that's what I'm after |
| 2025-10-08 13:04:45 +0000 | <haskellbridge> | <Morj> HasCallStack is location only |
| 2025-10-08 13:04:45 +0000 | <tomsmeding> | but yeah the cost-centre annotations for execution time profiling are very nice for error reporting too |
| 2025-10-08 13:04:57 +0000 | <tomsmeding> | people realised that and made it work :p |
| 2025-10-08 13:05:17 +0000 | <tomsmeding> | in a strict language this is all moot because you have a normal call stack to work from |
| 2025-10-08 13:06:15 +0000 | <tomsmeding> | Morj: and HasCallStack is also used for error reports |
| 2025-10-08 13:06:36 +0000 | <tomsmeding> | so if you have HasCallStack _and_ profiling, you may get two backtraces for every printed exception :p |
| 2025-10-08 13:07:05 +0000 | <tomsmeding> | and those are not necessarily the same |
| 2025-10-08 13:07:09 +0000 | guest3860 | (~username@2a04:27c0:0:d::e018) (Ping timeout: 250 seconds) |
| 2025-10-08 13:08:10 +0000 | <haskellbridge> | <Morj> I think i misspoke, by annotations way above i meant compiler annotations inserted by profiling flags, not HasCallStack inserted by hand |
| 2025-10-08 13:08:25 +0000 | <tomsmeding> | yeah I got that, sorry |
| 2025-10-08 13:08:45 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) fp |
| 2025-10-08 13:08:50 +0000 | <tomsmeding> | the terminology is a little ambiguous around this topic |
| 2025-10-08 13:10:38 +0000 | Googulator77 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 13:10:43 +0000 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 13:13:45 +0000 | fp | (~Thunderbi@2001:708:150:10::72df) (Remote host closed the connection) |
| 2025-10-08 13:15:04 +0000 | <tomsmeding> | oh and it's also possible to manually add cost-centre annotations with CCS pragmas |
| 2025-10-08 13:21:01 +0000 | Googulator76 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 13:21:03 +0000 | ZLima12_ | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-10-08 13:21:12 +0000 | Googulator77 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 13:21:35 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-08 13:23:49 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2025-10-08 13:24:08 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-10-08 13:28:17 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 13:28:43 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 13:30:16 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 13:30:37 +0000 | Googulator76 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 13:30:45 +0000 | Googulator46 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 13:32:46 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 13:33:08 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 13:37:23 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-08 13:38:28 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 13:39:13 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 13:47:23 +0000 | SlackCoder | (~SlackCode@208.26.70.132) SlackCoder |
| 2025-10-08 13:53:14 +0000 | SlackCoder | (~SlackCode@208.26.70.132) (Quit: Leaving) |
| 2025-10-08 13:54:08 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-08 13:54:29 +0000 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 13:54:43 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 13:55:43 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 13:56:52 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-10-08 13:57:41 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-10-08 14:01:44 +0000 | leo2007 | (~leo@user/leo2007) leo2007 |
| 2025-10-08 14:04:45 +0000 | leo2007 | (~leo@user/leo2007) (Client Quit) |
| 2025-10-08 14:14:58 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-10-08 14:19:57 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-08 14:20:18 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 14:21:54 +0000 | Googulator46 | Googulator |
| 2025-10-08 14:24:28 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 14:25:12 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 14:25:58 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-10-08 14:29:07 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-08 14:36:55 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-08 14:49:13 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-08 14:49:16 +0000 | trickard_ | trickard |
| 2025-10-08 15:04:55 +0000 | chenjf | (~chenjf@104.208.72.114) |
| 2025-10-08 15:09:57 +0000 | stef204 | (~stef204@user/stef204) stef204 |
| 2025-10-08 15:11:24 +0000 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 15:11:38 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 15:13:56 +0000 | stef204 | (~stef204@user/stef204) (Client Quit) |
| 2025-10-08 15:14:29 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-08 15:16:59 +0000 | chenjf | (~chenjf@104.208.72.114) (Remote host closed the connection) |
| 2025-10-08 15:17:24 +0000 | chenjf | (~chenjf@104.208.72.114) |
| 2025-10-08 15:20:05 +0000 | chenjf | (~chenjf@104.208.72.114) (Remote host closed the connection) |
| 2025-10-08 15:20:28 +0000 | chenjf | (~chenjf@104.208.72.114) |
| 2025-10-08 15:25:37 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 15:25:44 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 15:37:00 +0000 | chenjf | (~chenjf@104.208.72.114) (Quit: WeeChat 4.7.1) |
| 2025-10-08 15:38:01 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 15:38:18 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 15:41:45 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-08 15:48:19 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-08 15:50:59 +0000 | trickard_ | trickard |
| 2025-10-08 15:54:28 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 15:54:36 +0000 | ft | (~ft@p4fc2a207.dip0.t-ipconnect.de) ft |
| 2025-10-08 15:54:45 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 15:55:42 +0000 | Googulator45 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 15:55:42 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 15:55:50 +0000 | <haskellbridge> | <sm> bwe: 100%, removing such partial code from your program is the best when possible |
| 2025-10-08 15:58:03 +0000 | Googulator45 | Googulator |
| 2025-10-08 16:00:43 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 16:00:51 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 16:05:21 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-08 16:05:58 +0000 | <__monty__> | But the all the warnings about head and tail et al. are so noisy : ( |
| 2025-10-08 16:07:22 +0000 | <haskellbridge> | <sm> for this reason ? Suppress them if you must |
| 2025-10-08 16:08:14 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) |
| 2025-10-08 16:27:27 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-10-08 16:30:27 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 16:30:39 +0000 | Googulator | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 16:35:39 +0000 | Googulator | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 16:35:46 +0000 | Googulator | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 16:48:37 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-10-08 16:55:37 +0000 | Googulator | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 16:55:38 +0000 | Googulator60 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 16:59:03 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-08 17:00:47 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 17:01:10 +0000 | Googulator60 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 17:04:12 +0000 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-10-08 17:15:37 +0000 | Googulator10 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 17:15:39 +0000 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 17:22:04 +0000 | <EvanR> | unless the objective is to crash your program in a potentially hard to explain way |
| 2025-10-08 17:22:46 +0000 | <EvanR> | every use of tail or last etc has to come with a possibly invisible proof that the list isn't empty |
| 2025-10-08 17:23:08 +0000 | <EvanR> | which is often not that hard to come up with, it's just that it's invisible |
| 2025-10-08 17:23:57 +0000 | <EvanR> | in your case control F for last and check for proof |
| 2025-10-08 17:26:25 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
| 2025-10-08 17:27:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 17:28:39 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-10-08 17:30:16 +0000 | <__monty__> | Sometimes I don't have proof but there's also absence of proof of the contrary. |
| 2025-10-08 17:31:27 +0000 | <EvanR> | ain't that something |
| 2025-10-08 17:32:01 +0000 | <EvanR> | murphy's law corrolary, if you don't have the proof then it will crash |
| 2025-10-08 17:32:16 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-08 17:34:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 17:34:28 +0000 | <__monty__> | I don't mind spending time on cases that aren't actually partial but there's lots of cases that are. |
| 2025-10-08 17:35:41 +0000 | <tomsmeding> | intentionally partial, you mean? |
| 2025-10-08 17:36:19 +0000 | <EvanR> | this is all avoided if you can structure it so the compiler checks all the cases for you |
| 2025-10-08 17:36:26 +0000 | <__monty__> | What I really mean is that the lists often end up never being empty where I call head. |
| 2025-10-08 17:36:48 +0000 | <EvanR> | yeah ideally you can prove it |
| 2025-10-08 17:36:56 +0000 | <tomsmeding> | doesn't that amount to an (unstated) proof that it isn't actually partial |
| 2025-10-08 17:37:04 +0000 | <tomsmeding> | i.e. the opposite of what you're saying :p |
| 2025-10-08 17:37:36 +0000 | <EvanR> | implicitly at some point dealing with non empty lists and so the restriction of head on that domain is total |
| 2025-10-08 17:39:35 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) |
| 2025-10-08 17:40:25 +0000 | <__monty__> | tomsmeding: Does it? I'm pretty sure I said I don't have proof of either case (yet). The yet falling into place when it errors. |
| 2025-10-08 17:41:19 +0000 | <EvanR> | crashing is empirical proof it's partial |
| 2025-10-08 17:41:43 +0000 | <tomsmeding> | __monty__: "the lists often end up never being empty where I call head" -- based on what? |
| 2025-10-08 17:42:39 +0000 | <haskellbridge> | <sm> If you don't want to remove partial code from your program yet, I would say at least handle the unexpected case with an error message admitting programmer error and naming the function |
| 2025-10-08 17:43:04 +0000 | <haskellbridge> | <sm> (and package) |
| 2025-10-08 17:43:20 +0000 | <EvanR> | [] -> error "I've been bad. So very very bad. __FILE__ __LINE__" |
| 2025-10-08 17:43:41 +0000 | <tomsmeding> | if this is to be public library code, yes |
| 2025-10-08 17:45:00 +0000 | <haskellbridge> | <sm> I would say in your own private code too, you'll thank yourself later |
| 2025-10-08 17:45:28 +0000 | <haskellbridge> | <sm> except throwaway stuff, fine |
| 2025-10-08 17:45:29 +0000 | <__monty__> | tomsmeding: Based on experience. I don't tend to go around willy nilly asking for heads to be chopped off. |
| 2025-10-08 17:45:39 +0000 | <geekosaur> | I have one place where I use `head` and I know it'll always be nonempty, but the library code it's coming from doesn't yet use `NonEmpty` to prove it |
| 2025-10-08 17:45:41 +0000 | Googulator10 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 17:45:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 17:45:45 +0000 | Googulator48 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 17:45:52 +0000 | <EvanR> | I ask for heads to show their papers please |
| 2025-10-08 17:46:05 +0000 | <geekosaur> | (were the list to be emoty, the library would refuse to start up and therefore my code won't be run) |
| 2025-10-08 17:46:13 +0000 | <geekosaur> | *empty |
| 2025-10-08 17:46:33 +0000 | <__monty__> | But that's what `head` should do for me, sm! |
| 2025-10-08 17:46:55 +0000 | <EvanR> | it can't really |
| 2025-10-08 17:47:13 +0000 | <tomsmeding> | yes it can and it does because it takes HasCallStack |
| 2025-10-08 17:47:16 +0000 | <haskellbridge> | <sm> it would be nice if that was automatic, yes. (Except, you don't always want production code leaking such details) |
| 2025-10-08 17:47:16 +0000 | <EvanR> | unless you change the type signature to have a call stack constrain--- |
| 2025-10-08 17:47:17 +0000 | <__monty__> | And that's a wart, IMO. |
| 2025-10-08 17:47:23 +0000 | <EvanR> | :t head |
| 2025-10-08 17:47:24 +0000 | <lambdabot> | [a] -> a |
| 2025-10-08 17:47:27 +0000 | <tomsmeding> | % :t head |
| 2025-10-08 17:47:27 +0000 | <yahb2> | <interactive>:1:1: warning: [GHC-63394] [-Wx-partial] ; In the use of ‘head’ ; (imported from Prelude, but defined in GHC.Internal.List): ; "This is a partial function, it throws an err... |
| 2025-10-08 17:47:33 +0000 | <tomsmeding> | ... |
| 2025-10-08 17:47:35 +0000 | <tomsmeding> | %% :t head |
| 2025-10-08 17:47:35 +0000 | <yahb2> | https://paste.tomsmeding.com/xLob5lz5 |
| 2025-10-08 17:50:15 +0000 | <EvanR> | head :: GHC.Internal.Stack.Types.HasCallStack => [a] -> a |
| 2025-10-08 17:50:21 +0000 | <EvanR> | sweet |
| 2025-10-08 17:50:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 17:50:44 +0000 | <tomsmeding> | that does beg the question why bwe got "*** Exception: Prelude.last: empty list" without anything else |
| 2025-10-08 17:50:49 +0000 | <tomsmeding> | % :t last |
| 2025-10-08 17:50:49 +0000 | <yahb2> | last :: GHC.Internal.Stack.Types.HasCallStack => [a] -> a |
| 2025-10-08 17:50:56 +0000 | <tomsmeding> | % last [] |
| 2025-10-08 17:50:56 +0000 | <yahb2> | *** Exception: Prelude.last: empty list ; ; HasCallStack backtrace: ; error, called at libraries/ghc-internal/src/GHC/Internal/List.hs:2036:3 in ghc-internal:GHC.Internal.List ; errorEmptyList... |
| 2025-10-08 17:51:28 +0000 | <tomsmeding> | or maybe they did but just didn't find that callstack helpful enough, which is fair enough :p |
| 2025-10-08 17:51:40 +0000 | <__monty__> | So it already shows where the naughty instance is? And we're all just fantasizing that it's hard to pinpoint still? |
| 2025-10-08 17:51:49 +0000 | <haskellbridge> | <sm> tomsmeding I think monty was wishing that it would report where the bad partial code is (package, module, line number etc.) |
| 2025-10-08 17:51:55 +0000 | <tomsmeding> | __monty__: it shows where the naughty instance is, but not how the program got there |
| 2025-10-08 17:52:12 +0000 | <tomsmeding> | and if the instance is in some kind of often-utility function, sometimes that still tells you very little |
| 2025-10-08 17:52:19 +0000 | <haskellbridge> | <sm> such information is famously elusive in GHC's various back/stack traces |
| 2025-10-08 17:52:22 +0000 | <__monty__> | That's good enough for me, so I'm happier now than I was 20 minutes ago. |
| 2025-10-08 17:52:30 +0000 | <tomsmeding> | %% last [] |
| 2025-10-08 17:52:31 +0000 | <yahb2> | https://paste.tomsmeding.com/dg8lKLH8 |
| 2025-10-08 17:52:33 +0000 | <EvanR> | control F also works |
| 2025-10-08 17:52:35 +0000 | <__monty__> | Also makes me more upset about the impartial warnings by default though. |
| 2025-10-08 17:52:39 +0000 | <EvanR> | assuming you didn't space heads |
| 2025-10-08 17:52:41 +0000 | <EvanR> | spam |
| 2025-10-08 17:52:44 +0000 | <tomsmeding> | sm: "last, called at <interactive>:79:1 in interactive:Ghci17" |
| 2025-10-08 17:53:00 +0000 | <int-e> | tomsmeding: Once upon a time, I had an empty list. It didn't last. |
| 2025-10-08 17:53:06 +0000 | <tomsmeding> | (: |
| 2025-10-08 17:53:22 +0000 | <tomsmeding> | EvanR: it doesn't if you have multiple uses of the function |
| 2025-10-08 17:53:42 +0000 | <EvanR> | I guess 2 is spam enough |
| 2025-10-08 17:53:56 +0000 | <tomsmeding> | for debugging, yes |
| 2025-10-08 17:53:59 +0000 | <EvanR> | if you have 2 heads, reconsider your ways |
| 2025-10-08 17:54:15 +0000 | <tomsmeding> | chasing false trails in debugging is a demotivating waste of time :p |
| 2025-10-08 17:54:16 +0000 | <haskellbridge> | <sm> tomsmeding: that one was good yes |
| 2025-10-08 17:54:58 +0000 | <EvanR> | control F and witnessing the proof for every result found would also work |
| 2025-10-08 17:55:02 +0000 | <haskellbridge> | <sm> in a production codebase it's much less likely (because of needing an unbroken chain of HasCallStack I guess) |
| 2025-10-08 17:55:25 +0000 | <tomsmeding> | well that's what I was saying: it shows you where the naughty instance is, but not how the program got there |
| 2025-10-08 17:55:39 +0000 | <tomsmeding> | which is sometimes very unhelpful |
| 2025-10-08 17:55:51 +0000 | <tomsmeding> | (I speak from experience) |
| 2025-10-08 17:56:13 +0000 | <tomsmeding> | the new automatic profiling backtraces are nice, though |
| 2025-10-08 17:56:24 +0000 | <tomsmeding> | requies you to rebuild the world, but then you do get better backtraces |
| 2025-10-08 17:56:31 +0000 | <tomsmeding> | lexical ones, even |
| 2025-10-08 17:56:42 +0000 | <tomsmeding> | or wait is that true? |
| 2025-10-08 17:56:52 +0000 | <tomsmeding> | no they're probably not lexical, so I lied to bwe |
| 2025-10-08 17:56:54 +0000 | <tomsmeding> | anyhow |
| 2025-10-08 17:56:54 +0000 | <EvanR> | the backtrack workflow in other languages is so powerful that dynamic language programmers write 100s of partial functions per file |
| 2025-10-08 17:57:03 +0000 | <EvanR> | and don't care |
| 2025-10-08 17:57:12 +0000 | <__monty__> | int-e: That's poetry. |
| 2025-10-08 17:57:41 +0000 | <tomsmeding> | the output of a model checker (which is considered "formal methods") on a counter example is, guess what, a backtrace |
| 2025-10-08 17:57:47 +0000 | <tomsmeding> | *counterexample |
| 2025-10-08 17:58:34 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 17:59:17 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 17:59:30 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 17:59:40 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 18:00:28 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 18:00:39 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 18:01:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 18:03:10 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 18:03:25 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 18:03:33 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Ping timeout: 244 seconds) |
| 2025-10-08 18:03:55 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 18:04:08 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-08 18:04:56 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
| 2025-10-08 18:07:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 18:12:15 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-08 18:18:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 18:18:39 +0000 | Googulator48 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 18:18:44 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 18:18:56 +0000 | Googulator48 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 18:20:08 +0000 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-10-08 18:22:00 +0000 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
| 2025-10-08 18:23:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 18:26:58 +0000 | shapr | (~user@130.44.148.32) shapr |
| 2025-10-08 18:32:46 +0000 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-10-08 18:33:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 18:35:25 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-10-08 18:35:26 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 18:36:59 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-10-08 18:38:08 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-08 18:38:32 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-10-08 18:38:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 18:42:54 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-10-08 18:49:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 18:52:14 +0000 | fgarcia | fgidim |
| 2025-10-08 18:53:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-08 18:57:38 +0000 | trickard_ | trickard |
| 2025-10-08 18:59:14 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-10-08 19:00:01 +0000 | caconym747879 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-08 19:00:39 +0000 | superstar64 | (~superstar@2600:1700:57e0:e3c0::31) superstar64 |
| 2025-10-08 19:00:42 +0000 | caconym747879 | (~caconym@user/caconym) caconym |
| 2025-10-08 19:04:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 19:04:35 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-10-08 19:04:55 +0000 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-08 19:05:13 +0000 | Googulator48 | Googulator |
| 2025-10-08 19:08:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-08 19:10:34 +0000 | Jackneill | (~Jackneill@188-143-82-121.pool.digikabel.hu) Jackneill |
| 2025-10-08 19:10:51 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-08 19:10:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 19:12:30 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-08 19:13:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-10-08 19:14:37 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
| 2025-10-08 19:15:05 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-08 19:22:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 19:25:19 +0000 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 19:25:32 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 19:26:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-08 19:30:37 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-08 19:34:13 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-10-08 19:34:13 +0000 | ljdarj1 | ljdarj |
| 2025-10-08 19:37:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 19:42:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-08 19:44:43 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 19:44:54 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 19:49:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 19:54:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 19:56:51 +0000 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
| 2025-10-08 20:00:35 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-08 20:01:03 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-08 20:02:30 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-08 20:04:07 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-10-08 20:04:35 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 20:04:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 20:05:33 +0000 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 20:05:38 +0000 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 20:06:10 +0000 | <haskellbridge> | <Morj> Anyone in this chat going to the eurorust conference tomorrow? |
| 2025-10-08 20:06:44 +0000 | <haskellbridge> | <Morj> I know it's not the right language, but still |
| 2025-10-08 20:08:24 +0000 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-10-08 20:09:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 20:15:23 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-08 20:15:28 +0000 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2025-10-08 20:15:35 +0000 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-10-08 20:18:19 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2025-10-08 20:20:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 20:21:17 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-08 20:21:40 +0000 | <monochrom> | In type applications, the syntax "[] @ Int" is rejected, it has to be "[] @Int". :( |
| 2025-10-08 20:22:36 +0000 | <monochrom> | My real use case is Proxy @MyType |
| 2025-10-08 20:22:39 +0000 | <haskellbridge> | <Morj> I think it's a good thing, to disambiguate from a user-defined type operator |
| 2025-10-08 20:23:31 +0000 | <haskellbridge> | <Morj> Same for # in names, overloaded labels and an operator by itself |
| 2025-10-08 20:23:53 +0000 | <haskellbridge> | <Morj> That there is an overload may be a bad thing, but it can't be changed already, so |
| 2025-10-08 20:24:44 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) (Read error: Connection reset by peer) |
| 2025-10-08 20:24:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 20:26:14 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) synchromesh |
| 2025-10-08 20:30:34 +0000 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 20:30:38 +0000 | Googulator85 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 20:34:49 +0000 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-10-08 20:35:40 +0000 | Googulator85 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 20:35:46 +0000 | Googulator90 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 20:35:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 20:36:47 +0000 | trickard_ | trickard |
| 2025-10-08 20:40:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 20:46:48 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-08 20:49:04 +0000 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
| 2025-10-08 20:49:12 +0000 | connrs | (~connrs@user/connrs) connrs |
| 2025-10-08 20:51:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 20:56:52 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-08 20:58:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 20:59:03 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-08 20:59:23 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-08 21:00:38 +0000 | Googulator69 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 21:00:38 +0000 | Googulator90 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 21:06:31 +0000 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 240 seconds) |
| 2025-10-08 21:09:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 21:11:15 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-10-08 21:12:53 +0000 | kimiamania99 | (~92460e22@user/kimiamania) kimiamania |
| 2025-10-08 21:13:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 21:15:36 +0000 | <haskellbridge> | <geekosaur> They did at least make it consistent in 9.x |
| 2025-10-08 21:16:41 +0000 | <haskellbridge> | <geekosaur> Before that #, !, @, etc. each had its own rules |
| 2025-10-08 21:20:35 +0000 | Googulator69 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 21:20:47 +0000 | Googulator69 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 21:22:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-08 21:22:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-08 21:24:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 21:28:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 21:32:56 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-08 21:33:22 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-08 21:34:00 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-10-08 21:36:26 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-10-08 21:37:26 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-08 21:39:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 21:44:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 21:45:40 +0000 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 21:45:40 +0000 | Googulator69 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 21:52:56 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-08 21:55:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 22:00:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 22:05:36 +0000 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 22:05:39 +0000 | Googulator46 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 22:10:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 22:13:46 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-10-08 22:15:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 22:22:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-10-08 22:26:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 22:33:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 22:34:22 +0000 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 22:34:35 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 22:38:09 +0000 | tamer | (~tamer@5.2.74.82) (Changing host) |
| 2025-10-08 22:38:09 +0000 | tamer | (~tamer@user/tamer) tamer |
| 2025-10-08 22:39:04 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-08 22:41:28 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-10-08 22:41:28 +0000 | ljdarj1 | ljdarj |
| 2025-10-08 22:43:01 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-08 22:44:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 22:48:55 +0000 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2025-10-08 22:49:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 22:53:28 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-08 22:54:19 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2025-10-08 22:54:35 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-10-08 22:59:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 23:04:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-08 23:06:07 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-10-08 23:09:24 +0000 | craunts7953 | (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-10-08 23:10:11 +0000 | craunts7953 | (~craunts@136.158.7.194) |
| 2025-10-08 23:10:40 +0000 | Googulator46 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 23:10:41 +0000 | Googulator10 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 23:10:43 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-08 23:15:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 23:16:13 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-08 23:16:31 +0000 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-08 23:17:23 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-08 23:18:50 +0000 | synchromesh | (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) (Read error: Connection reset by peer) |
| 2025-10-08 23:18:54 +0000 | synchrom1 | (~john@2406:5a00:2412:2c00:e4b7:8b05:274:cb16) synchromesh |
| 2025-10-08 23:20:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-08 23:20:53 +0000 | Googulator41 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 23:20:53 +0000 | Googulator10 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 23:28:31 +0000 | ridcully | (~ridcully@p57b52867.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-10-08 23:30:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 23:34:13 +0000 | acidjnk | (~acidjnk@p200300d6e7171954c04f1adcf50f27d3.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-10-08 23:34:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-08 23:34:58 +0000 | trickard_ | trickard |
| 2025-10-08 23:40:32 +0000 | Googulator41 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 23:40:39 +0000 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 23:40:56 +0000 | Square2 | (~Square@user/square) Square |
| 2025-10-08 23:41:44 +0000 | ridcully | (~ridcully@pd951f9b7.dip0.t-ipconnect.de) ridcully |
| 2025-10-08 23:43:44 +0000 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-10-08 23:44:29 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-08 23:45:47 +0000 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 23:45:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-08 23:46:15 +0000 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 23:48:08 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-08 23:49:32 +0000 | ridcully | (~ridcully@pd951f9b7.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-10-08 23:50:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |