| 2025-10-31 00:03:04 +0100 | Zemy_ | (~Zemy@2600:100c:b0a3:ce24:ecdf:96ff:fed5:d79e) |
| 2025-10-31 00:03:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-31 00:05:28 +0100 | nerdychip | (~nerdychip@212.129.72.100) |
| 2025-10-31 00:05:28 +0100 | nerdychip | (~nerdychip@212.129.72.100) (Changing host) |
| 2025-10-31 00:05:28 +0100 | nerdychip | (~nerdychip@user/nerdychip) nerdychip |
| 2025-10-31 00:07:13 +0100 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 264 seconds) |
| 2025-10-31 00:13:04 +0100 | inline | (~inline@2a02:8071:57a1:dc0:c33:90af:2d70:1d1d) (Quit: Leaving) |
| 2025-10-31 00:14:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 00:14:08 +0100 | inline | (~inline@2a02:8071:57a1:dc0:c33:90af:2d70:1d1d) Inline |
| 2025-10-31 00:14:12 +0100 | AlexNoo_ | (~AlexNoo@178.34.160.166) |
| 2025-10-31 00:14:38 +0100 | Zemy | (~Zemy@mobile-107-80-206-97.mycingular.net) |
| 2025-10-31 00:15:48 +0100 | fp | (~Thunderbi@216-165-247-67.championbroadband.com) (Ping timeout: 256 seconds) |
| 2025-10-31 00:17:31 +0100 | AlexZenon | (~alzenon@85.174.182.61) (Ping timeout: 246 seconds) |
| 2025-10-31 00:17:52 +0100 | Zemy_ | (~Zemy@2600:100c:b0a3:ce24:ecdf:96ff:fed5:d79e) (Ping timeout: 246 seconds) |
| 2025-10-31 00:18:01 +0100 | AlexNoo | (~AlexNoo@85.174.182.61) (Ping timeout: 264 seconds) |
| 2025-10-31 00:18:17 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-31 00:18:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-31 00:24:29 +0100 | AlexZenon | (~alzenon@178.34.160.166) |
| 2025-10-31 00:24:37 +0100 | Zemy_ | (~Zemy@2600:100c:b0a3:ce24:30bd:a1ff:fe63:415e) |
| 2025-10-31 00:26:03 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-10-31 00:27:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 00:28:00 +0100 | Zemy | (~Zemy@mobile-107-80-206-97.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-10-31 00:28:27 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5978:a504:f2fd:26f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-31 00:32:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 00:34:44 +0100 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2025-10-31 00:35:05 +0100 | Zemy | (~Zemy@72.176.66.250) |
| 2025-10-31 00:37:04 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-31 00:38:12 +0100 | Zemy_ | (~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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 00:46:06 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-10-31 00:54:55 +0100 | merijn | (~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 +0100 | Zemy_ | (~Zemy@2600:100c:b0a3:ce24:b0d4:7aff:febe:a1f1) |
| 2025-10-31 00:59:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-31 00:59:42 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-10-31 00:59:44 +0100 | Zemy | (~Zemy@72.176.66.250) (Ping timeout: 256 seconds) |
| 2025-10-31 01:02:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-31 01:04:16 +0100 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-10-31 01:04:16 +0100 | trickard__ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-31 01:05:48 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 01:05:52 +0100 | Googulator95 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 01:06:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 01:06:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-31 01:08:22 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-10-31 01:09:31 +0100 | trickard__ | trickard |
| 2025-10-31 01:09:35 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-31 01:10:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-31 01:11:40 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-31 01:13:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-31 01:21:18 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-31 01:21:41 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-31 01:22:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 01:25:24 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 01:25:39 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 01:26:02 +0100 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.1.1) |
| 2025-10-31 01:26:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 01:27:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-31 01:28:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 01:31:37 +0100 | Zemy | (~Zemy@mobile-107-80-206-52.mycingular.net) |
| 2025-10-31 01:32:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-10-31 01:33:04 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-31 01:33:10 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-10-31 01:33:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-31 01:34:52 +0100 | Zemy_ | (~Zemy@2600:100c:b0a3:ce24:b0d4:7aff:febe:a1f1) (Ping timeout: 256 seconds) |
| 2025-10-31 01:35:05 +0100 | Zemy_ | (~Zemy@2600:100c:b0a3:ce24:5486:99ff:fe7d:6ecf) |
| 2025-10-31 01:38:16 +0100 | Zemy | (~Zemy@mobile-107-80-206-52.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-10-31 01:38:16 +0100 | Core4945 | (~Zemy@72.178.108.235) |
| 2025-10-31 01:41:40 +0100 | Zemy_ | (~Zemy@2600:100c:b0a3:ce24:5486:99ff:fe7d:6ecf) (Ping timeout: 256 seconds) |
| 2025-10-31 01:44:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 01:49:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-31 01:51:31 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-10-31 02:01:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 02:05:41 +0100 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 02:05:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-31 02:05:46 +0100 | Googulator80 | (~Googulato@84-236-65-182.pool.digikabel.hu) |
| 2025-10-31 02:12:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-10-31 02:12:39 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 02:12:53 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-31 02:15:01 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-10-31 02:16:30 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 02:16:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 02:19:37 +0100 | otto_s | (~user@p4ff27477.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-10-31 02:20:39 +0100 | Googulator3 | (~Googulato@84-236-65-182.pool.digikabel.hu) |
| 2025-10-31 02:20:45 +0100 | Googulator80 | (~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 02:20:58 +0100 | otto_s | (~user@p5b044c79.dip0.t-ipconnect.de) |
| 2025-10-31 02:21:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-31 02:22:55 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-31 02:24:19 +0100 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-10-31 02:25:05 +0100 | forell | (~forell@user/forell) forell |
| 2025-10-31 02:34:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-31 02:36:10 +0100 | annamalai | (~annamalai@157.32.131.152) annamalai |
| 2025-10-31 02:37:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 02:42:45 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-31 02:43:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 02:44:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 02:44:50 +0100 | m_a_r_k | (~m_a_r_k@user/m-a-r-k:45929) (Changing host) |
| 2025-10-31 02:44:50 +0100 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) m_a_r_k |
| 2025-10-31 02:51:19 +0100 | annamalai | (~annamalai@157.32.131.152) (Remote host closed the connection) |
| 2025-10-31 02:51:41 +0100 | annamalai | (~annamalai@157.32.131.152) annamalai |
| 2025-10-31 02:53:43 +0100 | acidjnk | (~acidjnk@p200300d6e717193069949166e2561304.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-10-31 02:54:29 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 02:54:43 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-31 02:55:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 02:58:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-31 02:59:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 03:05:52 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 03:10:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 03:11:39 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-31 03:16:04 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 03:16:15 +0100 | Googulator3 | (~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 03:17:26 +0100 | merijn | (~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 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Client Quit) |
| 2025-10-31 03:20:43 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 03:21:16 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-10-31 03:21:48 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-31 03:25:21 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-31 03:27:38 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 03:27:51 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-31 03:28:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 03:30:27 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-31 03:30:53 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-31 03:32:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 03:33:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 03:34:53 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-10-31 03:35:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-10-31 03:41:14 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-10-31 03:44:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 03:44:29 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-31 03:44:52 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 03:45:09 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 03:49:09 +0100 | merijn | (~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 +0100 | Core4945 | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-31 03:51:36 +0100 | Zemy | (~Zemy@2600:100c:b0a2:933f:2c3d:3dff:feed:80b4) |
| 2025-10-31 03:52:08 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-31 03:53:43 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2025-10-31 03:54:50 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-31 03:55:58 +0100 | Zemy | (~Zemy@2600:100c:b0a2:933f:2c3d:3dff:feed:80b4) (Ping timeout: 256 seconds) |
| 2025-10-31 04:00:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 04:01:14 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2025-10-31 04:04:20 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-31 04:04:23 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-31 04:05:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-31 04:08:26 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-31 04:08:41 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-31 04:15:36 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 04:15:38 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 04:15:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 04:20:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 04:20:39 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 04:20:46 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 04:21:36 +0100 | bgt32 | (~keutoi@106.222.233.20) |
| 2025-10-31 04:26:06 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:a151:32b5:2959:c671) (Read error: Connection reset by peer) |
| 2025-10-31 04:27:06 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) synchromesh |
| 2025-10-31 04:29:25 +0100 | trickard__ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 04:30:37 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-31 04:31:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 04:31:58 +0100 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2025-10-31 04:32:14 +0100 | bgt32 | (~keutoi@106.222.233.20) (Ping timeout: 256 seconds) |
| 2025-10-31 04:35:47 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-10-31 04:36:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 04:40:49 +0100 | td_ | (~td@i53870927.versanet.de) (Ping timeout: 264 seconds) |
| 2025-10-31 04:42:10 +0100 | td_ | (~td@i53870919.versanet.de) td_ |
| 2025-10-31 04:45:56 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 04:46:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 04:48:28 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-31 04:49:07 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-31 04:50:56 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-31 04:52:13 +0100 | trickard__ | trickard |
| 2025-10-31 04:53:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-31 04:56:41 +0100 | bgt32 | (~keutoi@106.222.234.204) |
| 2025-10-31 04:59:01 +0100 | yin | (~zero@user/zero) (Ping timeout: 265 seconds) |
| 2025-10-31 05:02:45 +0100 | yin | (~zero@user/zero) zero |
| 2025-10-31 05:04:43 +0100 | merijn | (~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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 05:19:13 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-10-31 05:20:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 05:22:56 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-31 05:25:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 05:27:27 +0100 | jzargo3 | (~jzargo@user/jzargo) (Read error: Connection reset by peer) |
| 2025-10-31 05:27:51 +0100 | jzargo3 | (~jzargo@user/jzargo) jzargo |
| 2025-10-31 05:29:24 +0100 | annamalai | (~annamalai@157.32.131.152) (Remote host closed the connection) |
| 2025-10-31 05:30:13 +0100 | annamalai | (~annamalai@157.32.131.152) annamalai |
| 2025-10-31 05:31:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-31 05:31:41 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-10-31 05:34:58 +0100 | aforemny | (~aforemny@2001:9e8:6cee:c800:2b8:8ee9:727a:1930) aforemny |
| 2025-10-31 05:35:42 +0100 | aforemny_ | (~aforemny@i577B137A.versanet.de) (Ping timeout: 256 seconds) |
| 2025-10-31 05:35:46 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 05:35:48 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-10-31 05:35:51 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 05:36:16 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-10-31 05:36:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 05:36:25 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-10-31 05:41:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-31 05:50:07 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-10-31 05:50:30 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-31 05:52:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 05:56:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-31 05:58:35 +0100 | Lord_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 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 06:06:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-31 06:13:54 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-31 06:14:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-31 06:15:43 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 06:15:48 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 06:17:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 06:19:07 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-31 06:22:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-31 06:32:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 06:33:50 +0100 | jzargo3 | jzargo |
| 2025-10-31 06:37:41 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-31 06:39:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 06:40:39 +0100 | Googulator99 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 06:40:49 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 06:45:48 +0100 | Googulator99 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 06:45:50 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 06:48:55 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-10-31 06:50:25 +0100 | ski | (~ski@remote11.chalmers.se) (Ping timeout: 264 seconds) |
| 2025-10-31 06:50:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 06:51:12 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-31 06:52:25 +0100 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 06:52:39 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 06:53:25 +0100 | bgt32 | (~keutoi@106.222.234.204) (Ping timeout: 264 seconds) |
| 2025-10-31 06:54:57 +0100 | bgt32 | (~keutoi@106.222.233.32) |
| 2025-10-31 06:55:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-31 06:57:26 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-10-31 07:01:29 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-31 07:01:46 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-10-31 07:06:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 07:11:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-31 07:15:42 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 07:15:44 +0100 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 07:15:48 +0100 | bgt32 | (~keutoi@106.222.233.32) (Ping timeout: 265 seconds) |
| 2025-10-31 07:16:50 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-31 07:17:06 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-10-31 07:18:22 +0100 | bgt32 | (~keutoi@106.222.231.17) |
| 2025-10-31 07:18:22 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-10-31 07:19:00 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-10-31 07:19:06 +0100 | sp1ff` | (~user@2601:1c2:4c00:6820::8bad) |
| 2025-10-31 07:19:13 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::8bad) (Read error: Connection reset by peer) |
| 2025-10-31 07:19:21 +0100 | ycp | (~znc@user/dragestil) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-10-31 07:19:41 +0100 | ycp | (~znc@user/dragestil) dragestil |
| 2025-10-31 07:21:08 +0100 | xal_ | (~xal@mx1.xal.systems) (Read error: Connection reset by peer) |
| 2025-10-31 07:21:15 +0100 | xal | (~xal@mx1.xal.systems) xal |
| 2025-10-31 07:22:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 07:27:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 07:31:17 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-31 07:32:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-31 07:33:27 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in) |
| 2025-10-31 07:35:37 +0100 | Googulator78 | (~Googulato@84-236-65-182.pool.digikabel.hu) |
| 2025-10-31 07:35:44 +0100 | Googulator6 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 07:36:24 +0100 | bgt32 | (~keutoi@106.222.231.17) (Ping timeout: 256 seconds) |
| 2025-10-31 07:36:49 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2025-10-31 07:37:09 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-31 07:37:25 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-10-31 07:38:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 07:39:24 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-10-31 07:42:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-31 07:44:38 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 272 seconds) |
| 2025-10-31 07:44:53 +0100 | scula | (~scula@user/scula) (Ping timeout: 256 seconds) |
| 2025-10-31 07:49:39 +0100 | scula | (~scula@user/scula) scula |
| 2025-10-31 07:54:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 07:54:28 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 265 seconds) |
| 2025-10-31 07:55:31 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 264 seconds) |
| 2025-10-31 07:55:38 +0100 | Googulator78 | (~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 07:55:42 +0100 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 07:56:23 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-10-31 07:58:45 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 07:58:55 +0100 | bgt32 | (~keutoi@106.222.231.17) |
| 2025-10-31 07:59:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 08:00:04 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-31 08:00:24 +0100 | biberu | (~biberu@user/biberu) biberu |
| 2025-10-31 08:00:34 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 08:00:50 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 08:03:36 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-31 08:09:07 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-31 08:10:38 +0100 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 08:10:43 +0100 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 08:18:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 08:22:18 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 256 seconds) |
| 2025-10-31 08:25:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 08:30:14 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-10-31 08:35:15 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-31 08:35:25 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-31 08:35:45 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 08:36:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 08:40:19 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 08:40:32 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 08:40:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-31 08:43:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-31 08:48:11 +0100 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) Everything |
| 2025-10-31 08:49:00 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-31 08:49:03 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-31 08:51:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 08:54:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d90d:664f:1825:e058) |
| 2025-10-31 08:56:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-31 08:56:50 +0100 | ski | (~ski@remote11.chalmers.se) |
| 2025-10-31 09:00:46 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 09:03:03 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-10-31 09:03:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 09:03:36 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 09:08:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 09:13:31 +0100 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-10-31 09:14:26 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-31 09:15:34 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-31 09:17:56 +0100 | kuribas | (~user@2a02:1808:4d:a25a:6fac:8a56:9dbd:1785) kuribas |
| 2025-10-31 09:18:34 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-10-31 09:18:58 +0100 | Frostillicus | (~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 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-10-31 09:24:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-31 09:30:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 09:32:38 +0100 | kuribas | (~user@2a02:1808:4d:a25a:6fac:8a56:9dbd:1785) (Ping timeout: 260 seconds) |
| 2025-10-31 09:33:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 09:34:50 +0100 | merijn | (~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 +0100 | Square2 | (~Square@user/square) Square |
| 2025-10-31 09:38:49 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 09:39:03 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 09:39:45 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d90d:664f:1825:e058) (Ping timeout: 244 seconds) |
| 2025-10-31 09:39:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 09:42:55 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-10-31 09:45:46 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-31 09:46:12 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-10-31 09:53:28 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 09:53:40 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 09:54:24 +0100 | remedan_ | (~remedan@78-80-95-79.customers.tmcz.cz) remedan |
| 2025-10-31 09:54:38 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) (Ping timeout: 244 seconds) |
| 2025-10-31 09:55:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-31 10:00:29 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-31 10:01:10 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-31 10:05:09 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-31 10:05:23 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-31 10:07:52 +0100 | chele | (~chele@user/chele) chele |
| 2025-10-31 10:08:33 +0100 | acidjnk | (~acidjnk@p200300d6e71719308df0744f2dc6c30e.dip0.t-ipconnect.de) acidjnk |
| 2025-10-31 10:19:55 +0100 | bggd | (~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 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 10:31:48 +0100 | Googulator54 | (~Googulato@team.broadbit.hu) |
| 2025-10-31 10:35:14 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-10-31 10:38:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-31 10:39:21 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 10:41:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-31 10:41:08 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 10:43:35 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) |
| 2025-10-31 10:52:51 +0100 | trickard_ | trickard |
| 2025-10-31 11:09:28 +0100 | omentic | jj |
| 2025-10-31 11:16:36 +0100 | Googulator54 | Googulator |
| 2025-10-31 11:18:00 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 11:19:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-31 11:19:22 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 11:23:39 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 11:25:37 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-10-31 11:25:37 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 11:32:22 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 11:34:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-31 11:34:25 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 11:37:15 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 11:38:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-10-31 11:38:50 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 11:45:10 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-31 11:46:31 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 264 seconds) |
| 2025-10-31 11:47:08 +0100 | halloy8008 | (~halloy800@2405:201:a00a:b009:95f6:89f8:41dc:a5ef) |
| 2025-10-31 11:48:26 +0100 | halloy8008 | (~halloy800@2405:201:a00a:b009:95f6:89f8:41dc:a5ef) (Quit: halloy8008) |
| 2025-10-31 12:03:39 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2025-10-31 12:03:59 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-10-31 12:04:21 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Client Quit) |
| 2025-10-31 12:04:38 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-10-31 12:08:06 +0100 | catties | C477135 |
| 2025-10-31 12:21:46 +0100 | humasect | (~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 +0100 | tomsmeding | doesn'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 +0100 | nerdychip | (~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 +0100 | nerdychip | (~nerdychip@212.129.76.47) |
| 2025-10-31 12:36:11 +0100 | nerdychip | (~nerdychip@212.129.76.47) (Changing host) |
| 2025-10-31 12:36:11 +0100 | nerdychip | (~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 +0100 | Frostillicus | (~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 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) (Read error: Connection reset by peer) |
| 2025-10-31 12:43:40 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 12:44:44 +0100 | synchromesh | (~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 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2025-10-31 12:47:18 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-10-31 12:47:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-10-31 12:47:33 +0100 | ljdarj1 | ljdarj |
| 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 +0100 | Frostillicus | (~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 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-10-31 13:10:40 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2025-10-31 13:10:48 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-10-31 13:11:25 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 264 seconds) |
| 2025-10-31 13:18:44 +0100 | comerijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-31 13:20:08 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-10-31 13:25:32 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2025-10-31 13:25:38 +0100 | Googulator12 | (~Googulato@team.broadbit.hu) |
| 2025-10-31 13:32:37 +0100 | AlexNoo_ | AlexNoo |
| 2025-10-31 13:33:37 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-31 13:34:18 +0100 | Lycurgus | (~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 +0100 | Googulator12 | Googulator |
| 2025-10-31 13:48:25 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-10-31 13:50:35 +0100 | L29Ah | (~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 +0100 | ttybitnik | (~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 +0100 | Googulator58 | (~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 +0100 | Googulator | (~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 +0100 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 14:05:55 +0100 | trickard_ | (~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 |