2025/11/20

2025-11-20 00:00:09 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 00:01:43 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-20 00:02:49 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-20 00:02:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-11-20 00:13:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 00:16:14 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-11-20 00:16:52 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2025-11-20 00:18:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-20 00:22:00 +0100jzargo(~jzargo@user/jzargo) (Remote host closed the connection)
2025-11-20 00:29:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 00:32:14 +0100mstksg(~jle`@2603:8001:3b00:11:7b1b:9c2a:d864:1c7b) (Ping timeout: 256 seconds)
2025-11-20 00:33:01 +0100jle`(~jle`@2603:8001:3b00:11:658b:1126:1485:2a54) jle`
2025-11-20 00:34:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 00:34:35 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-20 00:34:35 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-20 00:38:25 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-11-20 00:38:47 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-20 00:44:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 00:51:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 01:02:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 01:05:35 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 01:05:48 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-20 01:07:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 01:07:47 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-20 01:09:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 01:13:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 01:14:49 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-20 01:15:50 +0100Googulator(~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed)
2025-11-20 01:15:53 +0100Googulator32(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 01:19:09 +0100acidjnk(~acidjnk@p200300d6e7171905a0f67e02758d7dec.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-11-20 01:23:19 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 255 seconds)
2025-11-20 01:24:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 01:29:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 01:35:37 +0100trickard_trickard
2025-11-20 01:39:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 01:40:20 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-20 01:44:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 01:45:19 +0100acidjnk(~acidjnk@p200300d6e7171953e8b0aac5d1f9ff99.dip0.t-ipconnect.de) acidjnk
2025-11-20 01:48:04 +0100xff0x(~xff0x@2405:6580:b080:900:a3f:66bc:6216:f05b) (Ping timeout: 264 seconds)
2025-11-20 01:52:19 +0100Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.)
2025-11-20 01:53:48 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 265 seconds)
2025-11-20 01:55:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 01:58:09 +0100acidjnk(~acidjnk@p200300d6e7171953e8b0aac5d1f9ff99.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2025-11-20 01:58:13 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-20 02:00:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 02:02:25 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 245 seconds)
2025-11-20 02:02:55 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-11-20 02:07:57 +0100omidmash8(~omidmash@user/omidmash) omidmash
2025-11-20 02:08:17 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2025-11-20 02:08:38 +0100EvanR(~EvanR@user/evanr) EvanR
2025-11-20 02:09:40 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 255 seconds)
2025-11-20 02:09:40 +0100omidmash8omidmash
2025-11-20 02:10:31 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-11-20 02:10:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 02:15:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-20 02:15:45 +0100Googulator32(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 02:15:51 +0100Googulator75(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 02:17:45 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-20 02:18:28 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-20 02:19:30 +0100trickard__(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-11-20 02:21:05 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-20 02:21:17 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-11-20 02:21:44 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-20 02:23:25 +0100trickard__(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 02:23:32 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-11-20 02:26:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 02:30:27 +0100trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-11-20 02:30:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-20 02:34:31 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-20 02:41:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 02:41:56 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-20 02:42:21 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-11-20 02:46:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-11-20 02:47:25 +0100wbrawner(~wbrawner@129.146.105.153) (Ping timeout: 264 seconds)
2025-11-20 02:48:06 +0100wbrawner(~wbrawner@129.146.105.153) wbrawner
2025-11-20 02:51:22 +0100 <EvanR> tomsmeding, two resources with their own individual lock, is beyond the pale. Jumps the shark.
2025-11-20 02:53:01 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-11-20 02:57:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 03:02:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 03:02:11 +0100Shark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) Shark8
2025-11-20 03:09:23 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-20 03:12:06 +0100Dhark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net)
2025-11-20 03:12:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 03:15:08 +0100Shark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 256 seconds)
2025-11-20 03:15:10 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-11-20 03:15:32 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-20 03:15:43 +0100Googulator75(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 03:15:51 +0100Googulator75(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 03:17:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 03:22:59 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-11-20 03:23:20 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-11-20 03:23:23 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-20 03:28:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 03:32:11 +0100jreicher(~user@user/jreicher) (Quit: brb)
2025-11-20 03:32:51 +0100ian_(~ian@81.2.99.210) (Ping timeout: 244 seconds)
2025-11-20 03:33:09 +0100Igloo(~ian@81.2.99.210)
2025-11-20 03:33:29 +0100jreicher(~user@user/jreicher) jreicher
2025-11-20 03:34:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-20 03:42:46 +0100annamalai(~annamalai@157.33.241.221) (Ping timeout: 244 seconds)
2025-11-20 03:44:32 +0100trickard___(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 03:45:04 +0100trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-11-20 03:46:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 03:50:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-20 03:59:58 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-11-20 04:00:41 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-11-20 04:01:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 04:03:07 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-20 04:06:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 04:07:23 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-11-20 04:13:55 +0100mange(~mange@user/mange) mange
2025-11-20 04:15:42 +0100Googulator67(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 04:16:00 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-20 04:16:10 +0100Googulator75(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 04:16:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 04:20:43 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds)
2025-11-20 04:21:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-11-20 04:28:49 +0100wbrawner(~wbrawner@129.146.105.153) (Ping timeout: 264 seconds)
2025-11-20 04:29:44 +0100wbrawner(~wbrawner@129.146.105.153) wbrawner
2025-11-20 04:30:12 +0100vardhan(~vardhan@122.172.81.59)
2025-11-20 04:32:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 04:37:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 04:38:32 +0100aditya_an1l(~aditya_an@user/aditya-an1l:63825) aditya_an1l
2025-11-20 04:41:34 +0100annamalai(~annamalai@157.32.219.191) annamalai
2025-11-20 04:47:15 +0100wbrawner(~wbrawner@129.146.105.153) (Ping timeout: 244 seconds)
2025-11-20 04:47:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 04:48:50 +0100trickard___trickard
2025-11-20 04:49:14 +0100wbrawner(~wbrawner@129.146.105.153) wbrawner
2025-11-20 04:52:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 05:01:49 +0100wbrawner(~wbrawner@129.146.105.153) (Ping timeout: 264 seconds)
2025-11-20 05:03:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 05:04:27 +0100Square3(~Square@user/square) Square
2025-11-20 05:06:17 +0100wbrawner(~wbrawner@129.146.105.153) wbrawner
2025-11-20 05:08:57 +0100trickard(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 05:09:10 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 05:09:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-11-20 05:12:15 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-20 05:15:07 +0100superstar64(~superstar@2600:1700:57e0:e3c0::49) superstar64
2025-11-20 05:17:28 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 05:19:34 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 05:21:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 05:21:34 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-11-20 05:23:12 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-20 05:26:01 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-20 05:26:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-20 05:34:21 +0100Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2025-11-20 05:36:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 05:38:49 +0100trickard_trickard
2025-11-20 05:41:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 05:50:32 +0100omidmash(~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
2025-11-20 05:52:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 05:53:41 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-20 05:54:59 +0100omidmash(~omidmash@user/omidmash) omidmash
2025-11-20 05:57:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 06:07:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 06:07:50 +0100bggd(~bgg@2a01:e0a:819:1510:5811:6b25:6842:9300) (Quit: std::move)
2025-11-20 06:12:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 06:15:46 +0100Googulator98(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 06:15:46 +0100Googulator67(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 06:18:41 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 264 seconds)
2025-11-20 06:21:04 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-11-20 06:21:59 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-20 06:23:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 06:25:16 +0100superstar64(~superstar@2600:1700:57e0:e3c0::49) (Quit: Leaving)
2025-11-20 06:28:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-20 06:38:03 +0100mange(~mange@user/mange) (Quit: Zzz...)
2025-11-20 06:38:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 06:39:38 +0100trickard(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 06:39:52 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 06:45:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-20 06:50:55 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-11-20 06:51:14 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-20 06:56:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 07:01:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-20 07:12:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 07:14:36 +0100michalz(~michalz@185.246.207.197)
2025-11-20 07:16:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-20 07:18:14 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-11-20 07:23:17 +0100vardhan(~vardhan@122.172.81.59) (Ping timeout: 244 seconds)
2025-11-20 07:25:14 +0100vardhan(~vardhan@122.172.85.87)
2025-11-20 07:26:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 07:30:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 07:41:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 07:46:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-11-20 07:56:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 08:01:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 08:02:29 +0100Square3(~Square@user/square) (Ping timeout: 264 seconds)
2025-11-20 08:09:52 +0100chele(~chele@user/chele) chele
2025-11-20 08:12:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 08:13:40 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-11-20 08:16:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 08:27:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 08:32:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-20 08:43:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 08:48:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-20 08:48:56 +0100X-Scale(~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds)
2025-11-20 08:50:23 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-20 08:57:40 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
2025-11-20 08:58:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 09:00:22 +0100gf33(~gf3@user/gf3) gf3
2025-11-20 09:01:31 +0100gf3(~gf3@user/gf3) (Ping timeout: 264 seconds)
2025-11-20 09:01:31 +0100gf33gf3
2025-11-20 09:03:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 09:10:50 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-11-20 09:14:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 09:15:49 +0100Googulator59(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 09:15:49 +0100Googulator98(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 09:19:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 09:22:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-20 09:27:37 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-11-20 09:31:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-20 09:33:20 +0100fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-11-20 09:33:46 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-11-20 09:36:24 +0100trickard_trickard
2025-11-20 09:36:30 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-20 09:37:04 +0100Clint(~Clint@user/clint) (Ping timeout: 256 seconds)
2025-11-20 09:37:43 +0100Clint(~Clint@user/clint) Clint
2025-11-20 09:40:04 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-20 09:41:02 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 256 seconds)
2025-11-20 09:41:13 +0100trickard(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 09:41:27 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 09:43:13 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
2025-11-20 09:48:03 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-11-20 09:54:03 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-11-20 09:58:26 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441)
2025-11-20 10:00:08 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-11-20 10:02:22 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-11-20 10:04:31 +0100fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds)
2025-11-20 10:04:52 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
2025-11-20 10:07:31 +0100APic(apic@apic.name) (Ping timeout: 264 seconds)
2025-11-20 10:11:36 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 10:12:15 +0100AlexNoo(~AlexNoo@178.34.162.20) (Quit: Leaving)
2025-11-20 10:12:37 +0100AlexNoo(~AlexNoo@178.34.162.20)
2025-11-20 10:15:36 +0100Googulator59(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 10:15:43 +0100Googulator59(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 10:19:15 +0100acidjnk(~acidjnk@p54ad5278.dip0.t-ipconnect.de) acidjnk
2025-11-20 10:26:03 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 10:26:16 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 10:37:20 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-11-20 10:39:24 +0100trickard_trickard
2025-11-20 10:49:15 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 10:50:52 +0100trickard(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 10:51:06 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 10:56:06 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-11-20 10:59:30 +0100APic(apic@apic.name) APic
2025-11-20 11:03:07 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 11:03:21 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 11:03:54 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 11:16:59 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-11-20 11:20:42 +0100Googulator80(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 11:20:48 +0100Googulator59(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 11:22:02 +0100X-Scale(~ARM@6.67.114.89.rev.vodafone.pt) X-Scale
2025-11-20 11:29:35 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-20 11:40:16 +0100Pozyomka(~pyon@user/pyon) (Ping timeout: 264 seconds)
2025-11-20 11:44:15 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 11:44:29 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 12:00:24 +0100__monty__(~toonn@user/toonn) toonn
2025-11-20 12:03:17 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Remote host closed the connection)
2025-11-20 12:03:33 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-20 12:13:32 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-11-20 12:14:29 +0100 <kuribas> Can I inspect TH generated code?
2025-11-20 12:14:30 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-20 12:15:03 +0100 <kuribas> I am getting an error about ambiguous fields when using duplicated records in a TH function.
2025-11-20 12:16:25 +0100 <kuribas> I don't know which of the code generates this.
2025-11-20 12:19:50 +0100trickard_trickard
2025-11-20 12:20:46 +0100Googulator6(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 12:20:47 +0100Googulator80(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 12:22:10 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441)
2025-11-20 12:25:17 +0100trickard(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 12:25:30 +0100trickard(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 12:29:05 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 250 seconds)
2025-11-20 12:32:29 +0100jreicher(~user@user/jreicher) (Ping timeout: 264 seconds)
2025-11-20 12:35:14 +0100 <__monty__> kuribas: -ddump-splices maybe?
2025-11-20 12:35:54 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-20 12:39:19 +0100deptype_(~deptype@124.123.133.153) (Ping timeout: 264 seconds)
2025-11-20 12:40:22 +0100deptype(~deptype@124.123.133.153)
2025-11-20 12:40:52 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
2025-11-20 12:43:40 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 12:50:07 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2025-11-20 13:01:39 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 13:04:20 +0100trickard(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 13:04:34 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 13:06:13 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 255 seconds)
2025-11-20 13:18:32 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 13:22:04 +0100 <tomsmeding> kuribas: see also the conversation before yours https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1700223#trid1700223
2025-11-20 13:23:23 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-11-20 13:34:13 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-20 13:34:26 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-11-20 13:34:42 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 13:35:05 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-11-20 13:39:00 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-11-20 13:41:48 +0100guest0x000f(~guest0x00@182.253.240.68)
2025-11-20 13:45:17 +0100guest0x000f(~guest0x00@182.253.240.68) (Remote host closed the connection)
2025-11-20 13:50:40 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 13:57:36 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-11-20 14:02:19 +0100 <kuribas> tomsmeding: I think dump-splices will do, but thanks!
2025-11-20 14:09:11 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 14:13:52 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-11-20 14:19:25 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 14:24:55 +0100xff0x(~xff0x@2405:6580:b080:900:8837:488e:4fa1:2e)
2025-11-20 14:29:24 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-20 14:33:56 +0100haritz(~hrtz@140.228.70.141)
2025-11-20 14:33:56 +0100haritz(~hrtz@140.228.70.141) (Changing host)
2025-11-20 14:33:56 +0100haritz(~hrtz@user/haritz) haritz
2025-11-20 14:35:19 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-11-20 14:37:33 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-11-20 14:39:32 +0100__monty__(~toonn@user/toonn) toonn
2025-11-20 14:41:25 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 14:41:54 +0100trickard_trickard
2025-11-20 14:43:38 +0100Googulator6(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 14:43:57 +0100Googulator6(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 14:44:40 +0100trickard(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 14:44:53 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 14:47:57 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 14:48:02 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-20 14:51:27 +0100spew(~spew@user/spew) spew
2025-11-20 14:54:43 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441)
2025-11-20 14:55:19 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 15:00:33 +0100Nachtgespenst(~user@user/siracusa) (Quit: Bye!)
2025-11-20 15:06:58 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-11-20 15:08:14 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-11-20 15:16:14 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 15:16:28 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 15:20:39 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 15:20:44 +0100Googulator6(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 15:22:35 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-20 15:28:05 +0100tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-11-20 15:28:49 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 15:29:08 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 15:30:17 +0100timide(~timide@user/timide) timide
2025-11-20 15:33:35 +0100 <merijn> kuribas: I dunno if someone answer you already while I was disconnected, but GHC has a flag to write out all generated splices to files
2025-11-20 15:34:01 +0100 <lucabtz> yeah someone mentions -ddump-splices
2025-11-20 15:34:07 +0100 <merijn> kuribas: I don't remember exactly when and you generally wanna do some fiddling with file naming/output dirs to make them findable
2025-11-20 15:36:34 +0100SlackCoder(~SlackCode@remote.nationalgallery.org.ky) SlackCoder
2025-11-20 15:39:43 +0100 <tomsmeding> if you just pass -ddump-splices they get written to stderr, which works fine if you apply it to just one file (hint: {-# OPTIONS -ddump-splices #-})
2025-11-20 15:46:27 +0100 <kuribas> yeah, I am setting this from ghci
2025-11-20 15:58:37 +0100sshine_sshine
2025-11-20 16:03:35 +0100foul_owl(~kerry@94.156.149.94) (Ping timeout: 250 seconds)
2025-11-20 16:05:55 +0100qqe(~qqq@185.54.21.140)
2025-11-20 16:06:35 +0100Square3(~Square@user/square) Square
2025-11-20 16:11:41 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2025-11-20 16:11:56 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2025-11-20 16:12:49 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-20 16:14:07 +0100trickard_trickard
2025-11-20 16:17:01 +0100 <yin> Learning about FRP and understanding the problam with using Monad in its context, I ask if Selective Applicative offers useful expressiveness without the downsides
2025-11-20 16:18:05 +0100foul_owl(~kerry@94.156.149.97) foul_owl
2025-11-20 16:18:55 +0100 <yin> (I'm also just learning about Selective Applicatives)
2025-11-20 16:19:34 +0100Xe_Xe
2025-11-20 16:24:04 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-11-20 16:24:45 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441)
2025-11-20 16:26:59 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 16:53:28 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 264 seconds)
2025-11-20 16:55:58 +0100merijn(~merijn@77.242.116.146) (Quit: Reconnecting)
2025-11-20 16:56:13 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-20 16:59:28 +0100SlackCoder(~SlackCode@remote.nationalgallery.org.ky) (Ping timeout: 244 seconds)
2025-11-20 17:00:44 +0100SlackCoder(~SlackCode@remote.nationalgallery.org.ky) SlackCoder
2025-11-20 17:05:13 +0100trickard(~trickard@cpe-95-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-20 17:05:27 +0100trickard_(~trickard@cpe-95-98-47-163.wireline.com.au)
2025-11-20 17:05:52 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 17:06:09 +0100Googulator84(~Googulato@85-238-67-234.pool.digikabel.hu)
2025-11-20 17:06:22 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-20 17:09:33 +0100Square3(~Square@user/square) (Ping timeout: 252 seconds)
2025-11-20 17:12:58 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-20 17:29:44 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-11-20 17:30:15 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
2025-11-20 17:31:04 +0100Lord_of_Life_Lord_of_Life
2025-11-20 17:31:05 +0100lucabtz(~lucabtz@user/lucabtz) (Remote host closed the connection)
2025-11-20 17:31:59 +0100 <yin> I'm gathering yes, but limited
2025-11-20 17:38:28 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-11-20 17:44:19 +0100 <kuribas> Is this ambiguous? ((Database.MySQL.Hasqlator.Typed.arg . (ld_id :: LdSiteGroupXLdSiteFields -> GHC.Word.Word64)) `Database.MySQL.Hasqlator.Typed.into` F.ld_id)
2025-11-20 17:44:33 +0100 <kuribas> if F.ld_id is a duplicate record field?
2025-11-20 17:44:43 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-11-20 17:45:05 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 264 seconds)
2025-11-20 17:46:15 +0100 <kuribas> Since it could infer ldSiteGroupXLdSiteFields ?
2025-11-20 17:49:36 +0100 <sam113101> how can I do that "fnName (x:_) = access the full list here"
2025-11-20 17:53:17 +0100 <Leary> sam113101: `fnName xs@(x:_) = ... xs ...`
2025-11-20 17:54:26 +0100 <kuribas> Do I need to replace ld_id with a lambda?
2025-11-20 17:56:01 +0100vardhan(~vardhan@122.172.85.87) (Ping timeout: 255 seconds)
2025-11-20 17:56:06 +0100arandombit(~arandombi@2603:7000:4600:ffbe:8999:baad:b69b:8c3e)
2025-11-20 17:56:06 +0100arandombit(~arandombi@2603:7000:4600:ffbe:8999:baad:b69b:8c3e) (Changing host)
2025-11-20 17:56:06 +0100arandombit(~arandombi@user/arandombit) arandombit
2025-11-20 17:57:43 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no)
2025-11-20 17:57:46 +0100trickard_trickard
2025-11-20 18:03:06 +0100Googulator84(~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed)
2025-11-20 18:03:22 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 18:04:35 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2025-11-20 18:04:50 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2025-11-20 18:07:00 +0100jj(~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) (Ping timeout: 245 seconds)
2025-11-20 18:07:12 +0100OWS(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net)
2025-11-20 18:07:25 +0100statusbot3(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2025-11-20 18:07:29 +0100Pixi`(~Pixi@user/pixi) Pixi
2025-11-20 18:07:49 +0100codolio(~dolio@130.44.140.168) dolio
2025-11-20 18:07:54 +0100natto-(~natto@129.154.243.159) natto
2025-11-20 18:08:07 +0100ystael_(~ystael@user/ystael) (Ping timeout: 264 seconds)
2025-11-20 18:08:07 +0100shr\ke(~shrike@user/shrke:31298) (Ping timeout: 264 seconds)
2025-11-20 18:08:08 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer)
2025-11-20 18:08:08 +0100natto17(~natto@129.154.243.159) (Read error: Connection reset by peer)
2025-11-20 18:08:12 +0100aditya_an1l(~aditya_an@user/aditya-an1l:63825) (Ping timeout: 256 seconds)
2025-11-20 18:08:13 +0100down200(~down200@shell.lug.mtu.edu) (Read error: Connection reset by peer)
2025-11-20 18:08:24 +0100dolio(~dolio@130.44.140.168) (Ping timeout: 252 seconds)
2025-11-20 18:08:32 +0100jj(~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) omentic
2025-11-20 18:08:45 +0100mhatta_(~mhatta@www21123ui.sakura.ne.jp)
2025-11-20 18:08:46 +0100mhatta(~mhatta@www21123ui.sakura.ne.jp) (Ping timeout: 256 seconds)
2025-11-20 18:08:54 +0100qqe(~qqq@185.54.21.140) (Quit: Lost terminal)
2025-11-20 18:09:02 +0100shr\ke(~shrike@user/paxhumana) paxhumana
2025-11-20 18:09:02 +0100shr\ke(~shrike@user/paxhumana) (Changing host)
2025-11-20 18:09:02 +0100shr\ke(~shrike@user/shrke:31298) shr\ke
2025-11-20 18:09:10 +0100divya(divya@140.238.251.170) (Ping timeout: 265 seconds)
2025-11-20 18:09:40 +0100 <sam113101> alright I'm stuck
2025-11-20 18:09:45 +0100ystael(~ystael@user/ystael) ystael
2025-11-20 18:09:56 +0100divya(divya@140.238.251.170) divya
2025-11-20 18:10:01 +0100 <sam113101> Parse error: module header, import declaration
2025-11-20 18:10:03 +0100 <sam113101> or top-level declaration expected.
2025-11-20 18:10:05 +0100 <sam113101> what's that lol
2025-11-20 18:10:05 +0100aditya_an1l(~aditya_an@user/aditya-an1l:63825) aditya_an1l
2025-11-20 18:10:11 +0100Xe_(~Xe@perl/impostor/xe) Xe
2025-11-20 18:10:12 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-11-20 18:10:31 +0100Dhark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 264 seconds)
2025-11-20 18:10:31 +0100Pixi(~Pixi@user/pixi) (Ping timeout: 264 seconds)
2025-11-20 18:10:34 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds)
2025-11-20 18:10:43 +0100j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-11-20 18:10:51 +0100 <geekosaur> what do you have?
2025-11-20 18:10:54 +0100 <geekosaur> @where paste
2025-11-20 18:10:54 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2025-11-20 18:10:55 +0100synchrom1(~john@2406:5a00:2412:2c00:394c:fa0b:5fac:c256) synchromesh
2025-11-20 18:10:57 +0100synchromesh(~john@2406:5a00:2412:2c00:b060:d053:cb8a:93d5) (Read error: Connection reset by peer)
2025-11-20 18:11:07 +0100Xe(~Xe@perl/impostor/xe) (Ping timeout: 264 seconds)
2025-11-20 18:11:07 +0100tessier_(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 264 seconds)
2025-11-20 18:11:10 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 18:11:29 +0100Googulator84(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-20 18:11:30 +0100tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2025-11-20 18:11:43 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-11-20 18:12:04 +0100 <sam113101> https://paste.tomsmeding.com/BaeblCYG
2025-11-20 18:12:22 +0100 <geekosaur> not that I'll be able to hep you but I have to run; hopefully someone else is around, but they'll need to see that as well. The whole file, please.
2025-11-20 18:12:26 +0100down200(~down200@shell.lug.mtu.edu) down200
2025-11-20 18:12:55 +0100 <geekosaur> that last line is the problem
2025-11-20 18:13:27 +0100 <geekosaur> compiled Haskell is like C or Java, everything must be in a function or be a declaration, and the stuff you want to actually run must be in a function named main
2025-11-20 18:14:24 +0100 <sam113101> thanks
2025-11-20 18:15:59 +0100 <fgarcia> you can prefix the line with 'main = '
2025-11-20 18:16:29 +0100 <fgarcia> for multiple lines, it can instead be 'main = do' with the lines under that
2025-11-20 18:18:11 +0100 <sam113101> do I absolutely need to write the types down?
2025-11-20 18:19:10 +0100chele(~chele@user/chele) (Remote host closed the connection)
2025-11-20 18:19:40 +0100poscat0x04(~poscat@user/poscat) poscat
2025-11-20 18:21:14 +0100poscat(~poscat@user/poscat) (Ping timeout: 256 seconds)
2025-11-20 18:22:45 +0100 <chromoblob> no, not absolutely, though it may help
2025-11-20 18:23:01 +0100 <mauke> in most cases types can be inferred automatically
2025-11-20 18:23:24 +0100 <mauke> but top-level type declarations can help the human reader (i.e. me) figure out what's going on
2025-11-20 18:23:45 +0100 <mauke> they also help the type checker produce better error messages when something goes wrong
2025-11-20 18:23:51 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-11-20 18:24:19 +0100 <chromoblob> there was also "monomorphism restriction" thingy, or got it changed in new GHC versions?
2025-11-20 18:24:31 +0100 <probie> sam113101: In most cases you don't _need_ to, but it's generally a good idea. However with the code you've posted, you should probably write one for `nextCollatz` (if that's what you're still looking at)
2025-11-20 18:24:35 +0100 <mauke> that's still a thing
2025-11-20 18:25:16 +0100 <mauke> MR doesn't apply to this code, though
2025-11-20 18:28:53 +0100 <fgarcia> oh, there are times when i have a function and ghci gets confused with the typing. that is what mandates the signature to me. though i also have warnings i have been ignoring too hehe
2025-11-20 18:30:40 +0100 <fgarcia> other times if i write multiple functions without signatures and am trying to figure out why the type checker is mad, adding signatures will help narrow down the exact line causing ghc's wrath
2025-11-20 18:33:38 +0100 <fgarcia> i like it though. ghc can be better at figuring out the types than i am. over half the time i will add the inferences to my source
2025-11-20 18:34:46 +0100Googulator84Googulator
2025-11-20 18:35:18 +0100jzargo(~jzargo@user/jzargo) jzargo
2025-11-20 18:36:07 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-20 18:39:24 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-11-20 18:48:11 +0100annamalai(~annamalai@157.32.219.191) (Read error: Connection reset by peer)
2025-11-20 18:48:25 +0100annamalai(~annamalai@2409:4042:4e39:7842::9e0a:bf0a) annamalai
2025-11-20 18:51:44 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-20 19:06:20 +0100SlackCoder(~SlackCode@remote.nationalgallery.org.ky) (Leaving)
2025-11-20 19:07:52 +0100Googulator(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-20 19:08:06 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-20 19:08:11 +0100Googulator(~Googulato@85-238-67-234.pool.digikabel.hu)
2025-11-20 19:09:43 +0100trickard___(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-11-20 19:09:49 +0100trickard(~trickard@cpe-95-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-11-20 19:13:28 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft
2025-11-20 19:13:35 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-11-20 19:14:56 +0100tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 240 seconds)
2025-11-20 19:17:26 +0100tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-11-20 19:18:22 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-11-20 19:26:28 +0100tromp(~textual@2001:1c00:3487:1b00:e845:fcad:fefd:4441)