2025/10/31

2025-10-31 00:02:19 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-31 00:04:16 +0000trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 256 seconds)
2025-10-31 00:04:16 +0000trickard__(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-31 00:05:48 +0000Googulator65(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 00:05:52 +0000Googulator95(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 00:06:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 00:06:25 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-10-31 00:08:22 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection)
2025-10-31 00:09:31 +0000trickard__trickard
2025-10-31 00:09:35 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-31 00:10:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-31 00:11:40 +0000peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-31 00:13:55 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-31 00:21:18 +0000haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-10-31 00:21:41 +0000haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-31 00:22:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 00:25:24 +0000Googulator65(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 00:25:39 +0000Googulator65(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 00:26:02 +0000williu5(~williu5@user/williu5) (Quit: WeeChat 4.1.1)
2025-10-31 00:26:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 00:27:21 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-10-31 00:28:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 00:31:37 +0000Zemy(~Zemy@mobile-107-80-206-52.mycingular.net)
2025-10-31 00:32:16 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-10-31 00:33:04 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-31 00:33:10 +0000haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds)
2025-10-31 00:33:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 00:34:52 +0000Zemy_(~Zemy@2600:100c:b0a3:ce24:b0d4:7aff:febe:a1f1) (Ping timeout: 256 seconds)
2025-10-31 00:35:05 +0000Zemy_(~Zemy@2600:100c:b0a3:ce24:5486:99ff:fe7d:6ecf)
2025-10-31 00:38:16 +0000Zemy(~Zemy@mobile-107-80-206-52.mycingular.net) (Ping timeout: 256 seconds)
2025-10-31 00:38:16 +0000Core4945(~Zemy@72.178.108.235)
2025-10-31 00:41:40 +0000Zemy_(~Zemy@2600:100c:b0a3:ce24:5486:99ff:fe7d:6ecf) (Ping timeout: 256 seconds)
2025-10-31 00:44:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 00:49:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 00:51:31 +0000tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-10-31 01:01:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 01:05:41 +0000Googulator65(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 01:05:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-31 01:05:46 +0000Googulator80(~Googulato@84-236-65-182.pool.digikabel.hu)
2025-10-31 01:12:02 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-10-31 01:12:39 +0000trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 01:12:53 +0000trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-31 01:15:01 +0000peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
2025-10-31 01:16:30 +0000trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 01:16:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 01:19:37 +0000otto_s(~user@p4ff27477.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-10-31 01:20:39 +0000Googulator3(~Googulato@84-236-65-182.pool.digikabel.hu)
2025-10-31 01:20:45 +0000Googulator80(~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed)
2025-10-31 01:20:58 +0000otto_s(~user@p5b044c79.dip0.t-ipconnect.de)
2025-10-31 01:21:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 01:22:55 +0000trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-31 01:24:19 +0000forell(~forell@user/forell) (Quit: ZNC - https://znc.in)
2025-10-31 01:25:05 +0000forell(~forell@user/forell) forell
2025-10-31 01:34:18 +0000Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-10-31 01:36:10 +0000annamalai(~annamalai@157.32.131.152) annamalai
2025-10-31 01:37:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 01:42:45 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-31 01:43:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 01:44:31 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 01:44:50 +0000m_a_r_k(~m_a_r_k@user/m-a-r-k:45929) (Changing host)
2025-10-31 01:44:50 +0000m_a_r_k(~m_a_r_k@archlinux/support/mark) m_a_r_k
2025-10-31 01:51:19 +0000annamalai(~annamalai@157.32.131.152) (Remote host closed the connection)
2025-10-31 01:51:41 +0000annamalai(~annamalai@157.32.131.152) annamalai
2025-10-31 01:53:43 +0000acidjnk(~acidjnk@p200300d6e717193069949166e2561304.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2025-10-31 01:54:29 +0000trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 01:54:43 +0000trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-31 01:55:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 01:58:13 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-10-31 01:59:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 02:05:52 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 02:10:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 02:11:39 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-31 02:16:04 +0000Googulator19(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 02:16:15 +0000Googulator3(~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed)
2025-10-31 02:17:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 02:18:26 +0000 <haskellbridge> <sm> I'd like to see that
2025-10-31 02:20:39 +0000Googulator19(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Client Quit)
2025-10-31 02:20:43 +0000Googulator31(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 02:21:16 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds)
2025-10-31 02:21:48 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-10-31 02:25:21 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 02:27:38 +0000trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 02:27:51 +0000trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-31 02:28:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 02:30:27 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-31 02:30:53 +0000ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-10-31 02:32:43 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 02:33:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 02:34:53 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 244 seconds)
2025-10-31 02:35:25 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
2025-10-31 02:41:14 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-10-31 02:44:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 02:44:29 +0000gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-10-31 02:44:52 +0000Googulator31(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 02:45:09 +0000Googulator31(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 02:49:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 02:50:58 +0000 <segfaultfizzbuzz> sm: go for it, it ran faster than i expected
2025-10-31 02:51:24 +0000Core4945(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-31 02:51:36 +0000Zemy(~Zemy@2600:100c:b0a2:933f:2c3d:3dff:feed:80b4)
2025-10-31 02:52:08 +0000Zemy_(~Zemy@72.178.108.235)
2025-10-31 02:53:43 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds)
2025-10-31 02:54:50 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 02:55:58 +0000Zemy(~Zemy@2600:100c:b0a2:933f:2c3d:3dff:feed:80b4) (Ping timeout: 256 seconds)
2025-10-31 03:00:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 03:01:14 +0000segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2025-10-31 03:04:20 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-31 03:04:23 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-31 03:05:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 03:08:26 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-10-31 03:08:41 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-31 03:15:36 +0000Googulator31(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 03:15:38 +0000Googulator40(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 03:15:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 03:20:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 03:20:39 +0000Googulator40(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 03:20:46 +0000Googulator87(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 03:21:36 +0000bgt32(~keutoi@106.222.233.20)
2025-10-31 03:26:06 +0000synchromesh(~john@2406:5a00:2412:2c00:a151:32b5:2959:c671) (Read error: Connection reset by peer)
2025-10-31 03:27:06 +0000synchromesh(~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) synchromesh
2025-10-31 03:29:25 +0000trickard__(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 03:30:37 +0000trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-10-31 03:31:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 03:31:58 +0000pabs3(~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.)
2025-10-31 03:32:14 +0000bgt32(~keutoi@106.222.233.20) (Ping timeout: 256 seconds)
2025-10-31 03:35:47 +0000pabs3(~pabs3@user/pabs3) pabs3
2025-10-31 03:36:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 03:40:49 +0000td_(~td@i53870927.versanet.de) (Ping timeout: 264 seconds)
2025-10-31 03:42:10 +0000td_(~td@i53870919.versanet.de) td_
2025-10-31 03:45:56 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 03:46:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 03:48:28 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-31 03:49:07 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-31 03:50:56 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 03:52:13 +0000trickard__trickard
2025-10-31 03:53:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 03:56:41 +0000bgt32(~keutoi@106.222.234.204)
2025-10-31 03:59:01 +0000yin(~zero@user/zero) (Ping timeout: 265 seconds)
2025-10-31 04:02:45 +0000yin(~zero@user/zero) zero
2025-10-31 04:04:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 04:06:32 +0000 <haskellbridge> <sm> I was hoping you might share yours :)
2025-10-31 04:09:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 04:19:13 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2025-10-31 04:20:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 04:22:56 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-31 04:25:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 04:27:27 +0000jzargo3(~jzargo@user/jzargo) (Read error: Connection reset by peer)
2025-10-31 04:27:51 +0000jzargo3(~jzargo@user/jzargo) jzargo
2025-10-31 04:29:24 +0000annamalai(~annamalai@157.32.131.152) (Remote host closed the connection)
2025-10-31 04:30:13 +0000annamalai(~annamalai@157.32.131.152) annamalai
2025-10-31 04:31:12 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-31 04:31:41 +0000gorignak(~gorignak@user/gorignak) gorignak
2025-10-31 04:34:58 +0000aforemny(~aforemny@2001:9e8:6cee:c800:2b8:8ee9:727a:1930) aforemny
2025-10-31 04:35:42 +0000aforemny_(~aforemny@i577B137A.versanet.de) (Ping timeout: 256 seconds)
2025-10-31 04:35:46 +0000Googulator87(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 04:35:48 +0000gorignak(~gorignak@user/gorignak) (Client Quit)
2025-10-31 04:35:51 +0000Googulator37(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 04:36:16 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds)
2025-10-31 04:36:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 04:36:25 +0000gorignak(~gorignak@user/gorignak) gorignak
2025-10-31 04:41:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 04:50:07 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-10-31 04:50:30 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-31 04:52:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 04:56:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-31 04:58:35 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-10-31 05:01:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 05:06:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-31 05:13:54 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-31 05:14:14 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-31 05:15:43 +0000Googulator37(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 05:15:48 +0000Googulator55(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 05:17:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 05:19:07 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-31 05:22:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-31 05:32:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 05:33:50 +0000jzargo3jzargo
2025-10-31 05:37:41 +0000peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-31 05:39:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 05:40:39 +0000Googulator99(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 05:40:49 +0000Googulator55(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 05:45:48 +0000Googulator99(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 05:45:50 +0000Googulator72(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 05:48:55 +0000bliminse(~bliminse@user/bliminse) (Quit: leaving)
2025-10-31 05:50:25 +0000ski(~ski@remote11.chalmers.se) (Ping timeout: 264 seconds)
2025-10-31 05:50:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 05:51:12 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-10-31 05:52:25 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 05:52:39 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 05:53:25 +0000bgt32(~keutoi@106.222.234.204) (Ping timeout: 264 seconds)
2025-10-31 05:54:57 +0000bgt32(~keutoi@106.222.233.32)
2025-10-31 05:55:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-10-31 05:57:26 +0000comonad(~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de)
2025-10-31 06:01:29 +0000gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-10-31 06:01:46 +0000gorignak(~gorignak@user/gorignak) gorignak
2025-10-31 06:06:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 06:11:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-31 06:15:42 +0000Googulator72(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 06:15:44 +0000Googulator6(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 06:15:48 +0000bgt32(~keutoi@106.222.233.32) (Ping timeout: 265 seconds)
2025-10-31 06:16:50 +0000gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-10-31 06:17:06 +0000gorignak(~gorignak@user/gorignak) gorignak
2025-10-31 06:18:22 +0000bgt32(~keutoi@106.222.231.17)
2025-10-31 06:18:22 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2025-10-31 06:19:00 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2025-10-31 06:19:06 +0000sp1ff`(~user@2601:1c2:4c00:6820::8bad)
2025-10-31 06:19:13 +0000sp1ff(~user@2601:1c2:4c00:6820::8bad) (Read error: Connection reset by peer)
2025-10-31 06:19:21 +0000ycp(~znc@user/dragestil) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-10-31 06:19:41 +0000ycp(~znc@user/dragestil) dragestil
2025-10-31 06:21:08 +0000xal_(~xal@mx1.xal.systems) (Read error: Connection reset by peer)
2025-10-31 06:21:15 +0000xal(~xal@mx1.xal.systems) xal
2025-10-31 06:22:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 06:27:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 06:31:17 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-10-31 06:32:01 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-31 06:33:27 +0000monochrom(trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in)
2025-10-31 06:35:37 +0000Googulator78(~Googulato@84-236-65-182.pool.digikabel.hu)
2025-10-31 06:35:44 +0000Googulator6(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 06:36:24 +0000bgt32(~keutoi@106.222.231.17) (Ping timeout: 256 seconds)
2025-10-31 06:36:49 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds)
2025-10-31 06:37:09 +0000gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-10-31 06:37:25 +0000gorignak(~gorignak@user/gorignak) gorignak
2025-10-31 06:38:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 06:39:24 +0000monochrom(trebla@216.138.220.146)
2025-10-31 06:42:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-31 06:44:38 +0000chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 272 seconds)
2025-10-31 06:44:53 +0000scula(~scula@user/scula) (Ping timeout: 256 seconds)
2025-10-31 06:49:39 +0000scula(~scula@user/scula) scula
2025-10-31 06:54:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 06:54:28 +0000remexre(~remexre@user/remexre) (Ping timeout: 265 seconds)
2025-10-31 06:55:31 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 264 seconds)
2025-10-31 06:55:38 +0000Googulator78(~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed)
2025-10-31 06:55:42 +0000Googulator32(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 06:56:23 +0000chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-10-31 06:58:45 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 06:58:55 +0000bgt32(~keutoi@106.222.231.17)
2025-10-31 06:59:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 07:00:04 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-10-31 07:00:24 +0000biberu(~biberu@user/biberu) biberu
2025-10-31 07:00:34 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 07:00:50 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 07:03:36 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 07:09:07 +0000ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-10-31 07:10:38 +0000Googulator54(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 07:10:43 +0000Googulator32(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 07:18:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 07:22:18 +0000Fijxu(~Fijxu@user/fijxu) (Ping timeout: 256 seconds)
2025-10-31 07:25:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 07:30:14 +0000peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-10-31 07:35:15 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-31 07:35:25 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-10-31 07:35:45 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 07:36:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 07:40:19 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 07:40:32 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 07:40:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-31 07:43:13 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-10-31 07:48:11 +0000Everything(~Everythin@static.208.206.21.65.clients.your-server.de) Everything
2025-10-31 07:49:00 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-31 07:49:03 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-10-31 07:51:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 07:54:58 +0000tromp(~textual@2001:1c00:3487:1b00:d90d:664f:1825:e058)
2025-10-31 07:56:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 07:56:50 +0000ski(~ski@remote11.chalmers.se)
2025-10-31 08:00:46 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 08:03:03 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-10-31 08:03:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 08:03:36 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 08:08:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 08:13:31 +0000Googulator54(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-10-31 08:14:26 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds)
2025-10-31 08:15:34 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-31 08:17:56 +0000kuribas(~user@2a02:1808:4d:a25a:6fac:8a56:9dbd:1785) kuribas
2025-10-31 08:18:34 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-10-31 08:18:58 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 08:19:19 +0000 <kuribas> tomsmeding: Coming back to our discussion yesterday, the thing about "effect systems" using free monads that I don't like, is that in the end just have a bunch of closures, which are black boxes.
2025-10-31 08:19:35 +0000 <kuribas> You don't end up with code that is easier to understand, easier to manipulate.
2025-10-31 08:19:49 +0000 <kuribas> On top of the ineffeciencies of the free monad approach.
2025-10-31 08:20:27 +0000 <kuribas> And what it boils down to, injecting closures in your code, has existed before as "dependency injection".
2025-10-31 08:23:15 +0000bliminse(~bliminse@user/bliminse) bliminse
2025-10-31 08:24:01 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-10-31 08:30:31 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 08:32:38 +0000kuribas(~user@2a02:1808:4d:a25a:6fac:8a56:9dbd:1785) (Ping timeout: 260 seconds)
2025-10-31 08:33:28 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 08:34:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 08:35:08 +0000__monty__(~toonn@user/toonn) toonn
2025-10-31 08:37:16 +0000Square2(~Square@user/square) Square
2025-10-31 08:38:49 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 08:39:03 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 08:39:45 +0000tromp(~textual@2001:1c00:3487:1b00:d90d:664f:1825:e058) (Ping timeout: 244 seconds)
2025-10-31 08:39:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 08:42:55 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2025-10-31 08:45:46 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-10-31 08:46:12 +0000Fijxu(~Fijxu@user/fijxu) fijxu
2025-10-31 08:53:28 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 08:53:40 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 08:54:24 +0000remedan_(~remedan@78-80-95-79.customers.tmcz.cz) remedan
2025-10-31 08:54:38 +0000remedan(~remedan@78-80-95-79.customers.tmcz.cz) (Ping timeout: 244 seconds)
2025-10-31 08:55:38 +0000merijn(~merijn@77.242.116.146) merijn
2025-10-31 09:00:29 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-10-31 09:01:10 +0000weary-traveler(~user@user/user363627) user363627
2025-10-31 09:05:09 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-10-31 09:05:23 +0000divlamir(~divlamir@user/divlamir) divlamir
2025-10-31 09:07:52 +0000chele(~chele@user/chele) chele
2025-10-31 09:08:33 +0000acidjnk(~acidjnk@p200300d6e71719308df0744f2dc6c30e.dip0.t-ipconnect.de) acidjnk
2025-10-31 09:19:55 +0000bggd(~bgg@2a01:e0a:819:1510:aa28:625d:5af8:625b)
2025-10-31 09:25:33 +0000 <tomsmeding> @tell kuribas Sure, free monads end up as a bunch of uninspectable closures, but that's because (>>=)'s typing does that: there are monad operation calls inside a closure argument to (>>=). With applicatives, there are no (<*>) or pure calls inside a closure, so there is still black-box computation, but the Applicative structure is all visible
2025-10-31 09:25:33 +0000 <lambdabot> Consider it noted.
2025-10-31 09:28:26 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 09:31:48 +0000Googulator54(~Googulato@team.broadbit.hu)
2025-10-31 09:35:14 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-10-31 09:38:37 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-31 09:39:21 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 09:41:08 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-10-31 09:41:08 +0000ljdarj1ljdarj
2025-10-31 09:43:35 +0000tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2)
2025-10-31 09:52:51 +0000trickard_trickard
2025-10-31 10:09:28 +0000omenticjj
2025-10-31 10:16:36 +0000Googulator54Googulator
2025-10-31 10:18:00 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 10:19:22 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-10-31 10:19:22 +0000ljdarj1ljdarj
2025-10-31 10:23:39 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 10:25:37 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds)
2025-10-31 10:25:37 +0000ljdarj1ljdarj
2025-10-31 10:32:22 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 10:34:24 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-10-31 10:34:25 +0000ljdarj1ljdarj
2025-10-31 10:37:15 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 10:38:50 +0000ljdarj(~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
2025-10-31 10:38:50 +0000ljdarj1ljdarj
2025-10-31 10:45:10 +0000Dhark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net)
2025-10-31 10:46:31 +0000Shark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 264 seconds)
2025-10-31 10:47:08 +0000halloy8008(~halloy800@2405:201:a00a:b009:95f6:89f8:41dc:a5ef)
2025-10-31 10:48:26 +0000halloy8008(~halloy800@2405:201:a00a:b009:95f6:89f8:41dc:a5ef) (Quit: halloy8008)
2025-10-31 11:03:39 +0000Googulator(~Googulato@team.broadbit.hu) (Quit: Client closed)
2025-10-31 11:03:59 +0000Googulator(~Googulato@team.broadbit.hu)
2025-10-31 11:04:21 +0000Googulator(~Googulato@team.broadbit.hu) (Client Quit)
2025-10-31 11:04:38 +0000Googulator(~Googulato@team.broadbit.hu)
2025-10-31 11:08:06 +0000cattiesC477135
2025-10-31 11:21:46 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-10-31 11:25:16 +0000 <[exa]> tomsmeding kuribas: are there free selectives already in the libraries? (just saw the messages above so kinda wondering)
2025-10-31 11:29:15 +0000tomsmedingdoesn't know
2025-10-31 11:30:59 +0000 <tomsmeding> sm: bitwise AND is enough https://lcamtuf.substack.com/p/sierpinski-triangle-in-my-bitwise
2025-10-31 11:33:53 +0000nerdychip(~nerdychip@user/nerdychip) (Ping timeout: 256 seconds)
2025-10-31 11:35:04 +0000 <kuribas> [exa]: I don't know. I like the applicative inside monad pattern.
2025-10-31 11:36:11 +0000nerdychip(~nerdychip@212.129.76.47)
2025-10-31 11:36:11 +0000nerdychip(~nerdychip@212.129.76.47) (Changing host)
2025-10-31 11:36:11 +0000nerdychip(~nerdychip@user/nerdychip) nerdychip
2025-10-31 11:38:51 +0000 <tomsmeding> %% putStr$unlines[["#."!!fromEnum(i.&.j>0)|j<-[0..31]]|i<-[0..31::Int]] -- sm
2025-10-31 11:38:52 +0000 <yahb2> https://paste.tomsmeding.com/GlIradAP
2025-10-31 11:41:36 +0000 <[exa]> what is this %% sorcery
2025-10-31 11:42:22 +0000 <tomsmeding> the original yahb did it too, and someone requested the functionality
2025-10-31 11:42:37 +0000 <[exa]> cool
2025-10-31 11:42:58 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 11:43:32 +0000 <tomsmeding> the pastes expire, though
2025-10-31 11:43:32 +0000synchromesh(~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) (Read error: Connection reset by peer)
2025-10-31 11:43:40 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 11:44:44 +0000synchromesh(~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) synchromesh
2025-10-31 11:45:42 +0000 <tomsmeding> ooh it can be golfed: fromEnum(i.&.j>0) -> signum(i.&.j)
2025-10-31 11:47:00 +0000Googulator(~Googulato@team.broadbit.hu) (Quit: Client closed)
2025-10-31 11:47:18 +0000Googulator(~Googulato@team.broadbit.hu)
2025-10-31 11:47:33 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-10-31 11:47:33 +0000ljdarj1ljdarj
2025-10-31 11:49:16 +0000 <__monty__> I was going trying ('#':repeat '.')!!(i.&.j), my golf is weak.
2025-10-31 11:54:37 +0000 <tomsmeding> well you did shorten it :)
2025-10-31 11:54:59 +0000 <tomsmeding> because it allows removing the ::Int annotation
2025-10-31 11:55:12 +0000 <tomsmeding> though the signum trick also does, and it's also shorter, so signum does win
2025-10-31 11:56:01 +0000 <tomsmeding> __monty__: a little bit shorter (though still longer than signum): '#':cycle"."
2025-10-31 11:57:18 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 11:58:36 +0000 <__monty__> Darn, you put me to shame again, found `['.','.'..]`.
2025-10-31 12:01:31 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2025-10-31 12:10:40 +0000Googulator(~Googulato@team.broadbit.hu) (Quit: Client closed)
2025-10-31 12:10:48 +0000Googulator(~Googulato@team.broadbit.hu)
2025-10-31 12:11:25 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 264 seconds)
2025-10-31 12:18:44 +0000comerijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 12:20:08 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-10-31 12:25:32 +0000Googulator(~Googulato@team.broadbit.hu) (Quit: Client closed)
2025-10-31 12:25:38 +0000Googulator12(~Googulato@team.broadbit.hu)
2025-10-31 12:32:37 +0000AlexNoo_AlexNoo
2025-10-31 12:33:37 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-31 12:34:18 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-10-31 12:41:17 +0000 <haskellbridge> <sm> tomsmeding: With an import Data.Bits. Thanks!
2025-10-31 12:43:06 +0000Googulator12Googulator
2025-10-31 12:48:25 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-10-31 12:50:35 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-10-31 12:52:40 +0000 <haskellbridge> <sm> needs a console so we can run tiny games
2025-10-31 12:58:49 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-10-31 13:00:09 +0000 <__monty__> Can't get this any more golfed (trying to more faithfully reproduce the original), `putStr$foldMap(foldr(++)"\n")[[["██"," "]!!signum(i.&.j)|j<-[0..31]]|i<-[0..31]]`.
2025-10-31 13:00:42 +0000Googulator58(~Googulato@team.broadbit.hu)
2025-10-31 13:00:51 +0000 <__monty__> Of course I copied a line break in the middle of `" "` >.<
2025-10-31 13:03:51 +0000Googulator(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-31 13:05:05 +0000 <tomsmeding> putStr$unlines$concat<$>[[["██"," "]!!signum(i.&.j)|j<-[0..31]]|i<-[0..31]]
2025-10-31 13:05:42 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 13:05:55 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 13:08:33 +0000 <tomsmeding> putStr$unlines[["█ "!!signum(i.&.j)|j<-[0..31],_<-"ab"]|i<-[0..31]]
2025-10-31 13:10:53 +0000 <int-e> same here, plus `signum` -> `min 1`
2025-10-31 13:11:11 +0000 <tomsmeding> oo nice
2025-10-31 13:12:46 +0000 <int-e> > map length ["mapM putrStrLn", "putStr$unlines"] -- also this if you don't care about the return type
2025-10-31 13:12:48 +0000 <lambdabot> [14,14]
2025-10-31 13:13:10 +0000 <tomsmeding> the typo broke it :p
2025-10-31 13:13:20 +0000 <int-e> oops
2025-10-31 13:14:54 +0000 <tomsmeding> if you allow an additional import, forM[...]putStrLn
2025-10-31 13:18:08 +0000 <__monty__> Darn, was gonna say I beat you by one character `for_(concat<$>[[["██"," "]!!signum(i.&.j)|j<-[0..31]]|i<-[0..31]])putStrLn` but you already got there. (Modulo the Data.Foldable import, but who really cares about a couple characters?)
2025-10-31 13:18:09 +0000 <tomsmeding> oh but you can do the same to the `min` without imports
2025-10-31 13:19:05 +0000 <int-e> tomsmeding: oops, that's so obvious now that you said it
2025-10-31 13:19:25 +0000 <tomsmeding> without imports I think this is the shortest so far:
2025-10-31 13:19:27 +0000 <tomsmeding> mapM putStrLn[["█ "!!min(i.&.j)1|j<-[0..31],_<-"ab"]|i<-[0..31]]
2025-10-31 13:19:54 +0000 <int-e> well you still have the Data.Bits import :)
2025-10-31 13:20:00 +0000 <tomsmeding> __monty__: concat<$>[ can be shortened to [concat
2025-10-31 13:20:15 +0000 <tomsmeding> yeah I know, but you ain't going to implement .&. in less than that import costs
2025-10-31 13:21:39 +0000 <int-e> . o O ( more like Data.Nits )
2025-10-31 13:24:26 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-10-31 13:26:27 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-31 13:28:23 +0000 <__monty__> Even if we could golf out .&., it wouldn't be faithful to the blog anymore.
2025-10-31 13:30:49 +0000Googulator11(~Googulato@team.broadbit.hu)
2025-10-31 13:33:45 +0000Googulator58(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-31 13:38:45 +0000 <Leary> %% putStrLn.unlines$[0..31]<&> \i->replicate i ' '++do{j<-[0..31-i];["\\/"," "]!!min(i.&.j)1}
2025-10-31 13:38:45 +0000 <yahb2> https://paste.tomsmeding.com/mHsRpiqc
2025-10-31 13:38:55 +0000 <tomsmeding> oooo
2025-10-31 13:39:20 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-10-31 13:39:28 +0000tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-31 13:42:28 +0000ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft
2025-10-31 13:44:43 +0000 <int-e> $$ putStr$do i<-[0..31];i`drop`do{j<-[-i..31-i];["\\/"," "]!!min(i.&.j)1}++"\n"
2025-10-31 13:44:48 +0000 <int-e> %% putStr$do i<-[0..31];i`drop`do{j<-[-i..31-i];["\\/"," "]!!min(i.&.j)1}++"\n"
2025-10-31 13:44:48 +0000 <yahb2> https://paste.tomsmeding.com/kuTDCPQV
2025-10-31 13:45:17 +0000 <int-e> (is that ++"\n" trick applicable to the other one... mm)
2025-10-31 13:46:43 +0000 <int-e> yes and no; `putStr$do i<-[0..31];["█ "!!min(i.&.j)1|j<-[0..31],_<-" "]++"\n"` is the same length
2025-10-31 13:46:58 +0000 <tomsmeding> "╲╱" is nicer
2025-10-31 13:47:25 +0000Jackneill_(~Jackneill@94-21-15-240.pool.digikabel.hu)
2025-10-31 13:47:48 +0000 <int-e> sure.
2025-10-31 13:48:04 +0000 <tomsmeding> haven't been able to find suitable diagonal half filled blocks in unicode
2025-10-31 13:49:09 +0000michalz(~michalz@185.246.207.200)
2025-10-31 13:50:07 +0000Jackneill(~Jackneill@94-21-95-10.pool.digikabel.hu) (Ping timeout: 264 seconds)
2025-10-31 13:50:37 +0000 <int-e> yeah I think all Unicode has is ╲╱ and the blocky ▜▛
2025-10-31 13:51:48 +0000michalz(~michalz@185.246.207.200) (Remote host closed the connection)
2025-10-31 13:52:11 +0000 <tomsmeding> sm: https://play.haskell.org/saved/tmon1vAt
2025-10-31 13:52:58 +0000 <int-e> tbh the latter looks fairly decent: https://paste.tomsmeding.com/b4Fwo1Sg
2025-10-31 13:53:10 +0000 <tomsmeding> oh that's fair
2025-10-31 13:58:21 +0000 <__monty__> "◥◤" also comes close but not high enough.
2025-10-31 13:58:32 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-10-31 14:03:15 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-31 14:08:51 +0000Googulator11(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-31 14:11:22 +0000poscat0x04(~poscat@user/poscat) poscat
2025-10-31 14:12:49 +0000poscat(~poscat@user/poscat) (Ping timeout: 246 seconds)
2025-10-31 14:14:45 +0000 <__monty__> The Sierpiński Carpet doesn't reduce as nicely, does it?
2025-10-31 14:18:41 +0000 <tomsmeding> that one seems to be most natural in base 3, which is not something we have available easily
2025-10-31 14:24:30 +0000fp(~Thunderbi@216-165-247-67.championbroadband.com) fp
2025-10-31 14:24:45 +0000Dhark8Shark8
2025-10-31 14:29:46 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-10-31 14:30:38 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-31 14:30:41 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 14:32:07 +0000annamalai(~annamalai@157.32.131.152) (Ping timeout: 264 seconds)
2025-10-31 14:33:15 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 14:33:28 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 14:35:25 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-10-31 14:35:34 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 265 seconds)
2025-10-31 14:42:02 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds)
2025-10-31 14:42:57 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-31 14:45:08 +0000craunts795335385(~craunts@136.158.7.194) (Read error: Connection reset by peer)
2025-10-31 14:46:14 +0000craunts795335385(~craunts@136.158.7.194)
2025-10-31 14:58:12 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-31 15:05:27 +0000Zemy(~Zemy@2600:100c:b0a1:9929:64af:16ff:fe6c:2e49)
2025-10-31 15:05:27 +0000Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-31 15:06:04 +0000Zemy_(~Zemy@72.178.108.235)
2025-10-31 15:06:55 +0000Zemy(~Zemy@2600:100c:b0a1:9929:64af:16ff:fe6c:2e49) (Read error: Connection reset by peer)
2025-10-31 15:07:22 +0000qqe(~qqq@185.54.23.200)
2025-10-31 15:08:24 +0000tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2)
2025-10-31 15:11:17 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-10-31 15:14:06 +0000Zemy(~Zemy@2600:100c:b0a1:9929:b0e8:b9ff:fe4a:2608)
2025-10-31 15:14:06 +0000Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-31 15:14:41 +0000Zemy_(~Zemy@72.178.108.235)
2025-10-31 15:17:44 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 256 seconds)
2025-10-31 15:18:18 +0000Zemy(~Zemy@2600:100c:b0a1:9929:b0e8:b9ff:fe4a:2608) (Ping timeout: 256 seconds)
2025-10-31 15:20:04 +0000fp(~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 244 seconds)
2025-10-31 15:26:21 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 15:28:51 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-10-31 15:30:20 +0000 <haskellbridge> <sm> ooh! beautiful
2025-10-31 15:31:03 +0000 <haskellbridge> <sm> what's the difference between https://play.haskell.org and https://haskell-wasm.github.io/ghc-in-browser again ? ghcjs and wasm respectively ?
2025-10-31 15:35:27 +0000sajith_sajith
2025-10-31 15:37:38 +0000inline(~inline@2a02:8071:57a1:dc0:c33:90af:2d70:1d1d) (Ping timeout: 244 seconds)
2025-10-31 15:42:09 +0000fp(~Thunderbi@216-165-247-67.championbroadband.com) fp
2025-10-31 15:43:55 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-31 15:45:18 +0000 <geekosaur> doesn't play.haskell.org use regular ghc? it can dump amd64 asm output
2025-10-31 15:46:16 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds)
2025-10-31 15:49:29 +0000 <haskellbridge> <sm> oh.. play is running ghc on the server, not in the browser
2025-10-31 15:49:43 +0000 <haskellbridge> <sm> right
2025-10-31 15:50:53 +0000ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-10-31 15:51:10 +0000Fijxu(~Fijxu@user/fijxu) (Ping timeout: 246 seconds)
2025-10-31 15:53:30 +0000annamalai(~annamalai@157.32.136.128) annamalai
2025-10-31 15:55:23 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-31 15:55:46 +0000Fijxu(~Fijxu@user/fijxu) fijxu
2025-10-31 15:56:34 +0000haskellbridge(~hackager@96.28.224.214) (Remote host closed the connection)
2025-10-31 15:57:23 +0000haskellbridge(~hackager@96.28.224.214) hackager
2025-10-31 15:57:23 +0000ChanServ+v haskellbridge
2025-10-31 15:59:23 +0000inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) Inline
2025-10-31 16:05:10 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds)
2025-10-31 16:06:16 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-31 16:14:48 +0000chele(~chele@user/chele) (Remote host closed the connection)
2025-10-31 16:20:38 +0000deptype(~deptype@2406:b400:3a:73c2:bb17:f41f:ac95:7d45)
2025-10-31 16:25:18 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 16:25:31 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 16:26:59 +0000Googulator11(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 16:27:18 +0000Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) Anarchos
2025-10-31 16:27:19 +0000inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) (Remote host closed the connection)
2025-10-31 16:28:13 +0000inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) Inline
2025-10-31 16:29:58 +0000inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) (Remote host closed the connection)
2025-10-31 16:30:39 +0000Googulator94(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 16:30:44 +0000Googulator11(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit)
2025-10-31 16:33:44 +0000biberu(~biberu@user/biberu) (Quit: ZNC - https://znc.in)
2025-10-31 16:33:49 +0000tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-31 16:39:06 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-10-31 16:39:43 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 16:47:00 +0000trickard_trickard
2025-10-31 16:48:22 +0000tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2)
2025-10-31 16:48:40 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-10-31 16:52:33 +0000deptype_(~deptype@2406:b400:3a:73c2:bb17:f41f:ac95:7d45)
2025-10-31 16:59:15 +0000bggd(~bgg@2a01:e0a:819:1510:aa28:625d:5af8:625b) (Remote host closed the connection)
2025-10-31 16:59:54 +0000gustrb(~gustrb@user/gustrb) (Quit: gustrb)
2025-10-31 17:02:22 +0000deptype(~deptype@2406:b400:3a:73c2:bb17:f41f:ac95:7d45) (Remote host closed the connection)
2025-10-31 17:02:22 +0000deptype_(~deptype@2406:b400:3a:73c2:bb17:f41f:ac95:7d45) (Remote host closed the connection)
2025-10-31 17:04:49 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 17:07:40 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-10-31 17:20:39 +0000Googulator98(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 17:20:41 +0000Googulator94(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 17:25:45 +0000Googulator98(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 17:25:49 +0000Googulator68(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 17:26:49 +0000acidjnk(~acidjnk@p200300d6e71719308df0744f2dc6c30e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2025-10-31 17:32:41 +0000monochromboonochrom
2025-10-31 17:33:15 +0000 <boonochrom> boo! >:)
2025-10-31 17:39:59 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-10-31 17:43:25 +0000craunts795335385(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-31 17:44:26 +0000craunts795335385(~craunts@136.158.7.194)
2025-10-31 17:45:25 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 17:45:37 +0000Googulator68(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 17:45:43 +0000Googulator68(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 17:48:05 +0000weary-traveler(~user@user/user363627) user363627
2025-10-31 17:50:23 +0000EvanR_(~EvanR@user/evanr) EvanR
2025-10-31 17:52:17 +0000EvanR(~EvanR@user/evanr) (Ping timeout: 260 seconds)
2025-10-31 17:54:04 +0000comerijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-10-31 17:55:15 +0000wickedjargon(~user@207.194.126.26)
2025-10-31 18:01:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 18:02:59 +0000wickedja`(~user@207.194.126.26)
2025-10-31 18:04:03 +0000wickedja`(~user@207.194.126.26) (Remote host closed the connection)
2025-10-31 18:04:34 +0000wickedjargon(~user@207.194.126.26) (Read error: Connection reset by peer)
2025-10-31 18:05:24 +0000wickedjargon(~user@207.194.126.26) wickedjargon
2025-10-31 18:05:55 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 18:07:45 +0000Googulator68(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 18:08:05 +0000Googulator68(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 18:08:43 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-10-31 18:08:43 +0000ljdarj1ljdarj
2025-10-31 18:10:40 +0000Googulator68(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit)
2025-10-31 18:10:46 +0000Googulator86(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 18:14:23 +0000Googulator86(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit)
2025-10-31 18:14:26 +0000Googulator71(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 18:16:13 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 18:16:22 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-10-31 18:18:18 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-10-31 18:18:18 +0000ljdarj1ljdarj
2025-10-31 18:18:35 +0000EvanR_EvanR
2025-10-31 18:20:12 +0000tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-31 18:23:49 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:c0a8:9aff:feea:d493)
2025-10-31 18:25:40 +0000Googulator10(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 18:25:47 +0000Googulator71(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 18:26:01 +0000Zemy_(~Zemy@72.178.108.235) (Ping timeout: 255 seconds)
2025-10-31 18:27:43 +0000wickedjargon(~user@207.194.126.26) (Read error: Connection reset by peer)
2025-10-31 18:31:21 +0000inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) Inline
2025-10-31 18:35:17 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-31 18:35:25 +0000trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-10-31 18:35:56 +0000craunts795335385(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-31 18:36:05 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 18:37:39 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-10-31 18:38:01 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 18:41:34 +0000tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2)
2025-10-31 18:45:42 +0000Googulator31(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 18:45:44 +0000Googulator10(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 18:47:14 +0000jespada(~jespada@2800:a4:2225:3b00:4824:161a:e31a:fdd3) jespada
2025-10-31 18:49:52 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-10-31 18:51:46 +0000peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-31 18:52:25 +0000Sgeo_(~Sgeo@user/sgeo) Sgeo
2025-10-31 18:53:17 +0000Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net)
2025-10-31 18:55:20 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:c0a8:9aff:feea:d493) (Ping timeout: 256 seconds)
2025-10-31 18:55:53 +0000Sgeo(~Sgeo@user/sgeo) (Ping timeout: 256 seconds)
2025-10-31 18:56:23 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:f0b9:b7ff:fe5b:81a7)
2025-10-31 18:56:33 +0000Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net) (Read error: Connection reset by peer)
2025-10-31 18:58:15 +0000Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net)
2025-10-31 18:58:34 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:f0b9:b7ff:fe5b:81a7) (Read error: Connection reset by peer)
2025-10-31 18:59:08 +0000Googulator31(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 18:59:09 +0000Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net) (Read error: Connection reset by peer)
2025-10-31 18:59:11 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:c80a:beff:fef9:b5bc)
2025-10-31 18:59:26 +0000Googulator31(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 18:59:38 +0000Googulator31(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit)
2025-10-31 18:59:51 +0000Googulator31(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 19:00:25 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds)
2025-10-31 19:00:48 +0000Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net)
2025-10-31 19:00:48 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:c80a:beff:fef9:b5bc) (Read error: Connection reset by peer)
2025-10-31 19:03:43 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:4a1:9fff:fe09:e1d4)
2025-10-31 19:03:51 +0000Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net) (Read error: Connection reset by peer)
2025-10-31 19:04:32 +0000Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net)
2025-10-31 19:04:32 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:4a1:9fff:fe09:e1d4) (Read error: Connection reset by peer)
2025-10-31 19:04:33 +0000Googulator31(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit)
2025-10-31 19:04:50 +0000Googulator31(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 19:05:01 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:b8f4:e2ff:fe1f:601)
2025-10-31 19:05:26 +0000Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net) (Read error: Connection reset by peer)
2025-10-31 19:05:55 +0000Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net)
2025-10-31 19:06:36 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:b8f4:e2ff:fe1f:601) (Read error: Connection reset by peer)
2025-10-31 19:06:45 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:5cc4:35ff:fe69:79df)
2025-10-31 19:06:45 +0000 <tomsmeding> sm: yep! which means you don't have to download a 50 MB wasm payload to use it :p
2025-10-31 19:06:56 +0000tomsmedingis actually astonished it's just 50MB
2025-10-31 19:07:11 +0000 <tomsmeding> with a full local GHC installation being 2GB
2025-10-31 19:08:01 +0000Core7800(~Zemy@syn-024-173-084-163.biz.spectrum.com)
2025-10-31 19:10:04 +0000peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-10-31 19:10:08 +0000 <boonochrom> Oh! Does it mean I downloaded 50MB of wasm the other day when I first tried out GHC-in-browser? :)
2025-10-31 19:10:49 +0000Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net) (Ping timeout: 264 seconds)
2025-10-31 19:11:12 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:5cc4:35ff:fe69:79df) (Ping timeout: 256 seconds)
2025-10-31 19:11:39 +0000 <geekosaur> yes
2025-10-31 19:12:54 +0000gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-10-31 19:15:03 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:a84b:ddff:fee1:f874)
2025-10-31 19:17:25 +0000Core7800(~Zemy@syn-024-173-084-163.biz.spectrum.com) (Ping timeout: 264 seconds)
2025-10-31 19:26:29 +0000Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net)
2025-10-31 19:28:46 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:a84b:ddff:fee1:f874) (Ping timeout: 256 seconds)
2025-10-31 19:31:01 +0000bgt32(~keutoi@106.222.231.17) (Ping timeout: 256 seconds)
2025-10-31 19:31:54 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-10-31 19:33:46 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:48c9:49ff:fe87:6a25)
2025-10-31 19:34:32 +0000jmcantrell_(~weechat@user/jmcantrell) (Client Quit)
2025-10-31 19:34:43 +0000fp(~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 260 seconds)
2025-10-31 19:34:47 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 19:37:50 +0000Zemy_(~Zemy@mobile-107-80-206-97.mycingular.net) (Ping timeout: 256 seconds)
2025-10-31 19:38:06 +0000nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-10-31 19:40:07 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-10-31 19:40:21 +0000jespada(~jespada@2800:a4:2225:3b00:4824:161a:e31a:fdd3) (Quit: Textual IRC Client: www.textualapp.com)
2025-10-31 19:40:52 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 19:41:06 +0000trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 19:42:03 +0000 <merijn> tomsmeding: to be fair, that's really like 5 GHCs in one :p
2025-10-31 19:42:15 +0000 <tomsmeding> is it?
2025-10-31 19:42:38 +0000 <merijn> tomsmeding: all the different flavours are shipped together
2025-10-31 19:42:49 +0000 <merijn> static, static + profiling, dynamic, dynamic + profiling
2025-10-31 19:43:01 +0000 <tomsmeding> isn't there tremendous overlap between them?
2025-10-31 19:43:15 +0000 <merijn> tomsmeding: all of base exists once per flavour
2025-10-31 19:43:15 +0000 <tomsmeding> why would I need a completely separate GHC to be able to compile with profiling?
2025-10-31 19:43:20 +0000 <tomsmeding> oh the libraries, right
2025-10-31 19:43:56 +0000 <merijn> the RTS has all of those and then also debug flavour
2025-10-31 19:44:18 +0000 <merijn> there's A LOT of duplication and in the absence of linking being a thing at all in wasm you can collapse a lot of that
2025-10-31 19:44:20 +0000nek0(~nek0@user/nek0) nek0
2025-10-31 19:45:09 +0000 <tomsmeding> merijn: though libHSghc-9.8.4-c895.a is 272 MB on my system
2025-10-31 19:45:15 +0000 <tomsmeding> that's just one flavour
2025-10-31 19:45:35 +0000 <tomsmeding> (the .p_a is 447 MB, yes)
2025-10-31 19:45:57 +0000 <merijn> tomsmeding: Oh, I forgot mentioning you ship "GHC-as-library" in all flavours too :p
2025-10-31 19:46:14 +0000 <tomsmeding> > 50 / 272
2025-10-31 19:46:16 +0000 <lambdabot> 0.18382352941176472
2025-10-31 19:46:26 +0000 <tomsmeding> which 82% of GHC does the wasm playground get to cut?
2025-10-31 19:47:23 +0000 <merijn> Well, presumably literally all of the GC and multi-threading? :p
2025-10-31 19:47:37 +0000 <boonochrom> I fear that RTS also has to have those 4 flavours.
2025-10-31 19:47:56 +0000 <merijn> tomsmeding: Also, don't forget debug symbols
2025-10-31 19:48:32 +0000 <tomsmeding> merijn: okay very good point, stripping that .a yields 124 MB
2025-10-31 19:48:54 +0000 <boonochrom> OK OK GHC-in-browser probably can choose just one flavour and stick to it.
2025-10-31 19:49:00 +0000 <tomsmeding> still, cutting >50% still seems much
2025-10-31 19:49:59 +0000 <boonochrom> Some years ago someone in the local Haskell group eventually suggested "use a standard exe compressor" >:)
2025-10-31 19:50:07 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2025-10-31 19:50:47 +0000 <tomsmeding> ghc-in-browser only needs to do bytecode interpretation; not sure if the process is smart enough to cut the native code generator, but it could in principle
2025-10-31 19:51:14 +0000 <tomsmeding> maybe GC + some of the RTS + native codegen starts being sizeable?
2025-10-31 19:51:51 +0000 <tomsmeding> my GHC 9.12 is actually 3.6 GB
2025-10-31 19:52:30 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-10-31 19:52:52 +0000 <haskellbridge> <sm> ouch
2025-10-31 19:54:59 +0000ss4(~wootehfoo@user/wootehfoot) wootehfoot
2025-10-31 19:56:01 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds)
2025-10-31 19:57:23 +0000 <merijn> sm: I mean, that's still nothing compared to clang
2025-10-31 19:57:39 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-10-31 19:57:42 +0000 <merijn> Which is like a solid 6.5 GB and that's not even with all bells and whistles
2025-10-31 19:59:44 +0000 <tomsmeding> merijn: I happen to have a full install of clang 15 here in a prefix directory, and it's 584 MB
2025-10-31 19:59:56 +0000 <tomsmeding> yes, clang 15 is old, but it hasn't become 6.5 MB in a few years
2025-10-31 20:00:03 +0000 <tomsmeding> s/MB/GB/
2025-10-31 20:00:16 +0000 <tomsmeding> (yes, the build directory is 11 GB)
2025-10-31 20:00:59 +0000 <tomsmeding> though you're right that 584 is larger than 124
2025-10-31 20:00:59 +0000synchromesh(~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) (Read error: Connection reset by peer)
2025-10-31 20:02:11 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-10-31 20:02:22 +0000synchromesh(~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) synchromesh
2025-10-31 20:02:30 +0000 <merijn> tomsmeding: I have a full install in my homedir (multiple actually) and the smallest is 5GB
2025-10-31 20:02:41 +0000 <tomsmeding> 1. rip your disk
2025-10-31 20:02:56 +0000 <tomsmeding> 2. apparently you have many more bells 'n whistles enabled than I have
2025-10-31 20:02:56 +0000 <merijn> tomsmeding: Just clang or clang++ too?
2025-10-31 20:03:09 +0000 <tomsmeding> this is just clang, though with the NVPTX backend, I think
2025-10-31 20:03:27 +0000 <tomsmeding> oh no there's clang++ too
2025-10-31 20:03:46 +0000 <tomsmeding> and all the llvm-* tools, though I expect they share most of the code with clang
2025-10-31 20:07:18 +0000phma(~phma@2605:59c8:6211:ff08:7181:51cb:35db:c6be) (Ping timeout: 256 seconds)
2025-10-31 20:17:50 +0000haltingsolver(~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73)
2025-10-31 20:27:08 +0000haltingsolver(~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) (Ping timeout: 256 seconds)
2025-10-31 20:33:01 +0000Eoco(~ian@128.101.131.218) Eoco
2025-10-31 20:34:27 +0000inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) (Ping timeout: 250 seconds)
2025-10-31 20:35:38 +0000Googulator73(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 20:35:43 +0000Googulator31(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 20:36:13 +0000inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) Inline
2025-10-31 20:36:52 +0000remexre(~remexre@user/remexre) remexre
2025-10-31 20:38:35 +0000bonken(~bonken@77.240.72.67)
2025-10-31 20:40:42 +0000Googulator73(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 20:40:49 +0000Googulator73(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 20:42:47 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-10-31 20:47:44 +0000fgidim(~lei@user/fgarcia) (Quit: Remote host closed the connection)
2025-10-31 20:51:14 +0000Zemy_(~Zemy@72.178.108.235)
2025-10-31 20:53:09 +0000Zemy(~Zemy@2600:100c:b0a9:88fa:48c9:49ff:fe87:6a25) (Ping timeout: 252 seconds)
2025-10-31 20:58:40 +0000bonken(~bonken@77.240.72.67) (Leaving)
2025-10-31 20:59:07 +0000annamalai(~annamalai@157.32.136.128) (Ping timeout: 264 seconds)
2025-10-31 21:00:41 +0000Googulator24(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 21:00:52 +0000Googulator73(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 21:09:01 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2025-10-31 21:18:19 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-10-31 21:20:42 +0000Googulator14(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 21:20:45 +0000Googulator24(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 21:21:43 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 21:23:10 +0000YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2025-10-31 21:23:30 +0000YoungFrog(~youngfrog@2a02:a03f:ca07:f900:3dd:a915:d31f:6e01) youngfrog
2025-10-31 21:27:57 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 21:29:17 +0000peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-31 21:30:48 +0000inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) (Ping timeout: 260 seconds)
2025-10-31 21:35:43 +0000Googulator52(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 21:35:43 +0000Googulator14(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 21:36:16 +0000inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) Inline
2025-10-31 21:41:41 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-10-31 21:42:37 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-31 21:44:06 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus)
2025-10-31 21:45:17 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-10-31 21:47:03 +0000peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 252 seconds)
2025-10-31 21:47:10 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 21:55:38 +0000Googulator42(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 21:55:46 +0000Googulator52(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 21:55:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 21:58:21 +0000Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-10-31 22:00:47 +0000Googulator42(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 22:00:48 +0000Googulator46(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 22:06:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 22:08:20 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-31 22:15:08 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-10-31 22:15:45 +0000Googulator50(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 22:16:19 +0000Googulator46(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 22:16:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-31 22:23:42 +0000tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-31 22:27:15 +0000tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2)
2025-10-31 22:29:00 +0000inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) (Ping timeout: 244 seconds)
2025-10-31 22:30:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 22:40:56 +0000Googulator50(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 22:41:12 +0000Googulator50(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 22:47:31 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-10-31 22:51:40 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-31 22:56:25 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
2025-10-31 23:02:47 +0000haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-31 23:04:16 +0000tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-31 23:11:56 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection)
2025-10-31 23:12:01 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-10-31 23:13:07 +0000hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 260 seconds)
2025-10-31 23:13:51 +0000Inline(~inlinE@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) Inline
2025-10-31 23:15:35 +0000Googulator50(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 23:15:39 +0000Googulator54(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 23:16:02 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-31 23:23:51 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-10-31 23:26:23 +0000bggd(~bgg@2a01:e0a:819:1510:8d04:af1c:1a8a:84e8)
2025-10-31 23:29:43 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2025-10-31 23:30:44 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 23:34:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 23:34:25 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 23:45:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 23:50:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 23:52:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 23:56:13 +0000nerdychip(~nerdychip@user/nerdychip) (Ping timeout: 244 seconds)
2025-10-31 23:57:24 +0000Inline(~inlinE@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) (Ping timeout: 252 seconds)