2025/10/28

2025-10-28 00:00:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 00:03:36 +0100Alex_test_(~al_test@85.174.182.61)
2025-10-28 00:05:43 +0100Googulator5(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 00:05:49 +0100Googulator59(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 00:10:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 00:15:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 00:16:24 +0100LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-10-28 00:18:29 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-10-28 00:21:55 +0100Pozyomka(~pyon@user/pyon) (Ping timeout: 264 seconds)
2025-10-28 00:24:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 00:29:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-28 00:31:18 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-28 00:40:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 00:41:21 +0100Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-28 00:41:35 +0100Zemy(~Zemy@72.178.108.235)
2025-10-28 00:42:07 +0100Zemy_(~Zemy@2600:100c:b046:9707:e433:baff:fecb:789f)
2025-10-28 00:42:07 +0100Zemy(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-28 00:42:46 +0100Zemy(~Zemy@72.178.108.235)
2025-10-28 00:43:36 +0100Pozyomka(~pyon@user/pyon) pyon
2025-10-28 00:43:58 +0100Zemy_(~Zemy@2600:100c:b046:9707:e433:baff:fecb:789f) (Read error: Connection reset by peer)
2025-10-28 00:44:12 +0100Zemy_(~Zemy@2600:100c:b046:9707:54d4:21ff:fef3:7616)
2025-10-28 00:44:15 +0100pavonia(~user@user/siracusa) siracusa
2025-10-28 00:45:29 +0100Zemy(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-28 00:45:46 +0100Zemy(~Zemy@72.178.108.235)
2025-10-28 00:46:01 +0100Zemy_(~Zemy@2600:100c:b046:9707:54d4:21ff:fef3:7616) (Read error: Connection reset by peer)
2025-10-28 00:46:39 +0100Zemy_(~Zemy@2600:100c:b046:9707:446a:f4ff:feb4:7eab)
2025-10-28 00:46:40 +0100Zemy(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-28 00:46:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-28 00:47:12 +0100Zemy(~Zemy@72.178.108.235)
2025-10-28 00:48:06 +0100Zemy_(~Zemy@2600:100c:b046:9707:446a:f4ff:feb4:7eab) (Read error: Connection reset by peer)
2025-10-28 00:48:30 +0100Zemy(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-28 00:48:33 +0100Zemy_(~Zemy@2600:100c:b046:9707:e814:97ff:feff:6dd6)
2025-10-28 00:49:04 +0100Zemy(~Zemy@72.178.108.235)
2025-10-28 00:52:15 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-28 00:52:43 +0100Zemy_(~Zemy@2600:100c:b046:9707:e814:97ff:feff:6dd6) (Ping timeout: 255 seconds)
2025-10-28 00:58:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 01:02:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-28 01:05:22 +0100Googulator59(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 01:05:34 +0100Googulator59(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 01:10:45 +0100Googulator58(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 01:11:12 +0100Googulator59(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 01:11:23 +0100tromp(~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-28 01:13:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 01:19:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-28 01:20:42 +0100LearsLeary
2025-10-28 01:25:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 01:26:32 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-28 01:31:12 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds)
2025-10-28 01:31:32 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-10-28 01:31:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-28 01:31:54 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-28 01:35:46 +0100Googulator58(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 01:35:50 +0100Googulator85(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 01:40:13 +0100trickard__(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 01:41:11 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-10-28 01:41:25 +0100trickard(~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-10-28 01:42:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 01:48:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 01:49:23 +0100gabiruh_(~gabiruh@vps19177.publiccloud.com.br) (Remote host closed the connection)
2025-10-28 01:49:41 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-10-28 01:50:34 +0100Googulator85(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 01:50:35 +0100Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-10-28 01:50:39 +0100Googulator91(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 01:55:56 +0100Googulator48(~Googulato@84-236-65-182.pool.digikabel.hu)
2025-10-28 01:56:17 +0100Googulator91(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 01:57:44 +0100kaskal(~kaskal@2a02:8388:1a8b:7d00:2bf0:62e:e362:6c40) (Ping timeout: 265 seconds)
2025-10-28 01:58:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 01:59:48 +0100ttybitnik(~ttybitnik@user/wolper) (Ping timeout: 260 seconds)
2025-10-28 02:01:19 +0100kaskal(~kaskal@84-115-235-223.cable.dynamic.surfer.at) kaskal
2025-10-28 02:03:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-28 02:05:39 +0100Googulator15(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 02:05:42 +0100Googulator48(~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed)
2025-10-28 02:10:02 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-28 02:14:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 02:21:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 02:22:56 +0100otto_s(~user@p5b0443f3.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2025-10-28 02:24:50 +0100otto_s(~user@p5b044d54.dip0.t-ipconnect.de)
2025-10-28 02:25:40 +0100Googulator45(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 02:25:40 +0100Googulator15(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 02:25:40 +0100synchromesh(~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) (Read error: Connection reset by peer)
2025-10-28 02:26:51 +0100synchromesh(~john@2406:5a00:2412:2c00:4c21:135:a77d:75dc) synchromesh
2025-10-28 02:28:48 +0100werneta(~werneta@71.83.160.242) werneta
2025-10-28 02:32:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 02:32:47 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-10-28 02:32:58 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-10-28 02:35:56 +0100Googulator59(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 02:36:18 +0100Googulator45(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 02:36:21 +0100kaskal(~kaskal@84-115-235-223.cable.dynamic.surfer.at) (Ping timeout: 256 seconds)
2025-10-28 02:37:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-28 02:40:58 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2025-10-28 02:41:20 +0100kaskal(~kaskal@84-115-235-223.cable.dynamic.surfer.at) kaskal
2025-10-28 02:43:52 +0100califax(~califax@user/califx) califx
2025-10-28 02:45:13 +0100xff0x(~xff0x@2405:6580:b080:900:8892:ecf5:ee58:72c0) (Ping timeout: 255 seconds)
2025-10-28 02:46:23 +0100werneta(~werneta@71.83.160.242) (Remote host closed the connection)
2025-10-28 02:46:55 +0100trickard__(~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2025-10-28 02:48:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 02:50:04 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 02:52:31 +0100xff0x(~xff0x@2405:6580:b080:900:8892:ecf5:ee58:72c0)
2025-10-28 02:52:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-10-28 02:57:37 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-10-28 03:01:01 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 03:03:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 03:08:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-28 03:19:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 03:20:34 +0100Googulator59(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 03:20:41 +0100Googulator79(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 03:25:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 03:27:17 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-28 03:32:25 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
2025-10-28 03:35:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 03:39:50 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-10-28 03:40:24 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-28 03:40:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-28 03:42:59 +0100annamalai(~annamalai@157.33.245.57) annamalai
2025-10-28 03:45:01 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2025-10-28 03:45:33 +0100Googulator79(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 03:45:45 +0100Googulator79(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 03:47:26 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Remote host closed the connection)
2025-10-28 03:47:43 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-28 03:48:06 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-28 03:51:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 03:58:21 +0100Zemy_(~Zemy@2600:100c:b00a:1a12:4cc:25ff:fe0d:1c34)
2025-10-28 03:58:21 +0100Zemy(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-28 03:58:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 03:58:54 +0100Zemy(~Zemy@72.178.108.235)
2025-10-28 03:59:20 +0100Zemy_(~Zemy@2600:100c:b00a:1a12:4cc:25ff:fe0d:1c34) (Read error: Connection reset by peer)
2025-10-28 04:00:31 +0100Zemy_(~Zemy@2600:100c:b00a:1a12:20de:61ff:feff:8f91)
2025-10-28 04:00:31 +0100Zemy(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-28 04:04:55 +0100Zemy(~Zemy@72.178.108.235)
2025-10-28 04:07:02 +0100Zemy_(~Zemy@2600:100c:b00a:1a12:20de:61ff:feff:8f91) (Ping timeout: 256 seconds)
2025-10-28 04:09:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 04:14:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-28 04:15:38 +0100Googulator79(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 04:15:40 +0100Googulator70(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 04:25:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 04:30:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-28 04:31:01 +0100Googulator70(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 04:31:06 +0100Googulator79(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 04:32:19 +0100Dhark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net)
2025-10-28 04:32:28 +0100nschoe(~nschoe@2a01:e0a:8e:a190:c673:b06b:ce7a:3d44) (Quit: ZNC 1.8.2 - https://znc.in)
2025-10-28 04:32:45 +0100nschoe(~nschoe@2a01:e0a:8e:a190:f54f:18e:6e22:e35f) nschoe
2025-10-28 04:33:36 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-28 04:33:51 +0100craunts795335385(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-28 04:33:55 +0100xff0x(~xff0x@2405:6580:b080:900:8892:ecf5:ee58:72c0) (Ping timeout: 264 seconds)
2025-10-28 04:34:48 +0100craunts795335385(~craunts@136.158.7.194)
2025-10-28 04:34:55 +0100Shark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 240 seconds)
2025-10-28 04:35:44 +0100Googulator69(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 04:35:44 +0100Googulator79(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit)
2025-10-28 04:36:30 +0100qqe(~qqq@185.54.23.200)
2025-10-28 04:39:27 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-10-28 04:41:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 04:43:43 +0100td_(~td@i5387093E.versanet.de) (Ping timeout: 240 seconds)
2025-10-28 04:45:47 +0100td_(~td@i5387093D.versanet.de) td_
2025-10-28 04:46:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-28 04:47:01 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-28 04:56:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 05:02:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 05:08:19 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds)
2025-10-28 05:08:37 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-28 05:08:57 +0100Dhark8Shark8
2025-10-28 05:12:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 05:17:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-28 05:21:18 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-28 05:28:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 05:34:52 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-28 05:34:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-28 05:35:43 +0100Googulator93(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 05:35:45 +0100Googulator69(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 05:38:11 +0100aforemny(~aforemny@i577B139D.versanet.de) aforemny
2025-10-28 05:38:46 +0100aforemny_(~aforemny@2001:9e8:6cf1:1000:4e89:d612:c448:7493) (Ping timeout: 246 seconds)
2025-10-28 05:45:56 +0100fgidim(~lei@user/fgarcia) (Read error: Connection reset by peer)
2025-10-28 05:46:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 05:48:54 +0100fgarcia(~lei@user/fgarcia) fgarcia
2025-10-28 05:49:51 +0100dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 252 seconds)
2025-10-28 05:51:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-28 05:55:14 +0100dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-10-28 06:01:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 06:04:03 +0100Square2(~Square4@user/square) Square
2025-10-28 06:04:11 +0100craunts795335385(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-28 06:06:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-28 06:11:32 +0100fgarciafgidim
2025-10-28 06:15:43 +0100Googulator93(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 06:15:44 +0100Googulator58(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 06:17:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 06:21:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-28 06:22:09 +0100foo3(~Square@user/square) Square
2025-10-28 06:22:31 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-10-28 06:25:19 +0100Square2(~Square4@user/square) (Ping timeout: 246 seconds)
2025-10-28 06:30:58 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds)
2025-10-28 06:32:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 06:35:43 +0100Googulator89(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 06:35:44 +0100Googulator58(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 06:36:10 +0100michalz(~michalz@185.246.207.205)
2025-10-28 06:38:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-28 06:40:58 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-28 06:48:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 06:52:31 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-10-28 06:53:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-28 06:54:23 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-10-28 06:56:45 +0100qqe(~qqq@185.54.23.200) (Quit: Lost terminal)
2025-10-28 07:02:55 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-28 07:04:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 07:05:02 +0100weary-traveler(~user@user/user363627) user363627
2025-10-28 07:11:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 07:22:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 07:27:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-28 07:30:06 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-10-28 07:35:40 +0100Googulator32(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 07:35:45 +0100Googulator89(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 07:36:52 +0100Square2(~Square4@user/square) Square
2025-10-28 07:38:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 07:39:55 +0100foo3(~Square@user/square) (Ping timeout: 264 seconds)
2025-10-28 07:43:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 07:46:33 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-10-28 07:53:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 07:55:40 +0100Googulator51(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 07:56:20 +0100Googulator32(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 07:57:48 +0100raym_(~ray@user/raym) (Quit: leaving)
2025-10-28 07:58:43 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-28 07:59:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 08:02:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 08:07:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 08:09:32 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-28 08:15:49 +0100tromp(~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd)
2025-10-28 08:16:03 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-10-28 08:18:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 08:23:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 08:23:26 +0100jle`(~jle`@2603:8001:3b00:11::1156) (Ping timeout: 244 seconds)
2025-10-28 08:23:47 +0100jle`(~jle`@2603:8001:3b00:11:9c2a:c79f:75a6:347f) jle`
2025-10-28 08:29:58 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-10-28 08:33:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 08:35:50 +0100annamalai(~annamalai@157.33.245.57) (Ping timeout: 244 seconds)
2025-10-28 08:36:15 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-10-28 08:38:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 08:40:08 +0100dfordivam1(~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Quit: WeeChat 2.6)
2025-10-28 08:49:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-28 08:53:55 +0100annamalai(~annamalai@157.33.245.57) annamalai
2025-10-28 08:56:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-28 09:05:24 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-28 09:05:52 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-28 09:06:01 +0100ski(~ski@remote11.chalmers.se) (Ping timeout: 264 seconds)
2025-10-28 09:06:17 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-10-28 09:08:35 +0100srazkvt(~sarah@user/srazkvt) srazkvt
2025-10-28 09:11:18 +0100bggd(~bgg@2a01:e0a:819:1510:6332:8521:3edc:a84b)
2025-10-28 09:12:55 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-10-28 09:14:03 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-28 09:20:32 +0100Googulator51(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 09:20:40 +0100Googulator51(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 09:23:29 +0100trickard_trickard
2025-10-28 09:26:49 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-10-28 09:32:21 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-28 09:32:41 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-28 09:33:56 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-28 09:40:29 +0100gustrb(~gustrb@191.243.134.87) (Quit: gustrb)
2025-10-28 09:40:41 +0100Googulator57(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 09:40:47 +0100Googulator51(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 09:40:50 +0100gustrb(~gustrb@191.243.134.87)
2025-10-28 09:42:38 +0100gustrb(~gustrb@191.243.134.87) (Changing host)
2025-10-28 09:42:38 +0100gustrb(~gustrb@user/gustrb) gustrb
2025-10-28 09:45:05 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-10-28 09:49:58 +0100merijn(~merijn@77.242.116.146) merijn
2025-10-28 09:50:03 +0100trickard(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-28 09:50:17 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 09:58:37 +0100bggd(~bgg@2a01:e0a:819:1510:6332:8521:3edc:a84b) (Remote host closed the connection)
2025-10-28 10:07:09 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-28 10:07:23 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 10:10:02 +0100jcarpenter2(~lol@2603:3016:1e01:b9c0:fd8e:ec0:9c94:e822) (Ping timeout: 260 seconds)
2025-10-28 10:10:19 +0100Alex_test_(~al_test@85.174.182.61) (Quit: ;-)
2025-10-28 10:10:33 +0100Googulator57(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 10:10:39 +0100Googulator53(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 10:11:32 +0100jcarpenter2(~lol@96.78.87.197)
2025-10-28 10:18:01 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-28 10:18:14 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 10:21:08 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-10-28 10:24:53 +0100nerdychip_(~nerdychip@212.129.73.90)
2025-10-28 10:26:12 +0100nerdychip(~nerdychip@user/nerdychip) (Ping timeout: 265 seconds)
2025-10-28 10:27:32 +0100kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds)
2025-10-28 10:29:34 +0100kritzefitz(~kritzefit@debian/kritzefitz) kritzefitz
2025-10-28 10:30:39 +0100Googulator70(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 10:31:24 +0100Googulator53(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 10:35:06 +0100 <Square2> Is it just me or is this definition of https://en.wikipedia.org/wiki/Currying the opposite of haskells curry/uncurry. I suspect the error lies with me.
2025-10-28 10:39:39 +0100 <Square2> Oh nvm, the haskell wiki explained it to me.
2025-10-28 10:40:25 +0100 <sprout> yah, it's consistent with the wikipedia page
2025-10-28 10:40:42 +0100 <sprout> from axb->c to a->b->c
2025-10-28 10:49:06 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-10-28 10:50:40 +0100Googulator34(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 10:50:43 +0100Googulator70(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 11:07:28 +0100trickard_trickard
2025-10-28 11:10:44 +0100Googulator20(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 11:10:44 +0100Googulator34(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 11:19:56 +0100 <tomsmeding> is there a way to tell ghc to don't raise an unused binding warning for one specific function?
2025-10-28 11:20:05 +0100 <tomsmeding> perhaps some "unused" pragma?
2025-10-28 11:21:08 +0100 <sshine> tomsmeding, it seems there's only CLI params
2025-10-28 11:21:24 +0100 <haskellbridge> <Morj> Ah yes, rust pragmas have also spoilt me
2025-10-28 11:21:33 +0100 <sshine> no #[allow(...)] equivalent
2025-10-28 11:21:58 +0100 <haskellbridge> <Morj> For unused variables, can't you just use it vacuously? Like in a "const" somewhere ekse
2025-10-28 11:22:24 +0100 <srazkvt> that's kind of ugly though
2025-10-28 11:22:59 +0100 <haskellbridge> <Morj> Back in C++ we would "(void*)the_var" that shit
2025-10-28 11:25:19 +0100 <mauke> named it with an underscore?
2025-10-28 11:25:31 +0100 <mauke> s/d\b//
2025-10-28 11:25:52 +0100 <kuribas> tomsmeding: use underscore?
2025-10-28 11:26:07 +0100 <kuribas> _foo
2025-10-28 11:26:07 +0100 <tomsmeding> oooh
2025-10-28 11:26:09 +0100 <tomsmeding> that works!
2025-10-28 11:26:14 +0100 <tomsmeding> thank you mauke kuribas
2025-10-28 11:26:19 +0100 <srazkvt> Morj: void* ? you sure not just void ? at least in c we just do void
2025-10-28 11:26:29 +0100 <tomsmeding> definitely (void)
2025-10-28 11:27:03 +0100 <tomsmeding> though with modern (?) compilers you can __attribute__((unused))
2025-10-28 11:27:10 +0100 <tomsmeding> which IMO is neater than (void)'ing it somewhere
2025-10-28 11:27:16 +0100 <mauke> s/modern/gcc/
2025-10-28 11:27:20 +0100 <tomsmeding> clang does that finew
2025-10-28 11:27:23 +0100 <kuribas> (void*) is unsafecast
2025-10-28 11:27:24 +0100 <tomsmeding> s/w//
2025-10-28 11:27:34 +0100 <mauke> s/gcc/gcc and imitators/
2025-10-28 11:27:45 +0100 <tomsmeding> kuribas: yes which makes no sense and may well be rejected by the compiler if the thing is not a scalar in the first place, such as a struct
2025-10-28 11:27:47 +0100 <tomsmeding> mauke: ah
2025-10-28 11:28:27 +0100 <tomsmeding> mauke: is __attribute__ in general syntax that is parsed by other compilers, even if not this particular 'unused' attribute?
2025-10-28 11:28:39 +0100 <kuribas> tomsmeding: does C distinguis between scalar and compound? I thought it's just all addresses for C.
2025-10-28 11:28:40 +0100 <tomsmeding> because if this is just warning management, I wouldn't care so much about proper cross-compiler compatibility
2025-10-28 11:28:50 +0100 <mauke> AFAIK __attribute__ is a GNU invention
2025-10-28 11:28:54 +0100 <tomsmeding> kuribas: C distinguishes very much between values and pointers
2025-10-28 11:29:05 +0100 <tomsmeding> pointers are just scalars, but structs are not scalars
2025-10-28 11:29:20 +0100 <mauke> because they didn't like #pragma because you can't generate it from a macro
2025-10-28 11:29:39 +0100 <kuribas> tomsmeding: you can convert pointer to int, no?
2025-10-28 11:29:40 +0100 <tomsmeding> kuribas: `error: cannot convert to a pointer type`
2025-10-28 11:29:48 +0100 <tomsmeding> yes but you cannot convert a struct to an int
2025-10-28 11:30:11 +0100 <kuribas> tomsmeding: what if you cast the pointer, then back?
2025-10-28 11:30:15 +0100 <tomsmeding> mauke: ah I see -- a viewpoint that I agree with, by the way, though that's beside the point here
2025-10-28 11:30:47 +0100 <mauke> tomsmeding: maybe intel cc (is that still a thing?) might support it
2025-10-28 11:30:48 +0100 <kuribas> (int *(int*)(&my_struct)) or something...
2025-10-28 11:31:08 +0100 <tomsmeding> lol ok yeah
2025-10-28 11:31:14 +0100 <srazkvt> icc is still a thing, but i don't know of anyone who uses it
2025-10-28 11:31:24 +0100 <tomsmeding> you can just &my_struct; if you want
2025-10-28 11:31:47 +0100 <tomsmeding> I guess (void)&my_struct;
2025-10-28 11:32:01 +0100 <haskellbridge> <Morj> srazkvt: Yeah you're right, I was misremembering. In any case, for the last how many years of C++ for me it was Q_UNUSED(thevar)
2025-10-28 11:32:29 +0100 <srazkvt> yea i usually make it a macro too
2025-10-28 11:34:05 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-28 11:35:44 +0100Googulator70(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 11:35:45 +0100Googulator20(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 11:37:39 +0100AlexNoo_AlexNoo
2025-10-28 11:38:33 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-28 11:43:07 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds)
2025-10-28 11:43:15 +0100__monty__(~toonn@user/toonn) toonn
2025-10-28 11:46:02 +0100Googulator49(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 11:46:16 +0100Googulator70(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 11:47:34 +0100 <kuribas> Why does always the argument that you can implement the wrong business logic comes up when talking about formal languages? In my experience, the majority of bugs (in those languages) or not business logic related.
2025-10-28 11:48:35 +0100 <kuribas> Also, if the code reflects the business logic cleanly, it's easier to change when required, rather than have an dynamic, spagetty mess of imperative side-effects.
2025-10-28 11:48:55 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
2025-10-28 11:49:18 +0100 <kuribas> Of course, full on formal verification can be a huge time wast if you implement the wrong business logic.
2025-10-28 11:49:59 +0100 <kuribas> But I find static types a nice middle ground, usually not a huge extra effort.
2025-10-28 11:51:02 +0100 <__monty__> I do think it's fair to say the most impactful bugs are ones in the logic as implemented. The if statement that didn't actually guard its body comes to mind, was that Apple or Heartbleed?
2025-10-28 11:52:01 +0100 <__monty__> That doesn't mean that I'm willing to waste time tracing through a dynamic OOP codebase to figure out where a number is being passed rather than a string.
2025-10-28 11:52:32 +0100 <mauke> that was "goto fail"
2025-10-28 11:52:33 +0100 <__monty__> But for some changing code and the type feels like too big a waste of time, I suppose.
2025-10-28 11:54:59 +0100Pixi`(~Pixi@user/pixi) Pixi
2025-10-28 11:58:13 +0100Pixi(~Pixi@user/pixi) (Ping timeout: 264 seconds)
2025-10-28 12:00:17 +0100srazkvt(~sarah@user/srazkvt) (Read error: Connection reset by peer)
2025-10-28 12:11:58 +0100 <kuribas> __monty__: word
2025-10-28 12:13:06 +0100 <kuribas> IMO types also help greatly with understanding a codebase better.
2025-10-28 12:13:12 +0100 <kuribas> Especially if you have a good IDE.
2025-10-28 12:16:22 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2025-10-28 12:18:14 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-28 12:23:44 +0100trickard(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-28 12:23:57 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 12:25:53 +0100poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-10-28 12:26:59 +0100Zemy_(~Zemy@2600:100c:b0a5:5276:b418:b7ff:fead:8324)
2025-10-28 12:26:59 +0100Zemy(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-28 12:29:04 +0100poscat(~poscat@user/poscat) poscat
2025-10-28 12:29:15 +0100Zemy(~Zemy@72.178.108.235)
2025-10-28 12:29:52 +0100nerdychip(~nerdychip@212.129.86.0)
2025-10-28 12:29:52 +0100nerdychip(~nerdychip@212.129.86.0) (Changing host)
2025-10-28 12:29:52 +0100nerdychip(~nerdychip@user/nerdychip) nerdychip
2025-10-28 12:29:56 +0100nerdychip_(~nerdychip@212.129.73.90) (Ping timeout: 265 seconds)
2025-10-28 12:31:31 +0100Zemy_(~Zemy@2600:100c:b0a5:5276:b418:b7ff:fead:8324) (Ping timeout: 264 seconds)
2025-10-28 12:32:40 +0100Zemy_(~Zemy@2600:100c:b0a5:5276:7458:afff:fe16:3be)
2025-10-28 12:32:40 +0100Zemy(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-28 12:33:49 +0100Zemy(~Zemy@72.178.108.235)
2025-10-28 12:37:02 +0100Zemy_(~Zemy@2600:100c:b0a5:5276:7458:afff:fe16:3be) (Ping timeout: 256 seconds)
2025-10-28 12:38:21 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-28 12:38:55 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2025-10-28 12:39:43 +0100Lord_of_Life_Lord_of_Life
2025-10-28 12:46:03 +0100xff0x(~xff0x@2405:6580:b080:900:be8e:c85:6713:439e)
2025-10-28 12:47:04 +0100 <__monty__> Hoogle is a killer feature that's only possible due to Haskell's type system.
2025-10-28 12:48:31 +0100trickard_trickard
2025-10-28 12:49:01 +0100ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-10-28 12:54:32 +0100Googulator49(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 12:54:48 +0100Googulator49(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 12:56:46 +0100trickard(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-28 12:56:59 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 12:57:40 +0100koz(~koz@121.99.240.58) (Ping timeout: 246 seconds)
2025-10-28 12:58:23 +0100koz(~koz@121.99.240.58)
2025-10-28 12:59:01 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-10-28 13:01:49 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-28 13:02:54 +0100 <[exa]> kuribas: people tend to ignore the 80-20 rule when talking about programs
2025-10-28 13:03:29 +0100 <[exa]> in the case of business logic vs. stupid bugs that prevent you to refactor to new business logic, it becomes 99.99999-0.00001 rule
2025-10-28 13:05:57 +0100 <[exa]> kuribas: btw the types are a good counter-argument, in haskell most of the "business logic" tends to get implemented in `data` definitions instead of functions. :D
2025-10-28 13:06:45 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-10-28 13:06:55 +0100 <__monty__> Like the interpreter pattern?
2025-10-28 13:06:55 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-10-28 13:07:09 +0100 <__monty__> IME it's definitely not most business logic.
2025-10-28 13:08:35 +0100 <[exa]> ok not "most" but it constraints the implementation pretty well, esp. if you manage to have the interpretish types, and esp. if you manage to separate the issue into nice blobs that only touch each other's `data`
2025-10-28 13:09:05 +0100bggd(~bgg@2a01:e0a:819:1510:698b:6600:5c85:9225)
2025-10-28 13:11:23 +0100 <[exa]> is there actually some tech docs behind hoogle? in particular, how complex queries it can handle
2025-10-28 13:11:46 +0100Zemy_(~Zemy@2600:100c:b0a5:5276:63:4fff:fe56:bec)
2025-10-28 13:12:27 +0100Zemy(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-28 13:13:05 +0100Zemy(~Zemy@72.178.108.235)
2025-10-28 13:13:25 +0100 <[exa]> (doc refers to papers from 1995-ish)
2025-10-28 13:15:37 +0100Googulator62(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 13:15:44 +0100Googulator49(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 13:15:49 +0100merijn(~merijn@77.242.116.146) merijn
2025-10-28 13:16:07 +0100Zemy_(~Zemy@2600:100c:b0a5:5276:63:4fff:fe56:bec) (Ping timeout: 260 seconds)
2025-10-28 13:17:17 +0100 <kuribas> [exa]: I see "data" as modelling the entities of the business logic.
2025-10-28 13:17:45 +0100 <kuribas> [exa]: Without data, like in clojure, it's just loosely modelled "somewhere".
2025-10-28 13:18:23 +0100 <kuribas> IMO even worse if it comes from the database, and you don't even know the shape of data without inspecting the database.
2025-10-28 13:19:11 +0100chele(~chele@user/chele) chele
2025-10-28 13:20:45 +0100Googulator89(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 13:20:45 +0100Googulator62(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 13:21:35 +0100 <Lycurgus> biz logic and hs - culturally discordant / cognitively dissonant
2025-10-28 13:30:29 +0100Googulator89(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 13:30:38 +0100Googulator89(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 13:35:44 +0100Googulator8(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 13:35:44 +0100Googulator89(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 13:38:49 +0100tromp(~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-28 13:40:33 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-28 13:42:24 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-10-28 13:47:20 +0100srazkvt(~sarah@user/srazkvt) srazkvt
2025-10-28 13:48:15 +0100Zemy_(~Zemy@2600:100c:b0a5:5276:b4b3:83ff:fec5:9c13)
2025-10-28 13:50:43 +0100ttybitnik(~ttybitnik@user/wolper) (Ping timeout: 264 seconds)
2025-10-28 13:51:49 +0100Zemy(~Zemy@72.178.108.235) (Ping timeout: 256 seconds)
2025-10-28 13:52:54 +0100Wbooze(~wboozE@2a02:8071:57a1:dc0:a984:f47b:49ad:2bc0) (Quit: Leaving)
2025-10-28 13:54:18 +0100Wbooze(~wboozE@2a02:8071:57a1:dc0:a984:f47b:49ad:2bc0) Inline
2025-10-28 13:55:42 +0100Googulator10(~Googulato@84-236-65-182.pool.digikabel.hu)
2025-10-28 13:55:45 +0100Googulator8(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 13:57:47 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-10-28 13:58:05 +0100divlamir(~divlamir@user/divlamir) divlamir
2025-10-28 13:59:16 +0100Fijxu_(~Fijxu@user/fijxu) (Ping timeout: 246 seconds)
2025-10-28 14:10:39 +0100Googulator71(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 14:10:45 +0100Googulator10(~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed)
2025-10-28 14:11:59 +0100Zemy(~Zemy@mobile-107-80-206-9.mycingular.net)
2025-10-28 14:15:38 +0100Zemy_(~Zemy@2600:100c:b0a5:5276:b4b3:83ff:fec5:9c13) (Ping timeout: 256 seconds)
2025-10-28 14:18:07 +0100trickard_trickard
2025-10-28 14:27:00 +0100tromp(~textual@2001:1c00:3487:1b00:31e7:acd8:5a5b:1418)
2025-10-28 14:30:41 +0100Googulator78(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 14:30:45 +0100Googulator71(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 14:35:26 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-10-28 14:36:59 +0100trickard(~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-10-28 14:37:22 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 14:37:40 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-10-28 14:37:45 +0100 <kuribas> it doesn't have to be, haskell is a tool to codify behaviour, that should work for any problem.
2025-10-28 14:41:28 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-10-28 14:43:41 +0100 <kuribas> I don't see why haskell should be limited to blockchain and fast traiding.
2025-10-28 14:44:40 +0100 <haskellbridge> <Morj> In my company haskell is limited to rewrite bash scripts longer than 20 lines
2025-10-28 14:44:54 +0100 <haskellbridge> <Morj> Either with shh or shake
2025-10-28 14:45:34 +0100 <kuribas> no pandoc?
2025-10-28 14:46:43 +0100 <haskellbridge> <Morj> We use pandoc periodically, it's not load-bearing. Easier to just write the docs in the final format directly, you know ;-)
2025-10-28 14:47:05 +0100 <haskellbridge> <Morj> We've been recently trying to write new internal papers with typst instead of latex, and I like it
2025-10-28 14:48:15 +0100 <haskellbridge> <Morj> But I mean that shh (and shake) provide the load-bearing part of the small scripts that we have. They are then ran the way you would run a bash script, with a shabang line being "#!/usr/bin/env nix-shell"
2025-10-28 14:53:18 +0100Fijxu(~Fijxu@user/fijxu) fijxu
2025-10-28 15:00:46 +0100tromp(~textual@2001:1c00:3487:1b00:31e7:acd8:5a5b:1418) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-28 15:07:10 +0100gf35(~gf3@user/gf3) gf3
2025-10-28 15:07:57 +0100trickard_trickard
2025-10-28 15:09:49 +0100 <gf35> hi all, i'm trying to get up and running with Yesod on nix, but i'm hitting some crazy build errors when `shakespeare` (and a couple others) are being compiled. namely undefined symbols in GLIBC_PRIVATE. i'm wondering if this is because the yesod stack templates are a little too old or if this is something common than nix users run into
2025-10-28 15:10:42 +0100 <gf35> i've used nix with a couple other small haskell learning projects without issue, which makes me think it is something specific with the Yesod stack templates
2025-10-28 15:11:44 +0100 <gf35> (also, in this case, i'm not using nix's ghc. i'm using the ghc managed by stack without any system/nix integration)
2025-10-28 15:12:40 +0100gf35gf3
2025-10-28 15:15:28 +0100tromp(~textual@2001:1c00:3487:1b00:31e7:acd8:5a5b:1418)
2025-10-28 15:26:18 +0100Zemy_(~Zemy@2600:100c:b0a5:5276:88f3:73ff:fece:6700)
2025-10-28 15:28:01 +0100annamalai(~annamalai@157.33.245.57) (Remote host closed the connection)
2025-10-28 15:28:31 +0100Zemy(~Zemy@mobile-107-80-206-9.mycingular.net) (Ping timeout: 264 seconds)
2025-10-28 15:33:02 +0100acidjnk(~acidjnk@p200300d6e7171902f0cde97817db7ab8.dip0.t-ipconnect.de) acidjnk
2025-10-28 15:40:09 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-28 15:43:19 +0100 <haskellbridge> <Morj> gf3: that's a weird situation. I take it your system is not nixos? Did you try compiling with stack's nix integration to use ghc from nix too?
2025-10-28 15:45:01 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
2025-10-28 15:46:59 +0100Zemy_(~Zemy@2600:100c:b0a5:5276:88f3:73ff:fece:6700) (Ping timeout: 260 seconds)
2025-10-28 15:47:34 +0100 <gf3> Morj: yes, i've tried that as well. i spent some time reading about stack's nix integration and apparently it's pretty brutal. i'd have to re-specify all the cabal deps in nix (or use a tool like cabal2nix)
2025-10-28 15:47:56 +0100 <gf3> currently i'm only using nix to get stack
2025-10-28 15:48:10 +0100trickard(~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-28 15:48:24 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 15:50:17 +0100Zemy(~Zemy@2600:100c:b0a5:5276:d40a:f8ff:fea5:2812)
2025-10-28 15:52:32 +0100Zemy(~Zemy@2600:100c:b0a5:5276:d40a:f8ff:fea5:2812) (Read error: Connection reset by peer)
2025-10-28 15:52:45 +0100Zemy(~Zemy@2600:100c:b0a5:5276:b4b2:c9ff:fe22:6873)
2025-10-28 15:53:18 +0100Googulator78Googulator
2025-10-28 15:53:25 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-10-28 15:53:52 +0100MelodyOwO(~MelodyOwO@dhcp46-187-164-95.eaw.com.pl)
2025-10-28 15:54:03 +0100Zemy(~Zemy@2600:100c:b0a5:5276:b4b2:c9ff:fe22:6873) (Read error: Connection reset by peer)
2025-10-28 15:54:18 +0100Zemy(~Zemy@2600:100c:b0a5:5276:2ca6:91ff:feea:5351)
2025-10-28 15:59:11 +0100trickard_(~trickard@cpe-55-98-47-163.wireline.com.au)
2025-10-28 15:59:16 +0100 <haskellbridge> <Morj> gf3: I don't think it's right: you only need to specify /system/ deps in nix integration, all the haskell deps are still gotten from the regular cabal file and stack snapshot
2025-10-28 16:00:12 +0100 <haskellbridge> <Morj> Like system zlib-dev package you specify in the nix section of the stack file, but haskell's zlib you don't
2025-10-28 16:05:32 +0100srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-10-28 16:15:57 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-28 16:21:36 +0100travv0(uid293381@user/travv0) travv0
2025-10-28 16:21:41 +0100Googulator(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 16:21:57 +0100Googulator(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 16:39:41 +0100 <gf3> well, any advice would be appreciated. as that's what i'm doing and running into issues
2025-10-28 16:40:41 +0100 <haskellbridge> <Morj> Sorry, I'm also compiling yesod with shakespeare templates with stack with nix integration on a non-nix system, but I don't have those issues <_<
2025-10-28 16:41:46 +0100 <haskellbridge> <Morj> My only thought was that since you're seeing glibc errors, it might be related to how you got ghc on the system - either it's a nix system and ghc is not, or your system has a way too old libc version (debian old old old old ancient old stable)
2025-10-28 16:43:04 +0100 <haskellbridge> <Morj> «a non-nix system» - mac and opensuse tumbleweed in my case, both with very fresh packages
2025-10-28 16:49:22 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2025-10-28 16:53:46 +0100Zemy_(~Zemy@12.50.238.234)
2025-10-28 16:54:49 +0100 <gf3> my ghc is coming from stack (using the default yesod/postgres template). here's the GLIBC error (this symbol was removed in modern glibc): https://paste.tomsmeding.com/5qK2IJmg
2025-10-28 16:55:30 +0100Core2376(~Zemy@12.50.238.234)
2025-10-28 16:55:30 +0100synchromesh(~john@2406:5a00:2412:2c00:4c21:135:a77d:75dc) (Read error: Connection reset by peer)
2025-10-28 16:55:36 +0100Zemy_(~Zemy@12.50.238.234) (Read error: Connection reset by peer)
2025-10-28 16:56:33 +0100synchromesh(~john@2406:5a00:2412:2c00:4c21:135:a77d:75dc) synchromesh
2025-10-28 16:57:25 +0100Zemy(~Zemy@2600:100c:b0a5:5276:2ca6:91ff:feea:5351) (Ping timeout: 246 seconds)
2025-10-28 16:58:09 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-28 16:59:38 +0100Zemy(~Zemy@2600:100c:b0a5:5276:ec8e:4fff:fea2:b1be)
2025-10-28 17:00:24 +0100 <haskellbridge> <Morj> Huh, so it uses glibc from nix. Also it's a weird place for such an error. When you compile other binaries, do you get the same error? Try running for example "stack build fourmolu" in the project directory
2025-10-28 17:01:06 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds)
2025-10-28 17:01:12 +0100 <haskellbridge> <Morj> Also I didn't find yesod-dev very useful (= The reload speed was too annoying
2025-10-28 17:01:15 +0100 <geekosaur> that looks like TH linking in a binary dependency
2025-10-28 17:01:31 +0100 <geekosaur> so that needs to be rebuilt against a newer glibc
2025-10-28 17:01:54 +0100 <geekosaur> you'd have to look at what TH the Devel module uses to track down the dep
2025-10-28 17:02:43 +0100Core2376(~Zemy@12.50.238.234) (Ping timeout: 264 seconds)
2025-10-28 17:03:13 +0100 <geekosaur> (that's also why "<command line>": ghci and TH both use the bytecode linker, whose error messages therefore assume ghci
2025-10-28 17:03:17 +0100 <geekosaur> )
2025-10-28 17:05:25 +0100tromp(~textual@2001:1c00:3487:1b00:31e7:acd8:5a5b:1418) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-28 17:12:48 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-10-28 17:18:09 +0100annamalai(~annamalai@157.33.250.167) annamalai
2025-10-28 17:20:22 +0100Googulator(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 17:20:40 +0100Googulator(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 17:24:53 +0100Zemy_(~Zemy@mobile-107-80-206-4.mycingular.net)
2025-10-28 17:25:19 +0100 <gf3> Morj: same problem → https://paste.tomsmeding.com/Cg6RW1AC
2025-10-28 17:26:37 +0100tromp(~textual@2001:1c00:3487:1b00:31e7:acd8:5a5b:1418)
2025-10-28 17:27:32 +0100 <gf3> geekosaur: what's TH in this context?
2025-10-28 17:28:28 +0100 <geekosaur> Template Haskell
2025-10-28 17:28:49 +0100 <geekosaur> Yesod uses it heavily
2025-10-28 17:28:52 +0100Zemy(~Zemy@2600:100c:b0a5:5276:ec8e:4fff:fea2:b1be) (Ping timeout: 256 seconds)
2025-10-28 17:31:36 +0100 <gf3> ahh, that's probably why the quickstart guide recommends installing the "build-essential" debian package
2025-10-28 17:32:43 +0100 <gf3> FWIW i'm on Fedora Silverblue, which is why i'm using nix for the system-level deps
2025-10-28 17:36:07 +0100 <gustrb> hey is there a good way to get haskell in arch? Couldn't find a good way of installing it
2025-10-28 17:36:15 +0100 <gustrb> (not using nix)
2025-10-28 17:36:56 +0100 <haskellbridge> <magic_rb> ghcup if you dont want to do nix
2025-10-28 17:38:00 +0100 <gustrb> nvm my message, had some issues with ghcup but working as expected now
2025-10-28 17:40:44 +0100Googulator(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-28 17:40:47 +0100Googulator97(~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu)
2025-10-28 17:49:27 +0100trickard_trickard