| 2025-05-26 00:00:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 00:00:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 00:05:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 00:05:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 00:12:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 00:12:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 00:16:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 00:17:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 00:17:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 00:21:58 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-26 00:22:08 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-26 00:22:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 00:22:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 00:23:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-26 00:27:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 00:27:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 00:33:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 00:34:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 00:34:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 00:38:30 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-26 00:38:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 00:38:48 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-26 00:38:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 00:38:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 00:39:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 00:40:20 +0200 | wildtrees | (~wildtrees@pool-108-26-34-233.syrcny.east.verizon.net) (Remote host closed the connection) |
| 2025-05-26 00:44:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 00:45:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 00:49:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 00:49:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 00:49:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 00:52:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 00:53:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 00:54:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 00:55:04 +0200 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) Umeaboy |
| 2025-05-26 00:58:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 00:59:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 01:01:05 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 260 seconds) |
| 2025-05-26 01:03:29 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-05-26 01:04:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 01:05:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 01:05:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 01:10:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 01:10:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 01:11:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 01:16:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 01:17:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 01:20:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-05-26 01:21:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 01:22:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 01:23:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 01:24:10 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-26 01:26:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-26 01:28:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 01:29:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 01:33:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 01:33:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 01:37:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 01:38:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 01:38:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 01:42:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 01:43:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 01:43:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 01:46:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-26 01:48:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 01:49:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 01:52:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 01:53:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 01:53:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 01:55:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-26 01:58:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-26 01:59:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 01:59:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 02:00:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-26 02:03:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 02:03:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 02:04:34 +0200 | jespada | (~jespada@r186-48-60-195.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-05-26 02:08:28 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f264dd37730a8fc49ec.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-05-26 02:09:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 02:10:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 02:11:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 02:15:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 02:15:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 02:16:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-26 02:21:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 02:21:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 02:24:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-26 02:25:24 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-05-26 02:25:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 02:26:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 02:26:42 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-26 02:27:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 02:30:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 02:31:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 02:31:24 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:b6ff:b254:b6ae:4cb7) |
| 2025-05-26 02:32:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 02:32:26 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-26 02:32:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6950:4692:fe46:5eb2) (Ping timeout: 268 seconds) |
| 2025-05-26 02:33:41 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-26 02:35:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 02:36:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 02:41:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 02:42:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 02:43:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 02:46:29 +0200 | ft | (~ft@mue-88-130-107-234.dsl.tropolys.de) (Ping timeout: 260 seconds) |
| 2025-05-26 02:47:52 +0200 | ft | (~ft@mue-88-130-106-109.dsl.tropolys.de) ft |
| 2025-05-26 02:48:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 02:48:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-26 02:48:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 02:53:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 02:53:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 02:58:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 02:58:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 02:59:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 03:03:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-26 03:05:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 03:06:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 03:08:25 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:b6ff:b254:b6ae:4cb7) (Ping timeout: 244 seconds) |
| 2025-05-26 03:10:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-26 03:11:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 03:12:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 03:12:47 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-05-26 03:13:09 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-26 03:14:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-26 03:14:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 03:18:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 03:18:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 03:19:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 03:22:49 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-05-26 03:23:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 03:23:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 03:25:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 03:25:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 03:30:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 03:30:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 03:31:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 03:35:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-26 03:36:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 03:36:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 03:37:11 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-26 03:41:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 03:42:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 03:46:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 03:46:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 03:46:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 03:51:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 03:51:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-26 03:52:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 03:57:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 03:57:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 04:00:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 04:02:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 04:02:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 04:03:46 +0200 | sim590 | (~simon@209-15-185-101.resi.cgocable.ca) (Quit: WeeChat 4.6.2) |
| 2025-05-26 04:05:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 04:06:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-26 04:06:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 04:07:19 +0200 | td_ | (~td@i5387091A.versanet.de) (Ping timeout: 244 seconds) |
| 2025-05-26 04:09:00 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-26 04:09:12 +0200 | td_ | (~td@83.135.9.23) |
| 2025-05-26 04:10:12 +0200 | euouae | (~euouae@user/euouae) euouae |
| 2025-05-26 04:10:59 +0200 | <euouae> | Hello, I'm reading about Trees in Data.Graph: <https://hackage-content.haskell.org/package/containers-0.7/docs/Data-Graph.html#g:9> When I use them in the REPL I see the rootLabel and subForest member functions, but they're not shown in the documentation in that page I linked |
| 2025-05-26 04:11:10 +0200 | <euouae> | Why not? Are they an implementation detail? Or just incomplete documentation? |
| 2025-05-26 04:12:43 +0200 | <int-e> | they're part of the datatype declaration: https://hackage-content.haskell.org/package/containers-0.7/docs/Data-Tree.html#t:Tree |
| 2025-05-26 04:13:23 +0200 | <euouae> | Hm, why is there a Data.Tree? Why is Tree also mentioned in Data.Graph? |
| 2025-05-26 04:14:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 04:14:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 04:16:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 04:20:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 04:20:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 04:21:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-26 04:24:52 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-26 04:25:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 04:25:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 04:26:13 +0200 | <Leary> | euouae: Trees are graphs. They're also used in 'Graph Algorithms'. |
| 2025-05-26 04:28:58 +0200 | <euouae> | I find that navigation of the docs a bit confusing |
| 2025-05-26 04:31:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 04:32:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 04:32:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 04:32:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-05-26 04:37:32 +0200 | <m_a_r_k> | have any of you used servant? i made some little CRUD apps as samples for myself, but im curious about authentication. are there Oauth/OIS |
| 2025-05-26 04:37:57 +0200 | <m_a_r_k> | OIDC libraries that are well regarded, or should i expect to implement myself |
| 2025-05-26 04:38:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 04:38:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 04:39:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-26 04:44:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 04:44:52 +0200 | <jackdk> | euouae: Data.Graph re-exports all of Data.Tree, presumably for convenience. When Haddock processes a module with a re-export, the docs from the re-exported module (here, Data.Tree) also appear in the module doing the re-exporting (here, Data.Graph). |
| 2025-05-26 04:45:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 04:45:59 +0200 | tavare | (~tavare@150.129.88.189) |
| 2025-05-26 04:45:59 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-05-26 04:45:59 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-26 04:46:39 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-26 04:47:15 +0200 | <euouae> | jackdk: a bit unfortunate that Haddock does not have some indication that a re-export is happening, isn't it? |
| 2025-05-26 04:47:34 +0200 | <Leary> | No, it only re-exports `Tree(Node)` and `Forest`. If it re-exported the whole module or even just `Tree(..)` the haddocks would look very different. |
| 2025-05-26 04:49:42 +0200 | <jackdk> | Leary: cheers, I only scrolled as far as the `module` entry in the export list, and didn't check what was being imported. |
| 2025-05-26 04:50:06 +0200 | <Leary> | euouae: Whole-module re-exports look like this: https://hackage.haskell.org/package/xmonad-0.18.0/docs/XMonad.html |
| 2025-05-26 04:50:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 04:50:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 04:50:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 04:51:41 +0200 | <euouae> | Well that's better for sure |
| 2025-05-26 04:55:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-26 04:56:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 04:57:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 05:01:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-26 05:01:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 05:02:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 05:04:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-26 05:04:30 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-26 05:06:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 05:08:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 05:09:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-05-26 05:09:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 05:11:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-26 05:14:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 05:14:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 05:16:41 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 05:20:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 05:20:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 05:21:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 05:23:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 05:24:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 05:25:37 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:7a00:7c9b:daad:e593:5334) (Ping timeout: 248 seconds) |
| 2025-05-26 05:25:48 +0200 | aforemny_ | (~aforemny@i59F4C598.versanet.de) aforemny |
| 2025-05-26 05:27:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-26 05:28:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 05:29:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 05:32:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-26 05:32:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-26 05:35:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 05:35:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 05:37:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 05:38:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 05:39:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-26 05:40:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 05:40:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 05:42:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 05:43:08 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-05-26 05:43:24 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-26 05:45:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 05:45:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 05:50:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 05:51:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 05:52:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-05-26 05:53:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 05:53:53 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-26 05:55:11 +0200 | img | (~img@user/img) img |
| 2025-05-26 05:55:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 05:55:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 05:58:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-26 05:59:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 06:00:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 06:01:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 06:01:58 +0200 | <euouae> | How can I stop GHC from giving "HasCallStack backtrace:" whenever I do ^D to getLine? |
| 2025-05-26 06:02:12 +0200 | <euouae> | I tried `onException myFunction (pure ())` but it still blows up |
| 2025-05-26 06:02:36 +0200 | <Umeaboy> | euouae: Have you asked ChatGPT about it? |
| 2025-05-26 06:03:10 +0200 | <euouae> | I guess for some reasno onException propagates the exception |
| 2025-05-26 06:03:24 +0200 | <Leary> | That's what it's meant to do, yes. |
| 2025-05-26 06:03:37 +0200 | <euouae> | Umeaboy: why? are you bothered by human communication? |
| 2025-05-26 06:04:07 +0200 | <Umeaboy> | https://chatgpt.com/share/6833e823-daf0-8011-83b5-ccdd8f19d4c3 |
| 2025-05-26 06:04:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 06:04:35 +0200 | <euouae> | I only noticed that from reading more carefully: "onException" is like "finally" and then "finally" is like "bracket", and bracket explains that it re-raises |
| 2025-05-26 06:04:38 +0200 | <euouae> | the second indirection threw me off |
| 2025-05-26 06:04:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 06:05:40 +0200 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
| 2025-05-26 06:06:33 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-05-26 06:06:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-26 06:09:44 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-05-26 06:09:59 +0200 | <euouae> | when I `try myFunction` I get "ambiguous type variable" I think it doesn't know what type the exception is? |
| 2025-05-26 06:10:02 +0200 | <euouae> | I'm not sure how to deal with this |
| 2025-05-26 06:10:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 06:10:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 06:12:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 06:12:51 +0200 | <Leary> | % let silently act = try @SomeException act >>= either mempty pure in silently do{ putStrLn "audible"; throwIO (ErrorCall "silenced"); pure "lost" } |
| 2025-05-26 06:12:51 +0200 | <yahb2> | audible ; "" |
| 2025-05-26 06:13:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 06:14:00 +0200 | <Leary> | euouae: You can match on a constructor, put a type signature on the exception, or use a type application like I did above. |
| 2025-05-26 06:15:23 +0200 | <EvanR> | smh unironic "let me chatgpt that for you" |
| 2025-05-26 06:16:17 +0200 | <EvanR> | one weird thing I ran into early on in haskell was catching exceptions, and trying to intuitively put type signatures on stuff in a pattern match |
| 2025-05-26 06:16:43 +0200 | <EvanR> | which is apparently not at all popular but apparently can work by enabling the right extension, very confusing |
| 2025-05-26 06:17:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 06:18:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 06:18:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 06:19:55 +0200 | iNomad | (~iNomad@user/iNomad) iNomad |
| 2025-05-26 06:21:35 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-26 06:23:29 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 2025-05-26 06:23:53 +0200 | <euouae> | I wrote <https://termbin.com/2r3i>, I'm not sure if it is a good solution |
| 2025-05-26 06:24:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 06:24:08 +0200 | <euouae> | I use it like `ignoreException $ myFunc param1 ... paramN` |
| 2025-05-26 06:25:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 06:25:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 06:27:39 +0200 | <euouae> | hm, that first *> could be a <$ |
| 2025-05-26 06:27:54 +0200 | Square | (~Square4@user/square) Square |
| 2025-05-26 06:28:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 06:31:39 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-05-26 06:32:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 06:32:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 06:35:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 06:37:31 +0200 | michalz | (~michalz@185.246.207.222) |
| 2025-05-26 06:38:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 06:38:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 06:40:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-26 06:42:23 +0200 | <EvanR> | it's simpler to use try to ignore any exception (SomeException) |
| 2025-05-26 06:43:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 06:43:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 06:45:59 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-26 06:50:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 06:50:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 06:51:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 06:51:43 +0200 | <Leary> | That also discards the result, so it won't do you much good with e.g. `getLine`. Compare: |
| 2025-05-26 06:51:48 +0200 | <Leary> | % :t let silently act = try @SomeException act >>= foldMap pure in silently |
| 2025-05-26 06:51:48 +0200 | <yahb2> | let silently act = try @SomeException act >>= foldMap pure in silently ; :: Monoid b => IO b -> IO b |
| 2025-05-26 06:52:16 +0200 | <Leary> | Also: |
| 2025-05-26 06:52:21 +0200 | <Leary> | % :t void |
| 2025-05-26 06:52:21 +0200 | <yahb2> | void :: Functor f => f a -> f () |
| 2025-05-26 06:52:35 +0200 | <Leary> | euouae: ^ |
| 2025-05-26 06:53:37 +0200 | <euouae> | I'm not using getLine though, it's a bunch of IO stuff |
| 2025-05-26 06:54:04 +0200 | <euouae> | I mean, I'm using getLine but... |
| 2025-05-26 06:54:10 +0200 | <euouae> | what do you mean it discards the result? the result is EOF |
| 2025-05-26 06:54:46 +0200 | <Leary> | If the function you put under `ignoreException` successfully produces an `a`, it's thrown away. |
| 2025-05-26 06:55:01 +0200 | <euouae> | As in `a^D`? |
| 2025-05-26 06:55:23 +0200 | <euouae> | I'm OK with that for what I'm doing |
| 2025-05-26 06:55:43 +0200 | <Leary> | No a value of type `a`, from the signature in your paste. |
| 2025-05-26 06:56:04 +0200 | <Leary> | Err, I should have said /action/, not function. |
| 2025-05-26 06:56:10 +0200 | <euouae> | that's jsut so ignoreException can be as genreal as possible |
| 2025-05-26 06:56:31 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-26 06:56:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-26 06:57:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 06:57:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 06:57:54 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2025-05-26 06:57:56 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-26 07:01:57 +0200 | <euouae> | thank you for the hep |
| 2025-05-26 07:01:58 +0200 | <euouae> | help |
| 2025-05-26 07:01:59 +0200 | euouae | (~euouae@user/euouae) () |
| 2025-05-26 07:02:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 07:03:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-26 07:04:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 07:05:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 07:06:48 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-05-26 07:07:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-26 07:09:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 07:09:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 07:14:54 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-26 07:15:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 07:15:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 07:18:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 07:19:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 07:19:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 07:22:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-26 07:25:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 07:26:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 07:26:56 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-05-26 07:33:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 07:33:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 07:34:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 07:35:28 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-26 07:37:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 07:37:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-05-26 07:38:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 07:38:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 07:39:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 07:42:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 07:42:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 07:46:03 +0200 | jmcantrell | (~weechat@user/jmcantrell) (WeeChat 4.6.3) |
| 2025-05-26 07:46:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-05-26 07:49:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 07:49:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 07:50:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 07:52:03 +0200 | craunts7 | (~craunts@user/craunts7) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-26 07:52:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 07:54:00 +0200 | kuribas | (~user@ptr-17d51enukjwnxk3nj92.18120a2.ip6.access.telenet.be) kuribas |
| 2025-05-26 07:54:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-26 07:55:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 07:56:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 08:01:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 08:02:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 08:03:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 08:07:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 08:08:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 08:10:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 08:15:31 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) |
| 2025-05-26 08:16:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 08:16:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 08:19:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 08:20:00 +0200 | erty | (~user@user/aeroplane) aeroplane |
| 2025-05-26 08:20:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 08:21:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 08:25:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 08:26:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 08:27:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-26 08:31:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 08:32:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 08:32:48 +0200 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-05-26 08:34:51 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2025-05-26 08:36:51 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-05-26 08:37:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 08:38:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 08:38:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 08:42:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-26 08:44:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 08:44:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 08:49:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 08:49:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 08:52:52 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-26 08:53:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 08:54:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 08:54:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 08:58:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-26 09:00:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 09:00:43 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-26 09:00:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 09:06:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 09:06:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 09:11:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 09:11:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 09:12:16 +0200 | erty | (~user@user/aeroplane) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2025-05-26 09:16:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 09:16:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 09:22:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 09:22:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 09:27:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 09:27:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 09:29:57 +0200 | hellwolf | (~user@7d52-7131-0650-0283-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 248 seconds) |
| 2025-05-26 09:31:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-26 09:33:15 +0200 | hellwolf | (~user@2add-0666-e6c9-d3e2-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-05-26 09:35:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 09:35:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 09:36:34 +0200 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) (Ping timeout: 260 seconds) |
| 2025-05-26 09:39:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 09:40:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 09:41:19 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-05-26 09:41:52 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 265 seconds) |
| 2025-05-26 09:44:04 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-26 09:44:07 +0200 | tuxpaint | (~a@put.gay) |
| 2025-05-26 09:44:11 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-05-26 09:46:09 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f79f02f4230d0d82149.dip0.t-ipconnect.de) acidjnk |
| 2025-05-26 09:46:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 09:46:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 09:48:48 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-26 09:50:13 +0200 | shaeto | (~Shaeto@94.25.234.192) |
| 2025-05-26 09:50:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 09:51:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 09:51:56 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-05-26 09:54:50 +0200 | shaeto | (~Shaeto@94.25.234.192) (Ping timeout: 260 seconds) |
| 2025-05-26 09:56:28 +0200 | shaeto | (~Shaeto@94.25.234.151) |
| 2025-05-26 09:56:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 09:57:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 09:58:12 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-26 10:02:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 10:03:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 10:08:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 10:09:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 10:12:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-26 10:15:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 10:15:16 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-26 10:15:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 10:20:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 10:21:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 10:25:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 10:26:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 10:27:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-26 10:32:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 10:33:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 10:40:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 10:40:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 10:44:44 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-05-26 10:46:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 10:46:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 10:47:36 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-05-26 10:52:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 10:53:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 11:00:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 11:00:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 11:04:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 11:05:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 11:05:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 11:11:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 11:11:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 11:12:07 +0200 | drdo | (~drdo@2a01:4f8:1c1c:4976::1) (Remote host closed the connection) |
| 2025-05-26 11:12:42 +0200 | drdo | (~drdo@2a01:4f8:1c1c:4976::1) drdo |
| 2025-05-26 11:18:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 11:18:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 11:20:13 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-05-26 11:24:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 11:24:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-26 11:24:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 11:26:27 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-26 11:30:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 11:30:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 11:33:52 +0200 | craunts7 | (~craunts@136.158.8.87) |
| 2025-05-26 11:38:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 11:38:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 11:41:00 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 260 seconds) |
| 2025-05-26 11:42:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 11:43:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 11:45:08 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-05-26 11:45:46 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-26 11:46:15 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-26 11:50:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 11:50:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 11:50:30 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-26 11:51:46 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-26 11:53:15 +0200 | yoneda | (~mike@193.206.102.122) |
| 2025-05-26 11:57:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 11:57:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 11:58:02 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-26 11:59:41 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-26 12:00:38 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-05-26 12:00:54 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Quit: WeeChat 4.6.2) |
| 2025-05-26 12:03:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 12:03:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 12:04:12 +0200 | Digitteknohippie | Digit |
| 2025-05-26 12:04:58 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-26 12:10:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 12:10:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 12:15:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 12:16:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 12:16:23 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-05-26 12:19:20 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-05-26 12:22:51 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-26 12:23:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 12:24:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 12:28:51 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-26 12:29:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 12:29:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 12:30:00 +0200 | ft | (~ft@mue-88-130-106-109.dsl.tropolys.de) (Quit: leaving) |
| 2025-05-26 12:31:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 12:32:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 12:32:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 12:32:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 12:33:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 12:33:40 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Remote host closed the connection) |
| 2025-05-26 12:37:44 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-05-26 12:39:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 12:40:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 12:40:10 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-05-26 12:44:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-26 12:46:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 12:46:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 12:55:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 12:56:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 12:58:18 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-26 13:01:29 +0200 | jespada | (~jespada@r167-61-38-116.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-26 13:01:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 13:02:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 13:07:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 13:08:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 13:13:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 13:13:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 13:14:15 +0200 | xff0x | (~xff0x@ai083248.d.east.v6connect.net) |
| 2025-05-26 13:17:04 +0200 | shaeto | (~Shaeto@94.25.234.151) (Ping timeout: 260 seconds) |
| 2025-05-26 13:18:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 13:18:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 13:21:05 +0200 | shaeto | (~Shaeto@94.25.234.143) |
| 2025-05-26 13:25:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 13:26:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 13:29:30 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f79f02f4230d0d82149.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-05-26 13:29:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 13:30:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 13:35:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 13:36:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 13:36:20 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-05-26 13:42:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 13:43:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 13:48:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 13:48:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 13:53:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 13:53:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 13:56:48 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-26 13:58:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 13:58:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 13:59:25 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
| 2025-05-26 14:02:31 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-05-26 14:02:35 +0200 | dispater | (~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-26 14:02:36 +0200 | orcus | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-26 14:03:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-05-26 14:04:30 +0200 | dispater | (~dispater@mail.brprice.uk) |
| 2025-05-26 14:04:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 14:04:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 14:05:01 +0200 | orcus | (~orcus@mail.brprice.uk) |
| 2025-05-26 14:08:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-26 14:08:37 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-26 14:09:45 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-26 14:11:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 14:11:30 +0200 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
| 2025-05-26 14:11:42 +0200 | yoneda | (~mike@193.206.102.122) |
| 2025-05-26 14:11:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 14:15:47 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) absence |
| 2025-05-26 14:16:00 +0200 | son0p | (~ff@2800:e6:4000:5cf7:2aa0:f8ac:1dbc:787d) (Remote host closed the connection) |
| 2025-05-26 14:17:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 14:17:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 14:17:59 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-26 14:19:08 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-26 14:21:00 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-26 14:21:19 +0200 | jespada | (~jespada@r167-61-38-116.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-26 14:21:52 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-26 14:22:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 14:23:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 14:26:57 +0200 | son0p | (~ff@2800:e6:4000:5cf7:2aa0:f8ac:1dbc:787d) son0p |
| 2025-05-26 14:29:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 14:29:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 14:34:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 14:34:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 14:38:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 14:38:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 14:39:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 14:40:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 14:41:49 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-05-26 14:42:36 +0200 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-05-26 14:44:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 14:44:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 14:50:42 +0200 | jespada | (~jespada@r167-61-38-116.dialup.adsl.anteldata.net.uy) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-26 14:51:18 +0200 | jespada | (~jespada@r167-61-38-116.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-26 14:51:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 14:51:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 14:51:59 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-26 14:56:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 14:56:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 15:02:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 15:02:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 15:05:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) |
| 2025-05-26 15:06:00 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 276 seconds) |
| 2025-05-26 15:08:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 15:09:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 15:13:24 +0200 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-05-26 15:13:53 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-05-26 15:14:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 15:14:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 15:18:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 15:18:58 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-26 15:19:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 15:20:40 +0200 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-05-26 15:21:19 +0200 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2025-05-26 15:21:49 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-05-26 15:23:43 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2025-05-26 15:23:44 +0200 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 2025-05-26 15:23:44 +0200 | danso | (~danso@user/danso) (Quit: quittin time) |
| 2025-05-26 15:23:57 +0200 | danso | (~danso@user/danso) danso |
| 2025-05-26 15:24:01 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) codedmart |
| 2025-05-26 15:24:15 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2025-05-26 15:24:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 15:25:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 15:30:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-26 15:31:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 15:32:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 15:33:29 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f7900b5ee9fd79c9c37.dip0.t-ipconnect.de) acidjnk |
| 2025-05-26 15:36:31 +0200 | <bwe> | How do I run a test a single time with criterion? `defaultMainWith (defaultConfig {resamples = 1}) ...` lets it still run its iterations > 1. (I am trying to just output the peak memory allocated as one benchmark.) |
| 2025-05-26 15:37:04 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-26 15:38:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 15:39:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 15:44:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 15:44:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 15:45:17 +0200 | <tomsmeding> | bwe: use criterion-measurement |
| 2025-05-26 15:45:30 +0200 | <tomsmeding> | the whole point of `criterion` is to do the analysis that only works with >1 sample |
| 2025-05-26 15:49:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 15:49:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 15:52:50 +0200 | <bwe> | tomsmeding: so, I would create a new executable instead of trying to include it in the current benchmark suite, right? |
| 2025-05-26 15:54:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 15:54:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 15:56:59 +0200 | <tomsmeding> | bwe: if the "benchmark suite" is a criterion bgroup, then a memory usage test indeed doesn't fit in there. It could be a separate executable or an additional thing that you run before or after the criterion suite |
| 2025-05-26 15:59:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 16:00:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 16:00:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 16:02:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-05-26 16:06:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 16:07:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 16:11:28 +0200 | <bwe> | tomsmeding: Thanks. It's clear now. I've done it as a separate thing running before criterion suite. Thanks for the idea! |
| 2025-05-26 16:12:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 16:13:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 16:14:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) |
| 2025-05-26 16:17:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 16:17:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 16:18:27 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-26 16:20:37 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-05-26 16:20:37 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-05-26 16:20:37 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-05-26 16:21:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 16:22:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 16:26:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 16:26:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 16:29:12 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-26 16:33:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 16:33:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 16:34:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Read error: Connection reset by peer) |
| 2025-05-26 16:38:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 16:38:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 16:43:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 16:43:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 16:45:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 16:45:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 16:45:50 +0200 | Guest6754 | (~Ben@182.207-131-109.adsl-dyn.isp.belgacom.be) |
| 2025-05-26 16:51:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 16:52:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 16:57:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 16:58:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 17:01:02 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
| 2025-05-26 17:01:03 +0200 | ChanServ | +v haskellbridge |
| 2025-05-26 17:01:07 +0200 | Guest6754 | (~Ben@182.207-131-109.adsl-dyn.isp.belgacom.be) (Quit: Client closed) |
| 2025-05-26 17:02:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 17:03:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 17:09:06 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f7900b5ee9fd79c9c37.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-26 17:09:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 17:09:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 17:11:28 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-26 17:13:59 +0200 | jespada | (~jespada@r167-61-38-116.dialup.adsl.anteldata.net.uy) (Ping timeout: 244 seconds) |
| 2025-05-26 17:15:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 17:15:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 17:17:31 +0200 | jespada | (~jespada@r179-24-29-82.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-26 17:20:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 17:20:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 17:24:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 17:25:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 17:25:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 17:28:45 +0200 | craunts7 | (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-26 17:31:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 17:32:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 17:34:56 +0200 | manwe | (~manwe2004@modemcable169.115-22-96.mc.videotron.ca) (Quit: Leaving) |
| 2025-05-26 17:35:24 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-26 17:37:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 17:37:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 17:40:02 +0200 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
| 2025-05-26 17:42:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 17:42:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 17:45:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 17:45:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 17:47:19 +0200 | erty | (~user@user/aeroplane) aeroplane |
| 2025-05-26 17:50:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 17:50:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 17:55:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 17:55:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 18:00:02 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-26 18:01:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 18:01:47 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-26 18:02:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 18:07:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 18:08:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 18:13:35 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-05-26 18:15:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 18:16:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 18:16:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-26 18:21:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 18:22:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 18:26:40 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-05-26 18:26:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 18:27:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 18:28:19 +0200 | euouae | (~euouae@user/euouae) euouae |
| 2025-05-26 18:28:32 +0200 | <euouae> | Hello I have this example <https://github.com/createyourpersonalaccount/menu-selection/blob/main/app/Menu1.hs> of a simple app that lets you browse a menu |
| 2025-05-26 18:28:33 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-26 18:28:57 +0200 | <euouae> | I'm wondering what criticism you can offer for it; in particular I have a feeling that ReaderT can be inserted there somewhere right? |
| 2025-05-26 18:29:24 +0200 | <euouae> | (Or maybe it's just good as it is -- I don't know) |
| 2025-05-26 18:32:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 18:33:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 18:34:40 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-26 18:37:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 18:38:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 18:42:28 +0200 | danza | (~danza@user/danza) danza |
| 2025-05-26 18:43:37 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2025-05-26 18:45:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 18:46:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 18:49:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 18:50:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 18:51:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 18:52:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 18:52:34 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-26 18:52:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 18:53:03 +0200 | erty | (~user@user/aeroplane) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2025-05-26 18:54:36 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-26 18:55:02 +0200 | volsand | (~volsand@2804:1b1:1080:3f49:dff2:9a47:8661:7944) |
| 2025-05-26 18:56:21 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-26 18:57:46 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-26 18:57:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 18:58:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 19:04:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 19:04:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 19:04:42 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-26 19:05:37 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 272 seconds) |
| 2025-05-26 19:09:02 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) |
| 2025-05-26 19:09:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 19:10:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 19:16:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 19:17:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 19:23:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 19:23:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 19:28:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 19:28:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 19:32:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-26 19:34:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 19:34:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-26 19:34:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 19:38:22 +0200 | <probie> | euouae: Normally if you've got an `Either`, and one value is an "error", it goes in the left side, not the right. This is done so it plays nicely with the Functor/Monad instances for `Either a` when you want to chain together multiple operations with the same error type |
| 2025-05-26 19:39:23 +0200 | kuribas | (~user@ptr-17d51enukjwnxk3nj92.18120a2.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-05-26 19:43:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 19:43:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 19:44:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 19:48:50 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-26 19:49:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 19:49:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 19:49:49 +0200 | <probie> | Also, if you've only got a single "statement", you don't need to use "do" (e.g. instead of ``do pure (Right $ "Invalid choice `" <> choice <> "'.")`` you can write ``pure (Right $ "Invalid choice `" <> choice <> "'.")`` |
| 2025-05-26 19:50:18 +0200 | <euouae> | oh yeah that one was a remnant of two statements |
| 2025-05-26 19:51:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-26 19:52:44 +0200 | <euouae> | I think I was experimenting with <> and that's why I decided to put the error on the right |
| 2025-05-26 19:53:05 +0200 | <euouae> | Because Left 1 <> Right 2 <> Left 3 gives Right 2. I guess <> is the wrong notion since what you want is chaining them in the monad with >> |
| 2025-05-26 19:55:03 +0200 | <euouae> | (I fixed those two mistakes you mentioned now) |
| 2025-05-26 19:56:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 19:56:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 19:59:47 +0200 | <probie> | > let halfSafeDiv x y = do { when (y == 0) (Left "Divide by 0"); let {z = x `div` y}; when (z `mod` 2 /= 0) (Left "Result not even"); pure (z `div` 2) } in [halfSafeDiv x y | (x,y) <- zip [56, 5, 15] [4,0,5]] |
| 2025-05-26 19:59:49 +0200 | <lambdabot> | [Right 7,Left "Divide by 0",Left "Result not even"] |
| 2025-05-26 20:01:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 20:01:37 +0200 | <euouae> | yup that's pretty neat. is the do{} for one-line stuff? |
| 2025-05-26 20:01:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 20:01:47 +0200 | <euouae> | togehther with the ; |
| 2025-05-26 20:04:31 +0200 | <probie> | Yep. It's not particularly common in actual code (I think parts of GHC's code base still use it though), but Haskell lets you use curly braces and semicolons instead of newlines and indentation if you want to |
| 2025-05-26 20:05:06 +0200 | <probie> | However, it's convenient for sending "multiple lines" to lambdabot |
| 2025-05-26 20:05:16 +0200 | <euouae> | alright |
| 2025-05-26 20:05:25 +0200 | <euouae> | well I'm more curious about the overall design of what I have |
| 2025-05-26 20:06:04 +0200 | <euouae> | because this is a mock example of something larger I'm trying to create, basically an "interpreter" / "macro expander" that can read from files & interactively via stdin |
| 2025-05-26 20:07:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 20:07:31 +0200 | <euouae> | but I'll read up on ReaderT again and see if I can adapt it to my example |
| 2025-05-26 20:07:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 20:09:51 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-05-26 20:10:18 +0200 | <probie> | I don't think `ReaderT` gives you anything here; it's a fancy way of making sure an extra argument is passed to all functions. Right now, you just have one, so it seems overkill. Personally, I'd do it with far fewer calls to `putStr`. |
| 2025-05-26 20:10:52 +0200 | <euouae> | the above is a mock example of something more complicated that I'm trying to write |
| 2025-05-26 20:13:44 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f793ca0c1b1d3dae2fd.dip0.t-ipconnect.de) acidjnk |
| 2025-05-26 20:14:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 20:15:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 20:18:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 20:18:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 20:22:31 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-26 20:24:03 +0200 | shaeto | (~Shaeto@94.25.234.143) (Quit: WeeChat 4.1.1) |
| 2025-05-26 20:25:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 20:25:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 20:26:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-26 20:30:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 20:30:27 +0200 | arthurvl | earthy |
| 2025-05-26 20:30:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 20:31:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-26 20:34:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 20:35:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 20:36:10 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-26 20:37:02 +0200 | <probie> | euouae: What's the thing you want to pass through your reader? The entire selection menu? You might be better off with `StateT` for that |
| 2025-05-26 20:38:55 +0200 | <euouae> | I was thinking of the current choices by the user |
| 2025-05-26 20:39:07 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-26 20:39:15 +0200 | <euouae> | e.g. the user has made ["Arthropod", "Crab"] as a choice so far |
| 2025-05-26 20:39:27 +0200 | <euouae> | (Or just ["Arthropod"] if he's in the middle of it.) |
| 2025-05-26 20:40:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 20:41:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 20:41:40 +0200 | <int-e> | Sounds like state to me. (Reader is more useful for passing around immutable data like configurations. Though there is `local` to make it murky.) |
| 2025-05-26 20:41:56 +0200 | <int-e> | :t local |
| 2025-05-26 20:41:57 +0200 | <lambdabot> | MonadReader r m => (r -> r) -> m a -> m a |
| 2025-05-26 20:42:24 +0200 | <euouae> | It's local I was looking at |
| 2025-05-26 20:42:31 +0200 | <int-e> | > local (*2) (+1) 3 -- scnr |
| 2025-05-26 20:42:32 +0200 | <lambdabot> | 7 |
| 2025-05-26 20:42:48 +0200 | <euouae> | If you think StateT is better, fine I'll use that |
| 2025-05-26 20:42:49 +0200 | <int-e> | :t put |
| 2025-05-26 20:42:50 +0200 | <lambdabot> | MonadState s m => s -> m () |
| 2025-05-26 20:42:55 +0200 | <int-e> | :t get |
| 2025-05-26 20:42:56 +0200 | <lambdabot> | MonadState s m => m s |
| 2025-05-26 20:43:22 +0200 | <euouae> | Yup. Is there any technique I should be aware of for "code generation"? |
| 2025-05-26 20:43:45 +0200 | <int-e> | this modifies states for future monadic actions, while `local` modifies a monadic action to take different contextual data |
| 2025-05-26 20:43:47 +0200 | <euouae> | Imagine that my parser reads `foo bar baz` and expands `foo` to `123`, `bar` to a parsing error (but continues parsing) and `baz` to `42` |
| 2025-05-26 20:45:17 +0200 | <euouae> | int-e, I see what you mean; it means `put` can be used in a do-block, while local also requires `m a` as an argument. right? |
| 2025-05-26 20:46:28 +0200 | <int-e> | euouae: yeah and the r -> r function only gets applied for that action |
| 2025-05-26 20:46:42 +0200 | <int-e> | so it's a local modification of the data; hence the name |
| 2025-05-26 20:47:15 +0200 | <euouae> | makes sense |
| 2025-05-26 20:47:23 +0200 | <euouae> | Well right, StateT is better |
| 2025-05-26 20:47:38 +0200 | <mauke> | if you remove the monadic veneer, Reader is about passing a particular argument to all "actions" (functions) |
| 2025-05-26 20:47:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 20:47:59 +0200 | <euouae> | yup I noted that in my notes because probie said it above |
| 2025-05-26 20:48:01 +0200 | <mauke> | local then just means passing a different argument to a particular function call |
| 2025-05-26 20:48:18 +0200 | <mauke> | but it has no lasting effects |
| 2025-05-26 20:48:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 20:48:32 +0200 | <euouae> | I've kind of removed the veneer in my own thoughts in the past, but it had been a while since I touched Haskell so it's slowly coming back to me |
| 2025-05-26 20:49:01 +0200 | <euouae> | Now I'm more curious about my specific application -- I am writing a macro expander. Any particular techniques that I should be aware of? |
| 2025-05-26 20:49:06 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-05-26 20:49:26 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-26 20:49:43 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-05-26 20:53:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 20:54:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 20:55:24 +0200 | sprotte24 | (~sprotte24@p200300d16f2ebe0008435e5a759dcfac.dip0.t-ipconnect.de) |
| 2025-05-26 20:56:02 +0200 | rvalue- | rvalue |
| 2025-05-26 20:58:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 20:59:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 21:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-26 21:00:43 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-26 21:04:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 21:04:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 21:05:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 21:06:06 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-05-26 21:07:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 21:08:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 21:09:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-26 21:11:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 21:11:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 21:11:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 21:12:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 21:14:48 +0200 | <euouae> | using effectful-core, how can I complete the definition of myLength :: (Reader String :> es) => Eff es Integer to return the length of the String in the reader? |
| 2025-05-26 21:15:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-26 21:15:04 +0200 | <euouae> | I tried `do { s <- ask; pure (length s) }` but I'm getting errors. |
| 2025-05-26 21:16:20 +0200 | <int-e> | :t asks length |
| 2025-05-26 21:16:21 +0200 | <lambdabot> | (MonadReader (t a) m, Foldable t) => m Int |
| 2025-05-26 21:16:44 +0200 | <int-e> | (not answering the question) |
| 2025-05-26 21:17:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 21:17:17 +0200 | <euouae> | sure asks can be used |
| 2025-05-26 21:17:31 +0200 | int-e | has never used effectful-core. what does the error look like? |
| 2025-05-26 21:18:14 +0200 | <euouae> | Like this: <https://termbin.com/u0uz> |
| 2025-05-26 21:18:57 +0200 | <euouae> | Something cannot be deduced, not sure which. I'm just using effectful to avoid the "slowdown" that occurs with mtl. Maybe I should just not bother and stick to transformers |
| 2025-05-26 21:19:12 +0200 | <euouae> | but I do want to have fun so I'm playing around |
| 2025-05-26 21:19:28 +0200 | <int-e> | euouae: you may have to force the `s` to be of type String |
| 2025-05-26 21:19:39 +0200 | <int-e> | say, length (s :: String) |
| 2025-05-26 21:20:37 +0200 | <int-e> | (You could have Reader [Char] :> Reader [Int] :> es and then how would it know which of the lists you want?) |
| 2025-05-26 21:20:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 21:21:33 +0200 | <int-e> | err, those :> should probably be : |
| 2025-05-26 21:21:50 +0200 | <int-e> | I did mention that I haven't used this :) |
| 2025-05-26 21:24:13 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-26 21:24:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 21:24:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 21:25:44 +0200 | <euouae> | You're right, that worked. Is there another way to force the type? Perhaps at teh point where I do <-? |
| 2025-05-26 21:25:49 +0200 | <euouae> | the monadic bind |
| 2025-05-26 21:26:06 +0200 | <euouae> | (I tried to force the type in other attempts but I failed, you provided a correct way to do it) |
| 2025-05-26 21:27:15 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-26 21:27:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 21:27:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-26 21:30:06 +0200 | <int-e> | Hmm. s :: String <- ask should work. asks (length @_ @Char) looks awkward. asks (length :: String -> Int) will work too |
| 2025-05-26 21:31:00 +0200 | <euouae> | nice, thank you! |
| 2025-05-26 21:32:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-26 21:38:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 21:42:28 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-26 21:47:16 +0200 | ol0ck | (~quassel@user/ol0ck) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-05-26 21:48:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 21:49:40 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-26 21:52:38 +0200 | <euouae> | int-e: do you use some other effects library or just transformers/mtl? |
| 2025-05-26 21:54:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 21:55:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 21:59:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 22:04:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-26 22:12:09 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-26 22:14:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-05-26 22:14:09 +0200 | ljdarj1 | ljdarj |
| 2025-05-26 22:14:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 22:17:04 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-26 22:19:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-26 22:25:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 22:25:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 22:29:18 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-05-26 22:30:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 22:33:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-26 22:35:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 22:43:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 22:46:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 22:51:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-26 22:53:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-26 22:56:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-05-26 23:02:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 23:02:37 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-05-26 23:05:49 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2025-05-26 23:05:58 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-05-26 23:06:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-26 23:09:23 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-26 23:17:16 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-26 23:17:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 23:19:36 +0200 | Moyst | (~moyst@user/moyst) (Ping timeout: 268 seconds) |
| 2025-05-26 23:20:15 +0200 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2025-05-26 23:22:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 23:22:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 23:23:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-26 23:24:21 +0200 | Square | (~Square4@user/square) Square |
| 2025-05-26 23:25:06 +0200 | <euouae> | as I was saying earlier I'm writing a macro expander. it has the capability to write to stdout or to save to memory for later display. say there's 10 slots 0-9 and 0 is stdout and 1-9 is memory writing |
| 2025-05-26 23:25:14 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-26 23:25:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-05-26 23:25:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 23:25:52 +0200 | <euouae> | How should I implement this? Is this a WriterT? Or should I do it with a "write" function that takes a slot parameter and the 0 case goes to stdout and 1-9 just appends to a Seq? |
| 2025-05-26 23:25:56 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2025-05-26 23:26:04 +0200 | Moyst | (~moyst@user/moyst) Moyst |
| 2025-05-26 23:26:52 +0200 | tomsmeding | would not use Seq here if you don't need to index into the thing but only fold over it once at the end |
| 2025-05-26 23:27:28 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-05-26 23:27:45 +0200 | <tomsmeding> | a simple `write` with a State that keeps the memory buffers may be enough |
| 2025-05-26 23:28:33 +0200 | <euouae> | maybe I should have a writeMemory and writeFile since the former is pure? |
| 2025-05-26 23:28:56 +0200 | <tomsmeding> | but when you call those functions, you never know statically which it's going to be, right? |
| 2025-05-26 23:29:04 +0200 | <euouae> | no it depends on the input |
| 2025-05-26 23:29:13 +0200 | <geekosaur> | tbh I'd consider using files created on first use. (I assume you've been looking at m4's `divert`?) |
| 2025-05-26 23:29:17 +0200 | <tomsmeding> | right, so at the callsite, you'll have to be effectful anyway |
| 2025-05-26 23:29:23 +0200 | <tomsmeding> | because it may be writeFile |
| 2025-05-26 23:29:23 +0200 | <euouae> | geekosaur: how did you know? :O |
| 2025-05-26 23:29:38 +0200 | <geekosaur> | I spent 8 years living m4 |
| 2025-05-26 23:29:44 +0200 | <euouae> | what? really? |
| 2025-05-26 23:30:20 +0200 | <euouae> | geekosaur: I wrote this GNU m4 clone in Python, it's still WIP but it's good (slow though) <https://codeberg.org/annoyingusername/m4p> |
| 2025-05-26 23:30:29 +0200 | <geekosaur> | I used it to write a macro system over a language that changed often enough that I needed some heavy lifting to adapt to different versions |
| 2025-05-26 23:30:50 +0200 | <monochrom> | I would try WriterT (Endo String/Text) or WriterT (Seq Char/String/Text). I would also have no shame special-casing stdout. |
| 2025-05-26 23:31:03 +0200 | <euouae> | so I'm fooling around with Haskell, trying to clarify the structure of an m4 implementation. My final step would be to rewrite in GNU Mes scheme for bootstrappability |
| 2025-05-26 23:31:42 +0200 | <monochrom> | Oh wait so the type is IO if 0, WriterT if 1-9? That calls for Lean... >:) |
| 2025-05-26 23:31:58 +0200 | <euouae> | No I don't need dependent types |
| 2025-05-26 23:32:13 +0200 | <geekosaur> | are you also going to support `divert(-1)` (or other invalid stream) to discard output? some things use that for initial comments |
| 2025-05-26 23:32:21 +0200 | <euouae> | Yes I support everything |
| 2025-05-26 23:32:32 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-26 23:32:35 +0200 | <euouae> | Output can go to: 1) stdout 2) file 3) memory buffer 4) discarded |
| 2025-05-26 23:33:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 23:35:11 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-26 23:36:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-26 23:36:15 +0200 | euouae | will try WriterT for the memory buffers |
| 2025-05-26 23:37:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 23:37:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 23:38:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-26 23:40:01 +0200 | <monochrom> | Oh I'm a moron. If Text, may as well use Text's Builder and save using Endo myself. |
| 2025-05-26 23:40:21 +0200 | <tomsmeding> | @hackage text-builder-linear |
| 2025-05-26 23:40:21 +0200 | <lambdabot> | https://hackage.haskell.org/package/text-builder-linear |
| 2025-05-26 23:40:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-26 23:40:48 +0200 | <monochrom> | Everything is now linearly typed eh? |
| 2025-05-26 23:40:57 +0200 | <tomsmeding> | well in this case the linearity is very well contained |
| 2025-05-26 23:41:14 +0200 | <tomsmeding> | the point is that instead of the standard builder pattern, this can actually build the thing in-place |
| 2025-05-26 23:41:38 +0200 | <monochrom> | OK nice. |
| 2025-05-26 23:41:39 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-26 23:42:01 +0200 | <tomsmeding> | ... to an extent |
| 2025-05-26 23:42:11 +0200 | <tomsmeding> | if you're willing to buy into the linear types, you get beautiful in-place updates |
| 2025-05-26 23:42:29 +0200 | <tomsmeding> | if you want to use a traditional Monoid builder thing, you get the tree of thunks as usual |
| 2025-05-26 23:42:36 +0200 | <tomsmeding> | but evaluating the tree of thunks is then nice |
| 2025-05-26 23:42:50 +0200 | <monochrom> | Well at least putting a "use once only" on runBuilder protects you from the same kind of memory surprise as "sum xs / length xs" |
| 2025-05-26 23:42:55 +0200 | <tomsmeding> | it's `newtype Builder = Buidler (Buffer %1-> Buffer)` |
| 2025-05-26 23:43:11 +0200 | <tomsmeding> | (minus the typo) |
| 2025-05-26 23:43:36 +0200 | <euouae> | what's the memory surprise there monochrom ? |
| 2025-05-26 23:44:08 +0200 | <monochrom> | Suppose xs = [1..n]. length xs alone takes O(1) space. sum xs alone also takes O(1) space. |
| 2025-05-26 23:45:18 +0200 | <EvanR> | I encoded the parlor puzzle in The Blue Prince in haskell https://paste.tomsmeding.com/PaaqcdI7 |
| 2025-05-26 23:45:44 +0200 | <euouae> | monochrom: why is that not the case when they're together? |
| 2025-05-26 23:46:00 +0200 | <euouae> | because the optimizer can't figure it out? |
| 2025-05-26 23:46:30 +0200 | <tomsmeding> | because the code specifies that the list 'xs' should be built only once, so GHC respects that wish |
| 2025-05-26 23:46:33 +0200 | <tomsmeding> | even if it's the bad thing to do |
| 2025-05-26 23:46:55 +0200 | <euouae> | how would you specify it twice? by not using the xs binding? |
| 2025-05-26 23:47:04 +0200 | <tomsmeding> | indeed |
| 2025-05-26 23:47:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-26 23:47:19 +0200 | <tomsmeding> | or one would explicitly traverse the thing once with a combined fold |
| 2025-05-26 23:47:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-26 23:47:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-26 23:47:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-26 23:47:56 +0200 | <euouae> | interesting! |
| 2025-05-26 23:48:11 +0200 | <tomsmeding> | or you use a tool to automatically combine multiple folds in one, e.g. https://hackage.haskell.org/package/foldl-1.4.18/docs/Control-Foldl.html |
| 2025-05-26 23:49:01 +0200 | <tomsmeding> | > Data.List.foldl' (\(!tot, !len) x -> (tot + x, len + 1)) (0, 0) [1..10] |
| 2025-05-26 23:49:03 +0200 | <lambdabot> | (55,10) |
| 2025-05-26 23:49:05 +0200 | <euouae> | I guess the mental evaluation here is that you have two expressions sum xs and length xs; you can assume they're evaluated in sequence, so once length xs is reached, xs is already all in memory |
| 2025-05-26 23:49:17 +0200 | <tomsmeding> | > uncurry div $ Data.List.foldl' (\(!tot, !len) x -> (tot + x, len + 1)) (0, 0) [1..10] |
| 2025-05-26 23:49:18 +0200 | <lambdabot> | 5 |
| 2025-05-26 23:49:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-26 23:51:55 +0200 | <EvanR> | too bad you can't take xs, duplicate the thunk before doing sum copy1 / length copy2 |
| 2025-05-26 23:52:08 +0200 | <EvanR> | in case you were short on memory and flush on cpu power |
| 2025-05-26 23:52:25 +0200 | <tomsmeding> | that would be "instructions unclear, should I also duplicate the other thunks that this one refers to" |
| 2025-05-26 23:53:01 +0200 | Square | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2025-05-26 23:53:01 +0200 | <EvanR> | welcome to C++ |
| 2025-05-26 23:53:16 +0200 | <tomsmeding> | well in C++ this kind of stuff is well-specified |
| 2025-05-26 23:53:17 +0200 | <euouae> | Does Haskell have a concept of Reference? I'd imagine yes |
| 2025-05-26 23:53:24 +0200 | <tomsmeding> | IORef? |
| 2025-05-26 23:53:28 +0200 | <euouae> | so instead you can also work with references, right? |
| 2025-05-26 23:53:34 +0200 | <EvanR> | you still have to decide whether to duplicate 1 level, 3 levels, all levels, or some weird combination |
| 2025-05-26 23:53:41 +0200 | <euouae> | oh wait, no. it still would be O(n).... nevermind |
| 2025-05-26 23:53:53 +0200 | sprotte24 | (~sprotte24@p200300d16f2ebe0008435e5a759dcfac.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-26 23:54:01 +0200 | <tomsmeding> | euouae: oh in that sense, then every lifted value in haskell is a reference |
| 2025-05-26 23:54:12 +0200 | <tomsmeding> | you probably haven't seen unlifted values |
| 2025-05-26 23:54:13 +0200 | <euouae> | tomsmeding: right. I guess EvanR wants thunk-level manipulations |
| 2025-05-26 23:54:20 +0200 | <tomsmeding> | yep |
| 2025-05-26 23:54:37 +0200 | <EvanR> | if you know the xs is some simple thunk, and duplicating wouldn't be bad, it would be interesting |
| 2025-05-26 23:54:38 +0200 | <Rembane> | Thunks as first class citizens would be really sweet. |
| 2025-05-26 23:54:40 +0200 | <EvanR> | but not very abstract |
| 2025-05-26 23:54:57 +0200 | <tomsmeding> | if xs is [1..10], is xs a simple thunk? |
| 2025-05-26 23:55:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-26 23:55:10 +0200 | <EvanR> | I have no idea |
| 2025-05-26 23:55:14 +0200 | <tomsmeding> | me neither |
| 2025-05-26 23:55:24 +0200 | <tomsmeding> | point being that this is a crappy API :p |
| 2025-05-26 23:55:40 +0200 | <EvanR> | personal judgement of what a simple thunk is isn't the API |
| 2025-05-26 23:55:51 +0200 | <euouae> | but you can't mess with thunks using GHC's API |
| 2025-05-26 23:55:52 +0200 | <euouae> | ? |
| 2025-05-26 23:56:02 +0200 | <EvanR> | "mess with" ? |
| 2025-05-26 23:56:09 +0200 | <tomsmeding> | no but random implementation choices, both in libraries and in GHC itself, can change what things are simple thunks and what things aren't |
| 2025-05-26 23:56:30 +0200 | <EvanR> | yeah it sounds fragile |
| 2025-05-26 23:56:45 +0200 | <tomsmeding> | EvanR: there is https://ghc.gitlab.haskell.org/ghc-debug/ if you really want to get into the weeds |
| 2025-05-26 23:57:15 +0200 | <euouae> | Also what's the point of text-builder-linear? I was planning to use a strict ByteString to accumulate stuff in memory buffers |
| 2025-05-26 23:57:38 +0200 | <tomsmeding> | euouae: the append operation on strict bytestrings will reallocate the whole thing every time |
| 2025-05-26 23:57:47 +0200 | <euouae> | oh ugh really? wow |
| 2025-05-26 23:57:52 +0200 | <tomsmeding> | it's immutable |
| 2025-05-26 23:57:54 +0200 | <tomsmeding> | it has no choice |
| 2025-05-26 23:58:04 +0200 | <tomsmeding> | same goes for (++) on String |
| 2025-05-26 23:58:05 +0200 | <euouae> | sure like python. I didn't realize |
| 2025-05-26 23:58:33 +0200 | <euouae> | Another option is to use a list and cons ByteString's. I can "flatten" them using lens |
| 2025-05-26 23:58:40 +0200 | <tomsmeding> | a Builder only stores the parts and materialise the whole thing in one go at the end |
| 2025-05-26 23:58:43 +0200 | <euouae> | is that a bad idea? because lens plays into other things I'm doing so I'll be using it regardless. |
| 2025-05-26 23:58:56 +0200 | <tomsmeding> | that would essentially be using a lazy bytestring |
| 2025-05-26 23:59:02 +0200 | <tomsmeding> | (Data.ByteString.Lazy) |
| 2025-05-26 23:59:09 +0200 | <tomsmeding> | that's a tree of strict bytestrings |
| 2025-05-26 23:59:31 +0200 | <tomsmeding> | and then to optimise that you use a Data.ByteString.Builder, because a lazy bytestring is optimised for larger chunks |
| 2025-05-26 23:59:41 +0200 | <EvanR> | euouae, you can generate a laz---^ |
| 2025-05-26 23:59:47 +0200 | <tomsmeding> | too slow |