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