2025/10/31

2025-10-31 00:03:04 +0100Zemy_(~Zemy@2600:100c:b0a3:ce24:ecdf:96ff:fed5:d79e)
2025-10-31 00:03:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-10-31 00:05:28 +0100nerdychip(~nerdychip@212.129.72.100)
2025-10-31 00:05:28 +0100nerdychip(~nerdychip@212.129.72.100) (Changing host)
2025-10-31 00:05:28 +0100nerdychip(~nerdychip@user/nerdychip) nerdychip
2025-10-31 00:07:13 +0100Zemy(~Zemy@72.178.108.235) (Ping timeout: 264 seconds)
2025-10-31 00:13:04 +0100inline(~inline@2a02:8071:57a1:dc0:c33:90af:2d70:1d1d) (Quit: Leaving)
2025-10-31 00:14:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 00:14:08 +0100inline(~inline@2a02:8071:57a1:dc0:c33:90af:2d70:1d1d) Inline
2025-10-31 00:14:12 +0100AlexNoo_(~AlexNoo@178.34.160.166)
2025-10-31 00:14:38 +0100Zemy(~Zemy@mobile-107-80-206-97.mycingular.net)
2025-10-31 00:15:48 +0100fp(~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 256 seconds)
2025-10-31 00:17:31 +0100AlexZenon(~alzenon@85.174.182.61) (Ping timeout: 246 seconds)
2025-10-31 00:17:52 +0100Zemy_(~Zemy@2600:100c:b0a3:ce24:ecdf:96ff:fed5:d79e) (Ping timeout: 246 seconds)
2025-10-31 00:18:01 +0100AlexNoo(~AlexNoo@85.174.182.61) (Ping timeout: 264 seconds)
2025-10-31 00:18:17 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-31 00:18:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 00:24:29 +0100AlexZenon(~alzenon@178.34.160.166)
2025-10-31 00:24:37 +0100Zemy_(~Zemy@2600:100c:b0a3:ce24:30bd:a1ff:fe63:415e)
2025-10-31 00:26:03 +0100Nachtgespenst(~user@user/siracusa) siracusa
2025-10-31 00:27:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 00:28:00 +0100Zemy(~Zemy@mobile-107-80-206-97.mycingular.net) (Ping timeout: 256 seconds)
2025-10-31 00:28:27 +0100tromp(~textual@2001:1c00:3487:1b00:5978:a504:f2fd:26f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-31 00:32:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 00:34:44 +0100pabs3(~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.)
2025-10-31 00:35:05 +0100Zemy(~Zemy@72.176.66.250)
2025-10-31 00:37:04 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 00:38:12 +0100Zemy_(~Zemy@2600:100c:b0a3:ce24:30bd:a1ff:fe63:415e) (Ping timeout: 256 seconds)
2025-10-31 00:39:23 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-10-31 00:43:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 00:46:06 +0100pabs3(~pabs3@user/pabs3) pabs3
2025-10-31 00:54:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 00:55:14 +0100_________(~nobody@user/noodly) (Ping timeout: 244 seconds)
2025-10-31 00:56:04 +0100_________(~nobody@user/noodly) _________
2025-10-31 00:56:33 +0100Zemy_(~Zemy@2600:100c:b0a3:ce24:b0d4:7aff:febe:a1f1)
2025-10-31 00:59:23 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-31 00:59:42 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-10-31 00:59:44 +0100Zemy(~Zemy@72.176.66.250) (Ping timeout: 256 seconds)
2025-10-31 01:02:19 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-31 01:04:16 +0100trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 256 seconds)
2025-10-31 01:04:16 +0100trickard__(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-31 01:05:48 +0100Googulator65(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 01:05:52 +0100Googulator95(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 01:06:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 01:06:25 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-10-31 01:08:22 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection)
2025-10-31 01:09:31 +0100trickard__trickard
2025-10-31 01:09:35 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-31 01:10:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-31 01:11:40 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-31 01:13:55 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-31 01:21:18 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-10-31 01:21:41 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-31 01:22:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 01:25:24 +0100Googulator65(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 01:25:39 +0100Googulator65(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 01:26:02 +0100williu5(~williu5@user/williu5) (Quit: WeeChat 4.1.1)
2025-10-31 01:26:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 01:27:21 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-10-31 01:28:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 01:31:37 +0100Zemy(~Zemy@mobile-107-80-206-52.mycingular.net)
2025-10-31 01:32:16 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-10-31 01:33:04 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-31 01:33:10 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds)
2025-10-31 01:33:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 01:34:52 +0100Zemy_(~Zemy@2600:100c:b0a3:ce24:b0d4:7aff:febe:a1f1) (Ping timeout: 256 seconds)
2025-10-31 01:35:05 +0100Zemy_(~Zemy@2600:100c:b0a3:ce24:5486:99ff:fe7d:6ecf)
2025-10-31 01:38:16 +0100Zemy(~Zemy@mobile-107-80-206-52.mycingular.net) (Ping timeout: 256 seconds)
2025-10-31 01:38:16 +0100Core4945(~Zemy@72.178.108.235)
2025-10-31 01:41:40 +0100Zemy_(~Zemy@2600:100c:b0a3:ce24:5486:99ff:fe7d:6ecf) (Ping timeout: 256 seconds)
2025-10-31 01:44:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 01:49:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 01:51:31 +0100tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-10-31 02:01:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 02:05:41 +0100Googulator65(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 02:05:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-31 02:05:46 +0100Googulator80(~Googulato@84-236-65-182.pool.digikabel.hu)
2025-10-31 02:12:02 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-10-31 02:12:39 +0100trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 02:12:53 +0100trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-31 02:15:01 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
2025-10-31 02:16:30 +0100trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 02:16:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 02:19:37 +0100otto_s(~user@p4ff27477.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-10-31 02:20:39 +0100Googulator3(~Googulato@84-236-65-182.pool.digikabel.hu)
2025-10-31 02:20:45 +0100Googulator80(~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed)
2025-10-31 02:20:58 +0100otto_s(~user@p5b044c79.dip0.t-ipconnect.de)
2025-10-31 02:21:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 02:22:55 +0100trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-31 02:24:19 +0100forell(~forell@user/forell) (Quit: ZNC - https://znc.in)
2025-10-31 02:25:05 +0100forell(~forell@user/forell) forell
2025-10-31 02:34:18 +0100Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-10-31 02:36:10 +0100annamalai(~annamalai@157.32.131.152) annamalai
2025-10-31 02:37:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 02:42:45 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-31 02:43:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 02:44:31 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 02:44:50 +0100m_a_r_k(~m_a_r_k@user/m-a-r-k:45929) (Changing host)
2025-10-31 02:44:50 +0100m_a_r_k(~m_a_r_k@archlinux/support/mark) m_a_r_k
2025-10-31 02:51:19 +0100annamalai(~annamalai@157.32.131.152) (Remote host closed the connection)
2025-10-31 02:51:41 +0100annamalai(~annamalai@157.32.131.152) annamalai
2025-10-31 02:53:43 +0100acidjnk(~acidjnk@p200300d6e717193069949166e2561304.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2025-10-31 02:54:29 +0100trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 02:54:43 +0100trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-31 02:55:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 02:58:13 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-10-31 02:59:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 03:05:52 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 03:10:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 03:11:39 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-31 03:16:04 +0100Googulator19(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 03:16:15 +0100Googulator3(~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed)
2025-10-31 03:17:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 03:18:26 +0100 <haskellbridge> <sm> I'd like to see that
2025-10-31 03:20:39 +0100Googulator19(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Client Quit)
2025-10-31 03:20:43 +0100Googulator31(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 03:21:16 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds)
2025-10-31 03:21:48 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-10-31 03:25:21 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 03:27:38 +0100trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 03:27:51 +0100trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-31 03:28:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 03:30:27 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-31 03:30:53 +0100ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-10-31 03:32:43 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 03:33:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 03:34:53 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 244 seconds)
2025-10-31 03:35:25 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
2025-10-31 03:41:14 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-10-31 03:44:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 03:44:29 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-10-31 03:44:52 +0100Googulator31(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 03:45:09 +0100Googulator31(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 03:49:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 03:50:58 +0100 <segfaultfizzbuzz> sm: go for it, it ran faster than i expected
2025-10-31 03:51:24 +0100Core4945(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-31 03:51:36 +0100Zemy(~Zemy@2600:100c:b0a2:933f:2c3d:3dff:feed:80b4)
2025-10-31 03:52:08 +0100Zemy_(~Zemy@72.178.108.235)
2025-10-31 03:53:43 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds)
2025-10-31 03:54:50 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 03:55:58 +0100Zemy(~Zemy@2600:100c:b0a2:933f:2c3d:3dff:feed:80b4) (Ping timeout: 256 seconds)
2025-10-31 04:00:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 04:01:14 +0100segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2025-10-31 04:04:20 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-31 04:04:23 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-31 04:05:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 04:08:26 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-10-31 04:08:41 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-31 04:15:36 +0100Googulator31(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 04:15:38 +0100Googulator40(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 04:15:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 04:20:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 04:20:39 +0100Googulator40(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 04:20:46 +0100Googulator87(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 04:21:36 +0100bgt32(~keutoi@106.222.233.20)
2025-10-31 04:26:06 +0100synchromesh(~john@2406:5a00:2412:2c00:a151:32b5:2959:c671) (Read error: Connection reset by peer)
2025-10-31 04:27:06 +0100synchromesh(~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) synchromesh
2025-10-31 04:29:25 +0100trickard__(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 04:30:37 +0100trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-10-31 04:31:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 04:31:58 +0100pabs3(~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.)
2025-10-31 04:32:14 +0100bgt32(~keutoi@106.222.233.20) (Ping timeout: 256 seconds)
2025-10-31 04:35:47 +0100pabs3(~pabs3@user/pabs3) pabs3
2025-10-31 04:36:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 04:40:49 +0100td_(~td@i53870927.versanet.de) (Ping timeout: 264 seconds)
2025-10-31 04:42:10 +0100td_(~td@i53870919.versanet.de) td_
2025-10-31 04:45:56 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 04:46:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 04:48:28 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-31 04:49:07 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-31 04:50:56 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 04:52:13 +0100trickard__trickard
2025-10-31 04:53:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 04:56:41 +0100bgt32(~keutoi@106.222.234.204)
2025-10-31 04:59:01 +0100yin(~zero@user/zero) (Ping timeout: 265 seconds)
2025-10-31 05:02:45 +0100yin(~zero@user/zero) zero
2025-10-31 05:04:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 05:06:32 +0100 <haskellbridge> <sm> I was hoping you might share yours :)
2025-10-31 05:09:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 05:19:13 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2025-10-31 05:20:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 05:22:56 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-31 05:25:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 05:27:27 +0100jzargo3(~jzargo@user/jzargo) (Read error: Connection reset by peer)
2025-10-31 05:27:51 +0100jzargo3(~jzargo@user/jzargo) jzargo
2025-10-31 05:29:24 +0100annamalai(~annamalai@157.32.131.152) (Remote host closed the connection)
2025-10-31 05:30:13 +0100annamalai(~annamalai@157.32.131.152) annamalai
2025-10-31 05:31:12 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-31 05:31:41 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-10-31 05:34:58 +0100aforemny(~aforemny@2001:9e8:6cee:c800:2b8:8ee9:727a:1930) aforemny
2025-10-31 05:35:42 +0100aforemny_(~aforemny@i577B137A.versanet.de) (Ping timeout: 256 seconds)
2025-10-31 05:35:46 +0100Googulator87(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 05:35:48 +0100gorignak(~gorignak@user/gorignak) (Client Quit)
2025-10-31 05:35:51 +0100Googulator37(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 05:36:16 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds)
2025-10-31 05:36:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 05:36:25 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-10-31 05:41:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 05:50:07 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-10-31 05:50:30 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-31 05:52:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 05:56:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-31 05:58:35 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-10-31 06:01:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 06:06:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-31 06:13:54 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-31 06:14:14 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-31 06:15:43 +0100Googulator37(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 06:15:48 +0100Googulator55(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 06:17:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 06:19:07 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-31 06:22:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-31 06:32:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 06:33:50 +0100jzargo3jzargo
2025-10-31 06:37:41 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-31 06:39:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 06:40:39 +0100Googulator99(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 06:40:49 +0100Googulator55(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 06:45:48 +0100Googulator99(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 06:45:50 +0100Googulator72(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 06:48:55 +0100bliminse(~bliminse@user/bliminse) (Quit: leaving)
2025-10-31 06:50:25 +0100ski(~ski@remote11.chalmers.se) (Ping timeout: 264 seconds)
2025-10-31 06:50:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 06:51:12 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-10-31 06:52:25 +0100trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 06:52:39 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 06:53:25 +0100bgt32(~keutoi@106.222.234.204) (Ping timeout: 264 seconds)
2025-10-31 06:54:57 +0100bgt32(~keutoi@106.222.233.32)
2025-10-31 06:55:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-10-31 06:57:26 +0100comonad(~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de)
2025-10-31 07:01:29 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-10-31 07:01:46 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-10-31 07:06:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 07:11:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-31 07:15:42 +0100Googulator72(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 07:15:44 +0100Googulator6(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 07:15:48 +0100bgt32(~keutoi@106.222.233.32) (Ping timeout: 265 seconds)
2025-10-31 07:16:50 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-10-31 07:17:06 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-10-31 07:18:22 +0100bgt32(~keutoi@106.222.231.17)
2025-10-31 07:18:22 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2025-10-31 07:19:00 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2025-10-31 07:19:06 +0100sp1ff`(~user@2601:1c2:4c00:6820::8bad)
2025-10-31 07:19:13 +0100sp1ff(~user@2601:1c2:4c00:6820::8bad) (Read error: Connection reset by peer)
2025-10-31 07:19:21 +0100ycp(~znc@user/dragestil) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-10-31 07:19:41 +0100ycp(~znc@user/dragestil) dragestil
2025-10-31 07:21:08 +0100xal_(~xal@mx1.xal.systems) (Read error: Connection reset by peer)
2025-10-31 07:21:15 +0100xal(~xal@mx1.xal.systems) xal
2025-10-31 07:22:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 07:27:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 07:31:17 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-10-31 07:32:01 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-31 07:33:27 +0100monochrom(trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in)
2025-10-31 07:35:37 +0100Googulator78(~Googulato@84-236-65-182.pool.digikabel.hu)
2025-10-31 07:35:44 +0100Googulator6(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 07:36:24 +0100bgt32(~keutoi@106.222.231.17) (Ping timeout: 256 seconds)
2025-10-31 07:36:49 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds)
2025-10-31 07:37:09 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-10-31 07:37:25 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-10-31 07:38:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 07:39:24 +0100monochrom(trebla@216.138.220.146)
2025-10-31 07:42:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-31 07:44:38 +0100chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 272 seconds)
2025-10-31 07:44:53 +0100scula(~scula@user/scula) (Ping timeout: 256 seconds)
2025-10-31 07:49:39 +0100scula(~scula@user/scula) scula
2025-10-31 07:54:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 07:54:28 +0100remexre(~remexre@user/remexre) (Ping timeout: 265 seconds)
2025-10-31 07:55:31 +0100Eoco(~ian@128.101.131.218) (Ping timeout: 264 seconds)
2025-10-31 07:55:38 +0100Googulator78(~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed)
2025-10-31 07:55:42 +0100Googulator32(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 07:56:23 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-10-31 07:58:45 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 07:58:55 +0100bgt32(~keutoi@106.222.231.17)
2025-10-31 07:59:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 08:00:04 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-10-31 08:00:24 +0100biberu(~biberu@user/biberu) biberu
2025-10-31 08:00:34 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 08:00:50 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 08:03:36 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 08:09:07 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-10-31 08:10:38 +0100Googulator54(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu)
2025-10-31 08:10:43 +0100Googulator32(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed)
2025-10-31 08:18:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 08:22:18 +0100Fijxu(~Fijxu@user/fijxu) (Ping timeout: 256 seconds)
2025-10-31 08:25:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 08:30:14 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-10-31 08:35:15 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-31 08:35:25 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-10-31 08:35:45 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 08:36:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 08:40:19 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 08:40:32 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 08:40:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-31 08:43:13 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-10-31 08:48:11 +0100Everything(~Everythin@static.208.206.21.65.clients.your-server.de) Everything
2025-10-31 08:49:00 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-31 08:49:03 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-10-31 08:51:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 08:54:58 +0100tromp(~textual@2001:1c00:3487:1b00:d90d:664f:1825:e058)
2025-10-31 08:56:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-31 08:56:50 +0100ski(~ski@remote11.chalmers.se)
2025-10-31 09:00:46 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 09:03:03 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-10-31 09:03:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 09:03:36 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 09:08:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 09:13:31 +0100Googulator54(~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-10-31 09:14:26 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds)
2025-10-31 09:15:34 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-31 09:17:56 +0100kuribas(~user@2a02:1808:4d:a25a:6fac:8a56:9dbd:1785) kuribas
2025-10-31 09:18:34 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-10-31 09:18:58 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 09:19:19 +0100 <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 09:19:35 +0100 <kuribas> You don't end up with code that is easier to understand, easier to manipulate.
2025-10-31 09:19:49 +0100 <kuribas> On top of the ineffeciencies of the free monad approach.
2025-10-31 09:20:27 +0100 <kuribas> And what it boils down to, injecting closures in your code, has existed before as "dependency injection".
2025-10-31 09:23:15 +0100bliminse(~bliminse@user/bliminse) bliminse
2025-10-31 09:24:01 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-10-31 09:30:31 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 09:32:38 +0100kuribas(~user@2a02:1808:4d:a25a:6fac:8a56:9dbd:1785) (Ping timeout: 260 seconds)
2025-10-31 09:33:28 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 09:34:50 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 09:35:08 +0100__monty__(~toonn@user/toonn) toonn
2025-10-31 09:37:16 +0100Square2(~Square@user/square) Square
2025-10-31 09:38:49 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 09:39:03 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 09:39:45 +0100tromp(~textual@2001:1c00:3487:1b00:d90d:664f:1825:e058) (Ping timeout: 244 seconds)
2025-10-31 09:39:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-31 09:42:55 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2025-10-31 09:45:46 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-10-31 09:46:12 +0100Fijxu(~Fijxu@user/fijxu) fijxu
2025-10-31 09:53:28 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 09:53:40 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 09:54:24 +0100remedan_(~remedan@78-80-95-79.customers.tmcz.cz) remedan
2025-10-31 09:54:38 +0100remedan(~remedan@78-80-95-79.customers.tmcz.cz) (Ping timeout: 244 seconds)
2025-10-31 09:55:38 +0100merijn(~merijn@77.242.116.146) merijn
2025-10-31 10:00:29 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-10-31 10:01:10 +0100weary-traveler(~user@user/user363627) user363627
2025-10-31 10:05:09 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-10-31 10:05:23 +0100divlamir(~divlamir@user/divlamir) divlamir
2025-10-31 10:07:52 +0100chele(~chele@user/chele) chele
2025-10-31 10:08:33 +0100acidjnk(~acidjnk@p200300d6e71719308df0744f2dc6c30e.dip0.t-ipconnect.de) acidjnk
2025-10-31 10:19:55 +0100bggd(~bgg@2a01:e0a:819:1510:aa28:625d:5af8:625b)
2025-10-31 10:25:33 +0100 <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 10:25:33 +0100 <lambdabot> Consider it noted.
2025-10-31 10:28:26 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 10:31:48 +0100Googulator54(~Googulato@team.broadbit.hu)
2025-10-31 10:35:14 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-10-31 10:38:37 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-10-31 10:39:21 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 10:41:08 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-10-31 10:41:08 +0100ljdarj1ljdarj
2025-10-31 10:43:35 +0100tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2)
2025-10-31 10:52:51 +0100trickard_trickard
2025-10-31 11:09:28 +0100omenticjj
2025-10-31 11:16:36 +0100Googulator54Googulator
2025-10-31 11:18:00 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 11:19:22 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-10-31 11:19:22 +0100ljdarj1ljdarj
2025-10-31 11:23:39 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 11:25:37 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds)
2025-10-31 11:25:37 +0100ljdarj1ljdarj
2025-10-31 11:32:22 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 11:34:24 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-10-31 11:34:25 +0100ljdarj1ljdarj
2025-10-31 11:37:15 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 11:38:50 +0100ljdarj(~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
2025-10-31 11:38:50 +0100ljdarj1ljdarj
2025-10-31 11:45:10 +0100Dhark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net)
2025-10-31 11:46:31 +0100Shark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 264 seconds)
2025-10-31 11:47:08 +0100halloy8008(~halloy800@2405:201:a00a:b009:95f6:89f8:41dc:a5ef)
2025-10-31 11:48:26 +0100halloy8008(~halloy800@2405:201:a00a:b009:95f6:89f8:41dc:a5ef) (Quit: halloy8008)
2025-10-31 12:03:39 +0100Googulator(~Googulato@team.broadbit.hu) (Quit: Client closed)
2025-10-31 12:03:59 +0100Googulator(~Googulato@team.broadbit.hu)
2025-10-31 12:04:21 +0100Googulator(~Googulato@team.broadbit.hu) (Client Quit)
2025-10-31 12:04:38 +0100Googulator(~Googulato@team.broadbit.hu)
2025-10-31 12:08:06 +0100cattiesC477135
2025-10-31 12:21:46 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-10-31 12:25:16 +0100 <[exa]> tomsmeding kuribas: are there free selectives already in the libraries? (just saw the messages above so kinda wondering)
2025-10-31 12:29:15 +0100tomsmedingdoesn't know
2025-10-31 12:30:59 +0100 <tomsmeding> sm: bitwise AND is enough https://lcamtuf.substack.com/p/sierpinski-triangle-in-my-bitwise
2025-10-31 12:33:53 +0100nerdychip(~nerdychip@user/nerdychip) (Ping timeout: 256 seconds)
2025-10-31 12:35:04 +0100 <kuribas> [exa]: I don't know. I like the applicative inside monad pattern.
2025-10-31 12:36:11 +0100nerdychip(~nerdychip@212.129.76.47)
2025-10-31 12:36:11 +0100nerdychip(~nerdychip@212.129.76.47) (Changing host)
2025-10-31 12:36:11 +0100nerdychip(~nerdychip@user/nerdychip) nerdychip
2025-10-31 12:38:51 +0100 <tomsmeding> %% putStr$unlines[["#."!!fromEnum(i.&.j>0)|j<-[0..31]]|i<-[0..31::Int]] -- sm
2025-10-31 12:38:52 +0100 <yahb2> https://paste.tomsmeding.com/GlIradAP
2025-10-31 12:41:36 +0100 <[exa]> what is this %% sorcery
2025-10-31 12:42:22 +0100 <tomsmeding> the original yahb did it too, and someone requested the functionality
2025-10-31 12:42:37 +0100 <[exa]> cool
2025-10-31 12:42:58 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2025-10-31 12:43:32 +0100 <tomsmeding> the pastes expire, though
2025-10-31 12:43:32 +0100synchromesh(~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) (Read error: Connection reset by peer)
2025-10-31 12:43:40 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 12:44:44 +0100synchromesh(~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) synchromesh
2025-10-31 12:45:42 +0100 <tomsmeding> ooh it can be golfed: fromEnum(i.&.j>0) -> signum(i.&.j)
2025-10-31 12:47:00 +0100Googulator(~Googulato@team.broadbit.hu) (Quit: Client closed)
2025-10-31 12:47:18 +0100Googulator(~Googulato@team.broadbit.hu)
2025-10-31 12:47:33 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-10-31 12:47:33 +0100ljdarj1ljdarj
2025-10-31 12:49:16 +0100 <__monty__> I was going trying ('#':repeat '.')!!(i.&.j), my golf is weak.
2025-10-31 12:54:37 +0100 <tomsmeding> well you did shorten it :)
2025-10-31 12:54:59 +0100 <tomsmeding> because it allows removing the ::Int annotation
2025-10-31 12:55:12 +0100 <tomsmeding> though the signum trick also does, and it's also shorter, so signum does win
2025-10-31 12:56:01 +0100 <tomsmeding> __monty__: a little bit shorter (though still longer than signum): '#':cycle"."
2025-10-31 12:57:18 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 12:58:36 +0100 <__monty__> Darn, you put me to shame again, found `['.','.'..]`.
2025-10-31 13:01:31 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2025-10-31 13:10:40 +0100Googulator(~Googulato@team.broadbit.hu) (Quit: Client closed)
2025-10-31 13:10:48 +0100Googulator(~Googulato@team.broadbit.hu)
2025-10-31 13:11:25 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 264 seconds)
2025-10-31 13:18:44 +0100comerijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-31 13:20:08 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-10-31 13:25:32 +0100Googulator(~Googulato@team.broadbit.hu) (Quit: Client closed)
2025-10-31 13:25:38 +0100Googulator12(~Googulato@team.broadbit.hu)
2025-10-31 13:32:37 +0100AlexNoo_AlexNoo
2025-10-31 13:33:37 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-31 13:34:18 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-10-31 13:41:17 +0100 <haskellbridge> <sm> tomsmeding: With an import Data.Bits. Thanks!
2025-10-31 13:43:06 +0100Googulator12Googulator
2025-10-31 13:48:25 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-10-31 13:50:35 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-10-31 13:52:40 +0100 <haskellbridge> <sm> needs a console so we can run tiny games
2025-10-31 13:58:49 +0100ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-10-31 14:00:09 +0100 <__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 14:00:42 +0100Googulator58(~Googulato@team.broadbit.hu)
2025-10-31 14:00:51 +0100 <__monty__> Of course I copied a line break in the middle of `" "` >.<
2025-10-31 14:03:51 +0100Googulator(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-31 14:05:05 +0100 <tomsmeding> putStr$unlines$concat<$>[[["██"," "]!!signum(i.&.j)|j<-[0..31]]|i<-[0..31]]
2025-10-31 14:05:42 +0100trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 14:05:55 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 14:08:33 +0100 <tomsmeding> putStr$unlines[["█ "!!signum(i.&.j)|j<-[0..31],_<-"ab"]|i<-[0..31]]
2025-10-31 14:10:53 +0100 <int-e> same here, plus `signum` -> `min 1`
2025-10-31 14:11:11 +0100 <tomsmeding> oo nice
2025-10-31 14:12:46 +0100 <int-e> > map length ["mapM putrStrLn", "putStr$unlines"] -- also this if you don't care about the return type
2025-10-31 14:12:48 +0100 <lambdabot> [14,14]
2025-10-31 14:13:10 +0100 <tomsmeding> the typo broke it :p
2025-10-31 14:13:20 +0100 <int-e> oops
2025-10-31 14:14:54 +0100 <tomsmeding> if you allow an additional import, forM[...]putStrLn
2025-10-31 14:18:08 +0100 <__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 14:18:09 +0100 <tomsmeding> oh but you can do the same to the `min` without imports
2025-10-31 14:19:05 +0100 <int-e> tomsmeding: oops, that's so obvious now that you said it
2025-10-31 14:19:25 +0100 <tomsmeding> without imports I think this is the shortest so far:
2025-10-31 14:19:27 +0100 <tomsmeding> mapM putStrLn[["█ "!!min(i.&.j)1|j<-[0..31],_<-"ab"]|i<-[0..31]]
2025-10-31 14:19:54 +0100 <int-e> well you still have the Data.Bits import :)
2025-10-31 14:20:00 +0100 <tomsmeding> __monty__: concat<$>[ can be shortened to [concat
2025-10-31 14:20:15 +0100 <tomsmeding> yeah I know, but you ain't going to implement .&. in less than that import costs
2025-10-31 14:21:39 +0100 <int-e> . o O ( more like Data.Nits )
2025-10-31 14:24:26 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-10-31 14:26:27 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-31 14:28:23 +0100 <__monty__> Even if we could golf out .&., it wouldn't be faithful to the blog anymore.
2025-10-31 14:30:49 +0100Googulator11(~Googulato@team.broadbit.hu)
2025-10-31 14:33:45 +0100Googulator58(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-31 14:38:45 +0100 <Leary> %% putStrLn.unlines$[0..31]<&> \i->replicate i ' '++do{j<-[0..31-i];["\\/"," "]!!min(i.&.j)1}
2025-10-31 14:38:45 +0100 <yahb2> https://paste.tomsmeding.com/mHsRpiqc
2025-10-31 14:38:55 +0100 <tomsmeding> oooo
2025-10-31 14:39:20 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-10-31 14:39:28 +0100tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-31 14:42:28 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft
2025-10-31 14:44:43 +0100 <int-e> $$ putStr$do i<-[0..31];i`drop`do{j<-[-i..31-i];["\\/"," "]!!min(i.&.j)1}++"\n"
2025-10-31 14:44:48 +0100 <int-e> %% putStr$do i<-[0..31];i`drop`do{j<-[-i..31-i];["\\/"," "]!!min(i.&.j)1}++"\n"
2025-10-31 14:44:48 +0100 <yahb2> https://paste.tomsmeding.com/kuTDCPQV
2025-10-31 14:45:17 +0100 <int-e> (is that ++"\n" trick applicable to the other one... mm)
2025-10-31 14:46:43 +0100 <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 14:46:58 +0100 <tomsmeding> "╲╱" is nicer
2025-10-31 14:47:25 +0100Jackneill_(~Jackneill@94-21-15-240.pool.digikabel.hu)
2025-10-31 14:47:48 +0100 <int-e> sure.
2025-10-31 14:48:04 +0100 <tomsmeding> haven't been able to find suitable diagonal half filled blocks in unicode
2025-10-31 14:49:09 +0100michalz(~michalz@185.246.207.200)
2025-10-31 14:50:07 +0100Jackneill(~Jackneill@94-21-95-10.pool.digikabel.hu) (Ping timeout: 264 seconds)
2025-10-31 14:50:37 +0100 <int-e> yeah I think all Unicode has is ╲╱ and the blocky ▜▛
2025-10-31 14:51:48 +0100michalz(~michalz@185.246.207.200) (Remote host closed the connection)
2025-10-31 14:52:11 +0100 <tomsmeding> sm: https://play.haskell.org/saved/tmon1vAt
2025-10-31 14:52:58 +0100 <int-e> tbh the latter looks fairly decent: https://paste.tomsmeding.com/b4Fwo1Sg
2025-10-31 14:53:10 +0100 <tomsmeding> oh that's fair
2025-10-31 14:58:21 +0100 <__monty__> "◥◤" also comes close but not high enough.
2025-10-31 14:58:32 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-10-31 15:03:15 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-31 15:08:51 +0100Googulator11(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-31 15:11:22 +0100poscat0x04(~poscat@user/poscat) poscat
2025-10-31 15:12:49 +0100poscat(~poscat@user/poscat) (Ping timeout: 246 seconds)
2025-10-31 15:14:45 +0100 <__monty__> The Sierpiński Carpet doesn't reduce as nicely, does it?
2025-10-31 15:18:41 +0100 <tomsmeding> that one seems to be most natural in base 3, which is not something we have available easily
2025-10-31 15:24:30 +0100fp(~Thunderbi@216-165-247-67.championbroadband.com) fp
2025-10-31 15:24:45 +0100Dhark8Shark8
2025-10-31 15:29:46 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-10-31 15:30:38 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-31 15:30:41 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 15:32:07 +0100annamalai(~annamalai@157.32.131.152) (Ping timeout: 264 seconds)
2025-10-31 15:33:15 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 15:33:28 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 15:35:25 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-10-31 15:35:34 +0100dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 265 seconds)
2025-10-31 15:42:02 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds)
2025-10-31 15:42:57 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-31 15:45:08 +0100craunts795335385(~craunts@136.158.7.194) (Read error: Connection reset by peer)
2025-10-31 15:46:14 +0100craunts795335385(~craunts@136.158.7.194)
2025-10-31 15:58:12 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-31 16:05:27 +0100Zemy(~Zemy@2600:100c:b0a1:9929:64af:16ff:fe6c:2e49)
2025-10-31 16:05:27 +0100Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-31 16:06:04 +0100Zemy_(~Zemy@72.178.108.235)
2025-10-31 16:06:55 +0100Zemy(~Zemy@2600:100c:b0a1:9929:64af:16ff:fe6c:2e49) (Read error: Connection reset by peer)
2025-10-31 16:07:22 +0100qqe(~qqq@185.54.23.200)
2025-10-31 16:08:24 +0100tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2)
2025-10-31 16:11:17 +0100dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-10-31 16:14:06 +0100Zemy(~Zemy@2600:100c:b0a1:9929:b0e8:b9ff:fe4a:2608)
2025-10-31 16:14:06 +0100Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-10-31 16:14:41 +0100Zemy_(~Zemy@72.178.108.235)
2025-10-31 16:17:44 +0100dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 256 seconds)
2025-10-31 16:18:18 +0100Zemy(~Zemy@2600:100c:b0a1:9929:b0e8:b9ff:fe4a:2608) (Ping timeout: 256 seconds)
2025-10-31 16:20:04 +0100fp(~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 244 seconds)
2025-10-31 16:26:21 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-31 16:28:51 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-10-31 16:30:20 +0100 <haskellbridge> <sm> ooh! beautiful
2025-10-31 16:31:03 +0100 <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 16:35:27 +0100sajith_sajith
2025-10-31 16:37:38 +0100inline(~inline@2a02:8071:57a1:dc0:c33:90af:2d70:1d1d) (Ping timeout: 244 seconds)
2025-10-31 16:42:09 +0100fp(~Thunderbi@216-165-247-67.championbroadband.com) fp
2025-10-31 16:43:55 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-31 16:45:18 +0100 <geekosaur> doesn't play.haskell.org use regular ghc? it can dump amd64 asm output
2025-10-31 16:46:16 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds)
2025-10-31 16:49:29 +0100 <haskellbridge> <sm> oh.. play is running ghc on the server, not in the browser
2025-10-31 16:49:43 +0100 <haskellbridge> <sm> right
2025-10-31 16:50:53 +0100ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-10-31 16:51:10 +0100Fijxu(~Fijxu@user/fijxu) (Ping timeout: 246 seconds)
2025-10-31 16:53:30 +0100annamalai(~annamalai@157.32.136.128) annamalai
2025-10-31 16:55:23 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-31 16:55:46 +0100Fijxu(~Fijxu@user/fijxu) fijxu
2025-10-31 16:56:34 +0100haskellbridge(~hackager@96.28.224.214) (Remote host closed the connection)
2025-10-31 16:57:23 +0100haskellbridge(~hackager@96.28.224.214) hackager
2025-10-31 16:57:23 +0100ChanServ+v haskellbridge
2025-10-31 16:59:23 +0100inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) Inline
2025-10-31 17:05:10 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds)
2025-10-31 17:06:16 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-31 17:14:48 +0100chele(~chele@user/chele) (Remote host closed the connection)
2025-10-31 17:20:38 +0100deptype(~deptype@2406:b400:3a:73c2:bb17:f41f:ac95:7d45)
2025-10-31 17:25:18 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-31 17:25:31 +0100trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-31 17:26:59 +0100Googulator11(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 17:27:18 +0100Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) Anarchos
2025-10-31 17:27:19 +0100inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) (Remote host closed the connection)
2025-10-31 17:28:13 +0100inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) Inline
2025-10-31 17:29:58 +0100inline(~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) (Remote host closed the connection)
2025-10-31 17:30:39 +0100Googulator94(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu)
2025-10-31 17:30:44 +0100Googulator11(~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit)
2025-10-31 17:33:44 +0100biberu(~biberu@user/biberu) (Quit: ZNC - https://znc.in)
2025-10-31 17:33:49 +0100tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-31 17:39:06 +0100ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-10-31 17:39:43 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-10-31 17:47:00 +0100trickard_trickard
2025-10-31 17:48:22 +0100tromp(~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2)
2025-10-31 17:48:40 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-10-31 17:52:33 +0100deptype_(~deptype@2406:b400:3a:73c2:bb17:f41f:ac95:7d45)