| 2026-02-17 00:06:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 00:08:34 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-02-17 00:08:55 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6b27:25be:1343:b5d0) (Quit: xff0x) |
| 2026-02-17 00:09:58 +0000 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 2026-02-17 00:11:11 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6b27:25be:1343:b5d0) |
| 2026-02-17 00:11:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 00:12:37 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2026-02-17 00:17:49 +0000 | distopico | (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) (Server closed connection) |
| 2026-02-17 00:18:10 +0000 | distopico | (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) distopico |
| 2026-02-17 00:22:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 00:26:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-17 00:37:16 +0000 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-17 00:37:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 00:38:25 +0000 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-17 00:40:09 +0000 | jessicara | (~shirogits@user/meow/jessicara) (Server closed connection) |
| 2026-02-17 00:40:24 +0000 | jessicara | (~shirogits@user/meow/jessicara) jessicara |
| 2026-02-17 00:41:43 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2026-02-17 00:42:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-17 00:43:31 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2026-02-17 00:43:31 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 00:46:01 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6b27:25be:1343:b5d0) (Ping timeout: 246 seconds) |
| 2026-02-17 00:48:29 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-02-17 00:48:49 +0000 | hakutaku | (~textual@user/hakutaku) (Remote host closed the connection) |
| 2026-02-17 00:49:44 +0000 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-17 00:52:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 00:52:59 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-17 00:54:45 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 250 seconds) |
| 2026-02-17 00:54:45 +0000 | polykernel_ | polykernel |
| 2026-02-17 00:59:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-17 01:00:46 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-17 01:03:14 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-02-17 01:03:14 +0000 | polykernel_ | polykernel |
| 2026-02-17 01:03:57 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-17 01:06:29 +0000 | Dykam_ | (Dykam@dykam.nl) (Server closed connection) |
| 2026-02-17 01:06:39 +0000 | Dykam | (Dykam@dykam.nl) Dykam |
| 2026-02-17 01:07:09 +0000 | NixClaw | (~NixClaw@user/NixClaw) NixClaw |
| 2026-02-17 01:07:24 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-02-17 01:07:24 +0000 | polykernel_ | polykernel |
| 2026-02-17 01:10:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 01:14:06 +0000 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-02-17 01:18:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-17 01:18:53 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-02-17 01:22:19 +0000 | Googulator31 | Googulator |
| 2026-02-17 01:25:10 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-17 01:26:09 +0000 | hololeap | (~quassel@user/hololeap) (Server closed connection) |
| 2026-02-17 01:26:20 +0000 | hololeap | (~quassel@user/hololeap) hololeap |
| 2026-02-17 01:29:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 01:33:03 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2026-02-17 01:34:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 01:35:30 +0000 | Guest99 | (~Guest99@197.146.239.192) |
| 2026-02-17 01:37:16 +0000 | Guest99 | (~Guest99@197.146.239.192) (Client Quit) |
| 2026-02-17 01:37:29 +0000 | haetsal | (~quassel@221.138.168.192) (Server closed connection) |
| 2026-02-17 01:37:43 +0000 | haetsal | (~quassel@221.138.168.192) |
| 2026-02-17 01:38:37 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-17 01:44:29 +0000 | mima_ | (~mmh@user/mima) (Server closed connection) |
| 2026-02-17 01:44:39 +0000 | mima | (~mmh@user/mima) mima |
| 2026-02-17 01:44:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 01:49:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 02:00:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 02:02:09 +0000 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Server closed connection) |
| 2026-02-17 02:02:30 +0000 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) xelxebar |
| 2026-02-17 02:04:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 02:08:29 +0000 | noctuks | (OnYBpB10e5@user/noctux) (Server closed connection) |
| 2026-02-17 02:08:48 +0000 | noctuks | (7NcJRRWP29@user/noctux) noctux |
| 2026-02-17 02:15:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 02:15:53 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-17 02:18:32 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-17 02:20:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 02:21:20 +0000 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-17 02:22:49 +0000 | inedia | (~irc@li1158-85.members.linode.com) (Server closed connection) |
| 2026-02-17 02:23:06 +0000 | inedia | (~irc@2600:3c00:e000:287::1) dove |
| 2026-02-17 02:23:09 +0000 | ski | (~ski@remote11.chalmers.se) (Server closed connection) |
| 2026-02-17 02:23:22 +0000 | ski | (~ski@remote11.chalmers.se) |
| 2026-02-17 02:25:28 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-02-17 02:28:19 +0000 | wickedjargon | (~user@2605:8d80:5430:4f46:b409:4696:e057:997b) wickedjargon |
| 2026-02-17 02:30:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 02:34:29 +0000 | mzg | (mzg@abusers.hu) (Server closed connection) |
| 2026-02-17 02:34:38 +0000 | mzg | (mzg@abusers.hu) |
| 2026-02-17 02:35:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 02:46:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 02:53:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-17 03:04:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 03:09:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 03:10:18 +0000 | wickedja` | (~user@24.83.46.194) |
| 2026-02-17 03:10:46 +0000 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 244 seconds) |
| 2026-02-17 03:10:50 +0000 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.8.1) |
| 2026-02-17 03:12:24 +0000 | wickedjargon | (~user@2605:8d80:5430:4f46:b409:4696:e057:997b) (Ping timeout: 264 seconds) |
| 2026-02-17 03:12:46 +0000 | td_ | (~td@i53870928.versanet.de) td_ |
| 2026-02-17 03:14:51 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 03:17:49 +0000 | Eoco_ | (~ian@128.101.131.218) (Server closed connection) |
| 2026-02-17 03:18:09 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-02-17 03:19:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 03:19:52 +0000 | wickedjargon | (~user@2605:8d80:5430:4f4a:c300:13ef:b4e7:ecc8) wickedjargon |
| 2026-02-17 03:20:13 +0000 | wickedja` | (~user@24.83.46.194) (Ping timeout: 265 seconds) |
| 2026-02-17 03:24:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 03:35:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 03:40:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 03:41:48 +0000 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-02-17 03:45:44 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-02-17 03:46:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 03:51:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 03:52:13 +0000 | vidak | (~vidak@2407:e400:7800:2c01:c4db:d9c4:aac4:94f6) (Ping timeout: 246 seconds) |
| 2026-02-17 03:52:59 +0000 | vidak | (~vidak@2407:e400:7800:2c01:c4db:d9c4:aac4:94f6) vidak |
| 2026-02-17 04:02:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 04:06:09 +0000 | doyougnu | (~doyougnu@38.175.72.111) (Server closed connection) |
| 2026-02-17 04:06:25 +0000 | doyougnu | (~doyougnu@38.175.72.111) |
| 2026-02-17 04:06:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-17 04:15:19 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-02-17 04:15:44 +0000 | elenril | (~elenril@tutturu.khirnov.net) (Ping timeout: 256 seconds) |
| 2026-02-17 04:17:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 04:19:48 +0000 | sp1ff | (~user@2601:1c2:4701:7850::8cd) sp1ff |
| 2026-02-17 04:22:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 04:27:44 +0000 | elenril | (~elenril@tutturu.khirnov.net) elenril |
| 2026-02-17 04:31:56 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 252 seconds) |
| 2026-02-17 04:32:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 04:34:00 +0000 | wickedjargon | (~user@2605:8d80:5430:4f4a:c300:13ef:b4e7:ecc8) (Ping timeout: 264 seconds) |
| 2026-02-17 04:37:52 +0000 | wickedja` | (~user@2605:8d80:5430:b254:a424:ab98:a45:5bd4) |
| 2026-02-17 04:38:25 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-02-17 04:39:09 +0000 | lyxia | (~lyxia@poisson.chat) (Server closed connection) |
| 2026-02-17 04:39:25 +0000 | lyxia | (~lyxia@poisson.chat) |
| 2026-02-17 04:39:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-17 04:43:49 +0000 | endokqr | (~kqr@irc-1.xkqr.org) (Server closed connection) |
| 2026-02-17 04:44:26 +0000 | endokqr | (~kqr@irc-1.xkqr.org) |
| 2026-02-17 04:44:58 +0000 | michalz | (~michalz@185.246.207.200) |
| 2026-02-17 04:50:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 04:55:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 04:59:31 +0000 | Wanderer | (~wanderer@user/wanderer) (Ping timeout: 265 seconds) |
| 2026-02-17 04:59:40 +0000 | wickedja` | (~user@2605:8d80:5430:b254:a424:ab98:a45:5bd4) (Remote host closed the connection) |
| 2026-02-17 04:59:54 +0000 | werneta_ | (~werneta@71.83.160.242) werneta |
| 2026-02-17 05:00:34 +0000 | Wanderer | (~wanderer@user/wanderer) Wanderer |
| 2026-02-17 05:01:35 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 245 seconds) |
| 2026-02-17 05:02:04 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2026-02-17 05:02:09 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Server closed connection) |
| 2026-02-17 05:02:39 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2026-02-17 05:06:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 05:06:17 +0000 | sttau_ | (~sttau@199.180.255.81) (Ping timeout: 265 seconds) |
| 2026-02-17 05:06:25 +0000 | sttau | (~sttau@199.180.255.81) |
| 2026-02-17 05:06:26 +0000 | echoreply | (~echoreply@45.32.163.16) (Ping timeout: 256 seconds) |
| 2026-02-17 05:06:51 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) echoreply |
| 2026-02-17 05:07:00 +0000 | Clint | (~Clint@user/clint) (Ping timeout: 245 seconds) |
| 2026-02-17 05:07:08 +0000 | Clint | (~Clint@user/clint) Clint |
| 2026-02-17 05:10:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-17 05:15:10 +0000 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-17 05:19:49 +0000 | igemnace | (~igemnace@user/igemnace) (Ping timeout: 265 seconds) |
| 2026-02-17 05:19:55 +0000 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 245 seconds) |
| 2026-02-17 05:20:44 +0000 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2026-02-17 05:20:58 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2026-02-17 05:20:58 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Read error: Connection reset by peer) |
| 2026-02-17 05:22:09 +0000 | urdh | (~urdh@user/urdh) (Server closed connection) |
| 2026-02-17 05:22:28 +0000 | urdh | (~urdh@user/urdh) urdh |
| 2026-02-17 05:24:44 +0000 | lambdabot | (~lambdabot@int-e.eu) |
| 2026-02-17 05:24:44 +0000 | lambdabot | (~lambdabot@int-e.eu) (Changing host) |
| 2026-02-17 05:24:44 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2026-02-17 05:24:44 +0000 | ChanServ | +v lambdabot |
| 2026-02-17 05:26:05 +0000 | Square3 | (~Square@user/square) Square |
| 2026-02-17 05:26:16 +0000 | Ekho | (~Ekho@user/ekho) (Ping timeout: 256 seconds) |
| 2026-02-17 05:28:43 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-02-17 05:33:29 +0000 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Server closed connection) |
| 2026-02-17 05:33:55 +0000 | m1dnight | (~m1dnight@d8d861a17.access.telenet.be) m1dnight |
| 2026-02-17 05:35:23 +0000 | Ekho | (~Ekho@user/ekho) Ekho |
| 2026-02-17 05:36:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 05:41:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 05:42:29 +0000 | redshuffle | (~quassel@45.43.70.75) (Server closed connection) |
| 2026-02-17 05:42:37 +0000 | redshuffle | (~quassel@45.43.70.75) |
| 2026-02-17 05:47:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 05:48:10 +0000 | deadnode666 | (~deadnode6@user/deadnode666) deadnode666 |
| 2026-02-17 05:48:52 +0000 | deadnode666 | (~deadnode6@user/deadnode666) (Client Quit) |
| 2026-02-17 05:50:03 +0000 | deadnode666 | (~deadnode6@user/deadnode666) deadnode666 |
| 2026-02-17 05:52:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 05:54:09 +0000 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Server closed connection) |
| 2026-02-17 05:54:30 +0000 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-02-17 05:56:38 +0000 | w00ter | (~w00ter@user/w00ter) (Read error: Connection reset by peer) |
| 2026-02-17 05:57:08 +0000 | deadnode666_ | (~deadnode6@user/deadnode666) deadnode666 |
| 2026-02-17 05:58:33 +0000 | w00ter | (~w00ter@user/w00ter) w00ter |
| 2026-02-17 05:58:43 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-17 06:00:24 +0000 | deadnode666 | (~deadnode6@user/deadnode666) (Ping timeout: 264 seconds) |
| 2026-02-17 06:01:32 +0000 | deadnode666_ | (~deadnode6@user/deadnode666) (Client Quit) |
| 2026-02-17 06:02:16 +0000 | deadnode666 | (~deadnode6@user/deadnode666) deadnode666 |
| 2026-02-17 06:03:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 06:05:58 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-02-17 06:07:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 06:10:29 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-17 06:18:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 06:19:32 +0000 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2026-02-17 06:22:06 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-02-17 06:25:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 06:33:09 +0000 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) (Server closed connection) |
| 2026-02-17 06:33:26 +0000 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) |
| 2026-02-17 06:36:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 06:36:36 +0000 | werneta_ | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-17 06:39:12 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-17 06:41:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 06:43:49 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Server closed connection) |
| 2026-02-17 06:44:02 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2026-02-17 06:47:15 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 06:48:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 06:53:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 06:53:29 +0000 | Hafydd | (~Hafydd@user/hafydd) (Server closed connection) |
| 2026-02-17 06:53:47 +0000 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2026-02-17 07:00:34 +0000 | Vizious | (~bes@user/Vizious) (Quit: WeeChat 4.8.1) |
| 2026-02-17 07:01:00 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-02-17 07:02:54 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-17 07:04:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 07:08:29 +0000 | phm | (~peter@fsf/member/phm) (Server closed connection) |
| 2026-02-17 07:08:39 +0000 | phm | (~peter@fsf/member/phm) phm |
| 2026-02-17 07:08:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 07:09:17 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:c444:3fce:8c81:3536) |
| 2026-02-17 07:19:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 07:24:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 07:31:27 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-17 07:34:08 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-17 07:34:26 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-17 07:34:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 07:36:03 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-17 07:36:34 +0000 | housemate | (~housemate@202.7.248.67) (Ping timeout: 245 seconds) |
| 2026-02-17 07:36:47 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-17 07:38:01 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Client Quit) |
| 2026-02-17 07:39:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-17 07:39:29 +0000 | janus | (janus@user/janus) (Server closed connection) |
| 2026-02-17 07:39:39 +0000 | janus | (janus@user/janus) janus |
| 2026-02-17 07:39:42 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-17 07:46:08 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:c444:3fce:8c81:3536) (Remote host closed the connection) |
| 2026-02-17 07:48:28 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-02-17 07:49:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 07:56:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 08:07:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 08:09:55 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-17 08:11:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-17 08:14:17 +0000 | qqq | (~qqq@185.54.22.240) (Remote host closed the connection) |
| 2026-02-17 08:16:29 +0000 | socksbuny | (~socks@oberon.raccoon.fun) (Server closed connection) |
| 2026-02-17 08:17:11 +0000 | socksbuny | (~socks@oberon.raccoon.fun) raccoonasdf |
| 2026-02-17 08:18:48 +0000 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-02-17 08:19:09 +0000 | sudden | (~cat@user/sudden) (Server closed connection) |
| 2026-02-17 08:19:24 +0000 | sudden | (~cat@user/sudden) sudden |
| 2026-02-17 08:26:00 +0000 | chele | (~chele@user/chele) chele |
| 2026-02-17 08:28:49 +0000 | trampi | (~trampi@mx.trampusch.info) (Server closed connection) |
| 2026-02-17 08:29:09 +0000 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2026-02-17 08:30:49 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Server closed connection) |
| 2026-02-17 08:31:21 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2026-02-17 08:34:29 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Server closed connection) |
| 2026-02-17 08:34:39 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2026-02-17 08:39:37 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) |
| 2026-02-17 08:44:10 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-17 08:50:49 +0000 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-17 08:55:43 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-17 08:58:49 +0000 | shr\ke | (~shrike@user/paxhumana) (Server closed connection) |
| 2026-02-17 08:58:57 +0000 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2026-02-17 08:58:57 +0000 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2026-02-17 08:58:57 +0000 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-02-17 09:04:59 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-17 09:07:36 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2026-02-17 09:13:02 +0000 | ft | (~ft@p4fc2afab.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-02-17 09:14:49 +0000 | adamCS | (~adamCS@70.19.85.77) (Server closed connection) |
| 2026-02-17 09:14:59 +0000 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2026-02-17 09:16:34 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2026-02-17 09:25:09 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Server closed connection) |
| 2026-02-17 09:29:04 +0000 | petrichor | (~jez@user/petrichor) (Ping timeout: 260 seconds) |
| 2026-02-17 09:32:15 +0000 | fp | (~Thunderbi@wireless-86-50-141-119.open.aalto.fi) fp |
| 2026-02-17 09:32:29 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) (Server closed connection) |
| 2026-02-17 09:32:37 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2026-02-17 09:39:01 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-02-17 09:39:09 +0000 | fp | (~Thunderbi@wireless-86-50-141-119.open.aalto.fi) (Ping timeout: 265 seconds) |
| 2026-02-17 09:41:44 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 09:42:09 +0000 | arkeet | (arkeet@moriya.ca) (Server closed connection) |
| 2026-02-17 09:42:20 +0000 | arkeet | (arkeet@moriya.ca) |
| 2026-02-17 09:45:44 +0000 | fp | (~Thunderbi@130.233.70.160) fp |
| 2026-02-17 09:47:08 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-17 09:51:50 +0000 | fp | (~Thunderbi@130.233.70.160) (Read error: Connection reset by peer) |
| 2026-02-17 09:52:09 +0000 | gawen | (~gawen@user/gawen) (Server closed connection) |
| 2026-02-17 09:52:25 +0000 | gawen | (~gawen@user/gawen) gawen |
| 2026-02-17 09:52:56 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2026-02-17 10:06:37 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-17 10:19:36 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-17 10:24:42 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-17 10:26:44 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-17 10:27:03 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-17 10:29:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-17 10:37:38 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) |
| 2026-02-17 11:01:31 +0000 | jreicher | (~joelr@user/jreicher) (Read error: Connection reset by peer) |
| 2026-02-17 11:02:41 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-17 11:06:25 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c250:8a96:6b0e:a009) |
| 2026-02-17 11:12:29 +0000 | hellwolf | (~user@fab4-59b3-1ab0-7451-0f00-4d40-07d0-2001.sta.estpak.ee) (Server closed connection) |
| 2026-02-17 11:12:43 +0000 | hellwolf | (~user@6bd4-851f-4104-a77b-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2026-02-17 11:18:43 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2026-02-17 11:23:18 +0000 | halloy7365 | (~halloy736@2404:4400:5446:4e00:b998:e0f5:fe7b:6a99) (Read error: Connection reset by peer) |
| 2026-02-17 11:23:38 +0000 | qqq | (~qqq@185.54.22.240) |
| 2026-02-17 11:30:49 +0000 | xdej_ | (~xdej@quatramaran.salle-s.org) (Server closed connection) |
| 2026-02-17 11:30:57 +0000 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2026-02-17 11:49:57 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 11:54:05 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-17 11:54:29 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2026-02-17 11:58:23 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 12:01:07 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2026-02-17 12:04:00 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 264 seconds) |
| 2026-02-17 12:05:48 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 264 seconds) |
| 2026-02-17 12:07:49 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-02-17 12:12:24 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-17 12:16:13 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-17 12:21:01 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-17 12:37:37 +0000 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-17 12:46:49 +0000 | lol__ | (~lol@2603:3016:1e01:b940:75b2:faa1:cf91:eeec) (Server closed connection) |
| 2026-02-17 12:47:06 +0000 | lol__ | (~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) |
| 2026-02-17 13:02:16 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-17 13:02:50 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-17 13:09:02 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-17 13:09:02 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-17 13:09:02 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-17 13:24:05 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-02-17 13:25:28 +0000 | lol_ | (~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) |
| 2026-02-17 13:29:12 +0000 | lol__ | (~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) (Ping timeout: 264 seconds) |
| 2026-02-17 13:40:43 +0000 | Googulator | (~Googulato@185.199.28.81) |
| 2026-02-17 13:44:02 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2026-02-17 13:51:01 +0000 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63 |
| 2026-02-17 13:53:38 +0000 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-17 13:59:26 +0000 | <kaol> | I came up with a fun function: bitraverse <*> traverse. For manipulating that bothersome Either a (b,a). |
| 2026-02-17 14:04:54 +0000 | <haskellbridge> | <Morj> Since when is Bitraversable in base |
| 2026-02-17 14:04:54 +0000 | <haskellbridge> | <Morj> It says 4.10.0.0 on the hackage, but what year is that |
| 2026-02-17 14:07:56 +0000 | <kaol> | Since GHC 8.2, released in 2017. |
| 2026-02-17 14:18:22 +0000 | <hadronized> | anyone has enough ATS knowledge and/or Linear Haskell? |
| 2026-02-17 14:18:51 +0000 | <hadronized> | I’m designing my own language and I’m struggling to understand a couple ideas regarding linear proof transformationsd with regards to container type |
| 2026-02-17 14:32:22 +0000 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-02-17 14:32:58 +0000 | Arvin | (~Arvin@182.48.215.160) |
| 2026-02-17 14:38:35 +0000 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-17 15:02:53 +0000 | Arvin | (~Arvin@182.48.215.160) (Quit: Client closed) |
| 2026-02-17 15:04:40 +0000 | spew | (~spew@user/spew) spew |
| 2026-02-17 15:07:51 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2026-02-17 15:15:25 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-02-17 15:15:48 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-17 15:33:33 +0000 | Googulator | (~Googulato@185.199.28.81) (Ping timeout: 272 seconds) |
| 2026-02-17 15:37:17 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-17 15:48:51 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-17 15:52:49 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-17 15:54:11 +0000 | <[exa]> | @mad: underrated view |
| 2026-02-17 15:54:11 +0000 | <lambdabot> | Unknown command, try @list |
| 2026-02-17 15:54:53 +0000 | <[exa]> | hadronized: anything specific? (this isn't a very good channel for a long writeup but perhaps people will point you in the right direction) |
| 2026-02-17 16:00:26 +0000 | <tomsmeding> | Morj: base versions are listed in `ghcup list -t ghc` (or `ghcup tui`) |
| 2026-02-17 16:00:38 +0000 | <tomsmeding> | also https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history |
| 2026-02-17 16:01:18 +0000 | <hadronized> | I asked on proglangdesign, to no avail [exa] |
| 2026-02-17 16:01:55 +0000 | <tomsmeding> | there are some people here familiar with Linear Haskell (such as me, kindof), but I don't think you'll find much ATS here |
| 2026-02-17 16:02:34 +0000 | <hadronized> | my question is basically about how proofs work when moving items in containers; for instance, consider a dynamic array (dynarr) type which takes pointers to stuff, like ptr(i32); my language supports existentials, so {l: addr} ptr(i32) l are pointers pointing to some l address, we just do not which; I use that syntax to introduce allocation proofs, to prove a pointer comes from a malloc for |
| 2026-02-17 16:02:36 +0000 | <hadronized> | instance |
| 2026-02-17 16:02:36 +0000 | <tomsmeding> | hadronized: if more long-form, you could ask here https://langdev.stackexchange.com/ |
| 2026-02-17 16:02:49 +0000 | <hadronized> | with {l: addr} ptr(i32) l | alloc(i32, l) |
| 2026-02-17 16:03:48 +0000 | <hadronized> | if I store that in a dynamic array, I get dynarr({l: addr} ptr(i32) l | alloc(i32, l)), which by definition, only allows to know that the existential pair can be used, but you cannot for instance transformed an alloc linear proof into a deref proof by doing a get(3) -> option(ptr(i32) | deref) for instacne |
| 2026-02-17 16:03:50 +0000 | <hadronized> | instance* |
| 2026-02-17 16:04:10 +0000 | <tomsmeding> | it's unclear to me what `{l: addr} ptr(i32) l` means; presumably `∃(l : addr).`, but what's the juxtaposition? |
| 2026-02-17 16:04:21 +0000 | <hadronized> | so I guess I would instead need to store the items as dynarr(ptr(i32)), and unsafely generate the deref proofs |
| 2026-02-17 16:04:29 +0000 | <hadronized> | it does tomsmeding |
| 2026-02-17 16:04:35 +0000 | <hadronized> | the juxtaposition is the same as ATS |
| 2026-02-17 16:04:47 +0000 | tomsmeding | has no clue about ATS |
| 2026-02-17 16:05:02 +0000 | <hadronized> | it’s a way to state that the proof is only at the static level |
| 2026-02-17 16:05:13 +0000 | <hadronized> | you can imagine that as a tuple where the right side never appears at runtime |
| 2026-02-17 16:06:05 +0000 | <hadronized> | so yes, it tells that we have a pointer indexed by l: addr, and the alloc(i32, l) means that we have the proof that there is an allocation of type i32 at that existential l address |
| 2026-02-17 16:06:25 +0000 | tomsmeding | . o O ( agda syntax: ∃[ l ∈ addr ] (ptr i32 × @0 l), or something ) |
| 2026-02-17 16:07:30 +0000 | <tomsmeding> | is that `|` a sum type? |
| 2026-02-17 16:15:23 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2026-02-17 16:16:29 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 16:17:07 +0000 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-17 16:17:09 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-17 16:17:58 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-02-17 16:20:45 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2026-02-17 16:20:57 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-17 16:21:01 +0000 | foul_owl | (~kerry@94.156.149.92) (Ping timeout: 264 seconds) |
| 2026-02-17 16:23:01 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-17 16:25:12 +0000 | jmcantrell_ | jmcantrell |
| 2026-02-17 16:34:58 +0000 | foul_owl | (~kerry@94.156.149.94) foul_owl |
| 2026-02-17 16:35:42 +0000 | mxs9 | (~mxs@user/mxs) mxs |
| 2026-02-17 16:35:42 +0000 | mxs9 | (~mxs@user/mxs) (Client Quit) |
| 2026-02-17 16:39:33 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-17 16:40:41 +0000 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Ping timeout: 272 seconds) |
| 2026-02-17 16:47:12 +0000 | wickedja` | (~user@24.83.46.194) |
| 2026-02-17 16:48:39 +0000 | wickedjargon | (~user@24.83.46.194) (Ping timeout: 244 seconds) |
| 2026-02-17 16:49:34 +0000 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-02-17 16:57:05 +0000 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63 |
| 2026-02-17 16:58:00 +0000 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Client Quit) |
| 2026-02-17 17:03:00 +0000 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-17 17:04:13 +0000 | wickedja` | (~user@24.83.46.194) (Ping timeout: 264 seconds) |
| 2026-02-17 17:04:39 +0000 | wickedja` | (~user@24.83.46.194) |
| 2026-02-17 17:05:48 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2026-02-17 17:08:57 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 17:13:36 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-02-17 17:14:15 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-17 17:19:00 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-17 17:20:44 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2026-02-17 17:21:42 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2026-02-17 17:23:33 +0000 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-02-17 17:24:25 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 17:25:54 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 17:36:09 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 17:36:17 +0000 | Googulator3 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 17:36:31 +0000 | Googulator3 | Googulator |
| 2026-02-17 17:38:18 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 17:39:09 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 17:39:23 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 17:40:34 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: No route to host) |
| 2026-02-17 17:43:00 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-17 17:44:05 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-17 17:44:19 +0000 | Square3 | (~Square@user/square) Square |
| 2026-02-17 17:44:33 +0000 | Googulator28 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 17:44:54 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 17:46:24 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 17:50:43 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: No route to host) |
| 2026-02-17 17:51:39 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 17:55:41 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-17 17:55:57 +0000 | Googulator28 | Googulator |
| 2026-02-17 17:57:21 +0000 | Googulator43 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 17:58:28 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 2026-02-17 17:58:55 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-02-17 17:59:29 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 18:00:12 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 18:00:33 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 18:01:07 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-17 18:01:30 +0000 | Googulator86 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:05:33 +0000 | Googulator43 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-17 18:06:01 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) |
| 2026-02-17 18:06:12 +0000 | Googulator86 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 18:06:13 +0000 | Googulator34 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:11:55 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 18:11:58 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 18:12:45 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 18:17:32 +0000 | Guest46 | (~Guest46@2806:104e:c:3f49:6878:6e3c:2b6e:5ac4) |
| 2026-02-17 18:20:27 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 18:20:27 +0000 | Googulator34 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 18:20:36 +0000 | Googulator34 | (~Googulato@84-236-65-138.pool.digikabel.hu) |
| 2026-02-17 18:21:21 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 18:28:15 +0000 | Guest46 | YourNickGuest |
| 2026-02-17 18:30:10 +0000 | Googulator34 | (~Googulato@84-236-65-138.pool.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 18:30:20 +0000 | Googulator34 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:31:50 +0000 | YourNickGuest | (~Guest46@2806:104e:c:3f49:6878:6e3c:2b6e:5ac4) (Changing host) |
| 2026-02-17 18:31:50 +0000 | YourNickGuest | (~Guest46@user/YourNickGuest) YourNickGuest |
| 2026-02-17 18:36:02 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 18:36:22 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 18:37:52 +0000 | jgee242 | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-17 18:41:52 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2026-02-17 18:42:05 +0000 | Googulator34 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 18:42:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 18:42:13 +0000 | Googulator34 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:46:18 +0000 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 2026-02-17 18:46:45 +0000 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) bastelfreak |
| 2026-02-17 18:49:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 18:49:01 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 18:49:26 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 18:50:29 +0000 | Googulator75 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:51:14 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:52:50 +0000 | Googulator75 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 18:53:38 +0000 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) (Read error: Connection reset by peer) |
| 2026-02-17 18:53:48 +0000 | Googulator34 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 18:54:11 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 18:54:15 +0000 | <jgee242> | Hi #haskell, I'm taking the Haskell MOOC on mooc.fi to learn Haskell. Just wanted to give a shout out to the channel for fun. |
| 2026-02-17 18:54:21 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:54:35 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 18:54:59 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 18:55:29 +0000 | sp1ff | (~user@2601:1c2:4701:7850::8cd) (Remote host closed the connection) |
| 2026-02-17 18:55:42 +0000 | sp1ff | (~user@2601:1c2:4701:7850::8cd) sp1ff |
| 2026-02-17 18:56:54 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-17 18:57:01 +0000 | kmein | (~weechat@user/kmein) (Client Quit) |
| 2026-02-17 18:57:20 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 19:00:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 19:00:32 +0000 | Googulator41 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 19:00:51 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 19:02:18 +0000 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) m_a_r_k |
| 2026-02-17 19:05:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 19:06:05 +0000 | Googulator41 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 19:06:10 +0000 | Googulator63 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 19:06:50 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 19:07:15 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 19:08:25 +0000 | jgee242 | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-02-17 19:09:57 +0000 | malte | (~malte@mal.tc) malte |
| 2026-02-17 19:11:51 +0000 | <[exa]> | jgee242: fun! |
| 2026-02-17 19:11:53 +0000 | <[exa]> | oh they left |
| 2026-02-17 19:13:17 +0000 | YourNickGuest | (~Guest46@user/YourNickGuest) (Quit: Client closed) |
| 2026-02-17 19:13:46 +0000 | <Clint> | fun was accomplished by all |
| 2026-02-17 19:14:24 +0000 | <[exa]> | \o/ |
| 2026-02-17 19:15:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 19:22:19 +0000 | sm | (znc@plaintextaccounting/sm) (Server closed connection) |
| 2026-02-17 19:22:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-17 19:22:34 +0000 | sm | (znc@plaintextaccounting/sm) sm |
| 2026-02-17 19:25:41 +0000 | jzargo2 | (~jzargo@user/jzargo) (Quit: Leaving) |
| 2026-02-17 19:25:55 +0000 | jzargo2 | (~jzargo@user/jzargo) jzargo |
| 2026-02-17 19:30:06 +0000 | Googulator63 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 19:30:14 +0000 | Googulator63 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 19:30:33 +0000 | ar3ph | (~ar3ph@user/ar3ph) (Quit: bye) |
| 2026-02-17 19:30:49 +0000 | ar3ph | (~ar3ph@user/ar3ph) ar3ph |
| 2026-02-17 19:33:38 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-02-17 19:37:47 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-02-17 19:46:13 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-02-17 19:46:45 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-17 19:47:26 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-17 19:48:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 19:48:59 +0000 | Googulator70 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 19:48:59 +0000 | Googulator63 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 19:49:11 +0000 | wickedja` | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-17 19:49:11 +0000 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-17 19:50:59 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2026-02-17 19:53:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 20:00:47 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-17 20:04:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 20:09:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 20:17:05 +0000 | dcb | (~dcb@user/dcb) (Server closed connection) |
| 2026-02-17 20:17:29 +0000 | dcb | (~dcb@user/dcb) dcb |
| 2026-02-17 20:19:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 20:26:27 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 20:26:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 20:31:21 +0000 | <larsivi> | Prior to starting to learn Haskell (pretty much first FP language I've touched in any significant manner after programming for over 30 years), and still, I did/do a lot of Typescript (some React, but mostly Node on the server). There I recently got into reading about effect systems (in particular effect-ts). But I then figured I should actually learn a FP lang, and so came to Haskell. I think I |
| 2026-02-17 20:31:23 +0000 | <larsivi> | thought that effects was almost an inherent part of functional programming, so was kinda surprised when I saw that there appear to be some competition (and that far from all use effect systems). Anyway, I think I like Bluefin? Gotta learn quite a bit more though. |
| 2026-02-17 20:35:08 +0000 | <larsivi> | Also, I recently came over a project that used Lenses and that recommended Optics. I suppose I am on very thin water now, but are optics and effects competitors? Does it make sense to use together? Are there any optics vs effect comparisons out there? (If such a comparison makes sense ...) |
| 2026-02-17 20:37:21 +0000 | Googulator69 | (~Googulato@84-236-65-138.pool.digikabel.hu) |
| 2026-02-17 20:37:26 +0000 | Googulator70 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 20:37:37 +0000 | <haskellbridge> | <sm> I think optics and effects are usually discussed separately and considered orthogonal, but probably there's some deep linkage we'll hear about shortly |
| 2026-02-17 20:37:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 20:38:07 +0000 | <haskellbridge> | <sm> I'm using "optics" in the generic sense (lens, microlens, optics...) |
| 2026-02-17 20:38:25 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-02-17 20:39:53 +0000 | <haskellbridge> | <sm> yes, effect systems are relatively new and evolving, and not something routinely used by all haskellers (unless you count monads generally, like IO, as a kind of effect system) |
| 2026-02-17 20:42:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 20:42:31 +0000 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-17 20:44:26 +0000 | Googulator69 | (~Googulato@84-236-65-138.pool.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 20:44:32 +0000 | Googulator12 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:44:42 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-17 20:44:47 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-17 20:46:38 +0000 | Googulator85 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:46:38 +0000 | Googulator12 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 20:46:58 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-17 20:48:12 +0000 | <larsivi> | thanks! |
| 2026-02-17 20:49:15 +0000 | Googulator85 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 20:49:19 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:52:09 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-02-17 20:53:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 20:55:45 +0000 | cptaffe | (~cptaffe@user/cptaffe) (Server closed connection) |
| 2026-02-17 20:56:05 +0000 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2026-02-17 20:57:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 20:58:21 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-17 21:01:57 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-17 21:04:51 +0000 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2026-02-17 21:07:04 +0000 | Digit | (~user@user/digit) Digit |
| 2026-02-17 21:08:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 21:08:44 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-17 21:09:03 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-17 21:13:00 +0000 | oskarw | (~user@user/oskarw) (Ping timeout: 264 seconds) |
| 2026-02-17 21:13:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 21:15:30 +0000 | qqq | (~qqq@185.54.22.240) (Quit: Lost terminal) |
| 2026-02-17 21:18:23 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 2026-02-17 21:20:14 +0000 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-17 21:23:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 21:23:52 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-02-17 21:26:19 +0000 | collide2954 | (~collide29@user/collide2954) (Server closed connection) |
| 2026-02-17 21:26:54 +0000 | collide2954 | (~collide29@user/collide2954) collide2954 |
| 2026-02-17 21:28:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 21:32:18 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 21:32:19 +0000 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) (Server closed connection) |
| 2026-02-17 21:32:28 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 21:32:37 +0000 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) |
| 2026-02-17 21:34:25 +0000 | straybits | (~straybits@user/straybits) (Server closed connection) |
| 2026-02-17 21:34:47 +0000 | straybits | (~straybits@user/straybits) straybits |
| 2026-02-17 21:38:29 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 21:39:00 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-17 21:39:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 21:43:05 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2026-02-17 21:43:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 21:46:15 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-17 21:46:42 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-02-17 21:53:08 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 21:53:15 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds) |
| 2026-02-17 21:53:21 +0000 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-02-17 21:53:21 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 21:54:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 21:55:05 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Server closed connection) |
| 2026-02-17 21:55:28 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2026-02-17 21:55:28 +0000 | ChanServ | +v yahb2 |
| 2026-02-17 21:58:25 +0000 | lantti | (~lantti@xcalibur.cc.tut.fi) (Server closed connection) |
| 2026-02-17 21:58:38 +0000 | lantti | (~lantti@xcalibur.cc.tut.fi) |
| 2026-02-17 22:01:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 22:02:13 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 22:02:33 +0000 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2026-02-17 22:03:44 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-17 22:07:00 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-17 22:11:45 +0000 | tessier_ | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Server closed connection) |
| 2026-02-17 22:12:12 +0000 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2026-02-17 22:12:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 22:15:11 +0000 | Googulator85 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 22:15:13 +0000 | Googulator98 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 22:17:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 22:21:19 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-17 22:22:50 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-02-17 22:24:22 +0000 | Googulator85 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 22:24:23 +0000 | Googulator6 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 22:25:39 +0000 | danso_o | (~danso@user/danso) (Server closed connection) |
| 2026-02-17 22:25:56 +0000 | danso | (~danso@user/danso) danso |
| 2026-02-17 22:27:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 22:31:02 +0000 | w00ter | (~w00ter@user/w00ter) (Ping timeout: 265 seconds) |
| 2026-02-17 22:32:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 22:35:20 +0000 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2026-02-17 22:36:05 +0000 | Googulator6 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 22:36:09 +0000 | Googulator10 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 22:40:59 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (Server closed connection) |
| 2026-02-17 22:41:18 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) chymera |
| 2026-02-17 22:43:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 22:43:35 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-17 22:44:04 +0000 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-02-17 22:44:22 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-17 22:45:39 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 2026-02-17 22:47:17 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2026-02-17 22:47:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 22:48:24 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2026-02-17 22:54:02 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 252 seconds) |
| 2026-02-17 22:58:30 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-02-17 22:58:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 23:03:27 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2026-02-17 23:03:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 23:03:31 +0000 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-17 23:04:36 +0000 | humasect_ | humasect |
| 2026-02-17 23:05:09 +0000 | s3np41 | (~s3np41@078088254000.unknown.vectranet.pl) (Quit: WeeChat 4.8.1) |
| 2026-02-17 23:05:45 +0000 | cstml | (~cstml@user/cstml) (Server closed connection) |
| 2026-02-17 23:07:21 +0000 | mange | (~mange@user/mange) mange |
| 2026-02-17 23:07:33 +0000 | cstml | (~cstml@user/cstml) cstml |
| 2026-02-17 23:14:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 23:15:11 +0000 | Googulator84 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 23:15:14 +0000 | Googulator10 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 23:17:58 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-17 23:18:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 23:26:39 +0000 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2026-02-17 23:27:22 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-17 23:29:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 23:32:23 +0000 | n0w0n | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2026-02-17 23:34:43 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-17 23:34:55 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2026-02-17 23:36:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 23:36:56 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-02-17 23:39:11 +0000 | Square3 | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2026-02-17 23:45:17 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-17 23:47:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 23:48:14 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c250:8a96:6b0e:a009) (Ping timeout: 245 seconds) |
| 2026-02-17 23:49:00 +0000 | malte | (~malte@mal.tc) (Ping timeout: 264 seconds) |
| 2026-02-17 23:51:18 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 23:51:18 +0000 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2026-02-17 23:51:24 +0000 | malte | (~malte@mal.tc) malte |
| 2026-02-17 23:51:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 23:56:33 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-17 23:56:34 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-02-17 23:56:51 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |