Home liberachat/#haskell: Logs Calendar

Logs on 2025-07-08 (liberachat/#haskell)

00:02:25 × jespada quits (~jespada@r190-135-230-22.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds)
00:05:02 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
00:11:22 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
00:13:14 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
00:15:45 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:18:47 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
00:19:13 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
00:20:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
00:24:35 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
00:28:01 × falafel quits (~falafel@2a0c:5a87:3104:8f01::f709) (Ping timeout: 272 seconds)
00:31:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:32:44 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
00:36:33 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
00:41:29 × ystael quits (~ystael@user/ystael) (Ping timeout: 260 seconds)
00:43:24 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection)
00:45:24 caubert joins (~caubert@user/caubert)
00:47:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:52:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
00:59:08 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
01:03:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:07:07 × xff0x quits (~xff0x@2405:6580:b080:900:5f6e:f18b:47bc:a644) (Ping timeout: 272 seconds)
01:08:05 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
01:18:52 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:22:12 jreicher joins (~user@user/jreicher)
01:22:58 × trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
01:23:13 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
01:23:50 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
01:26:41 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
01:27:23 todi joins (~todi@p57803331.dip0.t-ipconnect.de)
01:33:09 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
01:34:40 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:39:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
01:46:28 FANTOM joins (~fantom@33be818f.skybroadband.com)
01:50:26 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:52:49 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
01:55:16 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
01:57:54 × athan quits (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 245 seconds)
01:58:43 × FANTOM quits (~fantom@33be818f.skybroadband.com) (Quit: Connection error?!)
02:03:19 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds)
02:03:21 trickard_ is now known as trickard
02:06:14 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:09:26 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
02:11:18 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
02:11:45 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
02:22:01 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:25:06 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
02:26:26 × td_ quits (~td@i53870936.versanet.de) (Ping timeout: 252 seconds)
02:27:39 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...)
02:28:16 td_ joins (~td@i53870933.versanet.de)
02:29:22 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
02:34:02 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
02:40:03 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:40:10 <jreicher> ski: Just looked back in the logs here and I think the open/closed world chat that happened is exactly what I was referring to
02:40:17 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
02:45:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
02:45:33 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds)
02:53:43 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
02:55:52 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:59:49 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
03:00:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
03:01:15 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
03:06:22 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 268 seconds)
03:09:11 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
03:11:40 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:16:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
03:18:21 kimjetwav joins (~user@2607:fea8:25a3:a100:9b43:1335:ecf2:6c36)
03:20:43 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
03:22:05 Pixi` joins (~Pixi@user/pixi)
03:25:35 × Pixi quits (~Pixi@user/pixi) (Ping timeout: 260 seconds)
03:27:08 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:32:05 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
03:34:18 × trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
03:37:04 trickard joins (~trickard@cpe-92-98-47-163.wireline.com.au)
03:40:16 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
03:42:58 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:43:29 × trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
03:47:10 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
03:47:34 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
03:47:34 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
03:47:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
03:48:16 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
03:48:40 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
03:49:00 troydm joins (~troydm@user/troydm)
03:50:25 caubert joins (~caubert@user/caubert)
03:50:37 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
03:51:48 trickard_ is now known as trickard
03:53:19 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
03:54:49 × trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
03:57:07 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
03:57:25 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
03:58:44 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:02:44 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
04:03:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
04:03:29 todi joins (~todi@p57803331.dip0.t-ipconnect.de)
04:11:44 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
04:14:29 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
04:15:25 Pixi__ joins (~Pixi@user/pixi)
04:16:59 euphores joins (~SASL_euph@user/euphores)
04:18:19 × Pixi` quits (~Pixi@user/pixi) (Ping timeout: 245 seconds)
04:23:03 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:24:38 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
04:26:04 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
04:26:45 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
04:28:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
04:38:50 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:43:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
04:45:24 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
04:46:04 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
04:47:11 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
04:53:44 × caubert quits (~caubert@user/caubert) (Ping timeout: 245 seconds)
04:53:54 trickard_ is now known as trickard
04:54:37 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:59:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
05:00:38 prdak joins (~Thunderbi@user/prdak)
05:00:53 caubert joins (~caubert@user/caubert)
05:05:09 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 260 seconds)
05:08:05 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
05:08:16 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:15:13 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
05:15:22 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
05:16:06 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
05:22:58 aaronv__ joins (~aaronv@user/aaronv)
05:23:18 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
05:24:01 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
05:26:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:27:43 Pixi` joins (~Pixi@user/pixi)
05:27:50 FANTOM joins (~fantom@33be818f.skybroadband.com)
05:30:20 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
05:30:49 × Pixi__ quits (~Pixi@user/pixi) (Ping timeout: 245 seconds)
05:31:06 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
05:31:44 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
05:32:41 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
05:33:25 todi joins (~todi@p57803331.dip0.t-ipconnect.de)
05:38:13 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
05:40:24 × gorignak quits (~gorignak@user/gorignak) (Ping timeout: 252 seconds)
05:41:26 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
05:42:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:46:22 prdak joins (~Thunderbi@user/prdak)
05:47:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
05:50:45 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
05:56:27 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
05:57:52 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:00:49 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds)
06:01:35 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
06:03:08 × Miroboru quits (~myrvoll@188.113.108.92) (Ping timeout: 252 seconds)
06:04:41 prdak joins (~Thunderbi@user/prdak)
06:05:45 × aaronv__ quits (~aaronv@user/aaronv) (Ping timeout: 276 seconds)
06:06:39 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
06:06:46 aaronv__ joins (~aaronv@user/aaronv)
06:07:49 tromp joins (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2)
06:08:06 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
06:09:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:11:08 × prdak quits (~Thunderbi@user/prdak) (Quit: prdak)
06:11:30 prdak joins (~Thunderbi@user/prdak)
06:12:43 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
06:13:25 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
06:14:51 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
06:18:33 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
06:22:16 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
06:25:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:25:49 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
06:29:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
06:30:06 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
06:30:47 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
06:37:19 × tromp quits (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) (Quit: My iMac has gone to sleep. ZZZzzz…)
06:38:10 × trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
06:38:24 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
06:40:13 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
06:40:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:41:26 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
06:44:41 tromp joins (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2)
06:45:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
06:46:03 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
06:46:25 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
06:51:30 prdak1 joins (~Thunderbi@user/prdak)
06:52:11 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
06:53:44 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
06:54:18 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
06:55:48 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 276 seconds)
06:55:48 prdak1 is now known as prdak
06:59:57 Miroboru joins (~myrvoll@84.215.249.36)
07:00:00 × caconym74 quits (~caconym@user/caconym) (Quit: bye)
07:00:37 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
07:00:40 caconym74 joins (~caconym@user/caconym)
07:01:00 × aaronv__ quits (~aaronv@user/aaronv) (Ping timeout: 276 seconds)
07:03:31 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
07:03:32 notzmv joins (~umar@user/notzmv)
07:04:37 ubert1 joins (~Thunderbi@77.119.175.34.wireless.dyn.drei.com)
07:06:24 <Axman6> Did anything ever happen with https://certification.haskell.foundation/? I feel like I sent an email off and then never heard anything
07:06:29 <jackdk> Ditto
07:07:30 arahael joins (~arahael@user/arahael)
07:08:49 × yabobay quits (~pizza@ppp046103041035.access.hol.gr) (Ping timeout: 260 seconds)
07:12:47 × trickard_ quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
07:13:01 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
07:14:19 yabobay joins (~pizza@ppp046103041035.access.hol.gr)
07:14:56 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
07:16:12 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
07:16:59 poscat joins (~poscat@user/poscat)
07:21:29 Digitteknohippie is now known as Digit
07:26:40 acidjnk joins (~acidjnk@p200300d6e70b6660f54dbe6cdef613d5.dip0.t-ipconnect.de)
07:28:10 chele joins (~chele@user/chele)
07:31:33 × notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds)
07:36:05 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
07:41:08 merijn joins (~merijn@77.242.116.146)
07:45:48 lxsameer joins (~lxsameer@Serene/lxsameer)
07:47:35 × ft quits (~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving)
07:52:14 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
07:56:36 patri_ joins (~patri@user/patri)
07:56:39 × patri quits (~patri@user/patri) (Ping timeout: 245 seconds)
08:04:01 × ubert1 quits (~Thunderbi@77.119.175.34.wireless.dyn.drei.com) (Ping timeout: 248 seconds)
08:06:46 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
08:08:34 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
08:09:28 poscat joins (~poscat@user/poscat)
08:10:08 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
08:10:21 poscat joins (~poscat@user/poscat)
08:15:55 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
08:22:26 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
08:25:25 × absence quits (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 276 seconds)
08:30:00 ljdarj joins (~Thunderbi@user/ljdarj)
08:30:33 absence joins (torgeihe@hildring.pvv.ntnu.no)
08:36:49 × trickard_ quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
08:37:04 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
08:38:46 prdak joins (~Thunderbi@user/prdak)
08:41:21 × tromp quits (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:44:08 × trickard_ quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
08:47:23 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
08:50:12 kuribas joins (~user@ptr-17d51eoaqysj5hpqn01.18120a2.ip6.access.telenet.be)
08:50:41 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds)
08:51:21 chexum joins (~quassel@gateway/tor-sasl/chexum)
08:57:59 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
09:02:25 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
09:04:09 × caubert quits (~caubert@user/caubert) (Ping timeout: 245 seconds)
09:06:07 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
09:10:21 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds)
09:10:56 qqe joins (~qqq@185.54.20.5)
09:14:34 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
09:16:07 caubert joins (~caubert@user/caubert)
09:18:40 merijn joins (~merijn@77.242.116.146)
09:25:58 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
09:26:06 × qqe quits (~qqq@185.54.20.5) (Remote host closed the connection)
09:30:58 dhil joins (~dhil@5.151.29.141)
09:32:54 × end quits (~end@user/end/x-0094621) (Ping timeout: 245 seconds)
09:33:37 × bcksl quits (~bcksl@user/bcksl) (Ping timeout: 248 seconds)
09:34:16 × sus0 quits (zero@user/zeromomentum) (Ping timeout: 252 seconds)
09:34:17 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
09:40:55 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
09:41:04 × Square quits (~Square@user/square) (Ping timeout: 260 seconds)
09:42:08 qqe joins (~qqq@185.54.20.5)
09:45:23 sus0 joins (zero@user/zeromomentum)
09:47:39 notzmv joins (~umar@user/notzmv)
09:48:17 tromp joins (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2)
09:49:05 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
09:50:51 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
09:51:19 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
09:52:05 poscat joins (~poscat@user/poscat)
09:53:12 szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
09:57:23 bcksl joins (~bcksl@user/bcksl)
10:02:15 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
10:04:25 end joins (~end@user/end/x-0094621)
10:10:14 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds)
10:14:27 × notzmv quits (~umar@user/notzmv) (Ping timeout: 244 seconds)
10:19:49 × caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds)
10:20:24 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
10:23:05 merijn joins (~merijn@77.242.116.146)
10:24:00 sajenim joins (~sajenim@user/sajenim)
10:24:14 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds)
10:27:44 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds)
10:27:45 trickard_ is now known as trickard
10:31:34 caubert joins (~caubert@user/caubert)
10:32:17 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
10:34:27 × poscat quits (~poscat@user/poscat) (Read error: Connection reset by peer)
10:34:36 poscat0x04 joins (~poscat@user/poscat)
10:35:40 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
10:35:42 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
10:35:56 × caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds)
10:37:00 Lord_of_Life_ is now known as Lord_of_Life
10:39:16 merijn joins (~merijn@77.242.116.146)
10:39:24 × mceresa quits (~mceresa@user/mceresa) (Ping timeout: 276 seconds)
10:39:34 mceresa joins (~mceresa@user/mceresa)
10:47:57 caubert joins (~caubert@user/caubert)
10:58:36 __monty__ joins (~toonn@user/toonn)
10:58:37 prdak joins (~Thunderbi@user/prdak)
10:58:46 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
11:00:05 × caconym74 quits (~caconym@user/caconym) (Quit: bye)
11:01:33 jespada joins (~jespada@r179-24-24-70.dialup.adsl.anteldata.net.uy)
11:02:19 caconym74 joins (~caconym@user/caconym)
11:06:18 × tromp quits (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:09:09 <ski> jreicher : oh (elaborate ?)
11:10:27 tromp joins (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2)
11:11:54 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
11:23:17 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
11:24:13 xff0x joins (~xff0x@2405:6580:b080:900:c28b:dc6e:ea0:b5fe)
11:27:18 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
11:28:38 × jaror quits (~jaror@5070ACC7.static.ziggozakelijk.nl) (Ping timeout: 244 seconds)
11:36:50 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
11:37:15 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
11:38:12 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds)
11:41:54 r-sta joins (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net)
11:42:33 <r-sta> i have a large cabal.project and it is unwieldy, i want to split it up into statically compled libraries such as those i build from hackage using cabal. how do i do this?
11:45:13 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
11:50:45 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
11:53:26 × tromp quits (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:57:04 ttybitnik joins (~ttybitnik@user/wolper)
12:00:22 × r-sta quits (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) (Quit: Client closed)
12:00:46 yin joins (~zero@user/zero)
12:00:57 ljdarj joins (~Thunderbi@user/ljdarj)
12:02:21 <yin> i read a comment on reddit about latest releases of ghc bringing features that make it easier to diagnose and fix "lazyness issues". what can this person be referring to?
12:09:44 Razn0r joins (~quassel@86-87-140-238.fixed.kpn.net)
12:10:03 Digitteknohippie joins (~user@user/digit)
12:10:59 × Digit quits (~user@user/digit) (Ping timeout: 260 seconds)
12:12:29 × trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
12:13:11 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
12:15:13 × yin quits (~zero@user/zero) (Ping timeout: 248 seconds)
12:16:10 yin joins (~zero@user/zero)
12:16:26 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
12:16:53 Digitteknohippie is now known as Digit
12:20:38 ensyde joins (~ensyde@c-73-147-64-74.hsd1.va.comcast.net)
12:21:14 × pavonia quits (~user@user/siracusa) (Ping timeout: 245 seconds)
12:21:54 × trickard_ quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
12:23:52 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
12:25:01 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
12:25:12 × ensyde quits (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 252 seconds)
12:25:54 Square joins (~Square@user/square)
12:28:18 notzmv joins (~umar@user/notzmv)
12:28:31 × jespada quits (~jespada@r179-24-24-70.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
12:29:49 × qqe quits (~qqq@185.54.20.5) (Ping timeout: 276 seconds)
12:34:45 jespada joins (~jespada@r179-24-24-70.dialup.adsl.anteldata.net.uy)
12:35:31 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...)
12:39:29 × trickard_ quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
12:39:43 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
12:40:24 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
12:44:34 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
12:46:24 prdak joins (~Thunderbi@user/prdak)
12:46:45 ljdarj joins (~Thunderbi@user/ljdarj)
12:47:32 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
12:49:28 × caubert quits (~caubert@user/caubert) (Ping timeout: 272 seconds)
12:49:48 trickard_ is now known as trickard
12:51:14 caubert joins (~caubert@user/caubert)
12:51:54 mreh joins (~matthew@host86-146-25-68.range86-146.btcentralplus.com)
12:56:07 × caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds)
12:59:48 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
13:01:25 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
13:02:53 × trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:03:08 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
13:05:00 × notzmv quits (~umar@user/notzmv) (Ping timeout: 276 seconds)
13:06:13 notzmv joins (~umar@user/notzmv)
13:06:25 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
13:07:29 rvalue- joins (~rvalue@about/hackers/rvalue)
13:08:01 × rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 248 seconds)
13:08:03 caubert joins (~caubert@user/caubert)
13:11:02 × notzmv quits (~umar@user/notzmv) (Ping timeout: 252 seconds)
13:12:28 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
13:13:11 tromp joins (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2)
13:16:35 rvalue- is now known as rvalue
13:18:00 fp joins (~Thunderbi@wireless-86-50-140-9.open.aalto.fi)
13:19:57 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
13:25:50 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
13:27:18 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
13:32:17 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
13:33:01 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
13:33:28 dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net)
13:38:34 × dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
13:43:21 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
13:49:10 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
13:50:00 ystael joins (~ystael@user/ystael)
13:52:03 trickard_ is now known as trickard
13:56:25 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
13:58:16 × polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection)
13:59:12 polykernel joins (~polykerne@user/polykernel)
13:59:21 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit)
14:11:29 × caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds)
14:15:33 weary-traveler joins (~user@user/user363627)
14:17:39 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
14:17:58 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
14:24:01 prdak joins (~Thunderbi@user/prdak)
14:31:38 qqe joins (~qqq@185.54.23.185)
14:37:52 × fp quits (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 276 seconds)
14:41:16 caubert joins (~caubert@user/caubert)
14:46:34 × califax quits (~califax@user/califx) (Remote host closed the connection)
14:49:24 califax joins (~califax@user/califx)
14:55:18 × jespada quits (~jespada@r179-24-24-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 244 seconds)
14:55:40 ttybitnik joins (~ttybitnik@user/wolper)
14:56:39 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
14:59:47 jespada joins (~jespada@r179-24-24-70.dialup.adsl.anteldata.net.uy)
15:01:18 × trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
15:01:31 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
15:04:33 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
15:05:12 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
15:07:16 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
15:07:36 fp joins (~Thunderbi@hof1.kyla.fi)
15:11:13 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
15:14:35 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
15:14:35 gorignak joins (~gorignak@user/gorignak)
15:28:10 × olivial_ quits (~benjaminl@c-76-144-39-121.hsd1.or.comcast.net) (Ping timeout: 252 seconds)
15:30:05 olivial joins (~benjaminl@user/benjaminl)
15:34:51 trickard_ is now known as trickard
15:38:07 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
15:40:51 falafel joins (~falafel@syn-076-094-081-093.res.spectrum.com)
15:42:52 prdak joins (~Thunderbi@user/prdak)
15:43:19 × caubert quits (~caubert@user/caubert) (Ping timeout: 245 seconds)
15:43:30 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
15:43:36 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
15:44:45 Digitteknohippie joins (~user@user/digit)
15:45:39 × Digit quits (~user@user/digit) (Ping timeout: 260 seconds)
15:46:56 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
15:47:29 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
15:53:03 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...)
15:53:12 L29Ah joins (~L29Ah@wikipedia/L29Ah)
15:53:27 caubert joins (~caubert@user/caubert)
15:57:07 × falafel quits (~falafel@syn-076-094-081-093.res.spectrum.com) (Ping timeout: 272 seconds)
16:05:34 × Square quits (~Square@user/square) (Ping timeout: 244 seconds)
16:09:11 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds)
16:10:56 dmj` joins (uid72307@id-72307.hampstead.irccloud.com)
16:11:16 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
16:13:14 falafel joins (~falafel@2a0c:5a87:3104:8f01::f709)
16:16:25 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
16:17:46 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
16:24:04 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
16:28:04 ft joins (~ft@p3e9bc89f.dip0.t-ipconnect.de)
16:28:09 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
16:29:04 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
16:30:09 × fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 248 seconds)
16:30:20 × rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.9.1 - https://znc.in)
16:30:37 lxsameer joins (~lxsameer@Serene/lxsameer)
16:31:09 × jreicher quits (~user@user/jreicher) (Ping timeout: 260 seconds)
16:31:52 rembo10 joins (~rembo10@main.remulis.com)
16:31:54 jreicher joins (~user@user/jreicher)
16:31:59 × falafel quits (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection)
16:32:08 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
16:35:45 Pixi` is now known as Pixi
16:35:49 athan joins (~athan@syn-047-132-161-157.res.spectrum.com)
16:37:42 × tromp quits (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:40:26 × athan quits (~athan@syn-047-132-161-157.res.spectrum.com) (Client Quit)
16:42:55 MaybeMonad joins (~MaybeMona@user/MaybeMonad)
16:43:32 fp joins (~Thunderbi@hof1.kyla.fi)
16:44:58 × fp quits (~Thunderbi@hof1.kyla.fi) (Remote host closed the connection)
16:45:24 fp joins (~Thunderbi@hof1.kyla.fi)
16:46:16 × yin quits (~zero@user/zero) (Ping timeout: 252 seconds)
16:50:33 × yabobay quits (~pizza@ppp046103041035.access.hol.gr) (Quit: Konversation terminated!)
16:51:17 tromp joins (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2)
16:54:43 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
16:57:37 × jespada quits (~jespada@r179-24-24-70.dialup.adsl.anteldata.net.uy) (Quit: Textual IRC Client: www.textualapp.com)
17:00:52 × caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds)
17:01:46 jespada joins (~jespada@r179-24-24-70.dialup.adsl.anteldata.net.uy)
17:02:07 yin joins (~zero@user/zero)
17:02:49 × Razn0r quits (~quassel@86-87-140-238.fixed.kpn.net) (Ping timeout: 272 seconds)
17:03:55 × trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
17:04:10 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
17:04:59 × MaybeMonad quits (~MaybeMona@user/MaybeMonad) (Ping timeout: 245 seconds)
17:10:49 × dhil quits (~dhil@5.151.29.141) (Ping timeout: 245 seconds)
17:12:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:12:43 caubert joins (~caubert@user/caubert)
17:13:50 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
17:14:31 weary-traveler joins (~user@user/user363627)
17:17:03 × caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds)
17:17:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
17:19:38 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
17:19:39 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
17:27:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:31:07 caubert joins (~caubert@user/caubert)
17:34:26 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
17:41:54 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
17:44:34 × fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 245 seconds)
17:45:51 Frostillicus joins (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df)
17:45:55 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:48:51 × Frostillicus quits (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df) (Read error: Connection reset by peer)
17:49:27 Digitteknohippie is now known as Digit
17:49:45 Frostillicus joins (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df)
17:50:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
17:57:08 <mreh> if GHC is unboxing my strict fields, shouldn't that show up in -ddump-simpl?
17:58:19 <mreh> I'm compiling with -O2, and they're just strict `Word8`s.
17:58:56 target_i joins (~target_i@user/target-i/x-6023099)
18:00:21 × ncf quits (~n@monade.li) (Quit: Fairfarren.)
18:00:30 × Frostillicus quits (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df) (Read error: Connection reset by peer)
18:00:38 ncf joins (~n@monade.li)
18:02:37 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds)
18:02:42 Frostillicus joins (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df)
18:03:52 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
18:06:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:09:16 <tomsmeding> mreh: how are you declaring the data type precisely, and how are you diagnosting that they're just strict Word8s?
18:10:27 <tomsmeding> just a guess as to what you're referring to: if you write `data Foo = Foo !Word8`, then GHC will not unbox that automatically
18:10:37 <tomsmeding> you have to write `{-# UNPACK #-} !Word8`
18:11:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
18:11:16 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
18:12:34 YaShhhh joins (~YaShhhh@2409:4042:4d1d:b39c:ec5a:df32:2786:bcad)
18:13:14 weary-traveler joins (~user@user/user363627)
18:14:22 <mreh> tomsmeding: not even with --funbox-small-strict-fields?
18:14:30 <tomsmeding> oh, maybe
18:14:49 <mreh> I'm just confirming wether it's turned on with my -O2 flag
18:15:00 <tomsmeding> user guide says "implied by -O"
18:15:29 <mreh> that's the latest version of the user guide
18:15:35 <mreh> but yeah, it probably should be
18:15:52 <mreh> this is less clear: https://downloads.haskell.org/ghc/9.6.7/docs/users_guide/using-optimisation.html?highlight=unbox#ghc-flag--funbox-small-strict-fields
18:16:28 euphores joins (~SASL_euph@user/euphores)
18:17:33 × Frostillicus quits (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df) (Read error: Connection reset by peer)
18:17:41 ensyde joins (~ensyde@c-73-147-64-74.hsd1.va.comcast.net)
18:18:08 <mreh> anyway, I'm seeing boxed types in the constructor in the core that is dumped, and I'm getting zillions of allocations, so I guess it's not unpacked them
18:18:22 Frostillicus joins (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df)
18:20:20 <mreh> oh, no I get what's happened, the constructor takes boxed types and is then unboxing them
18:21:56 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:23:25 × YaShhhh quits (~YaShhhh@2409:4042:4d1d:b39c:ec5a:df32:2786:bcad) (Ping timeout: 272 seconds)
18:24:02 × ensyde quits (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 244 seconds)
18:27:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
18:33:59 × phma quits (phma@2001:5b0:210d:81d8:ebbe:358e:d440:a29e) (Read error: Connection reset by peer)
18:34:59 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds)
18:37:35 phma joins (~phma@host-67-44-208-23.hnremote.net)
18:37:44 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:38:54 trickard_ is now known as trickard
18:42:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
18:43:34 × acidjnk quits (~acidjnk@p200300d6e70b6660f54dbe6cdef613d5.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
18:48:40 × mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 252 seconds)
18:49:27 × Frostillicus quits (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df) (Read error: Connection reset by peer)
18:50:39 mreh joins (~matthew@host86-146-25-68.range86-146.btcentralplus.com)
18:52:50 Frostillicus joins (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df)
18:53:19 × michalz quits (~michalz@185.246.207.205) (Ping timeout: 276 seconds)
18:53:33 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:55:03 michalz joins (~michalz@185.246.207.221)
18:56:21 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
18:56:21 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
18:57:28 fp joins (~Thunderbi@hof1.kyla.fi)
18:58:33 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
19:00:01 × caconym74 quits (~caconym@user/caconym) (Quit: bye)
19:00:41 caconym74 joins (~caconym@user/caconym)
19:01:04 acidjnk joins (~acidjnk@p200300d6e70b66211036d412d118a821.dip0.t-ipconnect.de)
19:01:44 × Frostillicus quits (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df) (Read error: Connection reset by peer)
19:04:56 Frostillicus joins (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df)
19:08:13 × Frostillicus quits (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df) (Read error: Connection reset by peer)
19:09:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:09:21 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
19:10:01 × fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 244 seconds)
19:10:13 sprotte24 joins (~sprotte24@p200300d16f065b001972c1ed9b092c7b.dip0.t-ipconnect.de)
19:14:23 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
19:18:16 × qqe quits (~qqq@185.54.23.185) (Quit: Lost terminal)
19:19:09 Frostillicus joins (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df)
19:25:07 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:27:07 × Frostillicus quits (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df) (Read error: Connection reset by peer)
19:29:56 Frostillicus joins (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df)
19:30:27 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
19:34:54 notzmv joins (~umar@user/notzmv)
19:37:38 × Frostillicus quits (~Frostilli@2600:380:5920:c3a4:b137:637f:8b84:43df) (Quit: Frostillicus)
19:40:46 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:43:31 × notzmv quits (~umar@user/notzmv) (Ping timeout: 268 seconds)
19:45:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
19:47:23 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
19:48:26 × trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
19:48:41 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
19:53:56 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
19:54:20 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
19:55:24 × trickard_ quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
19:56:31 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:01:10 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
20:01:46 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
20:08:31 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
20:09:38 falafel joins (~falafel@2a0c:5a87:3104:8f01::f709)
20:11:54 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:12:54 × trickard_ quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
20:18:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
20:18:47 aaronv__ joins (~aaronv@user/aaronv)
20:19:44 × falafel quits (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection)
20:26:11 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
20:27:39 × jespada quits (~jespada@r179-24-24-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
20:29:58 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:31:54 jespada joins (~jespada@r179-25-42-81.dialup.adsl.anteldata.net.uy)
20:35:27 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
20:39:49 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
20:40:10 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
20:41:17 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds)
20:41:54 × chele quits (~chele@user/chele) (Remote host closed the connection)
20:42:04 prdak joins (~Thunderbi@user/prdak)
20:45:46 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:47:08 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
20:50:59 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
20:52:00 trickard_ is now known as trickard
20:59:36 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
21:01:31 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:03:49 × potatoespotatoes quits (~quassel@user/potatoespotatoes) (Ping timeout: 248 seconds)
21:06:35 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
21:07:45 × tromp quits (~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:09:04 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 244 seconds)
21:10:50 aaronv_ joins (~aaronv@user/aaronv)
21:14:39 × aaronv__ quits (~aaronv@user/aaronv) (Ping timeout: 260 seconds)
21:17:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:21:57 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
21:24:05 × aaronv_ quits (~aaronv@user/aaronv) (Ping timeout: 248 seconds)
21:32:01 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:32:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:36:13 pavonia joins (~user@user/siracusa)
21:36:42 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
21:38:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
21:39:20 aaronv_ joins (~aaronv@user/aaronv)
21:48:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:49:59 × Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 245 seconds)
21:53:09 × aaronv_ quits (~aaronv@user/aaronv) (Ping timeout: 260 seconds)
21:55:21 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
22:04:16 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
22:06:39 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
22:06:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:12:13 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
22:13:45 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
22:20:03 falafel joins (~falafel@79.117.174.28)
22:20:33 × euphores quits (~SASL_euph@user/euphores) (Ping timeout: 248 seconds)
22:25:14 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:26:42 euphores joins (~SASL_euph@user/euphores)
22:26:53 Sgeo joins (~Sgeo@user/sgeo)
22:29:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
22:30:14 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
22:31:32 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
22:35:40 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
22:40:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:43:40 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
22:44:21 emmanuelux joins (~emmanuelu@user/emmanuelux)
22:45:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
22:48:18 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
22:49:49 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
22:54:28 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:56:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:57:52 × mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 244 seconds)
23:01:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
23:11:57 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:16:11 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
23:17:05 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
23:20:49 × arahael quits (~arahael@user/arahael) (Ping timeout: 244 seconds)
23:21:10 × sajenim quits (~sajenim@user/sajenim) (Ping timeout: 252 seconds)
23:24:40 sajenim joins (~sajenim@user/sajenim)
23:25:19 × acidjnk quits (~acidjnk@p200300d6e70b66211036d412d118a821.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
23:27:03 jmcantrell joins (~weechat@user/jmcantrell)
23:27:17 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
23:27:45 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:28:59 × sprotte24 quits (~sprotte24@p200300d16f065b001972c1ed9b092c7b.dip0.t-ipconnect.de) (Quit: Leaving)
23:29:08 Nosrep_ joins (~jimothy@user/nosrep)
23:30:21 Nosrep_ is now known as Nosrep
23:30:27 × dmj` quits (uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
23:32:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
23:34:17 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
23:34:40 dtman34 joins (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490)
23:37:33 × falafel quits (~falafel@79.117.174.28) (Ping timeout: 272 seconds)
23:40:29 × trickard quits (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
23:41:18 × dtman34 quits (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
23:43:04 trickard_ joins (~trickard@cpe-92-98-47-163.wireline.com.au)
23:43:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:46:04 × nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
23:48:18 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
23:52:41 Digitteknohippie joins (~user@user/digit)
23:53:53 × Digit quits (~user@user/digit) (Ping timeout: 268 seconds)
23:59:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)

All times are in UTC on 2025-07-08.