Home liberachat/#haskell: Logs Calendar

Logs on 2025-11-23 (liberachat/#haskell)

00:00:37 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
00:00:51 trickard_ is now known as trickard
00:01:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
00:05:37 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
00:07:29 × trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
00:08:22 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
00:12:10 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:15:29 × deptype quits (~deptype@2406:b400:3a:9d2f:e7a:c619:d9db:72ca) (Remote host closed the connection)
00:15:34 × falafel quits (~falafel@2603:8000:ca00:83fb:1db5:6d25:28c0:7c1c) (Ping timeout: 260 seconds)
00:15:49 deptype joins (~deptype@2406:b400:3a:9d2f:58af:c3cf:7523:9d7e)
00:16:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
00:19:02 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
00:19:05 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
00:27:42 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:32:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
00:34:14 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
00:35:31 × deptype quits (~deptype@2406:b400:3a:9d2f:58af:c3cf:7523:9d7e) (Remote host closed the connection)
00:36:08 deptype joins (~deptype@2406:b400:3a:9d2f:1357:6dfc:e412:f7d7)
00:38:19 × sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 260 seconds)
00:38:59 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds)
00:43:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:47:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
00:52:15 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
00:56:03 × deptype quits (~deptype@2406:b400:3a:9d2f:1357:6dfc:e412:f7d7) (Remote host closed the connection)
00:56:22 deptype joins (~deptype@2406:b400:3a:9d2f:bb6e:f001:1147:4225)
00:58:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:00:55 × peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
01:01:53 Ranhir joins (~Ranhir@157.97.53.139)
01:03:00 peterbecich joins (~Thunderbi@172.222.148.214)
01:03:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
01:04:58 omidmash2 joins (~omidmash@user/omidmash)
01:06:56 × omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds)
01:06:56 omidmash2 is now known as omidmash
01:13:58 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:16:35 × deptype quits (~deptype@2406:b400:3a:9d2f:bb6e:f001:1147:4225) (Remote host closed the connection)
01:16:45 × FANTOM quits (~fantom@212.228.181.156) (Ping timeout: 256 seconds)
01:17:11 deptype joins (~deptype@2406:b400:3a:9d2f:32d0:70e1:6373:df99)
01:18:00 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
01:19:42 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
01:19:49 × peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds)
01:20:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
01:22:32 FANTOM joins (~fantom@212.228.181.156)
01:25:35 × Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.)
01:28:21 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
01:28:28 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...)
01:29:10 × smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
01:31:05 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
01:32:01 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:35:29 simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
01:36:07 × deptype quits (~deptype@2406:b400:3a:9d2f:32d0:70e1:6373:df99) (Remote host closed the connection)
01:36:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
01:36:23 deptype joins (~deptype@2406:b400:3a:9d2f:5c79:99c4:188e:be8d)
01:42:59 inline__ joins (~inlinE@2001-4dd7-868d-0-806-95a4-3af3-5db4.ipv6dyn.netcologne.de)
01:43:31 Inline is now known as Guest722
01:43:31 inline__ is now known as Inline
01:45:33 × Guest722 quits (~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) (Ping timeout: 265 seconds)
01:45:33 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer)
01:46:41 trickard_ is now known as trickard
01:47:23 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:50:16 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
01:51:45 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
01:52:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
01:52:21 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
01:55:47 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
01:56:09 × deptype quits (~deptype@2406:b400:3a:9d2f:5c79:99c4:188e:be8d) (Remote host closed the connection)
01:56:29 deptype joins (~deptype@2406:b400:3a:9d2f:c58e:24ad:86aa:5394)
01:57:16 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
01:59:00 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
02:02:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:05:40 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
02:07:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
02:09:05 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
02:09:24 × acidjnk quits (~acidjnk@p200300d6e71719523cbe3f8115602cb8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
02:10:25 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
02:14:57 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
02:16:11 × deptype quits (~deptype@2406:b400:3a:9d2f:c58e:24ad:86aa:5394) (Remote host closed the connection)
02:16:47 deptype joins (~deptype@2406:b400:3a:9d2f:4869:d6ad:c618:adee)
02:18:15 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:22:53 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
02:24:52 × haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
02:25:06 haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc)
02:33:39 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:38:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
02:38:25 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
02:38:45 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
02:39:50 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
02:45:02 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
02:49:01 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:56:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
02:58:44 × deptype quits (~deptype@2406:b400:3a:9d2f:4869:d6ad:c618:adee) (Remote host closed the connection)
02:59:03 deptype joins (~deptype@2406:b400:3a:9d2f:433a:2d81:b94b:8de8)
03:00:55 tromp joins (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7)
03:01:26 × tromp quits (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7) (Client Quit)
03:05:02 × op_4 quits (~tslil@2a01:4f8:c0c:7952::1) (Remote host closed the connection)
03:05:34 op_4 joins (~tslil@user/op-4/x-9116473)
03:07:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:11:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
03:12:38 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
03:19:16 bgamari_ joins (~bgamari@64.223.158.105)
03:20:13 × bgamari quits (~bgamari@64.223.200.74) (Ping timeout: 246 seconds)
03:22:35 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:23:17 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
03:27:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
03:27:29 × haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds)
03:29:44 annamalai joins (~annamalai@157.32.219.200)
03:31:39 hiecaq joins (~hiecaq@user/hiecaq)
03:35:46 × deptype quits (~deptype@2406:b400:3a:9d2f:433a:2d81:b94b:8de8) (Remote host closed the connection)
03:36:21 deptype joins (~deptype@2406:b400:3a:9d2f:d8e4:b6fe:f5af:9524)
03:38:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:39:49 × karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds)
03:42:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
03:53:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:54:48 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
03:55:48 × deptype quits (~deptype@2406:b400:3a:9d2f:d8e4:b6fe:f5af:9524) (Remote host closed the connection)
03:56:24 deptype joins (~deptype@2406:b400:3a:9d2f:b5c3:7ab0:524b:e12e)
03:57:57 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
03:58:03 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
03:58:18 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds)
03:58:54 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
04:02:07 poscat0x04 joins (~poscat@user/poscat)
04:03:55 × poscat quits (~poscat@user/poscat) (Ping timeout: 264 seconds)
04:05:04 finsternis joins (~X@23.226.237.192)
04:08:50 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:11:01 × raym quits (~ray@user/raym) (Quit: leaving)
04:13:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
04:15:50 × deptype quits (~deptype@2406:b400:3a:9d2f:b5c3:7ab0:524b:e12e) (Remote host closed the connection)
04:16:26 deptype joins (~deptype@2406:b400:3a:9d2f:3c8c:7ca3:4cdd:b1a6)
04:24:20 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:27:07 jmcantrell joins (~weechat@user/jmcantrell)
04:29:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
04:35:44 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
04:35:52 × deptype quits (~deptype@2406:b400:3a:9d2f:3c8c:7ca3:4cdd:b1a6) (Remote host closed the connection)
04:36:24 jcarpenter2 joins (~lol@2603:3016:1e01:b980:f8:8139:903a:409d)
04:36:28 deptype joins (~deptype@2406:b400:3a:9d2f:eb72:eceb:9490:8b51)
04:41:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:46:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
04:57:01 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:01:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
05:12:23 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:21:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
05:21:19 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
05:32:13 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:36:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
05:37:41 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
05:38:05 rls129 joins (~rls129@150.107.206.33)
05:38:17 rls129 parts (~rls129@150.107.206.33) ()
05:38:35 rls129 joins (~rls129@150.107.206.33)
05:38:39 rls129 parts (~rls129@150.107.206.33) ()
05:47:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:47:55 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
05:47:56 peterbecich joins (~Thunderbi@172.222.148.214)
05:48:53 Googulator25 joins (~Googulato@85-238-95-93.pool.digikabel.hu)
05:52:21 × Googulator44 quits (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Ping timeout: 250 seconds)
05:54:21 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
05:55:28 × deptype quits (~deptype@2406:b400:3a:9d2f:eb72:eceb:9490:8b51) (Remote host closed the connection)
05:56:05 deptype joins (~deptype@2406:b400:3a:9d2f:9504:2374:5f60:eb6b)
05:57:16 × tuxpaint quits (~a@put.gay) (Quit: gn)
05:59:58 tuxpaint joins (~a@put.gay)
06:01:08 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
06:05:32 × Googulator25 quits (~Googulato@85-238-95-93.pool.digikabel.hu) (Quit: Client closed)
06:05:39 Googulator44 joins (~Googulato@85-238-95-93.pool.digikabel.hu)
06:05:45 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:10:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
06:10:55 × tuxpaint quits (~a@put.gay) (Quit: gn)
06:14:15 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
06:14:37 tuxpaint joins (~a@put.gay)
06:15:30 × deptype quits (~deptype@2406:b400:3a:9d2f:9504:2374:5f60:eb6b) (Remote host closed the connection)
06:16:06 deptype joins (~deptype@2406:b400:3a:9d2f:c1ce:95d7:cd5c:8fed)
06:16:43 × trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
06:19:26 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
06:21:13 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:23:48 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
06:24:58 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
06:25:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
06:33:24 qqe joins (~qqq@185.54.22.210)
06:36:01 × deptype quits (~deptype@2406:b400:3a:9d2f:c1ce:95d7:cd5c:8fed) (Remote host closed the connection)
06:36:36 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:36:37 deptype joins (~deptype@2406:b400:3a:9d2f:3e73:4502:fec3:7dff)
06:41:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
06:50:19 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds)
06:51:13 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
06:51:42 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
06:51:59 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:54:31 × Square3 quits (~Square@user/square) (Ping timeout: 240 seconds)
06:56:03 × deptype quits (~deptype@2406:b400:3a:9d2f:3e73:4502:fec3:7dff) (Remote host closed the connection)
06:56:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
06:56:27 deptype joins (~deptype@2406:b400:3a:9d2f:1708:3375:93fa:b1f)
06:57:59 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
06:59:08 sadeq_ir joins (~sadeq_ir@5.239.173.144)
06:59:29 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
06:59:49 chexum joins (~quassel@gateway/tor-sasl/chexum)
07:02:26 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
07:03:19 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
07:03:52 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
07:03:58 × sadeq_ir quits (~sadeq_ir@5.239.173.144) (Read error: Connection reset by peer)
07:07:23 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:11:28 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
07:12:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
07:18:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:18:28 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
07:21:33 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds)
07:22:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
07:30:37 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
07:33:31 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:36:35 × deptype quits (~deptype@2406:b400:3a:9d2f:1708:3375:93fa:b1f) (Remote host closed the connection)
07:37:11 deptype joins (~deptype@2406:b400:3a:9d2f:3eb7:3345:2976:d0ad)
07:38:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
07:39:04 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
07:48:56 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:55:40 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
07:56:40 × deptype quits (~deptype@2406:b400:3a:9d2f:3eb7:3345:2976:d0ad) (Remote host closed the connection)
07:57:16 deptype joins (~deptype@2406:b400:3a:9d2f:447:eeaf:45cc:d948)
08:00:01 × tt12316 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat)
08:05:16 tt12316 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803)
08:06:58 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:07:49 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
08:14:05 × flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
08:14:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
08:15:30 flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
08:16:42 × deptype quits (~deptype@2406:b400:3a:9d2f:447:eeaf:45cc:d948) (Remote host closed the connection)
08:19:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:23:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
08:30:43 tromp joins (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7)
08:34:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:36:12 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
08:36:59 chromoblob joins (~chromoblo@user/chromob1ot1c)
08:38:59 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
08:46:48 trickard_ is now known as trickard
08:49:38 × trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
08:49:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:49:51 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
08:50:48 Googulator12 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
08:50:48 × Googulator44 quits (~Googulato@85-238-95-93.pool.digikabel.hu) (Quit: Client closed)
08:52:31 × peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
08:54:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
09:01:14 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
09:02:29 × qqe quits (~qqq@185.54.22.210) (Quit: Lost terminal)
09:02:45 Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi)
09:03:54 × haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
09:03:54 chromoblob joins (~chromoblo@user/chromob1ot1c)
09:05:14 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:08:07 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
09:08:25 chromoblob joins (~chromoblo@user/chromob1ot1c)
09:09:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
09:10:35 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
09:10:58 chromoblob joins (~chromoblo@user/chromob1ot1c)
09:15:55 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
09:20:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:21:25 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
09:22:43 img joins (~img@user/img)
09:24:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
09:35:34 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:36:50 vardhan joins (~vardhan@171.48.99.231)
09:40:05 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
09:51:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:52:30 × tromp quits (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:55:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
09:55:34 × Googulator12 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
09:55:42 Googulator62 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
10:01:20 × X-Scale quits (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds)
10:01:20 × vardhan quits (~vardhan@171.48.99.231) (Read error: Connection reset by peer)
10:05:33 vardhan joins (~vardhan@49.37.241.117)
10:06:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:11:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
10:11:22 tromp joins (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7)
10:20:51 qqe joins (~qqq@185.54.22.210)
10:21:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:21:10 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
10:25:40 Googulator14 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
10:25:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
10:25:48 × Googulator62 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
10:36:26 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:39:34 × tromp quits (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7) (Quit: My iMac has gone to sleep. ZZZzzz…)
10:43:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
10:43:22 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
10:43:36 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
10:44:43 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
10:45:41 tromp joins (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7)
10:46:47 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
10:46:55 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
10:48:27 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
10:49:48 wootehfoot joins (~wootehfoo@user/wootehfoot)
10:51:24 × qqe quits (~qqq@185.54.22.210) (Remote host closed the connection)
10:51:25 smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com)
10:54:21 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
10:54:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:56:59 × abhin4v quits (uid1398@id-1398.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
10:57:34 acidjnk joins (~acidjnk@p200300d6e71719225087d4aad8d26235.dip0.t-ipconnect.de)
10:57:56 × petrichor quits (~jez@user/petrichor) (Read error: Connection reset by peer)
10:59:24 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
10:59:27 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
11:01:04 petrichor joins (~jez@user/petrichor)
11:04:43 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
11:09:53 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:13:10 X-Scale joins (~ARM@6.67.114.89.rev.vodafone.pt)
11:14:44 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
11:15:59 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
11:16:13 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
11:18:35 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds)
11:22:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:26:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
11:28:36 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
11:28:49 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
11:34:25 × annamalai quits (~annamalai@157.32.219.200) (Remote host closed the connection)
11:37:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:41:41 Miroboru joins (~myrvoll@84.215.250.50)
11:41:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
11:51:17 trickard_ is now known as trickard
11:52:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:57:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
12:00:33 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
12:05:51 Googulator16 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
12:05:51 × Googulator14 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
12:08:20 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:12:58 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
12:20:12 × vardhan quits (~vardhan@49.37.241.117) (Read error: Connection reset by peer)
12:22:33 × robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
12:23:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:27:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
12:34:34 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
12:35:46 × Googulator16 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
12:35:48 Googulator71 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
12:38:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:42:15 annamalai joins (~annamalai@157.32.219.200)
12:43:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
12:46:30 × trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
12:50:24 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
12:54:00 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:56:19 × gustrb quits (~gustrb@user/gustrb) (Remote host closed the connection)
12:58:25 × hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
12:58:41 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
13:09:23 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
13:13:40 × tabaqui quits (~tabaqui@167.71.80.236) (Quit: WeeChat 4.7.1)
13:14:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
13:20:42 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
13:24:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
13:27:32 Lycurgus joins (~juan@user/Lycurgus)
13:30:01 Xe_ is now known as Xe
13:31:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
13:39:01 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
13:41:11 sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no)
13:42:07 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
13:43:32 ttybitnik joins (~ttybitnik@user/wolper)
13:46:26 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
13:48:34 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:48:47 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
13:57:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:02:02 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
14:05:49 Googulator93 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
14:06:41 × Googulator71 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
14:11:45 trickard_ is now known as trickard
14:12:59 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:13:40 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
14:15:02 × tromp quits (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:18:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
14:21:29 × malte quits (~malte@mal.tc) (Remote host closed the connection)
14:21:42 malte joins (~malte@mal.tc)
14:25:03 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:29:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
14:32:50 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
14:34:48 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
14:37:53 bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
14:40:26 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
14:40:27 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:44:51 × cstml quits (~cstml@user/cstml) (Quit: ZNC 1.10.1 - https://znc.in)
14:44:52 Jackneill joins (~Jackneill@178-164-177-181.pool.digikabel.hu)
14:44:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
14:45:48 cstml joins (~cstml@user/cstml)
14:46:51 tromp joins (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7)
14:48:09 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
14:55:19 × sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds)
14:55:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:00:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
15:00:09 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
15:02:20 × malte quits (~malte@mal.tc) (Remote host closed the connection)
15:04:30 malte joins (~malte@mal.tc)
15:05:09 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
15:11:13 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:13:40 × trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
15:16:24 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
15:17:50 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
15:26:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:29:11 × tromp quits (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:30:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
15:32:36 × Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!)
15:34:38 sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no)
15:41:27 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:42:29 trickard_ is now known as trickard
15:45:53 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
15:48:54 × trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
15:49:07 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
15:49:10 tromp joins (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7)
15:56:49 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:01:29 karenw joins (~karenw@user/karenw)
16:01:36 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
16:03:30 haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
16:03:30 × haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
16:03:30 haritz joins (~hrtz@user/haritz)
16:10:43 Googulator56 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
16:10:54 × Googulator93 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
16:12:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:17:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
16:21:39 Lears joins (~Leary@user/Leary/x-0910699)
16:22:55 × Leary quits (~Leary@user/Leary/x-0910699) (Ping timeout: 240 seconds)
16:26:33 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
16:26:46 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
16:29:54 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
16:30:31 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
16:31:13 Lord_of_Life_ is now known as Lord_of_Life
16:40:36 euphores joins (~SASL_euph@user/euphores)
16:42:15 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:43:49 × karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds)
16:45:29 haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc)
16:45:43 × sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds)
16:47:16 × ystael quits (~ystael@user/ystael) (Ping timeout: 244 seconds)
16:47:56 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
16:47:58 sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no)
16:48:09 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
16:48:17 ystael joins (~ystael@user/ystael)
16:48:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
16:51:18 jmcantrell joins (~weechat@user/jmcantrell)
17:00:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:04:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
17:09:04 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds)
17:10:40 Googulator97 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
17:10:48 × Googulator56 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
17:15:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:19:12 × haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Quit: Leaving)
17:20:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
17:23:04 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
17:24:57 weary-traveler joins (~user@user/user363627)
17:28:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:31:36 × bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
17:32:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
17:33:14 raym joins (~ray@user/raym)
17:43:57 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:46:37 Square3 joins (~Square@user/square)
17:46:43 Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com)
17:47:58 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
17:48:04 ljdarj joins (~Thunderbi@user/ljdarj)
17:48:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
17:55:48 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
17:57:19 × annamalai quits (~annamalai@157.32.219.200) (Ping timeout: 246 seconds)
17:57:32 annamalai joins (~annamalai@117.249.230.146)
17:59:22 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:04:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
18:04:53 × ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
18:08:53 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
18:10:40 Googulator85 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
18:10:43 × Googulator97 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
18:13:46 Lycurgus joins (~juan@user/Lycurgus)
18:14:04 DetourNe- joins (DetourNetw@user/DetourNetworkUK)
18:14:22 × DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
18:14:46 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:16:25 DetourNe- is now known as DetourNetworkUK
18:16:34 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
18:18:56 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
18:24:04 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
18:25:37 × tromp quits (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:27:40 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
18:29:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:34:46 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
18:36:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
18:36:50 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
18:47:07 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:51:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
18:51:37 trickard_ is now known as trickard
18:54:03 tromp joins (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7)
18:55:36 × trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
18:58:13 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
18:58:49 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
19:02:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:04:25 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
19:06:58 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
19:08:21 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
19:13:04 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
19:13:59 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
19:16:51 target_i joins (~target_i@user/target-i/x-6023099)
19:17:58 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:18:48 falafel joins (~falafel@2603:8000:ca00:83fb:d01e:2fee:516:54fa)
19:21:14 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
19:22:46 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
19:26:14 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
19:30:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:35:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
19:45:10 Lycurgus joins (~juan@user/Lycurgus)
19:45:34 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:48:08 peterbecich joins (~Thunderbi@172.222.148.214)
19:49:02 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
19:49:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
19:59:03 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
20:00:56 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:04:32 × DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Ping timeout: 240 seconds)
20:06:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
20:06:06 ljdarj joins (~Thunderbi@user/ljdarj)
20:10:50 DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK)
20:14:35 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
20:14:49 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
20:16:21 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:18:14 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
20:19:10 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
20:21:10 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
20:25:40 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
20:31:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:31:29 <[exa]> so if I have a function (actual (->) type) and I take it as a strict or try to save it to a strict field in a datatype, what does actually happen with that at the runtime?
20:32:42 × DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Ping timeout: 252 seconds)
20:32:55 <[exa]> (with plain old STG I'd assume it's gonna make sure that the function on the heap is an actual closure instead of a thunk, does that hold nowadays with ghc?)
20:33:03 Sgeo joins (~Sgeo@user/sgeo)
20:33:06 <geekosaur> "strict" in HASKELL means "evaluated to WHNF", and a function is already in WHNF
20:33:18 <geekosaur> (why did that get all caps?)
20:33:25 <geekosaur> aiui at least
20:33:48 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
20:34:02 <Lycurgus> what client are you using? or did u lose control of u?
20:34:26 <geekosaur> I may have overheld the shift key; not doing very well today…
20:34:36 <Lycurgus> maybe STG bumped it up
20:35:06 <haskellbridge> <Zemyla> There's a difference between a function and a thunk that evaluates to a function, though.
20:35:14 <[exa]> now looking at the original STG paper they actually call everything a "closure" so even less clear :D
20:35:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
20:35:37 <geekosaur> the thunk should be evaluated
20:36:08 <EvanR> a closure contains what's needed to evaluate something
20:37:01 <int-e> > let a = undefined `seq` id in (23, a `seq` 42)
20:37:04 <lambdabot> (23,*Exception: Prelude.undefined
20:37:11 <EvanR> pointer to code, and zero or more other things
20:37:30 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
20:37:48 <[exa]> EvanR: there was a distinction between thunks that have all args they need and thunks that still need more (I referred to these as closures but I likely messed up the naming even more)
20:38:20 <monochrom> [exa]: An example is that an unevaluated function can be an "unresolved" case like "if 1>0 then (\x -> x+1) else (\x -> x-1)" and then you force it to resolve to "(\x -> x+1)"
20:38:36 greatfulgrapefru joins (~greatfulg@2600:387:15:6131::3)
20:38:41 DetourNetworkUK joins (DetourNetw@user/DetourNetworkUK)
20:38:43 <[exa]> monochrom: yeah I thought like that
20:38:50 greatfulgrapefru is now known as hi
20:38:55 <[exa]> well I guess, let's Debug.Trace and verify this
20:39:05 hi is now known as gratefulgrapefru
20:39:16 <geekosaur> I think in the case where it's a partial application you might get a PAP node
20:39:40 <monochrom> That too.
20:41:28 <geekosaur> also note that in that case, the partially applied values will not count as part of determining WHNF
20:41:53 × gratefulgrapefru quits (~greatfulg@2600:387:15:6131::3) (Changing host)
20:41:53 gratefulgrapefru joins (~greatfulg@user/gratefulgrapefru)
20:42:25 <[exa]> oh yes, PAP node what what I had in mind, thanks
20:42:26 <geekosaur> the function (or PAP node) itself will be in WHNF, but just as strictness doesn't descend past the first constructor, it won't descend into function parameters
20:42:36 <[exa]> so PAP exists in ghc runtime? if so that's great
20:42:46 <geekosaur> yes, it's part of STG
20:43:01 <geekosaur> doesn't exist above it, it's part of the STG evaluation machinery
20:43:19 <[exa]> anyway the verification with trace seems OK
20:43:23 <[exa]> thanks all :)
20:43:41 <int-e> https://gitlab.haskell.org/ghc/ghc/-/blob/master/rts/include/rts/storage/ClosureTypes.h -- only 66 types of heap objects to go through and understand ;-)
20:43:54 <geekosaur> 🙂
20:44:07 <monochrom> Probably not in older STG papers. You have to look for one of those "eval-apply vs push-something" papers. Or better, scrape the GHC wiki.
20:44:15 <[exa]> yeah that's why I was wondering if the original STG intuition still holds :D
20:44:49 <monochrom> One can argue: "intuition" holds, implementation techniques changed.
20:45:13 EvanR stands in the corner with a mere SECD machine
20:45:49 <[exa]> wait are these tags?!! <- nerd screaming voice
20:46:27 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:47:14 <EvanR> what is a tag again
20:47:15 <int-e> yes but the heap objects aren't tagged with these directly; the actual tag is a pointer that can be used to find an info table, and one of the info table fields is its closure type.
20:47:22 <EvanR> in this context
20:47:36 <int-e> EvanR: you're it
20:47:45 <EvanR> is it like tagged union
20:48:25 × gratefulgrapefru quits (~greatfulg@user/gratefulgrapefru) (Quit: Client closed)
20:49:42 <[exa]> oh so this is an indirect tag
20:50:51 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
20:51:04 <[exa]> ah true makes sense, it doesn't cost anything to throw them int to the impl tables and we get inspectable heap
20:51:20 <[exa]> *into
20:51:25 <[exa]> cool
20:53:13 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
20:56:50 humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net)
20:57:36 <int-e> The most prominent use of these closure types is for guiding garbage collection, because that'll often largely with pointers to a heap object and no further information, and then has to enumerate children and/or copy the object.
20:58:00 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds)
20:58:29 <int-e> s/often largely/largely deal/ (editing gone wrong)
20:58:32 <[exa]> that's what the evacuate/scavenge "methods" were for, no?
20:58:39 <int-e> yeah
20:58:43 <[exa]> or no wait that got slashed later, right?
20:59:44 <int-e> evcuate+scavenge are still the main workers for the copying GC
21:00:39 <[exa]> I thought these completely define the pointers handling
21:01:04 <[exa]> as in, no other info should be needed, hopefully
21:01:18 <int-e> I think I don't know what your "that" was.
21:01:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:02:08 × euphores quits (~SASL_euph@user/euphores) (Ping timeout: 240 seconds)
21:02:10 <int-e> [exa]: Well stuff like "FUN" looks at more data in the info table to figure out which heap object fields are pointers and which are nonpointers. So it's not *just* the type.
21:02:42 <int-e> Stuff like FUN_0_1 exists for small arities to avoid this extra lookup.
21:03:00 <[exa]> oh so it's a shortcut essentially. OK
21:03:01 <int-e> hmm
21:03:07 <int-e> I should use CONSTR_ for this
21:03:18 × humasect_ quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer)
21:03:35 <[exa]> I recall some paper that did like 16 variants of these for all combinations of packed&unpacked things
21:03:43 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
21:03:52 <int-e> (FUN* objects are unapplied; the distinction is made to support function applications in the mutator, not for the benefit of GC)
21:06:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
21:07:49 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
21:08:11 <[exa]> oh these are for small functions, like PAP but nicely static without the extra metadata?
21:08:16 <[exa]> if I got it right
21:09:35 × infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection)
21:11:12 infinity0 joins (~infinity0@pwned.gg)
21:11:28 <int-e> Well, not really because a PAP always has at least one argument applied.
21:12:38 <[exa]> ah yes otherwise it's FUN.
21:12:40 <[exa]> ok
21:12:47 <[exa]> *phew*
21:13:09 <int-e> While a FUN is basically just a pointer to a piece of code that can be jumped into once all the arguments are supplied and put on the stack
21:16:16 Nachtgespenst joins (~user@user/siracusa)
21:17:14 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:17:33 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
21:19:51 × ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0)
21:23:41 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
21:32:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:36:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
21:36:38 jmcantrell joins (~weechat@user/jmcantrell)
21:42:01 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
21:44:06 × trickard_ quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
21:44:19 trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au)
21:45:46 Googulator50 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
21:45:46 × Googulator85 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
21:47:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:49:56 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
21:50:06 × Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 256 seconds)
21:51:41 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
21:52:44 ouilemur joins (~jgmerritt@user/ouilemur)
21:54:58 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
22:00:53 jmcantrell joins (~weechat@user/jmcantrell)
22:02:50 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:03:43 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds)
22:05:32 L29Ah joins (~L29Ah@wikipedia/L29Ah)
22:06:20 Sgeo joins (~Sgeo@user/sgeo)
22:07:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
22:09:42 × j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
22:12:43 j1n37 joins (~j1n37@user/j1n37)
22:16:34 × peterbecich quits (~Thunderbi@172.222.148.214) (Quit: peterbecich)
22:18:13 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:21:17 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
22:22:53 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
22:26:25 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
22:28:21 <tomsmeding> [exa]: I didn't read all this but are you accelerating again
22:28:54 <tomsmeding> because yes, seq'ing the function you get from `runN acc` does compilation
22:33:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:37:42 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
22:38:16 × annamalai quits (~annamalai@117.249.230.146) (Ping timeout: 256 seconds)
22:38:49 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
22:38:59 divlamir joins (~divlamir@user/divlamir)
22:44:34 jmcantrell joins (~weechat@user/jmcantrell)
22:46:38 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
22:48:03 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...)
22:48:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:50:35 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
22:54:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
22:56:41 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
23:00:49 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
23:05:19 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds)
23:06:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:10:04 × tromp quits (~textual@2001:1c00:3487:1b00:b4d9:61f2:c274:e6c7) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:10:34 Lears is now known as Leary
23:11:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
23:15:11 × Inline quits (~inlinE@2001-4dd7-868d-0-806-95a4-3af3-5db4.ipv6dyn.netcologne.de) (Quit: Leaving)
23:21:53 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:26:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
23:35:43 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
23:37:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:40:05 Lycurgus joins (~juan@user/Lycurgus)
23:42:11 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
23:45:39 Googulator92 joins (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
23:45:48 × Googulator50 quits (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
23:49:17 trickard_ is now known as trickard
23:52:56 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:54:38 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
23:57:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)

All times are in UTC on 2025-11-23.