| 2025-06-13 00:00:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 00:03:54 +0200 | wbooze | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-06-13 00:04:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-13 00:04:34 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-06-13 00:04:57 +0200 | wbooze | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline |
| 2025-06-13 00:06:20 +0200 | Guest54 | (~Guest54@2600:4040:901e:7800:ae7:da49:68fc:289b) |
| 2025-06-13 00:07:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 00:07:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 00:11:26 +0200 | wbooze | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-06-13 00:12:14 +0200 | wbooze | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline |
| 2025-06-13 00:14:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 00:14:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 00:14:54 +0200 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2025-06-13 00:15:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 00:16:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 00:20:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-13 00:20:08 +0200 | sprotte24 | (~sprotte24@p200300d16f3b700025d3b738dd4b6a1d.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-06-13 00:21:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 00:22:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 00:24:45 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 260 seconds) |
| 2025-06-13 00:26:28 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-13 00:29:46 +0200 | Guest54 | (~Guest54@2600:4040:901e:7800:ae7:da49:68fc:289b) (Quit: Client closed) |
| 2025-06-13 00:29:49 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-06-13 00:30:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 00:34:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 00:34:16 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2025-06-13 00:34:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 00:35:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-13 00:36:08 +0200 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Ping timeout: 244 seconds) |
| 2025-06-13 00:38:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 00:39:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 00:40:56 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-06-13 00:41:20 +0200 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2025-06-13 00:44:42 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-06-13 00:46:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 00:46:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 00:46:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 00:47:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-13 00:48:09 +0200 | halloy7961 | (~halloy796@2600:4040:901e:7800:ae7:da49:68fc:289b) |
| 2025-06-13 00:48:50 +0200 | halloy7961 | Artyistic |
| 2025-06-13 00:48:51 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-13 00:49:11 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
| 2025-06-13 00:49:11 +0200 | ChanServ | +v haskellbridge |
| 2025-06-13 00:52:18 +0200 | <Artyistic> | @type map |
| 2025-06-13 00:52:19 +0200 | <lambdabot> | (a -> b) -> [a] -> [b] |
| 2025-06-13 00:52:46 +0200 | <Artyistic> | @pl satisfyAll lp = satisfy (and . sequence lp) |
| 2025-06-13 00:52:46 +0200 | <lambdabot> | satisfyAll = satisfy . (and .) . sequence |
| 2025-06-13 00:53:03 +0200 | <Artyistic> | @run map (+1) [1..5] |
| 2025-06-13 00:53:05 +0200 | <lambdabot> | [2,3,4,5,6] |
| 2025-06-13 00:53:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-13 00:53:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 00:53:21 +0200 | Artyistic | (~halloy796@2600:4040:901e:7800:ae7:da49:68fc:289b) (Quit: Artyistic) |
| 2025-06-13 00:53:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 00:58:55 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-06-13 00:59:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 00:59:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 01:04:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 01:04:39 +0200 | trickard___ | trickard |
| 2025-06-13 01:04:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 01:05:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 01:09:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-13 01:09:09 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-13 01:10:04 +0200 | wbooze | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 2025-06-13 01:11:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 01:11:34 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-06-13 01:11:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 01:12:32 +0200 | sim590 | (~simon@209-15-185-101.resi.cgocable.ca) |
| 2025-06-13 01:13:07 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-06-13 01:15:17 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
| 2025-06-13 01:15:17 +0200 | ChanServ | +v haskellbridge |
| 2025-06-13 01:15:28 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-06-13 01:18:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 01:18:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 01:20:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 01:24:05 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-06-13 01:24:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-13 01:25:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 01:25:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 01:26:16 +0200 | wbooze | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline |
| 2025-06-13 01:31:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 01:32:01 +0200 | sim590 | (~simon@209-15-185-101.resi.cgocable.ca) (Ping timeout: 248 seconds) |
| 2025-06-13 01:33:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 01:33:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 01:35:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 01:37:57 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f3912cf6d9c4a46d563.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-06-13 01:40:04 +0200 | sim590 | (~simon@209-15-185-101.resi.cgocable.ca) |
| 2025-06-13 01:40:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 01:41:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 01:41:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-13 01:41:35 +0200 | sim590 | (~simon@209-15-185-101.resi.cgocable.ca) (Client Quit) |
| 2025-06-13 01:42:56 +0200 | wbooze | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2025-06-13 01:44:38 +0200 | phma | (phma@2001:5b0:211f:8ea8:46d9:118:98ea:d438) (Read error: Connection reset by peer) |
| 2025-06-13 01:45:42 +0200 | phma | (phma@2001:5b0:211f:2958:af69:e070:442d:9a7d) |
| 2025-06-13 01:47:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 01:47:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 01:50:06 +0200 | wbooze | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline |
| 2025-06-13 01:51:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 01:53:49 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2025-06-13 01:54:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 01:54:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 01:56:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-06-13 01:56:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-13 01:57:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 01:58:05 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-06-13 01:59:43 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-06-13 02:01:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 02:01:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 02:04:28 +0200 | jespada | (~jespada@r179-25-148-209.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-06-13 02:07:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 02:07:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 02:07:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 02:11:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-13 02:13:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-06-13 02:13:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 02:13:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 02:20:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 02:21:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 02:22:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 02:23:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:14a6:ae8c:f29a:f054) (Ping timeout: 260 seconds) |
| 2025-06-13 02:27:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 02:27:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 02:29:17 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-06-13 02:29:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-13 02:30:20 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-06-13 02:32:13 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-06-13 02:34:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 02:34:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 02:40:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 02:40:51 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-13 02:41:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 02:41:27 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-13 02:41:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 02:43:24 +0200 | califax | (~califax@user/califx) califx |
| 2025-06-13 02:44:46 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
| 2025-06-13 02:44:46 +0200 | ChanServ | +v haskellbridge |
| 2025-06-13 02:44:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:14a6:ae8c:f29a:f054) |
| 2025-06-13 02:45:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-13 02:49:14 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-06-13 02:49:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 02:49:30 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-06-13 02:49:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 02:55:36 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-13 02:56:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-13 02:56:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 02:56:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 03:01:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-13 03:02:36 +0200 | trickard_ | trickard |
| 2025-06-13 03:06:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-13 03:10:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 03:10:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 03:11:02 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-13 03:12:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 03:14:09 +0200 | krei-se | (~krei-se@p5dea1fa2.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-06-13 03:17:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-13 03:17:14 +0200 | xff0x | (~xff0x@2405:6580:b080:900:14a6:ae8c:f29a:f054) (Ping timeout: 260 seconds) |
| 2025-06-13 03:18:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 03:18:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 03:19:54 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 03:20:07 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-06-13 03:24:00 +0200 | trickard_ | trickard |
| 2025-06-13 03:24:34 +0200 | puke | (~puke@user/puke) (Ping timeout: 245 seconds) |
| 2025-06-13 03:25:05 +0200 | puke | (~puke@user/puke) puke |
| 2025-06-13 03:25:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 03:25:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 03:26:13 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2025-06-13 03:27:04 +0200 | puke | (~puke@user/puke) puke |
| 2025-06-13 03:27:30 +0200 | krei-se | (~krei-se@p5082905a.dip0.t-ipconnect.de) krei-se |
| 2025-06-13 03:27:31 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-13 03:28:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 03:28:13 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2025-06-13 03:29:23 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 03:29:34 +0200 | puke | (~puke@user/puke) puke |
| 2025-06-13 03:30:42 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-13 03:31:13 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-06-13 03:32:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2025-06-13 03:32:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-13 03:33:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 03:33:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-13 03:34:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-06-13 03:34:12 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
| 2025-06-13 03:34:12 +0200 | ChanServ | +v haskellbridge |
| 2025-06-13 03:35:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-13 03:35:40 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds) |
| 2025-06-13 03:40:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 03:40:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 03:41:38 +0200 | trickard_ | trickard |
| 2025-06-13 03:43:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 03:44:22 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-06-13 03:44:52 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.3) |
| 2025-06-13 03:45:19 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-06-13 03:45:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2025-06-13 03:45:45 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-06-13 03:47:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-13 03:47:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 03:48:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-13 03:49:03 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-06-13 03:50:58 +0200 | <Lycurgus> | checking if there is a publiclly available search of the public logs of this channel; just did with google and found it doesn work like it used to, the AI and crap are snagging what used to be straightfwd search |
| 2025-06-13 03:52:03 +0200 | <Lycurgus> | i have private logs ofc but not the same coverage; didn try matrix; thx in advance for any response(s) |
| 2025-06-13 03:54:26 +0200 | srk | (~sorki@user/srk) (Ping timeout: 268 seconds) |
| 2025-06-13 03:56:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 03:56:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 03:56:54 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-13 03:57:45 +0200 | <geekosaur> | there are public logs but search doesn't work |
| 2025-06-13 03:57:55 +0200 | <geekosaur> | just quit of course |
| 2025-06-13 03:59:29 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-06-13 03:59:34 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-06-13 03:59:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 04:00:27 +0200 | <geekosaur> | there is a public log but search is broken |
| 2025-06-13 04:00:35 +0200 | <Lycurgus> | in the first line "the public logs of this channel" in the context of the sentence implies I knew that |
| 2025-06-13 04:01:46 +0200 | <Lycurgus> | and by broken I take it you mean disabled for that reason since it doesn appear |
| 2025-06-13 04:01:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 04:02:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 04:02:37 +0200 | <Lycurgus> | thx for the response anyway |
| 2025-06-13 04:02:49 +0200 | <Lycurgus> | verdoppelt |
| 2025-06-13 04:04:14 +0200 | <geekosaur> | disabled because the indexes take too much space for the VPS AIUI |
| 2025-06-13 04:04:53 +0200 | <Lycurgus> | google with the site parm still sorta works just so poorly that it might as well not |
| 2025-06-13 04:05:05 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-13 04:05:59 +0200 | <Lycurgus> | whereas at one point it was basically as good as an internal no frills |
| 2025-06-13 04:06:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-13 04:08:11 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-13 04:08:18 +0200 | <Lycurgus> | if something is snagging the google function that would be an easy fix, like it wants permission or hints oder |
| 2025-06-13 04:10:13 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-06-13 04:11:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 04:11:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 04:11:39 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-13 04:12:09 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-06-13 04:12:26 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds) |
| 2025-06-13 04:15:06 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-06-13 04:17:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 04:17:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 04:18:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 04:19:04 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-06-13 04:19:12 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 04:22:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-13 04:24:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 04:24:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 04:30:55 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-06-13 04:31:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 04:31:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 04:31:47 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-13 04:32:13 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-06-13 04:33:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 04:33:24 +0200 | Square3 | (~Square4@user/square) Square |
| 2025-06-13 04:36:15 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-06-13 04:38:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-13 04:41:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 04:41:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 04:44:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-13 04:46:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 04:46:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 04:48:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 04:49:07 +0200 | td_ | (~td@i53870922.versanet.de) (Ping timeout: 276 seconds) |
| 2025-06-13 04:50:09 +0200 | td_ | (~td@i5387092C.versanet.de) td_ |
| 2025-06-13 04:53:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 04:53:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 04:54:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-13 04:59:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 04:59:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 05:02:27 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-06-13 05:02:35 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-06-13 05:04:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 05:07:09 +0200 | tbiorgm | (~tbiorgm@104.194.81.81.16clouds.com) (Changing host) |
| 2025-06-13 05:07:09 +0200 | tbiorgm | (~tbiorgm@user/tbiorgm) tbiorgm |
| 2025-06-13 05:08:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 05:08:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 05:09:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-13 05:15:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 05:16:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 05:19:00 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 05:19:13 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 05:20:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 05:23:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 05:23:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 05:28:54 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce3:5800:5998:9fa:b785:673d) aforemny |
| 2025-06-13 05:29:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-13 05:30:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 05:30:43 +0200 | aforemny | (~aforemny@i59F4C7F8.versanet.de) (Ping timeout: 276 seconds) |
| 2025-06-13 05:31:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 05:34:02 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 05:34:15 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 05:37:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 05:38:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 05:38:59 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-13 05:39:22 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-13 05:40:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 05:45:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-13 05:45:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 05:47:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-13 05:49:10 +0200 | trickard_ | trickard |
| 2025-06-13 05:53:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 05:53:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 05:58:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 06:00:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 06:01:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 06:02:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-13 06:07:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 06:07:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 06:09:46 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: leaving) |
| 2025-06-13 06:10:00 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-06-13 06:13:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 06:13:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 06:14:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 06:18:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-13 06:19:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-13 06:20:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 06:25:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 06:26:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 06:29:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 06:30:06 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 06:30:19 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 06:32:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 06:33:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 06:34:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-13 06:39:39 +0200 | manwithluck | (~manwithlu@2a09:bac5:5081:2387::38a:59) (Ping timeout: 260 seconds) |
| 2025-06-13 06:40:04 +0200 | manwithluck | (~manwithlu@2a09:bac5:5082:2387::38a:68) manwithluck |
| 2025-06-13 06:40:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 06:41:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 06:45:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 06:47:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 06:47:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 06:50:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-13 06:53:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 06:54:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 06:54:36 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-06-13 06:55:40 +0200 | trickard_ | trickard |
| 2025-06-13 06:55:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 07:00:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 07:00:49 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-13 07:01:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 07:01:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-13 07:05:08 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-06-13 07:07:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 07:07:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 07:11:07 +0200 | piele | (~piele@eiseth.creativeserver.net) (Ping timeout: 252 seconds) |
| 2025-06-13 07:11:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 07:13:47 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-06-13 07:13:52 +0200 | piele | (~piele@eiseth.creativeserver.net) piele |
| 2025-06-13 07:13:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 07:14:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 07:16:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-13 07:18:42 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-13 07:19:29 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-13 07:20:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 07:21:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 07:24:45 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 07:25:00 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 07:25:58 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2025-06-13 07:27:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 07:27:28 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-13 07:28:39 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-13 07:29:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 07:29:07 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-13 07:29:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 07:33:39 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
| 2025-06-13 07:33:39 +0200 | ChanServ | +v haskellbridge |
| 2025-06-13 07:34:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-13 07:35:50 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 260 seconds) |
| 2025-06-13 07:35:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 07:36:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 07:40:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-13 07:43:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 07:43:25 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 260 seconds) |
| 2025-06-13 07:43:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 07:43:56 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 272 seconds) |
| 2025-06-13 07:45:11 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-06-13 07:45:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 07:45:48 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-06-13 07:48:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 07:48:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 07:50:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-13 07:54:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 07:55:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 07:56:45 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2025-06-13 07:59:44 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-13 08:00:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6467:8157:f7e9:c425) |
| 2025-06-13 08:01:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 08:01:37 +0200 | ecaotcst^ | (~ecaotcst@99-73-20-238.lightspeed.tukrga.sbcglobal.net) |
| 2025-06-13 08:01:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 08:02:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 08:04:14 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-06-13 08:06:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-13 08:07:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 08:08:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 08:08:16 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-13 08:14:28 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-06-13 08:14:45 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
| 2025-06-13 08:14:45 +0200 | ChanServ | +v haskellbridge |
| 2025-06-13 08:15:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 08:15:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 08:17:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 08:22:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-13 08:22:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 08:22:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 08:30:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 08:30:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 08:32:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 08:37:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 08:37:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-13 08:37:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 08:39:43 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-06-13 08:44:08 +0200 | trickard_ | trickard |
| 2025-06-13 08:44:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 08:44:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 08:48:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 08:51:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 08:51:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 08:53:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-13 08:56:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 08:57:18 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-06-13 08:59:01 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-06-13 08:59:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-13 09:00:06 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-13 09:00:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 09:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-13 09:01:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-13 09:05:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-13 09:06:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 09:09:05 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-13 09:11:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 09:12:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 09:12:24 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-13 09:12:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 09:12:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-13 09:13:58 +0200 | Square2 | (~Square@user/square) Square |
| 2025-06-13 09:14:19 +0200 | tewk | (~tewk@host-194.108-90-209-dedication.srv.nethosting.com) (Ping timeout: 252 seconds) |
| 2025-06-13 09:14:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-13 09:15:01 +0200 | tewk | (~tewk@host-194.108-90-209-dedication.srv.nethosting.com) |
| 2025-06-13 09:17:42 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-13 09:18:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 09:18:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-13 09:18:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 09:19:15 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-13 09:19:29 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-06-13 09:19:54 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-13 09:22:14 +0200 | perr_ | (~aaron@2600:380:9824:5abc:9d1:c9cd:c418:f7e8) |
| 2025-06-13 09:23:20 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-13 09:24:05 +0200 | perro | (~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-13 09:24:14 +0200 | tamer | (~tamer@5.2.74.82) (Read error: Connection reset by peer) |
| 2025-06-13 09:24:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6467:8157:f7e9:c425) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-13 09:25:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 09:25:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 09:27:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 09:29:55 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 09:30:09 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 09:33:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 09:33:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 09:33:56 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-06-13 09:34:18 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-06-13 09:34:47 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-13 09:37:25 +0200 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
| 2025-06-13 09:37:43 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-13 09:38:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 09:38:10 +0200 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Remote host closed the connection) |
| 2025-06-13 09:38:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 09:42:04 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-06-13 09:43:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-06-13 09:45:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 09:45:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 09:49:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-06-13 09:51:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 09:52:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 09:52:48 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-06-13 09:52:48 +0200 | perro | (~aaron@syn-072-191-245-069.res.spectrum.com) |
| 2025-06-13 09:54:34 +0200 | perr_ | (~aaron@2600:380:9824:5abc:9d1:c9cd:c418:f7e8) (Ping timeout: 245 seconds) |
| 2025-06-13 09:57:30 +0200 | kuribas | (~user@2a02:1808:d1:eb0d:e472:4703:8c8a:d9a) kuribas |
| 2025-06-13 09:58:28 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-13 09:59:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 10:00:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 10:01:40 +0200 | kuribas | (~user@2a02:1808:d1:eb0d:e472:4703:8c8a:d9a) (Client Quit) |
| 2025-06-13 10:01:57 +0200 | kuribas | (~user@2a02:1808:d1:eb0d:e472:4703:8c8a:d9a) kuribas |
| 2025-06-13 10:01:59 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-06-13 10:04:49 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-06-13 10:06:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 10:07:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 10:08:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 10:09:36 +0200 | m5zs7k_ | (aquares@web10.mydevil.net) m5zs7k |
| 2025-06-13 10:10:14 +0200 | srk | (~sorki@user/srk) srk |
| 2025-06-13 10:11:24 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2025-06-13 10:12:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 10:12:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 10:16:19 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-06-13 10:18:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 10:18:07 +0200 | m5zs7k_ | m5zs7k |
| 2025-06-13 10:18:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-06-13 10:18:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 10:19:01 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-06-13 10:25:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 10:26:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 10:32:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 10:32:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 10:34:11 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-06-13 10:35:54 +0200 | kuribas | (~user@2a02:1808:d1:eb0d:e472:4703:8c8a:d9a) (Ping timeout: 260 seconds) |
| 2025-06-13 10:37:50 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-06-13 10:38:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 10:38:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 10:38:42 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-13 10:39:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 10:40:29 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f374cafb09973b7f579.dip0.t-ipconnect.de) acidjnk |
| 2025-06-13 10:45:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 10:45:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 10:52:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 10:52:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 10:54:21 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-06-13 10:58:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 10:58:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 10:59:05 +0200 | Lycurgus | (~juan@user/Lycurgus) (Read error: Connection reset by peer) |
| 2025-06-13 11:01:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-06-13 11:01:44 +0200 | Everything | (~Everythin@77.120.244.38) Everything |
| 2025-06-13 11:03:19 +0200 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2025-06-13 11:05:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 11:05:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 11:05:50 +0200 | noctux | (~noctux@user/noctux) noctux |
| 2025-06-13 11:07:54 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-06-13 11:08:40 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-13 11:10:06 +0200 | Square2 | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-06-13 11:10:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 11:11:53 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-13 11:12:14 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
| 2025-06-13 11:12:14 +0200 | ChanServ | +v haskellbridge |
| 2025-06-13 11:12:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 11:13:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 11:16:24 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 11:16:38 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 11:18:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-13 11:19:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 11:19:41 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 244 seconds) |
| 2025-06-13 11:19:45 +0200 | qaotsap | (~paotsaq@161.230.89.225) |
| 2025-06-13 11:20:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 11:23:34 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-06-13 11:24:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 11:24:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 11:30:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 11:30:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 11:32:13 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 11:32:14 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-13 11:32:27 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 11:35:07 +0200 | APic | (apic@apic.name) (Remote host closed the connection) |
| 2025-06-13 11:36:23 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 272 seconds) |
| 2025-06-13 11:37:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 11:37:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 11:37:34 +0200 | preflex | (~preflex@user/mauke/bot/preflex) (Read error: Connection reset by peer) |
| 2025-06-13 11:37:34 +0200 | mauke | (~mauke@user/mauke) (Read error: Connection reset by peer) |
| 2025-06-13 11:38:19 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
| 2025-06-13 11:38:19 +0200 | ChanServ | +v haskellbridge |
| 2025-06-13 11:40:08 +0200 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2025-06-13 11:42:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 11:42:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 11:43:01 +0200 | shaeto | (~Shaeto@94.25.234.191) |
| 2025-06-13 11:43:09 +0200 | mauke | (~mauke@user/mauke) mauke |
| 2025-06-13 11:47:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 2025-06-13 11:49:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 11:49:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 11:50:23 +0200 | Square2 | (~Square@user/square) Square |
| 2025-06-13 11:51:37 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-06-13 11:53:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 11:53:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 11:56:57 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-06-13 12:00:25 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 12:00:27 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce3:5800:5998:9fa:b785:673d) (Ping timeout: 272 seconds) |
| 2025-06-13 12:00:38 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 12:00:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:01:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:01:24 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-06-13 12:01:38 +0200 | aforemny | (~aforemny@i577B1258.versanet.de) aforemny |
| 2025-06-13 12:01:46 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-06-13 12:03:44 +0200 | trickard_ | trickard |
| 2025-06-13 12:06:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 12:06:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:07:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:08:00 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-06-13 12:09:59 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f374cafb09973b7f579.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-06-13 12:11:36 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 12:14:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:14:50 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 12:15:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:16:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-13 12:17:31 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-13 12:18:18 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-13 12:20:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 12:22:30 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 12:22:52 +0200 | APic | (apic@apic.name) APic |
| 2025-06-13 12:23:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:23:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:25:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-06-13 12:25:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 12:29:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:29:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:30:04 +0200 | <kqr> | What does it mean to "follow the types"? I was going to use it in a particular context, but then I googled it and it seems like people mean very different things with it. |
| 2025-06-13 12:31:51 +0200 | <tomsmeding> | sounds like a vague advice |
| 2025-06-13 12:32:41 +0200 | <tomsmeding> | perhaps "types sanity-check your design, if the types don't match with what you're trying to do, don't fight the compiler but re-think your types"? |
| 2025-06-13 12:32:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-06-13 12:33:18 +0200 | <tomsmeding> | there's also the related "hole-driven programming" where you let GHC tell you what type it expects and then you incrementally fill something in that has the right type |
| 2025-06-13 12:33:25 +0200 | <tomsmeding> | but that works only if your types are very precise |
| 2025-06-13 12:33:39 +0200 | <tomsmeding> | (usually involving GADTs / type families) |
| 2025-06-13 12:36:05 +0200 | <Leary> | Or very general. |
| 2025-06-13 12:36:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:36:26 +0200 | <tomsmeding> | true |
| 2025-06-13 12:36:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:38:24 +0200 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.6.3) |
| 2025-06-13 12:38:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-06-13 12:44:43 +0200 | <Leary> | kqr: It may depend on the context, but I generally interpret it to mean "derive values (or their implementations) from types". This doesn't necessarily require those values be uniquely specified, as you can often iterate through them simplest-first. |
| 2025-06-13 12:45:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:45:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:45:44 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-13 12:46:10 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-06-13 12:48:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-13 12:48:24 +0200 | <kuribas`> | I suppose "follow the types" is the opposite from "write your implementation first, then typecheck it". |
| 2025-06-13 12:48:42 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-06-13 12:50:32 +0200 | <kuribas`> | I write my code incrementally, and try to keep the types consistent (using typed holes, by following the type errors, rather then trying to coerce the typesystem into checking my code). |
| 2025-06-13 12:51:39 +0200 | <kuribas`> | Often you need to slightly rethink or rewrite your code to make it typecheck. For example the format library vs printf. |
| 2025-06-13 12:51:53 +0200 | <kuribas`> | formatting. |
| 2025-06-13 12:52:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:52:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:57:07 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-06-13 12:57:25 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-13 12:57:57 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-06-13 13:00:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 13:00:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 13:01:38 +0200 | jespada | (~jespada@r179-25-11-207.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-13 13:05:40 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2025-06-13 13:06:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-13 13:07:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 13:07:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 13:10:41 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-13 13:14:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 13:14:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 13:19:14 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-06-13 13:22:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 13:22:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 13:30:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 13:30:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 13:31:07 +0200 | paotsaq | (~paotsaq@161.230.89.225) |
| 2025-06-13 13:34:10 +0200 | qaotsap | (~paotsaq@161.230.89.225) (Ping timeout: 272 seconds) |
| 2025-06-13 13:37:06 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-13 13:37:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 13:37:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 13:40:29 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-06-13 13:43:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 13:43:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 13:45:28 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-13 13:46:23 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-06-13 13:49:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 13:50:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 13:52:37 +0200 | shaeto | (~Shaeto@94.25.234.191) (Ping timeout: 252 seconds) |
| 2025-06-13 13:56:36 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-06-13 13:56:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 13:57:02 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-13 13:57:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 13:58:15 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-06-13 13:58:56 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-13 13:59:10 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 13:59:22 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 13:59:35 +0200 | shaeto | (~Shaeto@94.25.234.41) |
| 2025-06-13 13:59:36 +0200 | <kqr> | Huh, interesting. I have only ever thought of "follow the types" as being a way to read documentation and learn how to use a library. |
| 2025-06-13 14:00:10 +0200 | <kqr> | It could very well be that such was its canonical meaning over a decade ago when I had an active Haskell hobbyist phase, but that it has sinse morphed. |
| 2025-06-13 14:01:47 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-13 14:02:06 +0200 | <tomsmeding> | kqr: are they not related, somewhat? |
| 2025-06-13 14:03:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 14:03:39 +0200 | <tomsmeding> | the suggestions above are about following the types in your own program (and modifying them in a principled fashion if necessary); in the case of a library, you either start with a library function and derive from its types what your code should look like, or you have some types and look at the types in the library to decide which function is applicable |
| 2025-06-13 14:03:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 14:03:55 +0200 | <kuribas`> | kqr: if a library doesn't have documentation, it's better to have types. And IMO it's better to have some documentation and types, rather than walls of text and no documentation. sqlalchemy used to be like that (last time I used it many years ago). I don't want to read walls of text to find some particular function that suits my usecase. |
| 2025-06-13 14:04:30 +0200 | <kuribas`> | IMO documentation doesn't replace types, but types don't replace documentation either. You want a bit of both. |
| 2025-06-13 14:05:31 +0200 | <tomsmeding> | it's rare that types are simultaneously so precise and so general that without any documentation you can fully understand what a function does |
| 2025-06-13 14:05:50 +0200 | <tomsmeding> | (id :: a -> a), (const :: a -> b -> a) I guess could be such cases |
| 2025-06-13 14:06:48 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds) |
| 2025-06-13 14:06:53 +0200 | <tomsmeding> | though haskell being haskell, you'd still need documentation to distinguish (flip const :: a -> b -> b) from (seq :: a -> b -> b) :p |
| 2025-06-13 14:07:30 +0200 | <Leary> | kqr: Documentation lists types and transformations between them; achieving your goal by "following" these links from what you have to what you need is a case of "following the types". |
| 2025-06-13 14:08:02 +0200 | <tomsmeding> | example: the 'time' library |
| 2025-06-13 14:09:29 +0200 | <Leary> | tomsmeding: I all too often find that what the type doesn't determine, the name does actually clarify. Then I have to struggle between the poor choices of no documentation and trivial documentation... |
| 2025-06-13 14:10:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 14:10:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 14:10:54 +0200 | <tomsmeding> | Leary: my personal issue with documentation in the haddock style is that the longer the doc comments are, the further apart the type signatures are |
| 2025-06-13 14:11:38 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 14:11:47 +0200 | <tomsmeding> | while it's true that one has the Synopsis fold-out thing in haddock, its scroll position isn't linked to that of the main page, and it has no section headings |
| 2025-06-13 14:11:56 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 14:12:22 +0200 | <tomsmeding> | as such it's annoying to get a comprehensive overview of the API available |
| 2025-06-13 14:12:56 +0200 | <tomsmeding> | so perhaps if the trivial documentation would _really_ be trivial, no documentation may be preferable :p |
| 2025-06-13 14:13:29 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-13 14:13:38 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 14:14:32 +0200 | <Leary> | I also lean towards that just because I hate useless words, but I guess the real issue is the stigma of undocumented functions and haddock yelling at me. >.> |
| 2025-06-13 14:14:59 +0200 | <tomsmeding> | haddock yelling at you is just software yelling at you; it's annoying because it decreases the usefulness of warnings, but so be it |
| 2025-06-13 14:15:14 +0200 | <tomsmeding> | now, people yelling at you is something different, sure |
| 2025-06-13 14:16:43 +0200 | wbooze | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-06-13 14:17:13 +0200 | constxd | (~constxd@user/constxd) constxd |
| 2025-06-13 14:17:54 +0200 | raym | (~ray@user/raym) (Ping timeout: 268 seconds) |
| 2025-06-13 14:18:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-13 14:18:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 14:23:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 14:23:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 14:24:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a4eb:10d1:2f25:4397) |
| 2025-06-13 14:26:27 +0200 | <tomsmeding> | counterpoint, I guess: a friend of mine who is learning haskell with a Java background significantly prefers reading documentation and looking at examples over studying types of library functions |
| 2025-06-13 14:26:41 +0200 | <tomsmeding> | for e.g. functions like Data.List.map |
| 2025-06-13 14:27:02 +0200 | <tomsmeding> | so what may seem like trivial documentation to you (and me) may actually help some readers |
| 2025-06-13 14:27:08 +0200 | <tomsmeding> | Leary: ^ |
| 2025-06-13 14:27:23 +0200 | wbooze | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline |
| 2025-06-13 14:28:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |