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