| 2026-02-17 00:02:48 +0100 | Jackneill | (~Jackneill@94-21-15-238.pool.digikabel.hu) Jackneill |
| 2026-02-17 00:05:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 00:07:04 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) Tuplanolla |
| 2026-02-17 00:09:48 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-17 00:12:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-17 00:13:08 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-17 00:23:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 00:28:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 00:29:09 +0100 | dontdieych | (~dontdieyc@132.226.169.184) (Server closed connection) |
| 2026-02-17 00:29:25 +0100 | dontdieych | (~dontdieyc@132.226.169.184) dontdieych |
| 2026-02-17 00:37:04 +0100 | NixClaw | (~NixClaw@user/NixClaw) (Remote host closed the connection) |
| 2026-02-17 00:38:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 00:43:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-17 00:51:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 00:54:20 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b457:3c8c:4ce1:c4df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-17 00:55:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 01:06:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 01:08:34 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-02-17 01:08:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:6b27:25be:1343:b5d0) (Quit: xff0x) |
| 2026-02-17 01:09:58 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 2026-02-17 01:11:11 +0100 | xff0x | (~xff0x@2405:6580:b080:900:6b27:25be:1343:b5d0) |
| 2026-02-17 01:11:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 01:12:37 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2026-02-17 01:17:49 +0100 | distopico | (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) (Server closed connection) |
| 2026-02-17 01:18:10 +0100 | distopico | (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) distopico |
| 2026-02-17 01:22:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 01:26:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-17 01:37:16 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-17 01:37:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 01:38:25 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-17 01:40:09 +0100 | jessicara | (~shirogits@user/meow/jessicara) (Server closed connection) |
| 2026-02-17 01:40:24 +0100 | jessicara | (~shirogits@user/meow/jessicara) jessicara |
| 2026-02-17 01:41:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2026-02-17 01:42:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-17 01:43:31 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2026-02-17 01:43:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 01:46:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:6b27:25be:1343:b5d0) (Ping timeout: 246 seconds) |
| 2026-02-17 01:48:29 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-02-17 01:48:49 +0100 | hakutaku | (~textual@user/hakutaku) (Remote host closed the connection) |
| 2026-02-17 01:49:44 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-17 01:52:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 01:52:59 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-17 01:54:45 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 250 seconds) |
| 2026-02-17 01:54:45 +0100 | polykernel_ | polykernel |
| 2026-02-17 01:59:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-17 02:00:46 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-17 02:03:14 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-02-17 02:03:14 +0100 | polykernel_ | polykernel |
| 2026-02-17 02:03:57 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-17 02:06:29 +0100 | Dykam_ | (Dykam@dykam.nl) (Server closed connection) |
| 2026-02-17 02:06:39 +0100 | Dykam | (Dykam@dykam.nl) Dykam |
| 2026-02-17 02:07:09 +0100 | NixClaw | (~NixClaw@user/NixClaw) NixClaw |
| 2026-02-17 02:07:24 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-02-17 02:07:24 +0100 | polykernel_ | polykernel |
| 2026-02-17 02:10:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 02:14:06 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-02-17 02:18:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-17 02:18:53 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-02-17 02:22:19 +0100 | Googulator31 | Googulator |
| 2026-02-17 02:25:10 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-17 02:26:09 +0100 | hololeap | (~quassel@user/hololeap) (Server closed connection) |
| 2026-02-17 02:26:20 +0100 | hololeap | (~quassel@user/hololeap) hololeap |
| 2026-02-17 02:29:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 02:33:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2026-02-17 02:34:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 02:35:30 +0100 | Guest99 | (~Guest99@197.146.239.192) |
| 2026-02-17 02:37:16 +0100 | Guest99 | (~Guest99@197.146.239.192) (Client Quit) |
| 2026-02-17 02:37:29 +0100 | haetsal | (~quassel@221.138.168.192) (Server closed connection) |
| 2026-02-17 02:37:43 +0100 | haetsal | (~quassel@221.138.168.192) |
| 2026-02-17 02:38:37 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-17 02:44:29 +0100 | mima_ | (~mmh@user/mima) (Server closed connection) |
| 2026-02-17 02:44:39 +0100 | mima | (~mmh@user/mima) mima |
| 2026-02-17 02:44:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 02:49:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 03:00:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 03:02:09 +0100 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Server closed connection) |
| 2026-02-17 03:02:30 +0100 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) xelxebar |
| 2026-02-17 03:04:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 03:08:29 +0100 | noctuks | (OnYBpB10e5@user/noctux) (Server closed connection) |
| 2026-02-17 03:08:48 +0100 | noctuks | (7NcJRRWP29@user/noctux) noctux |
| 2026-02-17 03:15:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 03:15:53 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-17 03:18:32 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-17 03:20:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 03:21:20 +0100 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-17 03:22:49 +0100 | inedia | (~irc@li1158-85.members.linode.com) (Server closed connection) |
| 2026-02-17 03:23:06 +0100 | inedia | (~irc@2600:3c00:e000:287::1) dove |
| 2026-02-17 03:23:09 +0100 | ski | (~ski@remote11.chalmers.se) (Server closed connection) |
| 2026-02-17 03:23:22 +0100 | ski | (~ski@remote11.chalmers.se) |
| 2026-02-17 03:25:28 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-02-17 03:28:19 +0100 | wickedjargon | (~user@2605:8d80:5430:4f46:b409:4696:e057:997b) wickedjargon |
| 2026-02-17 03:30:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 03:34:29 +0100 | mzg | (mzg@abusers.hu) (Server closed connection) |
| 2026-02-17 03:34:38 +0100 | mzg | (mzg@abusers.hu) |
| 2026-02-17 03:35:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 03:46:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 03:53:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-17 04:04:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 04:09:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 04:10:18 +0100 | wickedja` | (~user@24.83.46.194) |
| 2026-02-17 04:10:46 +0100 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 244 seconds) |
| 2026-02-17 04:10:50 +0100 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.8.1) |
| 2026-02-17 04:12:24 +0100 | wickedjargon | (~user@2605:8d80:5430:4f46:b409:4696:e057:997b) (Ping timeout: 264 seconds) |
| 2026-02-17 04:12:46 +0100 | td_ | (~td@i53870928.versanet.de) td_ |
| 2026-02-17 04:14:51 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 04:17:49 +0100 | Eoco_ | (~ian@128.101.131.218) (Server closed connection) |
| 2026-02-17 04:18:09 +0100 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-02-17 04:19:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 04:19:52 +0100 | wickedjargon | (~user@2605:8d80:5430:4f4a:c300:13ef:b4e7:ecc8) wickedjargon |
| 2026-02-17 04:20:13 +0100 | wickedja` | (~user@24.83.46.194) (Ping timeout: 265 seconds) |
| 2026-02-17 04:24:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 04:35:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 04:40:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 04:41:48 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-02-17 04:45:44 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-02-17 04:46:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 04:51:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 04:52:13 +0100 | vidak | (~vidak@2407:e400:7800:2c01:c4db:d9c4:aac4:94f6) (Ping timeout: 246 seconds) |
| 2026-02-17 04:52:59 +0100 | vidak | (~vidak@2407:e400:7800:2c01:c4db:d9c4:aac4:94f6) vidak |
| 2026-02-17 05:02:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 05:06:09 +0100 | doyougnu | (~doyougnu@38.175.72.111) (Server closed connection) |
| 2026-02-17 05:06:25 +0100 | doyougnu | (~doyougnu@38.175.72.111) |
| 2026-02-17 05:06:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-17 05:15:19 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-02-17 05:15:44 +0100 | elenril | (~elenril@tutturu.khirnov.net) (Ping timeout: 256 seconds) |
| 2026-02-17 05:17:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 05:19:48 +0100 | sp1ff | (~user@2601:1c2:4701:7850::8cd) sp1ff |
| 2026-02-17 05:22:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 05:27:44 +0100 | elenril | (~elenril@tutturu.khirnov.net) elenril |
| 2026-02-17 05:31:56 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 252 seconds) |
| 2026-02-17 05:32:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 05:34:00 +0100 | wickedjargon | (~user@2605:8d80:5430:4f4a:c300:13ef:b4e7:ecc8) (Ping timeout: 264 seconds) |
| 2026-02-17 05:37:52 +0100 | wickedja` | (~user@2605:8d80:5430:b254:a424:ab98:a45:5bd4) |
| 2026-02-17 05:38:25 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-02-17 05:39:09 +0100 | lyxia | (~lyxia@poisson.chat) (Server closed connection) |
| 2026-02-17 05:39:25 +0100 | lyxia | (~lyxia@poisson.chat) |
| 2026-02-17 05:39:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-17 05:43:49 +0100 | endokqr | (~kqr@irc-1.xkqr.org) (Server closed connection) |
| 2026-02-17 05:44:26 +0100 | endokqr | (~kqr@irc-1.xkqr.org) |
| 2026-02-17 05:44:58 +0100 | michalz | (~michalz@185.246.207.200) |
| 2026-02-17 05:50:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 05:55:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 05:59:31 +0100 | Wanderer | (~wanderer@user/wanderer) (Ping timeout: 265 seconds) |
| 2026-02-17 05:59:40 +0100 | wickedja` | (~user@2605:8d80:5430:b254:a424:ab98:a45:5bd4) (Remote host closed the connection) |
| 2026-02-17 05:59:54 +0100 | werneta_ | (~werneta@71.83.160.242) werneta |
| 2026-02-17 06:00:34 +0100 | Wanderer | (~wanderer@user/wanderer) Wanderer |
| 2026-02-17 06:01:35 +0100 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 245 seconds) |
| 2026-02-17 06:02:04 +0100 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2026-02-17 06:02:09 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Server closed connection) |
| 2026-02-17 06:02:39 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2026-02-17 06:06:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 06:06:17 +0100 | sttau_ | (~sttau@199.180.255.81) (Ping timeout: 265 seconds) |
| 2026-02-17 06:06:25 +0100 | sttau | (~sttau@199.180.255.81) |
| 2026-02-17 06:06:26 +0100 | echoreply | (~echoreply@45.32.163.16) (Ping timeout: 256 seconds) |
| 2026-02-17 06:06:51 +0100 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) echoreply |
| 2026-02-17 06:07:00 +0100 | Clint | (~Clint@user/clint) (Ping timeout: 245 seconds) |
| 2026-02-17 06:07:08 +0100 | Clint | (~Clint@user/clint) Clint |
| 2026-02-17 06:10:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-17 06:15:10 +0100 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-17 06:19:49 +0100 | igemnace | (~igemnace@user/igemnace) (Ping timeout: 265 seconds) |
| 2026-02-17 06:19:55 +0100 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 245 seconds) |
| 2026-02-17 06:20:44 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2026-02-17 06:20:58 +0100 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2026-02-17 06:20:58 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Read error: Connection reset by peer) |
| 2026-02-17 06:22:09 +0100 | urdh | (~urdh@user/urdh) (Server closed connection) |
| 2026-02-17 06:22:28 +0100 | urdh | (~urdh@user/urdh) urdh |
| 2026-02-17 06:24:44 +0100 | lambdabot | (~lambdabot@int-e.eu) |
| 2026-02-17 06:24:44 +0100 | lambdabot | (~lambdabot@int-e.eu) (Changing host) |
| 2026-02-17 06:24:44 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2026-02-17 06:24:44 +0100 | ChanServ | +v lambdabot |
| 2026-02-17 06:26:05 +0100 | Square3 | (~Square@user/square) Square |
| 2026-02-17 06:26:16 +0100 | Ekho | (~Ekho@user/ekho) (Ping timeout: 256 seconds) |
| 2026-02-17 06:28:43 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-02-17 06:33:29 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Server closed connection) |
| 2026-02-17 06:33:55 +0100 | m1dnight | (~m1dnight@d8d861a17.access.telenet.be) m1dnight |
| 2026-02-17 06:35:23 +0100 | Ekho | (~Ekho@user/ekho) Ekho |
| 2026-02-17 06:36:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 06:41:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 06:42:29 +0100 | redshuffle | (~quassel@45.43.70.75) (Server closed connection) |
| 2026-02-17 06:42:37 +0100 | redshuffle | (~quassel@45.43.70.75) |
| 2026-02-17 06:47:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 06:48:10 +0100 | deadnode666 | (~deadnode6@user/deadnode666) deadnode666 |
| 2026-02-17 06:48:52 +0100 | deadnode666 | (~deadnode6@user/deadnode666) (Client Quit) |
| 2026-02-17 06:50:03 +0100 | deadnode666 | (~deadnode6@user/deadnode666) deadnode666 |
| 2026-02-17 06:52:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 06:54:09 +0100 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Server closed connection) |
| 2026-02-17 06:54:30 +0100 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-02-17 06:56:38 +0100 | w00ter | (~w00ter@user/w00ter) (Read error: Connection reset by peer) |
| 2026-02-17 06:57:08 +0100 | deadnode666_ | (~deadnode6@user/deadnode666) deadnode666 |
| 2026-02-17 06:58:33 +0100 | w00ter | (~w00ter@user/w00ter) w00ter |
| 2026-02-17 06:58:43 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-17 07:00:24 +0100 | deadnode666 | (~deadnode6@user/deadnode666) (Ping timeout: 264 seconds) |
| 2026-02-17 07:01:32 +0100 | deadnode666_ | (~deadnode6@user/deadnode666) (Client Quit) |
| 2026-02-17 07:02:16 +0100 | deadnode666 | (~deadnode6@user/deadnode666) deadnode666 |
| 2026-02-17 07:03:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 07:05:58 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-02-17 07:07:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 07:10:29 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-17 07:18:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 07:19:32 +0100 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2026-02-17 07:22:06 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-02-17 07:25:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 07:33:09 +0100 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) (Server closed connection) |
| 2026-02-17 07:33:26 +0100 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) |
| 2026-02-17 07:36:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 07:36:36 +0100 | werneta_ | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2026-02-17 07:39:12 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-17 07:41:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 07:43:49 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Server closed connection) |
| 2026-02-17 07:44:02 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2026-02-17 07:47:15 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 07:48:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 07:53:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 07:53:29 +0100 | Hafydd | (~Hafydd@user/hafydd) (Server closed connection) |
| 2026-02-17 07:53:47 +0100 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2026-02-17 08:00:34 +0100 | Vizious | (~bes@user/Vizious) (Quit: WeeChat 4.8.1) |
| 2026-02-17 08:01:00 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-02-17 08:02:54 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-17 08:04:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 08:08:29 +0100 | phm | (~peter@fsf/member/phm) (Server closed connection) |
| 2026-02-17 08:08:39 +0100 | phm | (~peter@fsf/member/phm) phm |
| 2026-02-17 08:08:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 08:09:17 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:c444:3fce:8c81:3536) |
| 2026-02-17 08:19:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 08:24:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 08:31:27 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-17 08:34:08 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-17 08:34:26 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-17 08:34:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 08:36:03 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-17 08:36:34 +0100 | housemate | (~housemate@202.7.248.67) (Ping timeout: 245 seconds) |
| 2026-02-17 08:36:47 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-17 08:38:01 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Client Quit) |
| 2026-02-17 08:39:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-17 08:39:29 +0100 | janus | (janus@user/janus) (Server closed connection) |
| 2026-02-17 08:39:39 +0100 | janus | (janus@user/janus) janus |
| 2026-02-17 08:39:42 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-17 08:46:08 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:c444:3fce:8c81:3536) (Remote host closed the connection) |
| 2026-02-17 08:48:28 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-02-17 08:49:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 08:56:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-17 09:07:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 09:09:55 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-17 09:11:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-17 09:14:17 +0100 | qqq | (~qqq@185.54.22.240) (Remote host closed the connection) |
| 2026-02-17 09:16:29 +0100 | socksbuny | (~socks@oberon.raccoon.fun) (Server closed connection) |
| 2026-02-17 09:17:11 +0100 | socksbuny | (~socks@oberon.raccoon.fun) raccoonasdf |
| 2026-02-17 09:18:48 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-02-17 09:19:09 +0100 | sudden | (~cat@user/sudden) (Server closed connection) |
| 2026-02-17 09:19:24 +0100 | sudden | (~cat@user/sudden) sudden |
| 2026-02-17 09:26:00 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-17 09:28:49 +0100 | trampi | (~trampi@mx.trampusch.info) (Server closed connection) |
| 2026-02-17 09:29:09 +0100 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2026-02-17 09:30:49 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Server closed connection) |
| 2026-02-17 09:31:21 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2026-02-17 09:34:29 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Server closed connection) |
| 2026-02-17 09:34:39 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2026-02-17 09:39:37 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) |
| 2026-02-17 09:44:10 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-17 09:50:49 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-17 09:55:43 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-17 09:58:49 +0100 | shr\ke | (~shrike@user/paxhumana) (Server closed connection) |
| 2026-02-17 09:58:57 +0100 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2026-02-17 09:58:57 +0100 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2026-02-17 09:58:57 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-02-17 10:04:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-17 10:07:36 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2026-02-17 10:13:02 +0100 | ft | (~ft@p4fc2afab.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-02-17 10:14:49 +0100 | adamCS | (~adamCS@70.19.85.77) (Server closed connection) |
| 2026-02-17 10:14:59 +0100 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2026-02-17 10:16:34 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2026-02-17 10:25:09 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Server closed connection) |
| 2026-02-17 10:29:04 +0100 | petrichor | (~jez@user/petrichor) (Ping timeout: 260 seconds) |
| 2026-02-17 10:32:15 +0100 | fp | (~Thunderbi@wireless-86-50-141-119.open.aalto.fi) fp |
| 2026-02-17 10:32:29 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) (Server closed connection) |
| 2026-02-17 10:32:37 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2026-02-17 10:39:01 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-02-17 10:39:09 +0100 | fp | (~Thunderbi@wireless-86-50-141-119.open.aalto.fi) (Ping timeout: 265 seconds) |
| 2026-02-17 10:41:44 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 10:42:09 +0100 | arkeet | (arkeet@moriya.ca) (Server closed connection) |
| 2026-02-17 10:42:20 +0100 | arkeet | (arkeet@moriya.ca) |
| 2026-02-17 10:45:44 +0100 | fp | (~Thunderbi@130.233.70.160) fp |
| 2026-02-17 10:47:08 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-17 10:51:50 +0100 | fp | (~Thunderbi@130.233.70.160) (Read error: Connection reset by peer) |
| 2026-02-17 10:52:09 +0100 | gawen | (~gawen@user/gawen) (Server closed connection) |
| 2026-02-17 10:52:25 +0100 | gawen | (~gawen@user/gawen) gawen |
| 2026-02-17 10:52:56 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2026-02-17 11:06:37 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-17 11:19:36 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-17 11:24:42 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-17 11:26:44 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-17 11:27:03 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-17 11:29:59 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-17 11:37:38 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) |
| 2026-02-17 12:01:31 +0100 | jreicher | (~joelr@user/jreicher) (Read error: Connection reset by peer) |
| 2026-02-17 12:02:41 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-17 12:06:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c250:8a96:6b0e:a009) |
| 2026-02-17 12:12:29 +0100 | hellwolf | (~user@fab4-59b3-1ab0-7451-0f00-4d40-07d0-2001.sta.estpak.ee) (Server closed connection) |
| 2026-02-17 12:12:43 +0100 | hellwolf | (~user@6bd4-851f-4104-a77b-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2026-02-17 12:18:43 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2026-02-17 12:23:18 +0100 | halloy7365 | (~halloy736@2404:4400:5446:4e00:b998:e0f5:fe7b:6a99) (Read error: Connection reset by peer) |
| 2026-02-17 12:23:38 +0100 | qqq | (~qqq@185.54.22.240) |
| 2026-02-17 12:30:49 +0100 | xdej_ | (~xdej@quatramaran.salle-s.org) (Server closed connection) |
| 2026-02-17 12:30:57 +0100 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2026-02-17 12:49:57 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 12:54:05 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-17 12:54:29 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2026-02-17 12:58:23 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 13:01:07 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2026-02-17 13:04:00 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 264 seconds) |
| 2026-02-17 13:05:48 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 264 seconds) |
| 2026-02-17 13:07:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-02-17 13:12:24 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-17 13:16:13 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-17 13:21:01 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-17 13:37:37 +0100 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-17 13:46:49 +0100 | lol__ | (~lol@2603:3016:1e01:b940:75b2:faa1:cf91:eeec) (Server closed connection) |
| 2026-02-17 13:47:06 +0100 | lol__ | (~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) |
| 2026-02-17 14:02:16 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-17 14:02:50 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-17 14:09:02 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-17 14:09:02 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-17 14:09:02 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-17 14:24:05 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-02-17 14:25:28 +0100 | lol_ | (~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) |
| 2026-02-17 14:29:12 +0100 | lol__ | (~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) (Ping timeout: 264 seconds) |
| 2026-02-17 14:40:43 +0100 | Googulator | (~Googulato@185.199.28.81) |
| 2026-02-17 14:44:02 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2026-02-17 14:51:01 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63 |
| 2026-02-17 14:53:38 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-17 14:59:26 +0100 | <kaol> | I came up with a fun function: bitraverse <*> traverse. For manipulating that bothersome Either a (b,a). |
| 2026-02-17 15:04:54 +0100 | <haskellbridge> | <Morj> Since when is Bitraversable in base |
| 2026-02-17 15:04:54 +0100 | <haskellbridge> | <Morj> It says 4.10.0.0 on the hackage, but what year is that |
| 2026-02-17 15:07:56 +0100 | <kaol> | Since GHC 8.2, released in 2017. |
| 2026-02-17 15:18:22 +0100 | <hadronized> | anyone has enough ATS knowledge and/or Linear Haskell? |
| 2026-02-17 15:18:51 +0100 | <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 15:32:22 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-02-17 15:32:58 +0100 | Arvin | (~Arvin@182.48.215.160) |
| 2026-02-17 15:38:35 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-17 16:02:53 +0100 | Arvin | (~Arvin@182.48.215.160) (Quit: Client closed) |
| 2026-02-17 16:04:40 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-17 16:07:51 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2026-02-17 16:15:25 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-02-17 16:15:48 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-17 16:33:33 +0100 | Googulator | (~Googulato@185.199.28.81) (Ping timeout: 272 seconds) |
| 2026-02-17 16:37:17 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-17 16:48:51 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-17 16:52:49 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-17 16:54:11 +0100 | <[exa]> | @mad: underrated view |
| 2026-02-17 16:54:11 +0100 | <lambdabot> | Unknown command, try @list |
| 2026-02-17 16:54:53 +0100 | <[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 17:00:26 +0100 | <tomsmeding> | Morj: base versions are listed in `ghcup list -t ghc` (or `ghcup tui`) |
| 2026-02-17 17:00:38 +0100 | <tomsmeding> | also https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history |
| 2026-02-17 17:01:18 +0100 | <hadronized> | I asked on proglangdesign, to no avail [exa] |
| 2026-02-17 17:01:55 +0100 | <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 17:02:34 +0100 | <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 17:02:36 +0100 | <hadronized> | instance |
| 2026-02-17 17:02:36 +0100 | <tomsmeding> | hadronized: if more long-form, you could ask here https://langdev.stackexchange.com/ |
| 2026-02-17 17:02:49 +0100 | <hadronized> | with {l: addr} ptr(i32) l | alloc(i32, l) |
| 2026-02-17 17:03:48 +0100 | <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 17:03:50 +0100 | <hadronized> | instance* |
| 2026-02-17 17:04:10 +0100 | <tomsmeding> | it's unclear to me what `{l: addr} ptr(i32) l` means; presumably `∃(l : addr).`, but what's the juxtaposition? |
| 2026-02-17 17:04:21 +0100 | <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 17:04:29 +0100 | <hadronized> | it does tomsmeding |
| 2026-02-17 17:04:35 +0100 | <hadronized> | the juxtaposition is the same as ATS |
| 2026-02-17 17:04:47 +0100 | tomsmeding | has no clue about ATS |
| 2026-02-17 17:05:02 +0100 | <hadronized> | it’s a way to state that the proof is only at the static level |
| 2026-02-17 17:05:13 +0100 | <hadronized> | you can imagine that as a tuple where the right side never appears at runtime |
| 2026-02-17 17:06:05 +0100 | <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 17:06:25 +0100 | tomsmeding | . o O ( agda syntax: ∃[ l ∈ addr ] (ptr i32 × @0 l), or something ) |
| 2026-02-17 17:07:30 +0100 | <tomsmeding> | is that `|` a sum type? |
| 2026-02-17 17:15:23 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2026-02-17 17:16:29 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 17:17:07 +0100 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-17 17:17:09 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-17 17:17:58 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-02-17 17:20:45 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2026-02-17 17:20:57 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-17 17:21:01 +0100 | foul_owl | (~kerry@94.156.149.92) (Ping timeout: 264 seconds) |
| 2026-02-17 17:23:01 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-17 17:25:12 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-17 17:34:58 +0100 | foul_owl | (~kerry@94.156.149.94) foul_owl |
| 2026-02-17 17:35:42 +0100 | mxs9 | (~mxs@user/mxs) mxs |
| 2026-02-17 17:35:42 +0100 | mxs9 | (~mxs@user/mxs) (Client Quit) |
| 2026-02-17 17:39:33 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-17 17:40:41 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Ping timeout: 272 seconds) |
| 2026-02-17 17:47:12 +0100 | wickedja` | (~user@24.83.46.194) |
| 2026-02-17 17:48:39 +0100 | wickedjargon | (~user@24.83.46.194) (Ping timeout: 244 seconds) |
| 2026-02-17 17:49:34 +0100 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-02-17 17:57:05 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63 |
| 2026-02-17 17:58:00 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Client Quit) |
| 2026-02-17 18:03:00 +0100 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-17 18:04:13 +0100 | wickedja` | (~user@24.83.46.194) (Ping timeout: 264 seconds) |
| 2026-02-17 18:04:39 +0100 | wickedja` | (~user@24.83.46.194) |
| 2026-02-17 18:05:48 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2026-02-17 18:08:57 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 18:13:36 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-02-17 18:14:15 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2026-02-17 18:19:00 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-17 18:20:44 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2026-02-17 18:21:42 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2026-02-17 18:23:33 +0100 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-02-17 18:24:25 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:25:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 18:36:09 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 18:36:17 +0100 | Googulator3 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:36:31 +0100 | Googulator3 | Googulator |
| 2026-02-17 18:38:18 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 18:39:09 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 18:39:23 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:40:34 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: No route to host) |
| 2026-02-17 18:43:00 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-17 18:44:05 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-17 18:44:19 +0100 | Square3 | (~Square@user/square) Square |
| 2026-02-17 18:44:33 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:44:54 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 18:46:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 18:50:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: No route to host) |
| 2026-02-17 18:51:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 18:55:41 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-17 18:55:57 +0100 | Googulator28 | Googulator |
| 2026-02-17 18:57:21 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 18:58:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 2026-02-17 18:58:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-02-17 18:59:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-17 19:00:12 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 19:00:33 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 19:01:07 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-17 19:01:30 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 19:05:33 +0100 | Googulator43 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-17 19:06:01 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) |
| 2026-02-17 19:06:12 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 19:06:13 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 19:11:55 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 19:11:58 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 19:12:45 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 19:17:32 +0100 | Guest46 | (~Guest46@2806:104e:c:3f49:6878:6e3c:2b6e:5ac4) |
| 2026-02-17 19:20:27 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 19:20:27 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 19:20:36 +0100 | Googulator34 | (~Googulato@84-236-65-138.pool.digikabel.hu) |
| 2026-02-17 19:21:21 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 19:28:15 +0100 | Guest46 | YourNickGuest |
| 2026-02-17 19:30:10 +0100 | Googulator34 | (~Googulato@84-236-65-138.pool.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 19:30:20 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 19:31:50 +0100 | YourNickGuest | (~Guest46@2806:104e:c:3f49:6878:6e3c:2b6e:5ac4) (Changing host) |
| 2026-02-17 19:31:50 +0100 | YourNickGuest | (~Guest46@user/YourNickGuest) YourNickGuest |
| 2026-02-17 19:36:02 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 19:36:22 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 19:37:52 +0100 | jgee242 | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-17 19:41:52 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2026-02-17 19:42:05 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 19:42:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 19:42:13 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 19:46:18 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 2026-02-17 19:46:45 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) bastelfreak |
| 2026-02-17 19:49:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 19:49:01 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 19:49:26 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 19:50:29 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 19:51:14 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 19:52:50 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 19:53:38 +0100 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) (Read error: Connection reset by peer) |
| 2026-02-17 19:53:48 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 19:54:11 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 19:54:15 +0100 | <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 19:54:21 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 19:54:35 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 19:54:59 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 19:55:29 +0100 | sp1ff | (~user@2601:1c2:4701:7850::8cd) (Remote host closed the connection) |
| 2026-02-17 19:55:42 +0100 | sp1ff | (~user@2601:1c2:4701:7850::8cd) sp1ff |
| 2026-02-17 19:56:54 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-17 19:57:01 +0100 | kmein | (~weechat@user/kmein) (Client Quit) |
| 2026-02-17 19:57:20 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 20:00:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 20:00:32 +0100 | Googulator41 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:00:51 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 20:02:18 +0100 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) m_a_r_k |
| 2026-02-17 20:05:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 20:06:05 +0100 | Googulator41 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 20:06:10 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:06:50 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 20:07:15 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 20:08:25 +0100 | jgee242 | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-02-17 20:09:57 +0100 | malte | (~malte@mal.tc) malte |
| 2026-02-17 20:11:51 +0100 | <[exa]> | jgee242: fun! |
| 2026-02-17 20:11:53 +0100 | <[exa]> | oh they left |
| 2026-02-17 20:13:17 +0100 | YourNickGuest | (~Guest46@user/YourNickGuest) (Quit: Client closed) |
| 2026-02-17 20:13:46 +0100 | <Clint> | fun was accomplished by all |
| 2026-02-17 20:14:24 +0100 | <[exa]> | \o/ |
| 2026-02-17 20:15:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 20:22:19 +0100 | sm | (znc@plaintextaccounting/sm) (Server closed connection) |
| 2026-02-17 20:22:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-17 20:22:34 +0100 | sm | (znc@plaintextaccounting/sm) sm |
| 2026-02-17 20:25:41 +0100 | jzargo2 | (~jzargo@user/jzargo) (Quit: Leaving) |
| 2026-02-17 20:25:55 +0100 | jzargo2 | (~jzargo@user/jzargo) jzargo |
| 2026-02-17 20:30:06 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 20:30:14 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:30:33 +0100 | ar3ph | (~ar3ph@user/ar3ph) (Quit: bye) |
| 2026-02-17 20:30:49 +0100 | ar3ph | (~ar3ph@user/ar3ph) ar3ph |
| 2026-02-17 20:33:38 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-02-17 20:37:47 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-02-17 20:46:13 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-02-17 20:46:45 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-17 20:47:26 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-17 20:48:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 20:48:59 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:48:59 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 20:49:11 +0100 | wickedja` | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-17 20:49:11 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-17 20:50:59 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2026-02-17 20:53:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 21:00:47 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-17 21:04:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 21:09:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 21:17:05 +0100 | dcb | (~dcb@user/dcb) (Server closed connection) |
| 2026-02-17 21:17:29 +0100 | dcb | (~dcb@user/dcb) dcb |
| 2026-02-17 21:19:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 21:26:27 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 21:26:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 21:31:21 +0100 | <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 21:31:23 +0100 | <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 21:35:08 +0100 | <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 21:37:21 +0100 | Googulator69 | (~Googulato@84-236-65-138.pool.digikabel.hu) |
| 2026-02-17 21:37:26 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 21:37:37 +0100 | <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 21:37:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 21:38:07 +0100 | <haskellbridge> | <sm> I'm using "optics" in the generic sense (lens, microlens, optics...) |
| 2026-02-17 21:38:25 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-02-17 21:39:53 +0100 | <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 21:42:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 21:42:31 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-17 21:44:26 +0100 | Googulator69 | (~Googulato@84-236-65-138.pool.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 21:44:32 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 21:44:42 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-17 21:44:47 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-17 21:46:38 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 21:46:38 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 21:46:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-17 21:48:12 +0100 | <larsivi> | thanks! |
| 2026-02-17 21:49:15 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 21:49:19 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 21:52:09 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-02-17 21:53:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 21:55:45 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Server closed connection) |
| 2026-02-17 21:56:05 +0100 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2026-02-17 21:57:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 21:58:21 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |