2025-06-06 00:00:01 +0200 | jespada | (~jespada@r179-25-18-162.dialup.adsl.anteldata.net.uy) jespada |
2025-06-06 00:00:10 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-06-06 00:02:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 00:02:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 00:02:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-06 00:06:05 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 00:06:14 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 00:08:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 00:09:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 00:10:02 +0200 | fp1 | (~Thunderbi@87-92-23-162.bb.dnainternet.fi) (Ping timeout: 252 seconds) |
2025-06-06 00:12:50 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 00:12:58 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 00:13:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 00:14:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 00:14:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 00:15:21 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
2025-06-06 00:15:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 00:16:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 00:19:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 00:21:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 00:21:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 00:23:04 +0200 | <__monty__> | Yep, the dependencies are of the Shakefile. |
2025-06-06 00:23:52 +0200 | <__monty__> | I'm using Shake as a build tool but not to build a Haskell project. |
2025-06-06 00:25:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 00:26:47 +0200 | <EvanR> | need a build tool for the build tool |
2025-06-06 00:27:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 00:28:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 00:30:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-06 00:30:49 +0200 | <__monty__> | Yeah, that's kind of the fundamental problem with Shake. |
2025-06-06 00:31:45 +0200 | <__monty__> | Maybe sleeping on it will make things clear up in my mind. |
2025-06-06 00:31:49 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-06-06 00:31:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 00:32:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 00:38:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 00:39:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 00:40:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 00:45:07 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 00:45:17 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 00:45:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-06 00:46:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 00:46:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 00:49:49 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 00:49:58 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 00:51:13 +0200 | mange | (~mange@user/mange) mange |
2025-06-06 00:51:16 +0200 | rvaj | (~rvaj@71.173.91.132) |
2025-06-06 00:51:34 +0200 | rvaj | (~rvaj@71.173.91.132) (Changing host) |
2025-06-06 00:51:34 +0200 | rvaj | (~rvaj@user/rvaj) rvaj |
2025-06-06 00:52:00 +0200 | rvaj | (~rvaj@user/rvaj) (Remote host closed the connection) |
2025-06-06 00:53:05 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-06-06 00:53:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 00:53:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 00:56:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 00:56:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-06 00:58:03 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f766ca0dde7e3807ff5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-06 00:59:43 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 00:59:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 00:59:52 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 01:00:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 01:00:09 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 265 seconds) |
2025-06-06 01:00:24 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 01:01:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-06 01:04:00 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-06-06 01:06:10 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 260 seconds) |
2025-06-06 01:06:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 01:06:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 01:10:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-06-06 01:12:00 +0200 | xff0x | (~xff0x@ai083248.d.east.v6connect.net) (Ping timeout: 252 seconds) |
2025-06-06 01:12:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 01:12:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 01:12:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 01:17:25 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 01:17:34 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 01:17:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-06-06 01:18:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 01:18:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 01:24:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 01:24:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 01:28:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 01:30:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 01:30:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 01:32:39 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 01:32:48 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 01:33:25 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8670:321c:2f1b:2d5d) |
2025-06-06 01:34:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 01:36:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 01:36:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 01:42:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 01:42:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 01:45:07 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 01:45:16 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 01:46:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 01:47:15 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-06-06 01:48:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 01:48:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 01:49:23 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2025-06-06 01:50:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-06 01:52:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 01:53:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 01:53:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 01:56:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-06 01:57:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-06 01:58:11 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 01:58:27 +0200 | simon1 | (~simon@209-15-185-101.resi.cgocable.ca) |
2025-06-06 01:58:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 01:58:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 02:01:51 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 02:04:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 02:04:33 +0200 | jespada | (~jespada@r179-25-18-162.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
2025-06-06 02:04:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 02:06:15 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-06-06 02:08:10 +0200 | laurapigeon | (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3) |
2025-06-06 02:09:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 02:09:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 02:13:16 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 02:16:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 02:16:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 02:17:08 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
2025-06-06 02:17:49 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 02:20:18 +0200 | craunts7 | (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
2025-06-06 02:21:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 02:21:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 02:26:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 02:27:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 02:27:58 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-06 02:30:12 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 02:30:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2025-06-06 02:30:46 +0200 | ljdarj1 | ljdarj |
2025-06-06 02:32:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-06 02:33:25 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
2025-06-06 02:33:46 +0200 | califax | (~califax@user/califx) califx |
2025-06-06 02:34:55 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 02:34:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 02:35:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 02:39:20 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-06 02:40:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 02:41:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 02:43:11 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-06-06 02:45:27 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-06-06 02:47:00 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 02:47:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 02:47:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 02:49:32 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 02:50:16 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 268 seconds) |
2025-06-06 02:53:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 02:53:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 02:58:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 02:58:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 02:59:40 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 03:03:11 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-06-06 03:04:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 03:04:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 03:06:35 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 03:06:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 03:07:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 03:07:23 +0200 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2025-06-06 03:09:10 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 03:13:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 03:13:17 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-06 03:13:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 03:16:23 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 03:16:32 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 03:17:34 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-06-06 03:18:34 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds) |
2025-06-06 03:18:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8670:321c:2f1b:2d5d) (Ping timeout: 252 seconds) |
2025-06-06 03:21:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 03:21:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 03:21:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 03:22:50 +0200 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
2025-06-06 03:23:12 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-06-06 03:25:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 03:25:14 +0200 | yangby | (~secret@115.192.233.46) yangby |
2025-06-06 03:25:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 03:26:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-06 03:26:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 03:29:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 03:29:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 03:32:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 03:33:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 03:33:28 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 03:33:37 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 03:37:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 03:38:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 03:38:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 03:43:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-06 03:43:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 03:43:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 03:49:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 03:49:48 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-06-06 03:49:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 03:52:56 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-06-06 03:53:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 03:54:14 +0200 | img | (~img@user/img) img |
2025-06-06 03:54:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 03:54:57 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 03:55:11 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 03:55:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 03:57:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-06 03:58:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-06 04:00:49 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 04:00:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 04:00:58 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 04:01:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 04:02:57 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 04:05:01 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-06-06 04:05:07 +0200 | tccq | (~user@user/tccq) tccq |
2025-06-06 04:06:08 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 04:07:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 04:07:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 04:07:52 +0200 | thaumavorio | (~thaumavor@thaumavor.io) thaumavorio |
2025-06-06 04:09:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 04:11:30 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 04:12:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 04:13:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 04:14:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-06 04:15:48 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-06-06 04:16:16 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 04:18:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 04:18:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 04:23:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 04:23:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 04:27:33 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 04:27:42 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 04:29:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 04:29:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 04:34:23 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 04:34:32 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 04:34:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 04:35:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 04:35:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 04:35:55 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
2025-06-06 04:39:57 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 04:40:06 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 04:41:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 04:41:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 04:42:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-06 04:47:03 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 04:47:12 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 04:47:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 04:47:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 04:53:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 04:54:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 04:55:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 04:55:03 +0200 | td_ | (~td@i53870924.versanet.de) (Ping timeout: 265 seconds) |
2025-06-06 04:55:31 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-06-06 04:55:38 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-06-06 04:56:34 +0200 | td_ | (~td@i5387091A.versanet.de) |
2025-06-06 04:57:47 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
2025-06-06 04:58:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-06 04:59:18 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::49) |
2025-06-06 04:59:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 05:00:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 05:03:08 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 05:03:17 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 05:05:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 05:05:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 05:07:49 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 05:07:58 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 05:09:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 05:12:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 05:12:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 05:13:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 05:15:39 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 05:15:48 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 05:17:31 +0200 | Meinong | (~user@2600:8807:2486:6500:216:3eff:fe3b:f890) |
2025-06-06 05:17:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 05:18:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 05:22:31 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 05:22:41 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 05:24:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 05:24:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 05:25:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 05:27:13 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 05:27:22 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 05:29:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 05:32:04 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 05:32:13 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 05:34:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 05:34:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 05:36:45 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 05:36:54 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 05:39:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 05:40:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 05:40:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 05:44:21 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-06 05:45:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-06 05:45:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 05:46:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 05:46:25 +0200 | califax | (~califax@user/califx) califx |
2025-06-06 05:48:05 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 05:48:14 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 05:51:38 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-06-06 05:51:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 05:52:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 05:55:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 05:57:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 05:57:59 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-06-06 05:58:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 05:58:25 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 06:00:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 06:04:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 06:05:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 06:06:55 +0200 | Meinong | (~user@2600:8807:2486:6500:216:3eff:fe3b:f890) (Ping timeout: 276 seconds) |
2025-06-06 06:08:36 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 06:08:44 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 06:11:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 06:11:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 06:12:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 06:13:47 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 06:13:56 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 06:15:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-06 06:16:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 06:16:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 06:18:29 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 06:18:38 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 06:20:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 06:22:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 06:22:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 06:22:41 +0200 | trickard_ | trickard |
2025-06-06 06:23:49 +0200 | hgolden2 | (~hgolden2@2603:8000:9d00:3ed1:aad2:a50b:df7f:ff62) |
2025-06-06 06:25:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-06 06:27:45 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 06:27:54 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 06:29:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 06:30:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 06:33:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 06:33:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 06:36:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 06:38:32 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 06:39:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 06:39:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 06:40:06 +0200 | michalz | (~michalz@185.246.207.205) |
2025-06-06 06:41:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-06 06:43:09 +0200 | hgolden2 | (~hgolden2@2603:8000:9d00:3ed1:aad2:a50b:df7f:ff62) (Ping timeout: 260 seconds) |
2025-06-06 06:44:35 +0200 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
2025-06-06 06:46:10 +0200 | remexre | (~remexre@user/remexre) remexre |
2025-06-06 06:46:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 06:47:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 06:51:53 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 06:52:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 06:53:30 +0200 | trickard_ | trickard |
2025-06-06 06:54:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 06:54:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 06:57:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 06:57:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-06 06:57:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 06:59:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2025-06-06 07:00:29 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 07:01:45 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
2025-06-06 07:02:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 07:02:38 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-06-06 07:02:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 07:04:44 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-06-06 07:06:03 +0200 | bliminse | (~bliminse@user/bliminse) bliminse |
2025-06-06 07:06:11 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
2025-06-06 07:08:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 07:08:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 07:08:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 07:12:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
2025-06-06 07:12:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-06 07:14:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 07:14:29 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 07:14:43 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 07:14:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 07:19:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 07:20:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 07:21:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 07:25:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 07:25:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 07:28:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 07:29:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-06 07:30:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 07:31:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 07:36:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 07:37:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 07:38:21 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 07:40:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 07:41:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 07:42:00 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 07:42:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 07:42:14 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 07:43:14 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
2025-06-06 07:44:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 07:47:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 07:47:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 07:48:11 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 07:48:30 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 07:53:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-06 07:53:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 07:53:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 07:55:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 07:57:40 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 07:57:54 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 08:00:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-06 08:00:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 08:01:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 08:05:31 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 08:05:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 08:06:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 08:10:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 08:11:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 08:11:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 08:16:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-06-06 08:17:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 08:17:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 08:22:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 08:23:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 08:24:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 08:29:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 08:29:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 08:31:48 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::49) (Remote host closed the connection) |
2025-06-06 08:32:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-06-06 08:35:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 08:35:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 08:35:42 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 08:38:08 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-06-06 08:40:00 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-06 08:40:31 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-06-06 08:40:59 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 08:41:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 08:41:28 +0200 | califax | (~califax@user/califx) califx |
2025-06-06 08:41:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 08:41:40 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
2025-06-06 08:42:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 08:43:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 08:43:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 08:44:15 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
2025-06-06 08:47:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 08:48:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 08:48:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 08:52:12 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 08:53:14 +0200 | Pixi` | (~Pixi@user/pixi) (Quit: Leaving) |
2025-06-06 08:53:32 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
2025-06-06 08:53:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 08:54:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 08:58:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) |
2025-06-06 08:59:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 08:59:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 08:59:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 09:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-06 09:00:43 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-06 09:01:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-06-06 09:03:09 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 09:03:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 09:03:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 09:06:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 09:09:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 09:09:31 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
2025-06-06 09:09:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 09:11:54 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 09:12:08 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 09:14:23 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 09:14:34 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 09:15:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 09:15:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 09:15:33 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-06-06 09:17:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 09:19:37 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 09:21:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 09:21:43 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
2025-06-06 09:21:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 09:22:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-06 09:22:34 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
2025-06-06 09:23:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 09:25:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 09:26:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 09:26:37 +0200 | rvalue- | rvalue |
2025-06-06 09:26:45 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
2025-06-06 09:27:06 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 09:28:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-06-06 09:29:02 +0200 | oskarw | (~user@user/oskarw) oskarw |
2025-06-06 09:30:31 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 09:30:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 09:31:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 09:31:23 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f5968a828eaf3f04caa.dip0.t-ipconnect.de) acidjnk |
2025-06-06 09:32:22 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-06 09:33:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 09:33:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 09:35:48 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-06-06 09:37:21 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 09:39:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 09:39:33 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
2025-06-06 09:39:41 +0200 | shaeto | (~Shaeto@94.25.234.255) |
2025-06-06 09:39:54 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 09:40:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 09:40:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 09:44:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-06-06 09:45:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 09:45:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 09:49:28 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 09:52:22 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-06-06 09:53:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 09:54:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 09:55:05 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 09:55:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 09:57:20 +0200 | <oskarw> | Do you know why I can't go to package page from function list on hackage? For example, how to go from this page https://hackage.haskell.org/package/stm-2.5.3.1/docs/Control-Concurrent-STM-TVar.html to this page https://hackage.haskell.org/package/stm-2.5.3.1 |
2025-06-06 09:57:43 +0200 | <oskarw> | Without editing url |
2025-06-06 09:59:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 09:59:47 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 10:00:00 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 10:00:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 10:00:41 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-06-06 10:01:12 +0200 | <haskellbridge> | <Alp Mestanogullari> oskarw: you need to click "Contents" at the top I think |
2025-06-06 10:01:39 +0200 | <oskarw> | haskellbridge: you are right, thank you |
2025-06-06 10:02:27 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 10:04:34 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-06 10:04:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 10:05:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 10:09:01 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 10:09:12 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-06-06 10:09:39 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
2025-06-06 10:11:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 10:12:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 10:16:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 10:16:56 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 10:17:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 10:19:48 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
2025-06-06 10:20:24 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 10:20:37 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
2025-06-06 10:20:38 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Max SendQ exceeded) |
2025-06-06 10:21:15 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
2025-06-06 10:21:16 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Remote host closed the connection) |
2025-06-06 10:22:27 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-06 10:22:46 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
2025-06-06 10:25:14 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
2025-06-06 10:25:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 10:26:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 10:26:45 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 10:27:08 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2025-06-06 10:28:22 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
2025-06-06 10:31:39 +0200 | autarkied | (~autarkied@user/autarkied) autarkied |
2025-06-06 10:33:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 10:33:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 10:37:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 10:38:02 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 10:38:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 10:40:16 +0200 | arahael | (~arahael@user/arahael) arahael |
2025-06-06 10:44:29 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 10:45:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 10:45:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 10:46:26 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
2025-06-06 10:47:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 10:47:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 10:49:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 10:50:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 10:55:05 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 10:55:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 10:56:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 10:59:03 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-06 11:00:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 11:00:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 11:00:57 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 11:02:51 +0200 | autarkied | (~autarkied@user/autarkied) (Ping timeout: 272 seconds) |
2025-06-06 11:03:22 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds) |
2025-06-06 11:04:39 +0200 | laurapigeon | (~laurapige@215.32.9.51.dyn.plus.net) |
2025-06-06 11:04:39 +0200 | laurapigeon | (~laurapige@215.32.9.51.dyn.plus.net) (Changing host) |
2025-06-06 11:04:39 +0200 | laurapigeon | (~laurapige@user/laurapigeon) laurapigeon |
2025-06-06 11:06:04 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-06-06 11:06:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 11:06:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 11:08:36 +0200 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 276 seconds) |
2025-06-06 11:10:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 11:10:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 11:11:05 +0200 | down200 | (~down200@shell.lug.mtu.edu) down200 |
2025-06-06 11:11:20 +0200 | autarkied | (~autarkied@user/autarkied) autarkied |
2025-06-06 11:11:34 +0200 | autarkied | (~autarkied@user/autarkied) () |
2025-06-06 11:12:09 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 11:14:42 +0200 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 268 seconds) |
2025-06-06 11:16:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 11:16:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 11:17:09 +0200 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 248 seconds) |
2025-06-06 11:18:37 +0200 | down200 | (~down200@shell.lug.mtu.edu) down200 |
2025-06-06 11:18:41 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 11:21:31 +0200 | Square | (~Square@user/square) Square |
2025-06-06 11:21:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 11:22:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 11:28:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 11:28:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 11:31:17 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 11:32:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 11:32:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 11:32:36 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-06-06 11:37:41 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 11:39:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 11:39:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 11:43:50 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
2025-06-06 11:43:51 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Max SendQ exceeded) |
2025-06-06 11:44:27 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
2025-06-06 11:44:29 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Max SendQ exceeded) |
2025-06-06 11:45:46 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
2025-06-06 11:45:47 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Max SendQ exceeded) |
2025-06-06 11:46:33 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) jmnyarega |
2025-06-06 11:46:34 +0200 | jmnyarega | (~jmnyarega@user/jmnyarega) (Max SendQ exceeded) |
2025-06-06 11:46:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 11:47:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 11:48:58 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 11:53:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 11:54:09 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 11:54:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 12:01:53 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 12:02:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 12:02:07 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 12:02:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 12:03:32 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-06-06 12:04:51 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-06-06 12:05:15 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-06-06 12:05:41 +0200 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 248 seconds) |
2025-06-06 12:06:17 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 12:07:24 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
2025-06-06 12:08:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 12:08:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 12:08:37 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-06-06 12:09:58 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-06-06 12:11:12 +0200 | trickard_ | trickard |
2025-06-06 12:11:15 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 12:13:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 12:14:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 12:15:28 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-06-06 12:17:10 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-06 12:21:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 12:21:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 12:24:14 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 12:25:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 12:25:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 12:28:06 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
2025-06-06 12:29:57 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
2025-06-06 12:30:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 12:30:53 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 12:31:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 12:35:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 12:36:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 12:39:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f382:3720:7b46:6f36) |
2025-06-06 12:40:23 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 12:40:38 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 12:40:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-06 12:42:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 12:43:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 12:43:33 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
2025-06-06 12:44:06 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 12:46:36 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-06 12:49:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 12:50:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 12:51:09 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 12:51:14 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
2025-06-06 12:56:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 12:56:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 12:56:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:fdb0:a3b6:295:d798) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-06 12:59:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-06 13:00:57 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-06 13:01:17 +0200 | califax | (~califax@user/califx) califx |
2025-06-06 13:01:23 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 13:01:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 13:01:43 +0200 | jespada | (~jespada@r186-48-62-70.dialup.adsl.anteldata.net.uy) jespada |
2025-06-06 13:01:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 13:05:09 +0200 | oskarw | (~user@user/oskarw) (Ping timeout: 265 seconds) |
2025-06-06 13:06:48 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-06-06 13:07:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 13:07:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 13:10:09 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 13:10:58 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
2025-06-06 13:11:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 13:14:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 13:15:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 13:16:03 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-06-06 13:16:44 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-06-06 13:18:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 13:22:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 13:22:14 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 13:22:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 13:22:46 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) |
2025-06-06 13:24:37 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 13:26:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 13:26:42 +0200 | ft_ | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
2025-06-06 13:27:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 13:27:15 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 13:28:03 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 13:29:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 13:31:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 13:33:35 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 13:34:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-06 13:35:00 +0200 | trickard_ | trickard |
2025-06-06 13:35:06 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-06 13:35:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-06 13:37:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 13:37:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds) |
2025-06-06 13:41:50 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-06-06 13:44:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 13:45:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 13:45:08 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 13:47:29 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-06-06 13:48:09 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 13:51:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 13:51:19 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 13:51:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 13:51:35 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 13:55:47 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 13:56:37 +0200 | trickard_ | trickard |
2025-06-06 13:58:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 13:59:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 14:01:49 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-06-06 14:02:43 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 14:04:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 14:04:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 14:04:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 14:08:13 +0200 | aman | (~aman@user/aman) aman |
2025-06-06 14:08:52 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-06 14:09:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-06-06 14:11:15 +0200 | d | (~d@220.240.159.234) |
2025-06-06 14:11:39 +0200 | d | Guest1658 |
2025-06-06 14:11:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 14:12:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 14:12:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 14:13:47 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 14:14:20 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 14:18:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 14:19:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 14:20:17 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 14:20:27 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 14:22:47 +0200 | Guest1658 | (~d@220.240.159.234) (Quit: Guest1658) |
2025-06-06 14:23:04 +0200 | d | (~d@220.240.159.234) |
2025-06-06 14:23:07 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 14:23:28 +0200 | d | Guest1118 |
2025-06-06 14:23:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) |
2025-06-06 14:25:17 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp |
2025-06-06 14:25:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 14:26:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 14:27:52 +0200 | jespada | (~jespada@r186-48-62-70.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-06-06 14:28:10 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 14:29:41 +0200 | jespada | (~jespada@r186-48-62-70.dialup.adsl.anteldata.net.uy) jespada |
2025-06-06 14:30:13 +0200 | alp | (~alp@2001:861:8ca0:4940:5e69:cd24:f8f:385a) (Ping timeout: 252 seconds) |
2025-06-06 14:33:09 +0200 | trickard_ | trickard |
2025-06-06 14:34:23 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 14:36:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 14:36:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 14:39:09 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
2025-06-06 14:39:53 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 14:41:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 14:42:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 14:45:39 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 14:47:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 14:47:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 14:51:29 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 14:54:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 14:54:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 14:58:40 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
2025-06-06 15:00:07 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 15:00:59 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 15:01:13 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 15:03:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 15:04:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 15:04:44 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 15:05:03 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
2025-06-06 15:07:39 +0200 | mesaoptimizer | (~mesa@user/PapuaHardyNet) (Quit: WeeChat 4.0.4) |
2025-06-06 15:08:08 +0200 | mesaoptimizer | (~mesa@user/PapuaHardyNet) PapuaHardyNet |
2025-06-06 15:08:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 15:08:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 15:15:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 15:15:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 15:16:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-06-06 15:16:59 +0200 | trickard_ | trickard |
2025-06-06 15:17:30 +0200 | ft_ | ft |
2025-06-06 15:18:09 +0200 | TMA | (tma@twin.jikos.cz) TMA |
2025-06-06 15:21:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 15:21:45 +0200 | Guest1118 | (~d@220.240.159.234) (Quit: Guest1118) |
2025-06-06 15:22:00 +0200 | socrates1298 | (~socrates1@220.240.159.234) |
2025-06-06 15:22:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 15:25:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 15:26:00 +0200 | socrates1298 | (~socrates1@220.240.159.234) (Client Quit) |
2025-06-06 15:26:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 15:27:39 +0200 | socrates1298 | (~socrates1@220.240.159.234) |
2025-06-06 15:29:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-06-06 15:29:38 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-06-06 15:31:20 +0200 | socrates1298 | (~socrates1@220.240.159.234) (Client Quit) |
2025-06-06 15:33:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 15:33:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 15:39:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 15:40:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 15:42:46 +0200 | socrates1298 | (~socrates1@220.240.159.234) |
2025-06-06 15:46:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 15:46:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 15:51:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 15:52:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 15:52:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-06 15:55:38 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 15:55:53 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-06 15:59:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 15:59:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 16:02:14 +0200 | socrates1298 | (~socrates1@220.240.159.234) (Ping timeout: 272 seconds) |
2025-06-06 16:04:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 16:04:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 16:06:55 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
2025-06-06 16:06:58 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-06 16:09:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 16:10:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 16:12:33 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 16:15:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 16:15:48 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-06-06 16:16:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 16:21:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 16:21:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 16:22:04 +0200 | puke | (~puke@user/puke) (Ping timeout: 252 seconds) |
2025-06-06 16:23:44 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-06-06 16:24:01 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 16:26:53 +0200 | puke | (~puke@user/puke) puke |
2025-06-06 16:27:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 16:28:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 16:29:01 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 16:32:08 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-06-06 16:33:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 16:34:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 16:35:37 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-06 16:35:49 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-06-06 16:39:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 16:40:14 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 16:40:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 16:42:37 +0200 | aman | (~aman@user/aman) (Ping timeout: 276 seconds) |
2025-06-06 16:45:29 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 16:47:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 16:47:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 16:51:14 +0200 | shaeto | (~Shaeto@94.25.234.255) (Ping timeout: 245 seconds) |
2025-06-06 16:51:14 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-06-06 16:52:45 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 16:53:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 16:53:24 +0200 | shaeto | (~Shaeto@94.25.234.163) |
2025-06-06 16:53:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 16:53:43 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-06-06 16:53:43 +0200 | trickard_ | trickard |
2025-06-06 16:54:38 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-06-06 16:56:48 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 16:57:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 16:58:04 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 16:58:04 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-06-06 16:58:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 17:01:35 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-06 17:03:31 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 17:03:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 17:04:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 17:04:29 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 17:08:50 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-06-06 17:08:50 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-06-06 17:08:50 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-06-06 17:10:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 17:10:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 17:11:47 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 17:12:23 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-06-06 17:13:16 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 17:14:18 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 17:17:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 17:17:09 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 17:17:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 17:20:18 +0200 | aman | (~aman@user/aman) aman |
2025-06-06 17:21:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 17:21:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 17:23:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) |
2025-06-06 17:24:37 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 248 seconds) |
2025-06-06 17:28:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 17:28:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 17:29:24 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 17:31:58 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 17:34:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 17:34:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 17:37:53 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
2025-06-06 17:38:12 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2025-06-06 17:38:25 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
2025-06-06 17:39:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 17:40:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 17:46:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 17:47:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 17:52:37 +0200 | loreto | (~loreto@user/loreto) (Ping timeout: 272 seconds) |
2025-06-06 17:52:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 17:53:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 17:55:20 +0200 | laurapigeon | (~laurapige@user/laurapigeon) (Ping timeout: 260 seconds) |
2025-06-06 17:56:57 +0200 | alexherbo2 | (~alexherbo@2a02-8440-360e-eeb2-9095-477f-195a-f812.rev.sfr.net) alexherbo2 |
2025-06-06 17:58:30 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 17:58:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 17:59:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 18:00:27 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds) |
2025-06-06 18:00:31 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-06 18:01:26 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
2025-06-06 18:04:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 18:05:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 18:05:13 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds) |
2025-06-06 18:05:30 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
2025-06-06 18:09:19 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 18:09:28 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 18:10:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
2025-06-06 18:10:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 18:11:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 18:11:13 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
2025-06-06 18:11:32 +0200 | trickard_ | trickard |
2025-06-06 18:16:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 18:17:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 18:20:41 +0200 | alexherbo2 | (~alexherbo@2a02-8440-360e-eeb2-9095-477f-195a-f812.rev.sfr.net) (Remote host closed the connection) |
2025-06-06 18:20:50 +0200 | alexherbo2 | (~alexherbo@2a02-8440-360e-eeb2-9095-477f-195a-f812.rev.sfr.net) alexherbo2 |
2025-06-06 18:22:57 +0200 | alexherbo2 | (~alexherbo@2a02-8440-360e-eeb2-9095-477f-195a-f812.rev.sfr.net) (Remote host closed the connection) |
2025-06-06 18:23:06 +0200 | alexherbo2 | (~alexherbo@2a02-8440-360e-eeb2-9095-477f-195a-f812.rev.sfr.net) alexherbo2 |
2025-06-06 18:24:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 18:25:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 18:26:05 +0200 | alexherbo2 | (~alexherbo@2a02-8440-360e-eeb2-9095-477f-195a-f812.rev.sfr.net) (Remote host closed the connection) |
2025-06-06 18:30:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 18:30:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 18:32:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-06 18:32:44 +0200 | trickard__ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
2025-06-06 18:33:20 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 265 seconds) |
2025-06-06 18:33:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 18:34:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 18:40:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 18:40:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 18:43:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 18:47:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 18:47:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 18:50:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-06 18:52:12 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-06-06 18:52:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 18:53:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 18:53:43 +0200 | tank | (~tank@user/tank) tank |
2025-06-06 18:54:45 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-06-06 18:56:42 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-06 18:57:23 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 18:58:32 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-06 18:59:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-06 19:00:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 19:00:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:01:05 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds) |
2025-06-06 19:01:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 19:01:37 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
2025-06-06 19:04:45 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
2025-06-06 19:06:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 19:06:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:06:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-06 19:13:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 19:13:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:14:15 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 19:16:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 19:17:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:17:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 19:18:55 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-06-06 19:22:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 19:22:31 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 19:23:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 19:24:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:25:37 +0200 | trickard__ | (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 19:25:50 +0200 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
2025-06-06 19:27:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 19:27:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:29:24 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
2025-06-06 19:33:19 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
2025-06-06 19:33:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 19:34:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 19:35:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:36:32 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-06-06 19:38:06 +0200 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 265 seconds) |
2025-06-06 19:38:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-06 19:38:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-06 19:39:09 +0200 | shaeto | (~Shaeto@94.25.234.163) (Ping timeout: 268 seconds) |
2025-06-06 19:40:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 19:40:40 +0200 | shaeto | (~Shaeto@94.25.234.65) |
2025-06-06 19:40:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:44:20 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-06-06 19:47:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) |
2025-06-06 19:48:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 19:49:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:49:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 19:50:52 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
2025-06-06 19:53:16 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 19:54:12 +0200 | shaeto | (~Shaeto@94.25.234.65) (Quit: WeeChat 4.1.1) |
2025-06-06 19:54:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-06-06 19:54:55 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
2025-06-06 19:56:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 19:56:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:56:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 19:58:31 +0200 | <tomsmeding> | can I make GHC not complain about this intentionally "inaccessible code"? https://play.haskell.org/saved/UmbPMHoc |
2025-06-06 19:59:16 +0200 | <tomsmeding> | (in my actual application, 'foo' needs to be in CPS style because it introduces some existential variables; here it's somewhat redundant) |
2025-06-06 19:59:58 +0200 | <tomsmeding> | the idea is that I want some small parts of 'foo' to be configurable, and some configuration values mean that certain "return values" of 'foo' are not available |
2025-06-06 20:00:45 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
2025-06-06 20:00:52 +0200 | <tomsmeding> | this SBool pattern seems to work well, but I don't see a way to circumvent the "inaccessible code" warning |
2025-06-06 20:01:32 +0200 | <tomsmeding> | oh -- the If is unused, ignore that |
2025-06-06 20:01:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-06 20:02:14 +0200 | <tomsmeding> | (it's a remnant of an earlier attempt: I cannot use If here because the possibly-returned return value, here "String" for example's sake, is a polymorphic function type in my application, and you can't apply a type family to a forall-quantified type |
2025-06-06 20:02:16 +0200 | <tomsmeding> | ) |
2025-06-06 20:02:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 20:02:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 20:03:37 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 20:03:48 +0200 | aman | (~aman@user/aman) (Ping timeout: 268 seconds) |
2025-06-06 20:08:27 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-06-06 20:09:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 20:09:16 +0200 | <geekosaur> | there's a magic pattern thing that I can never find in the manual |
2025-06-06 20:09:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 20:12:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 20:14:56 +0200 | <geekosaur> | and I still can't find it 😞 |
2025-06-06 20:16:18 +0200 | trickard_ | trickard |
2025-06-06 20:18:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2025-06-06 20:18:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 20:18:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 20:19:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 20:23:40 +0200 | <tomsmeding> | geekosaur: what kind of magic pattern thing? |
2025-06-06 20:23:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 20:24:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 20:24:29 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 20:24:51 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 20:25:26 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-06-06 20:27:22 +0200 | <geekosaur> | somewhere in a discussion of pattern match checking in the manual is a mention of a special pattern that means "this is used" iirc |
2025-06-06 20:27:50 +0200 | <tomsmeding> | geekosaur: there is not even a pattern in sight here |
2025-06-06 20:27:55 +0200 | <geekosaur> | but it's not an obvious place at least to me |
2025-06-06 20:28:06 +0200 | <geekosaur> | oh |
2025-06-06 20:28:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 20:29:18 +0200 | <tomsmeding> | geekosaur: the 'undefined' is of type (False ~ True => String) |
2025-06-06 20:29:32 +0200 | <tomsmeding> | and GHC warns that this code is inaccessible |
2025-06-06 20:29:34 +0200 | <tomsmeding> | well, yes |
2025-06-06 20:29:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 20:29:54 +0200 | <tomsmeding> | normally when it complains about inaccessible code, one can just remove the branch, but not here! |
2025-06-06 20:30:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 20:31:00 +0200 | <geekosaur> | hm. I have no idea then 😟 |
2025-06-06 20:31:35 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 20:32:48 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-06-06 20:34:54 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 20:35:16 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
2025-06-06 20:36:31 +0200 | <tomsmeding> | I have a workaround with a datatype |
2025-06-06 20:36:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 20:36:45 +0200 | <tomsmeding> | slightly more noisy because I need to add a data constructor in between everything, but it works |
2025-06-06 20:37:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 20:40:25 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-06-06 20:40:51 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 20:41:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 20:41:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 20:45:05 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
2025-06-06 20:46:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 20:46:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-06 20:47:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 20:48:04 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 244 seconds) |
2025-06-06 20:52:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-06 20:52:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 20:52:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 20:56:24 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 20:56:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) |
2025-06-06 20:58:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 21:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-06 21:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-06 21:05:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 21:05:54 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
2025-06-06 21:06:16 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-06 21:09:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-06-06 21:09:38 +0200 | ljdarj1 | ljdarj |
2025-06-06 21:10:55 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-06-06 21:12:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 21:12:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 21:14:17 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 21:15:01 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 248 seconds) |
2025-06-06 21:18:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 21:18:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 21:18:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-06 21:18:42 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-06-06 21:19:22 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 21:22:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 21:22:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 21:23:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 21:24:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 21:25:57 +0200 | hgolden2 | (~hgolden2@2603:8000:9d00:3ed1:aad2:a50b:df7f:ff62) |
2025-06-06 21:26:05 +0200 | iteratee_ | (~kyle@199.119.84.78) (Ping timeout: 244 seconds) |
2025-06-06 21:27:47 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
2025-06-06 21:27:51 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-06-06 21:27:57 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
2025-06-06 21:27:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) |
2025-06-06 21:28:44 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-06-06 21:29:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 21:29:35 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-06 21:29:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 21:31:23 +0200 | hgolden2 | (~hgolden2@2603:8000:9d00:3ed1:aad2:a50b:df7f:ff62) (Remote host closed the connection) |
2025-06-06 21:32:34 +0200 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-06-06 21:33:46 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 21:34:04 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 21:34:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 21:34:17 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-06 21:34:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 21:34:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-06 21:36:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-06-06 21:36:49 +0200 | ljdarj1 | ljdarj |
2025-06-06 21:39:23 +0200 | manwithluck | (~manwithlu@2a09:bac5:5082:2432::39b:b0) (Remote host closed the connection) |
2025-06-06 21:40:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-06 21:41:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 21:41:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 21:43:03 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) mjacob |
2025-06-06 21:43:15 +0200 | manwithluck | (~manwithlu@2a09:bac5:5082:2432::39b:b0) manwithluck |
2025-06-06 21:43:52 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
2025-06-06 21:44:40 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-06-06 21:45:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 21:46:28 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-06 21:48:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 21:48:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-06-06 21:48:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 21:50:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 21:50:35 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-06-06 21:51:18 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-06-06 21:51:31 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
2025-06-06 21:51:43 +0200 | loreto | (~loreto@user/loreto) loreto |
2025-06-06 21:54:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 21:54:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 21:55:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-06-06 21:55:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-06-06 21:55:37 +0200 | <mjacob> | I’m trying to understand https://en.wikipedia.org/wiki/Higher-order_abstract_syntax#Implementation. In that section, it is said that “another popular way to implement HOAS (in, for example, compilers) is with de Bruijn indices”. Aren’t HOAS and de Bruijn indices different solutions to a similar problem (encoding binding)? |
2025-06-06 21:57:26 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) |
2025-06-06 21:57:35 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 22:00:35 +0200 | <EvanR> | it's conflating HAOS where you implement the function syntax using host language functions with implement the function object using debruijn indices to get the same result |
2025-06-06 22:01:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 22:01:03 +0200 | <EvanR> | wikipedia quality |
2025-06-06 22:01:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 22:01:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 22:01:34 +0200 | <tomsmeding> | that paragraph does read decidedly oddly |
2025-06-06 22:02:15 +0200 | <EvanR> | both representations leave you without variable names, but I'm not sure how HAOS makes alpha equivalence easy |
2025-06-06 22:02:35 +0200 | <tomsmeding> | alpha-equivalence is trivial with a HOAS representation because there are no names |
2025-06-06 22:02:43 +0200 | <tomsmeding> | same as with De Bruijn |
2025-06-06 22:02:48 +0200 | <tomsmeding> | that much is true |
2025-06-06 22:02:51 +0200 | <EvanR> | trivial, so just compare functions for equality? xD |
2025-06-06 22:03:04 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
2025-06-06 22:03:16 +0200 | <tomsmeding> | no, as in, alpha-equivalent terms are always equal functions |
2025-06-06 22:03:25 +0200 | <tomsmeding> | you couldn't check it, but there is nothing to check in the first place |
2025-06-06 22:03:55 +0200 | <EvanR> | >Second, programs that are alpha-equivalent (differing only in the names of bound variables) have identical representations in HOAS, which can make equivalence checking more efficient. |
2025-06-06 22:04:08 +0200 | <EvanR> | is where I got lost |
2025-06-06 22:04:11 +0200 | <tomsmeding> | equivalence checking, as in alpha-beta-eta equivalence checking |
2025-06-06 22:04:19 +0200 | <tomsmeding> | where with HOAS, that simplifies to beta-eta equivalence checking |
2025-06-06 22:04:30 +0200 | <EvanR> | and how do you do that |
2025-06-06 22:04:41 +0200 | <tomsmeding> | that's the same question as "how do you do _anything_ with a HOAS term" |
2025-06-06 22:04:57 +0200 | <EvanR> | convert it to a normal datastructure making up names? |
2025-06-06 22:05:12 +0200 | <EvanR> | that would answer the original question |
2025-06-06 22:06:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 22:06:20 +0200 | <tomsmeding> | iirc what you do is when you want to inspect the term below a binder, you generate a name for the bound variable |
2025-06-06 22:06:23 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 22:06:29 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
2025-06-06 22:06:29 +0200 | prdak1 | prdak |
2025-06-06 22:06:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 22:07:00 +0200 | <tomsmeding> | the recursive traversal of that body must then take an argument term which it is to put in the new locations of the bound variable |
2025-06-06 22:07:13 +0200 | <tomsmeding> | (assuming it changes the body somehow, potentially moving occurrences of the bound variable around) |
2025-06-06 22:07:57 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 22:10:06 +0200 | <tomsmeding> | but to be honest I've never quite properly understood HOAS as an AST representation |
2025-06-06 22:10:40 +0200 | <tomsmeding> | in Accelerate (a deeply embedded language in haskell), the program is first represented in HOAS form to retain sharing, but the only thing that's done with that is to _immediately_ convert it to De Bruijn form |
2025-06-06 22:11:34 +0200 | <tomsmeding> | but I have been told that in Coq (?) or something similar, people are using PHOAS (a variant of HOAS http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf ) as an actual internal representation of the AST |
2025-06-06 22:12:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 22:12:07 +0200 | <mjacob> | With a standard AST it’s straightforward to print a program that is semantically equivalent to the original program. It would be a fun exercise to do that directly with HOAS. |
2025-06-06 22:12:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 22:12:33 +0200 | <tomsmeding> | whether that's possible at all depends on how one precisely implements HOAS |
2025-06-06 22:12:44 +0200 | <tomsmeding> | e.g., do you have a "tag" constructor in your AST that you can use to instantiate variables? |
2025-06-06 22:15:23 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-06 22:16:14 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
2025-06-06 22:16:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 22:17:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 22:19:12 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-06-06 22:19:12 +0200 | prdak1 | prdak |
2025-06-06 22:22:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 22:22:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 22:23:07 +0200 | sprotte24 | (~sprotte24@p200300d16f0c040018af77b6150bc84b.dip0.t-ipconnect.de) |
2025-06-06 22:23:34 +0200 | juri_ | (~juri@implicitcad.org) juri_ |
2025-06-06 22:26:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 22:26:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 22:32:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 22:32:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 22:32:48 +0200 | laurapigeon | (~laurapige@user/laurapigeon) laurapigeon |
2025-06-06 22:36:16 +0200 | visilii_ | (~visilii@213.24.125.211) |
2025-06-06 22:37:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 22:37:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 22:38:31 +0200 | iteratee | (~kyle@199.119.84.78) iteratee |
2025-06-06 22:40:27 +0200 | visilii | (~visilii@213.24.132.221) (Ping timeout: 268 seconds) |
2025-06-06 22:43:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 22:43:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 22:45:24 +0200 | yangby | (~secret@115.192.233.46) (Ping timeout: 240 seconds) |
2025-06-06 22:48:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 22:48:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 22:54:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 22:55:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 23:00:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 23:00:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 23:02:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds) |
2025-06-06 23:05:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 23:05:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-06 23:05:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 23:06:30 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-06-06 23:09:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-06 23:09:57 +0200 | iteratee | (~kyle@199.119.84.78) (Remote host closed the connection) |
2025-06-06 23:10:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 23:10:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 23:15:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 23:15:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 23:16:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 23:17:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2025-06-06 23:17:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-06 23:20:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 23:21:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 23:21:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-06 23:24:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-06 23:25:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 23:26:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 23:27:13 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
2025-06-06 23:29:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 23:30:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 23:30:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 23:33:34 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-06-06 23:33:44 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-06-06 23:37:18 +0200 | <ski> | "you couldn't check it, but there is nothing to check in the first place" -- you can (pattern-match on functions, traversing inside their bodies), in lambdaProlog, Twelf (and MetaML), because the functions there are restricted, can't express general computation (in the MetaML case, you'd be matching on quoted functions, comparable to Template Haskell with quasiquotation, although a bit smoother) |
2025-06-06 23:37:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 23:37:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 23:39:09 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 23:39:23 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 23:39:51 +0200 | iteratee | (~kyle@199.119.84.78) iteratee |
2025-06-06 23:40:08 +0200 | <ski> | (see the <https://en.wikipedia.org/wiki/Higher-order_abstract_syntax#Use_in_logic_programming> and <https://en.wikipedia.org/wiki/Higher-order_abstract_syntax#Use_in_logical_frameworks> (Twelf is implementation of LF) sections) |
2025-06-06 23:40:49 +0200 | <ski> | "The first programming language which directly supported λ-bindings in syntax was the higher-order logic programming language λProlog. The paper that introduced the term HOAS used λProlog code to illustrate it." |
2025-06-06 23:41:05 +0200 | <tomsmeding> | ski: I may be misunderstanding you, but are you saying "you can match on functions if you restrict functions to the ones you can match on"? |
2025-06-06 23:41:17 +0200 | <tomsmeding> | in which case: well, yes |
2025-06-06 23:42:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 23:43:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 23:45:15 +0200 | <tomsmeding> | also, I can't find any lambdaProlog code in the Pfenning/Elliott paper |
2025-06-06 23:45:23 +0200 | <ski> | more that there are implemented systems with notions of functions along these lines, making this idea practical |
2025-06-06 23:45:40 +0200 | <tomsmeding> | right |
2025-06-06 23:46:17 +0200 | <ski> | i also recall reading a paper (by Dale Miller, i think), of a system having both FP style (normal) functions, and a different type of matchable, restricted, functions |