2025-10-20 00:02:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-20 00:10:30 +0200 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
2025-10-20 00:11:08 +0200 | bggd | (~bgg@2a01:e0a:819:1510:3eb5:dbc5:9370:da5d) |
2025-10-20 00:11:56 +0200 | inline | (~inline@2a02:8071:57a1:1260:5a1:e9a9:aa3a:fee6) Inline |
2025-10-20 00:12:49 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Quit: peterbecich) |
2025-10-20 00:13:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 00:13:22 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
2025-10-20 00:18:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-20 00:18:37 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
2025-10-20 00:19:32 +0200 | Guest57 | (~Guest57@95.214.217.193) |
2025-10-20 00:22:52 +0200 | Guest57 | (~Guest57@95.214.217.193) (Quit: Client closed) |
2025-10-20 00:23:25 +0200 | kk-strat | (~halloy995@ip72-208-127-103.ph.ph.cox.net) (Quit: kk-strat) |
2025-10-20 00:23:29 +0200 | inline_ | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-20 00:26:23 +0200 | inline__ | (~inline@2a02:8071:57a1:1260:1ce3:efcb:ed4f:9e96) Inline |
2025-10-20 00:26:24 +0200 | inline | (~inline@2a02:8071:57a1:1260:5a1:e9a9:aa3a:fee6) (Ping timeout: 244 seconds) |
2025-10-20 00:26:35 +0200 | inline__ | Inline |
2025-10-20 00:27:15 +0200 | inline__ | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-20 00:29:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 00:29:43 +0200 | inline_ | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
2025-10-20 00:30:42 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:7925:4f19:c6de:9865) Inline |
2025-10-20 00:31:03 +0200 | Inline | (~inline@2a02:8071:57a1:1260:1ce3:efcb:ed4f:9e96) (Ping timeout: 244 seconds) |
2025-10-20 00:32:25 +0200 | inline__ | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
2025-10-20 00:33:30 +0200 | inline__ | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-20 00:34:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-20 00:35:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5da6:eb72:7bdc:37c8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-20 00:37:19 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:7925:4f19:c6de:9865) (Ping timeout: 246 seconds) |
2025-10-20 00:41:36 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-10-20 00:43:28 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2025-10-20 00:44:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 00:45:20 +0200 | inline__ | inline |
2025-10-20 00:47:46 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
2025-10-20 00:48:24 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-20 00:49:01 +0200 | dolio | (~dolio@130.44.140.168) dolio |
2025-10-20 00:49:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-20 00:55:24 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
2025-10-20 00:56:07 +0200 | hololeap | (~quassel@user/hololeap) hololeap |
2025-10-20 01:00:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 01:02:23 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) Ram-Z |
2025-10-20 01:04:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-20 01:05:14 +0200 | Ram-Z_ | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 260 seconds) |
2025-10-20 01:07:38 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 248 seconds) |
2025-10-20 01:08:59 +0200 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
2025-10-20 01:15:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 01:16:23 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
2025-10-20 01:16:39 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-20 01:21:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-20 01:24:36 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-10-20 01:31:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 01:33:37 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
2025-10-20 01:38:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-20 01:49:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 01:54:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-20 02:03:54 +0200 | craunts795335385 | (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
2025-10-20 02:04:10 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
2025-10-20 02:05:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 02:10:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-20 02:13:51 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
2025-10-20 02:21:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 02:24:05 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-10-20 02:26:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-20 02:29:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-10-20 02:32:09 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-10-20 02:37:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 02:41:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-20 02:42:17 +0200 | otto_s | (~user@p4ff274f9.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2025-10-20 02:44:18 +0200 | otto_s | (~user@p5b044609.dip0.t-ipconnect.de) |
2025-10-20 02:48:30 +0200 | werneta | (~werneta@71.83.160.242) werneta |
2025-10-20 02:50:28 +0200 | qqe | (~qqq@185.54.23.200) |
2025-10-20 02:50:56 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-20 02:51:08 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-20 02:51:22 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
2025-10-20 02:52:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 02:53:50 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-20 02:55:15 +0200 | flipflops | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 252 seconds) |
2025-10-20 02:56:24 +0200 | flipflops | (~cmo@2604:3d09:207f:8000::d1dc) |
2025-10-20 02:56:25 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
2025-10-20 02:59:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-20 03:01:23 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-20 03:03:52 +0200 | flipflops | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
2025-10-20 03:09:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 03:10:50 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d8fa:98a4:1ba0:2054) (Ping timeout: 248 seconds) |
2025-10-20 03:15:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-20 03:23:25 +0200 | inline | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
2025-10-20 03:27:22 +0200 | acidjnk | (~acidjnk@p200300d6e71719659d28c4899d9c5d95.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-10-20 03:27:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 03:32:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-20 03:41:54 +0200 | trickard_ | trickard |
2025-10-20 03:43:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 03:48:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-20 03:49:58 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-10-20 03:56:45 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-10-20 03:57:01 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-10-20 03:59:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 04:03:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-20 04:04:48 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-10-20 04:08:09 +0200 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
2025-10-20 04:10:32 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
2025-10-20 04:14:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 04:18:38 +0200 | jxv | (~simulacru@2600:1700:5040:a200:846b:56ef:4da8:a13) |
2025-10-20 04:21:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-20 04:23:05 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-20 04:23:18 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-20 04:26:37 +0200 | jxv | (~simulacru@2600:1700:5040:a200:846b:56ef:4da8:a13) (Quit: Textual IRC Client: www.textualapp.com) |
2025-10-20 04:29:40 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
2025-10-20 04:31:22 +0200 | td_ | (~td@i5387091E.versanet.de) (Ping timeout: 248 seconds) |
2025-10-20 04:33:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 04:33:23 +0200 | td_ | (~td@i53870936.versanet.de) td_ |
2025-10-20 04:33:35 +0200 | trickard_ | trickard |
2025-10-20 04:36:01 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 264 seconds) |
2025-10-20 04:36:37 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
2025-10-20 04:38:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-20 04:48:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 04:51:41 +0200 | khumba | (~khumba@user/khumba) khumba |
2025-10-20 04:53:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-20 04:54:47 +0200 | annamalai | (~annamalai@157.49.239.48) (Ping timeout: 256 seconds) |
2025-10-20 05:04:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 05:07:54 +0200 | anpad | (~pandeyan@user/anpad) anpad |
2025-10-20 05:09:08 +0200 | khumba | (~khumba@user/khumba) () |
2025-10-20 05:09:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-20 05:10:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 05:15:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-20 05:16:13 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 264 seconds) |
2025-10-20 05:17:33 +0200 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
2025-10-20 05:24:34 +0200 | khumba | (~khumba@user/khumba) khumba |
2025-10-20 05:25:43 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-10-20 05:26:12 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-10-20 05:26:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 05:27:00 +0200 | img | (~img@user/img) img |
2025-10-20 05:27:09 +0200 | werneta | (~werneta@71.83.160.242) werneta |
2025-10-20 05:27:54 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
2025-10-20 05:31:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-20 05:40:05 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
2025-10-20 05:42:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 05:47:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-20 05:48:50 +0200 | anpad | (~pandeyan@user/anpad) anpad |
2025-10-20 05:52:20 +0200 | aforemny | (~aforemny@2001:9e8:6cc7:6800:bfb8:1818:7f09:9156) aforemny |
2025-10-20 05:52:40 +0200 | aforemny_ | (~aforemny@2001:9e8:6cea:8700:cf12:fc7b:8ca1:78b9) (Ping timeout: 246 seconds) |
2025-10-20 05:58:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 05:59:13 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
2025-10-20 05:59:28 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
2025-10-20 06:05:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-20 06:06:56 +0200 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
2025-10-20 06:09:43 +0200 | wickedjargon | (~user@120.29.79.98) wickedjargon |
2025-10-20 06:12:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 06:16:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-20 06:22:35 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:3da8:1103:8261:15b5) (Read error: Connection reset by peer) |
2025-10-20 06:23:20 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:75ff:6dec:5332:48f7) synchromesh |
2025-10-20 06:27:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 06:28:53 +0200 | annamalai | (~annamalai@2409:4072:601a:bdd2::2602:e0ac) annamalai |
2025-10-20 06:32:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-20 06:43:14 +0200 | michalz | (~michalz@185.246.207.221) |
2025-10-20 06:43:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 06:48:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-20 06:59:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 07:01:05 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
2025-10-20 07:01:07 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-10-20 07:01:39 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 244 seconds) |
2025-10-20 07:04:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-20 07:05:21 +0200 | halloy9957 | (~halloy995@ip72-208-127-103.ph.ph.cox.net) |
2025-10-20 07:10:56 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-10-20 07:11:55 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds) |
2025-10-20 07:13:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 07:13:52 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
2025-10-20 07:14:01 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-20 07:14:17 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-20 07:15:51 +0200 | Googulator31 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-20 07:15:55 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Client Quit) |
2025-10-20 07:15:58 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-10-20 07:17:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-20 07:19:48 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 252 seconds) |
2025-10-20 07:21:04 +0200 | khumba | (~khumba@user/khumba) () |
2025-10-20 07:27:22 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
2025-10-20 07:28:05 +0200 | notzmv | (~umar@user/notzmv) notzmv |
2025-10-20 07:28:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 07:34:36 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
2025-10-20 07:36:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-20 07:42:24 +0200 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
2025-10-20 07:45:25 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-10-20 07:45:43 +0200 | Googulator31 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-20 07:45:49 +0200 | Googulator22 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-20 07:46:18 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2025-10-20 07:46:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 07:52:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-20 08:02:02 +0200 | Square | (~Square4@user/square) Square |
2025-10-20 08:02:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 08:05:27 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
2025-10-20 08:05:37 +0200 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-20 08:05:40 +0200 | Googulator22 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-20 08:07:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-20 08:14:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 08:18:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-20 08:22:16 +0200 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
2025-10-20 08:29:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 08:31:36 +0200 | halloy9957 | (~halloy995@ip72-208-127-103.ph.ph.cox.net) (Quit: halloy9957) |
2025-10-20 08:35:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-20 08:42:24 +0200 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-20 08:42:42 +0200 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-20 08:44:13 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2025-10-20 08:45:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 08:47:21 +0200 | JimL | (~quassel@89.162.16.26) JimL |
2025-10-20 08:48:37 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
2025-10-20 08:51:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-20 08:53:00 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-10-20 08:56:29 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-10-20 09:00:03 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
2025-10-20 09:00:47 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
2025-10-20 09:01:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 09:06:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
2025-10-20 09:13:50 +0200 | Guest57 | (~Guest57@95.214.217.190) |
2025-10-20 09:13:52 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-20 09:14:45 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 252 seconds) |
2025-10-20 09:15:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-20 09:15:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:242b:79a0:e1f9:7ea5) |
2025-10-20 09:18:59 +0200 | kukimik | (~kukimik@nat1.mga.com.pl) |
2025-10-20 09:20:24 +0200 | kukimik | (~kukimik@nat1.mga.com.pl) (Remote host closed the connection) |
2025-10-20 09:21:37 +0200 | chele | (~chele@user/chele) chele |
2025-10-20 09:21:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-20 09:28:53 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-10-20 09:33:08 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-10-20 09:34:46 +0200 | <dminuoso> | Are liftXXX primitives perhaps misnamed? It just occured to me that `liftIO :: IO a -> SomeT IO a` doesnt really pull anything out, it rather stuffs something in! |
2025-10-20 09:34:49 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-10-20 09:34:53 +0200 | <dminuoso> | stuffIO seems more appropriate. |
2025-10-20 09:38:40 +0200 | <davean> | It lifts an IO |
2025-10-20 09:38:45 +0200 | <davean> | Its what it lifts |
2025-10-20 09:39:37 +0200 | <dminuoso> | To me lifting suggests rather pulling something out. |
2025-10-20 09:41:42 +0200 | <davean> | SomeT is build on IO, and it is a higher universe of semantics |
2025-10-20 09:41:52 +0200 | <davean> | You are lifting it into the greater semantic world |
2025-10-20 09:42:14 +0200 | <davean> | SomeT contains IO. |
2025-10-20 09:42:43 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
2025-10-20 09:42:47 +0200 | <dminuoso> | Well you're embedding a plain IO action into something richer, you're stuffing it into a richer description of a computation. |
2025-10-20 09:43:08 +0200 | <davean> | No you aren't embedding it, it is *already embeded* SomeT has all of IO |
2025-10-20 09:43:12 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
2025-10-20 09:43:22 +0200 | <davean> | IO is a subsection of SomeT IO |
2025-10-20 09:43:33 +0200 | <davean> | It specificly isn't embedding |
2025-10-20 09:44:05 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
2025-10-20 09:44:37 +0200 | <davean> | you can lower SomeT IO into just IO |
2025-10-20 09:46:07 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
2025-10-20 09:46:14 +0200 | <davean> | IO is the foundation of SomeT |
2025-10-20 09:46:23 +0200 | <davean> | SomeT is what is built on top |
2025-10-20 09:49:13 +0200 | Guest31 | (~Guest57@95.214.217.190) |
2025-10-20 09:49:36 +0200 | Guest57 | (~Guest57@95.214.217.190) (Quit: Client closed) |
2025-10-20 09:49:44 +0200 | Guest31 | (~Guest57@95.214.217.190) (Client Quit) |
2025-10-20 09:50:34 +0200 | <dminuoso> | davean: But at the same time, when we talk about transformers, we say we layer monads *ontop* of a base. In `SomeT IO` you generally call IO a base monad. |
2025-10-20 09:51:05 +0200 | <davean> | Yes, exactly, hence lifting |
2025-10-20 09:52:49 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
2025-10-20 09:53:08 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-10-20 09:55:05 +0200 | <davean> | IO is the base, SomeT is on top, thus we *lift IO into SomeT* |
2025-10-20 09:55:21 +0200 | <davean> | Because it is semanticly beneith SomeT IO |
2025-10-20 09:59:22 +0200 | acidjnk | (~acidjnk@p200300d6e7171945c42b348415052731.dip0.t-ipconnect.de) acidjnk |
2025-10-20 10:05:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-20 10:05:53 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 256 seconds) |
2025-10-20 10:06:12 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 244 seconds) |
2025-10-20 10:07:18 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-10-20 10:08:25 +0200 | <monochrom> | The best thing about meaningful names is that there are so many meanings to choose from! |
2025-10-20 10:08:35 +0200 | img | (~img@user/img) img |
2025-10-20 10:10:37 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-20 10:10:38 +0200 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-20 10:17:46 +0200 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) |
2025-10-20 10:18:43 +0200 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) (Client Quit) |
2025-10-20 10:19:49 +0200 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) |
2025-10-20 10:19:53 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-10-20 10:20:41 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-20 10:22:19 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-10-20 10:29:26 +0200 | kubrat | (~kubrat@149.62.205.212) kubrat |
2025-10-20 10:30:16 +0200 | mzg_ | (mzg@abusers.hu) (Remote host closed the connection) |
2025-10-20 10:30:40 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:75ff:6dec:5332:48f7) (Read error: Connection reset by peer) |
2025-10-20 10:31:59 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:75ff:6dec:5332:48f7) synchromesh |
2025-10-20 10:32:26 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
2025-10-20 10:34:08 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-20 10:34:55 +0200 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) (Quit: Client closed) |
2025-10-20 10:37:37 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 265 seconds) |
2025-10-20 10:39:09 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
2025-10-20 10:39:44 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
2025-10-20 10:40:58 +0200 | <dminuoso> | davean: I guess if we just think of monad transformers or just constructions that eventually embed as some kinds of pyramid, it seems rather arbitrary whether we imagine the pyramid to have its tip pointed downwards or upwards. |
2025-10-20 10:43:05 +0200 | FirefoxDeHuk | (~FirefoxDe@109.108.69.106) |
2025-10-20 10:45:37 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-20 10:45:38 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-20 10:45:49 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-20 10:46:56 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
2025-10-20 10:47:07 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |