IRCBrowse

2025/05/26

2025-05-26 00:00:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-26 00:03:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 00:03:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 00:04:34 +0000jespada(~jespada@r186-48-60-195.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds)
2025-05-26 00:08:28 +0000acidjnk(~acidjnk@p200300d6e71c4f264dd37730a8fc49ec.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-05-26 00:09:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 00:10:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 00:11:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 00:15:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 00:15:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 00:16:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-26 00:21:33 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 00:21:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 00:24:47 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-26 00:25:24 +0000machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: Lost terminal)
2025-05-26 00:25:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 00:26:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 00:26:42 +0000machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-26 00:27:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 00:30:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 00:31:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 00:31:24 +0000xff0x_(~xff0x@2405:6580:b080:900:b6ff:b254:b6ae:4cb7)
2025-05-26 00:32:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 00:32:26 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-05-26 00:32:42 +0000xff0x(~xff0x@2405:6580:b080:900:6950:4692:fe46:5eb2) (Ping timeout: 268 seconds)
2025-05-26 00:33:41 +0000califax(~califax@user/califx) califx
2025-05-26 00:35:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 00:36:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 00:41:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 00:42:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 00:43:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 00:46:29 +0000ft(~ft@mue-88-130-107-234.dsl.tropolys.de) (Ping timeout: 260 seconds)
2025-05-26 00:47:52 +0000ft(~ft@mue-88-130-106-109.dsl.tropolys.de) ft
2025-05-26 00:48:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 00:48:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-26 00:48:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 00:53:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 00:53:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 00:58:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 00:58:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 00:59:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 01:03:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-26 01:05:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 01:06:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 01:08:25 +0000xff0x_(~xff0x@2405:6580:b080:900:b6ff:b254:b6ae:4cb7) (Ping timeout: 244 seconds)
2025-05-26 01:10:11 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-26 01:11:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 01:12:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 01:12:47 +0000machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds)
2025-05-26 01:13:09 +0000ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-26 01:14:00 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-05-26 01:14:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 01:18:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 01:18:26 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 01:19:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 01:22:49 +0000simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-05-26 01:23:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 01:23:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 01:25:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 01:25:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 01:30:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 01:30:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 01:31:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 01:35:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-26 01:36:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 01:36:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 01:37:11 +0000JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-26 01:41:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 01:42:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 01:46:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 01:46:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 01:46:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 01:51:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 01:51:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-26 01:52:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 01:57:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 01:57:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 02:00:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 02:02:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 02:02:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 02:03:46 +0000sim590(~simon@209-15-185-101.resi.cgocable.ca) (Quit: WeeChat 4.6.2)
2025-05-26 02:05:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 02:06:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-26 02:06:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 02:07:19 +0000td_(~td@i5387091A.versanet.de) (Ping timeout: 244 seconds)
2025-05-26 02:09:00 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-05-26 02:09:12 +0000td_(~td@83.135.9.23)
2025-05-26 02:10:12 +0000euouae(~euouae@user/euouae) euouae
2025-05-26 02:10:59 +0000 <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 02:11:10 +0000 <euouae> Why not? Are they an implementation detail? Or just incomplete documentation?
2025-05-26 02:12:43 +0000 <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 02:13:23 +0000 <euouae> Hm, why is there a Data.Tree? Why is Tree also mentioned in Data.Graph?
2025-05-26 02:14:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 02:14:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 02:16:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 02:20:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 02:20:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 02:21:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-26 02:24:52 +0000JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-26 02:25:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 02:25:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 02:26:13 +0000 <Leary> euouae: Trees are graphs. They're also used in 'Graph Algorithms'.
2025-05-26 02:28:58 +0000 <euouae> I find that navigation of the docs a bit confusing
2025-05-26 02:31:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 02:32:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 02:32:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 02:32:50 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2025-05-26 02:37:32 +0000 <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 02:37:57 +0000 <m_a_r_k> OIDC libraries that are well regarded, or should i expect to implement myself
2025-05-26 02:38:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 02:38:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 02:39:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-26 02:44:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 02:44:52 +0000 <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 02:45:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 02:45:59 +0000tavare(~tavare@150.129.88.189)
2025-05-26 02:45:59 +0000tavare(~tavare@150.129.88.189) (Changing host)
2025-05-26 02:45:59 +0000tavare(~tavare@user/tavare) tavare
2025-05-26 02:46:39 +0000tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-05-26 02:47:15 +0000 <euouae> jackdk: a bit unfortunate that Haddock does not have some indication that a re-export is happening, isn't it?
2025-05-26 02:47:34 +0000 <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 02:49:42 +0000 <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 02:50:06 +0000 <Leary> euouae: Whole-module re-exports look like this: https://hackage.haskell.org/package/xmonad-0.18.0/docs/XMonad.html
2025-05-26 02:50:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 02:50:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 02:50:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 02:51:41 +0000 <euouae> Well that's better for sure
2025-05-26 02:55:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-26 02:56:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 02:57:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 03:01:10 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-26 03:01:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 03:02:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 03:04:10 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-05-26 03:04:30 +0000califax(~califax@user/califx) califx
2025-05-26 03:06:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 03:08:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 03:09:05 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-05-26 03:09:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 03:11:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-26 03:14:15 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 03:14:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 03:16:41 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 03:20:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 03:20:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 03:21:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 03:23:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 03:24:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 03:25:37 +0000aforemny(~aforemny@2001:9e8:6ce5:7a00:7c9b:daad:e593:5334) (Ping timeout: 248 seconds)
2025-05-26 03:25:48 +0000aforemny_(~aforemny@i59F4C598.versanet.de) aforemny
2025-05-26 03:27:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-26 03:28:53 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 03:29:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 03:32:19 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-26 03:32:20 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-26 03:35:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 03:35:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 03:37:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 03:38:31 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 03:39:58 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-05-26 03:40:26 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 03:40:51 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 03:42:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 03:43:08 +0000arahael(~arahael@user/arahael) arahael
2025-05-26 03:43:24 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-05-26 03:45:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 03:45:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 03:50:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 03:51:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 03:52:22 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-05-26 03:53:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 03:53:53 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-26 03:55:11 +0000img(~img@user/img) img
2025-05-26 03:55:14 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 03:55:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 03:58:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-26 03:59:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 04:00:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 04:01:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 04:01:58 +0000 <euouae> How can I stop GHC from giving "HasCallStack backtrace:" whenever I do ^D to getLine?
2025-05-26 04:02:12 +0000 <euouae> I tried `onException myFunction (pure ())` but it still blows up
2025-05-26 04:02:36 +0000 <Umeaboy> euouae: Have you asked ChatGPT about it?
2025-05-26 04:03:10 +0000 <euouae> I guess for some reasno onException propagates the exception
2025-05-26 04:03:24 +0000 <Leary> That's what it's meant to do, yes.
2025-05-26 04:03:37 +0000 <euouae> Umeaboy: why? are you bothered by human communication?
2025-05-26 04:04:07 +0000 <Umeaboy> https://chatgpt.com/share/6833e823-daf0-8011-83b5-ccdd8f19d4c3
2025-05-26 04:04:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 04:04:35 +0000 <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 04:04:38 +0000 <euouae> the second indirection threw me off
2025-05-26 04:04:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 04:05:40 +0000Umeaboy(~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving)
2025-05-26 04:06:33 +0000poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-05-26 04:06:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-26 04:09:44 +0000poscat(~poscat@user/poscat) poscat
2025-05-26 04:09:59 +0000 <euouae> when I `try myFunction` I get "ambiguous type variable" I think it doesn't know what type the exception is?
2025-05-26 04:10:02 +0000 <euouae> I'm not sure how to deal with this
2025-05-26 04:10:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 04:10:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 04:12:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 04:12:51 +0000 <Leary> % let silently act = try @SomeException act >>= either mempty pure in silently do{ putStrLn "audible"; throwIO (ErrorCall "silenced"); pure "lost" }
2025-05-26 04:12:51 +0000 <yahb2> audible ; ""
2025-05-26 04:13:15 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 04:14:00 +0000 <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 04:15:23 +0000 <EvanR> smh unironic "let me chatgpt that for you"
2025-05-26 04:16:17 +0000 <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 04:16:43 +0000 <EvanR> which is apparently not at all popular but apparently can work by enabling the right extension, very confusing
2025-05-26 04:17:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 04:18:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 04:18:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 04:19:55 +0000iNomad(~iNomad@user/iNomad) iNomad
2025-05-26 04:21:35 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-05-26 04:23:29 +0000leah2(~leah@vuxu.org) (Ping timeout: 260 seconds)
2025-05-26 04:23:53 +0000 <euouae> I wrote <https://termbin.com/2r3i>, I'm not sure if it is a good solution
2025-05-26 04:24:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 04:24:08 +0000 <euouae> I use it like `ignoreException $ myFunc param1 ... paramN`
2025-05-26 04:25:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 04:25:33 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 04:27:39 +0000 <euouae> hm, that first *> could be a <$
2025-05-26 04:27:54 +0000Square(~Square4@user/square) Square
2025-05-26 04:28:31 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 04:31:39 +0000Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-05-26 04:32:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 04:32:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 04:35:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 04:37:31 +0000michalz(~michalz@185.246.207.222)
2025-05-26 04:38:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 04:38:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 04:40:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-26 04:42:23 +0000 <EvanR> it's simpler to use try to ignore any exception (SomeException)
2025-05-26 04:43:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 04:43:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 04:45:59 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-26 04:50:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 04:50:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 04:51:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 04:51:43 +0000 <Leary> That also discards the result, so it won't do you much good with e.g. `getLine`. Compare:
2025-05-26 04:51:48 +0000 <Leary> % :t let silently act = try @SomeException act >>= foldMap pure in silently
2025-05-26 04:51:48 +0000 <yahb2> let silently act = try @SomeException act >>= foldMap pure in silently ; :: Monoid b => IO b -> IO b
2025-05-26 04:52:16 +0000 <Leary> Also:
2025-05-26 04:52:21 +0000 <Leary> % :t void
2025-05-26 04:52:21 +0000 <yahb2> void :: Functor f => f a -> f ()
2025-05-26 04:52:35 +0000 <Leary> euouae: ^
2025-05-26 04:53:37 +0000 <euouae> I'm not using getLine though, it's a bunch of IO stuff
2025-05-26 04:54:04 +0000 <euouae> I mean, I'm using getLine but...
2025-05-26 04:54:10 +0000 <euouae> what do you mean it discards the result? the result is EOF
2025-05-26 04:54:46 +0000 <Leary> If the function you put under `ignoreException` successfully produces an `a`, it's thrown away.
2025-05-26 04:55:01 +0000 <euouae> As in `a^D`?
2025-05-26 04:55:23 +0000 <euouae> I'm OK with that for what I'm doing
2025-05-26 04:55:43 +0000 <Leary> No a value of type `a`, from the signature in your paste.
2025-05-26 04:56:04 +0000 <Leary> Err, I should have said /action/, not function.
2025-05-26 04:56:10 +0000 <euouae> that's jsut so ignoreException can be as genreal as possible
2025-05-26 04:56:31 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-26 04:56:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-26 04:57:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 04:57:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 04:57:54 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2025-05-26 04:57:56 +0000Lord_of_Life_Lord_of_Life
2025-05-26 05:01:57 +0000 <euouae> thank you for the hep
2025-05-26 05:01:58 +0000 <euouae> help
2025-05-26 05:01:59 +0000euouae(~euouae@user/euouae) ()
2025-05-26 05:02:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 05:03:55 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-05-26 05:04:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 05:05:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 05:06:48 +0000leah2(~leah@vuxu.org) leah2
2025-05-26 05:07:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-26 05:09:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 05:09:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 05:14:54 +0000takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-26 05:15:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 05:15:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 05:18:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 05:19:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 05:19:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 05:22:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-26 05:25:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 05:26:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 05:26:56 +0000harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-05-26 05:33:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 05:33:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 05:34:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 05:35:28 +0000werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-26 05:37:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 05:37:55 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-05-26 05:38:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 05:38:40 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 05:39:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 05:42:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 05:42:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 05:46:03 +0000jmcantrell(~weechat@user/jmcantrell) (WeeChat 4.6.3)
2025-05-26 05:46:55 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-05-26 05:49:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 05:49:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 05:50:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 05:52:03 +0000craunts7(~craunts@user/craunts7) (Quit: The Lounge - https://thelounge.chat)
2025-05-26 05:52:39 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 05:54:00 +0000kuribas(~user@ptr-17d51enukjwnxk3nj92.18120a2.ip6.access.telenet.be) kuribas
2025-05-26 05:54:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-26 05:55:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 05:56:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 06:01:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 06:02:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 06:03:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 06:07:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 06:08:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 06:10:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 06:15:31 +0000tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b)
2025-05-26 06:16:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 06:16:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 06:19:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 06:20:00 +0000erty(~user@user/aeroplane) aeroplane
2025-05-26 06:20:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 06:21:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 06:25:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 06:26:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 06:27:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-26 06:31:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 06:32:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 06:32:48 +0000haritz(~hrtz@user/haritz) (Remote host closed the connection)
2025-05-26 06:34:51 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2025-05-26 06:36:51 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-05-26 06:37:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 06:38:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 06:38:26 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 06:42:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-26 06:44:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 06:44:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 06:49:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 06:49:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 06:52:52 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-26 06:53:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 06:54:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 06:54:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 06:58:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 07:00:01 +0000caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-26 07:00:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 07:00:43 +0000caconym7(~caconym@user/caconym) caconym
2025-05-26 07:00:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 07:06:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 07:06:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 07:11:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 07:11:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 07:12:16 +0000erty(~user@user/aeroplane) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2025-05-26 07:16:15 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 07:16:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 07:22:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 07:22:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 07:27:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 07:27:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 07:29:57 +0000hellwolf(~user@7d52-7131-0650-0283-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 248 seconds)
2025-05-26 07:31:33 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-05-26 07:33:15 +0000hellwolf(~user@2add-0666-e6c9-d3e2-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2025-05-26 07:35:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 07:35:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 07:36:34 +0000tuxpaint(~a@2600:3c06::f03c:93ff:fea6:ef0e) (Ping timeout: 260 seconds)
2025-05-26 07:39:51 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 07:40:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 07:41:19 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2025-05-26 07:41:52 +0000Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 265 seconds)
2025-05-26 07:44:04 +0000merijn(~merijn@77.242.116.146) merijn
2025-05-26 07:44:07 +0000tuxpaint(~a@put.gay)
2025-05-26 07:44:11 +0000harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-05-26 07:46:09 +0000acidjnk(~acidjnk@p200300d6e71c4f79f02f4230d0d82149.dip0.t-ipconnect.de) acidjnk
2025-05-26 07:46:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 07:46:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 07:48:48 +0000__monty__(~toonn@user/toonn) toonn
2025-05-26 07:50:13 +0000shaeto(~Shaeto@94.25.234.192)
2025-05-26 07:50:44 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 07:51:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 07:51:56 +0000lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-05-26 07:54:50 +0000shaeto(~Shaeto@94.25.234.192) (Ping timeout: 260 seconds)
2025-05-26 07:56:28 +0000shaeto(~Shaeto@94.25.234.151)
2025-05-26 07:56:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 07:57:15 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 07:58:12 +0000machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-26 08:02:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 08:03:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 08:08:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 08:09:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 08:12:23 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-05-26 08:15:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 08:15:16 +0000chele(~chele@user/chele) chele
2025-05-26 08:15:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 08:20:44 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 08:21:07 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 08:25:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 08:26:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 08:27:09 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-26 08:32:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 08:33:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 08:40:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 08:40:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 08:44:44 +0000comerijn(~merijn@77.242.116.146) merijn
2025-05-26 08:46:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 08:46:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 08:47:36 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-05-26 08:52:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 08:53:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 09:00:15 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 09:00:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 09:04:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 09:05:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 09:05:23 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 09:11:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 09:11:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 09:12:07 +0000drdo(~drdo@2a01:4f8:1c1c:4976::1) (Remote host closed the connection)
2025-05-26 09:12:42 +0000drdo(~drdo@2a01:4f8:1c1c:4976::1) drdo
2025-05-26 09:18:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 09:18:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 09:20:13 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-05-26 09:24:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 09:24:42 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-26 09:24:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 09:26:27 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-05-26 09:30:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 09:30:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 09:33:52 +0000craunts7(~craunts@136.158.8.87)
2025-05-26 09:38:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 09:38:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 09:41:00 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 260 seconds)
2025-05-26 09:42:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 09:43:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 09:45:08 +0000Maxdamantus(~Maxdamant@user/maxdamantus) Maxdamantus
2025-05-26 09:45:46 +0000tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-26 09:46:15 +0000haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-26 09:50:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 09:50:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 09:50:30 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-05-26 09:51:46 +0000califax(~califax@user/califx) califx
2025-05-26 09:53:15 +0000yoneda(~mike@193.206.102.122)
2025-05-26 09:57:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 09:57:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 09:58:02 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-05-26 09:59:41 +0000Digitteknohippie(~user@user/digit) Digit
2025-05-26 10:00:38 +0000Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-05-26 10:00:54 +0000lxsameer(~lxsameer@Serene/lxsameer) (Quit: WeeChat 4.6.2)
2025-05-26 10:03:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 10:03:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 10:04:12 +0000DigitteknohippieDigit
2025-05-26 10:04:58 +0000califax(~califax@user/califx) califx
2025-05-26 10:10:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 10:10:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 10:15:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 10:16:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 10:16:23 +0000comerijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-05-26 10:19:20 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-05-26 10:22:51 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-05-26 10:23:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 10:24:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 10:28:51 +0000merijn(~merijn@77.242.116.146) merijn
2025-05-26 10:29:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 10:29:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 10:30:00 +0000ft(~ft@mue-88-130-106-109.dsl.tropolys.de) (Quit: leaving)
2025-05-26 10:31:33 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 10:32:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 10:32:55 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 10:32:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 10:33:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 10:33:40 +0000wickedjargon(~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Remote host closed the connection)
2025-05-26 10:37:44 +0000comerijn(~merijn@77.242.116.146) merijn
2025-05-26 10:39:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 10:40:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 10:40:10 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-05-26 10:44:12 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-26 10:46:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 10:46:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 10:55:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 10:56:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 10:58:18 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-05-26 11:01:29 +0000jespada(~jespada@r167-61-38-116.dialup.adsl.anteldata.net.uy) jespada
2025-05-26 11:01:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 11:02:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 11:07:50 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 11:08:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 11:13:15 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 11:13:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 11:14:15 +0000xff0x(~xff0x@ai083248.d.east.v6connect.net)
2025-05-26 11:17:04 +0000shaeto(~Shaeto@94.25.234.151) (Ping timeout: 260 seconds)
2025-05-26 11:18:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 11:18:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 11:21:05 +0000shaeto(~Shaeto@94.25.234.143)
2025-05-26 11:25:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 11:26:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 11:29:30 +0000acidjnk(~acidjnk@p200300d6e71c4f79f02f4230d0d82149.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-05-26 11:29:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 11:30:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 11:35:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 11:36:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 11:36:20 +0000comerijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-05-26 11:42:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 11:43:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 11:48:06 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 11:48:31 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 11:53:33 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 11:53:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 11:56:48 +0000merijn(~merijn@77.242.116.146) merijn
2025-05-26 11:58:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 11:58:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 11:59:25 +0000arahael(~arahael@user/arahael) (Ping timeout: 252 seconds)
2025-05-26 12:02:31 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-05-26 12:02:35 +0000dispater(~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-26 12:02:36 +0000orcus(~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-26 12:03:29 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-05-26 12:04:30 +0000dispater(~dispater@mail.brprice.uk)
2025-05-26 12:04:33 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 12:04:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 12:05:01 +0000orcus(~orcus@mail.brprice.uk)
2025-05-26 12:08:29 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-05-26 12:08:37 +0000merijn(~merijn@77.242.116.146) merijn
2025-05-26 12:09:45 +0000califax(~califax@user/califx) califx
2025-05-26 12:11:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 12:11:30 +0000yoneda(~mike@193.206.102.122) (Quit: leaving)
2025-05-26 12:11:42 +0000yoneda(~mike@193.206.102.122)
2025-05-26 12:11:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 12:15:47 +0000absence(torgeihe@hildring.pvv.ntnu.no) absence
2025-05-26 12:16:00 +0000son0p(~ff@2800:e6:4000:5cf7:2aa0:f8ac:1dbc:787d) (Remote host closed the connection)
2025-05-26 12:17:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 12:17:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 12:17:59 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-05-26 12:19:08 +0000califax(~califax@user/califx) califx
2025-05-26 12:21:00 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-05-26 12:21:19 +0000jespada(~jespada@r167-61-38-116.dialup.adsl.anteldata.net.uy) jespada
2025-05-26 12:21:52 +0000califax(~califax@user/califx) califx
2025-05-26 12:22:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 12:23:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 12:26:57 +0000son0p(~ff@2800:e6:4000:5cf7:2aa0:f8ac:1dbc:787d) son0p
2025-05-26 12:29:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 12:29:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 12:34:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 12:34:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 12:38:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 12:38:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 12:39:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 12:40:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 12:41:49 +0000arahael(~arahael@user/arahael) arahael
2025-05-26 12:42:36 +0000Square(~Square4@user/square) (Ping timeout: 244 seconds)
2025-05-26 12:44:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 12:44:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 12:50:42 +0000jespada(~jespada@r167-61-38-116.dialup.adsl.anteldata.net.uy) (Quit: Textual IRC Client: www.textualapp.com)
2025-05-26 12:51:18 +0000jespada(~jespada@r167-61-38-116.dialup.adsl.anteldata.net.uy) jespada
2025-05-26 12:51:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 12:51:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 12:51:59 +0000weary-traveler(~user@user/user363627) user363627
2025-05-26 12:56:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 12:56:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 13:02:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 13:02:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 13:05:49 +0000tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b)
2025-05-26 13:06:00 +0000arahael(~arahael@user/arahael) (Ping timeout: 276 seconds)
2025-05-26 13:08:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 13:09:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 13:13:24 +0000califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-05-26 13:13:53 +0000bliminse(~bliminse@user/bliminse) (Quit: leaving)
2025-05-26 13:14:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 13:14:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 13:18:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 13:18:58 +0000califax(~califax@user/califx) califx
2025-05-26 13:19:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 13:20:40 +0000bliminse(~bliminse@user/bliminse) bliminse
2025-05-26 13:21:19 +0000Pixi(~Pixi@user/pixi) (Read error: Connection reset by peer)
2025-05-26 13:21:49 +0000Pixi(~Pixi@user/pixi) Pixi
2025-05-26 13:23:43 +0000codedmart(~codedmart@li335-49.members.linode.com) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2025-05-26 13:23:44 +0000sp1ff`(~user@c-67-160-173-55.hsd1.wa.comcast.net)
2025-05-26 13:23:44 +0000danso(~danso@user/danso) (Quit: quittin time)
2025-05-26 13:23:57 +0000danso(~danso@user/danso) danso
2025-05-26 13:24:01 +0000codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511) codedmart
2025-05-26 13:24:15 +0000sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2025-05-26 13:24:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 13:25:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 13:30:52 +0000tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-26 13:31:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 13:32:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 13:33:29 +0000acidjnk(~acidjnk@p200300d6e71c4f7900b5ee9fd79c9c37.dip0.t-ipconnect.de) acidjnk
2025-05-26 13:36:31 +0000 <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 13:37:04 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-05-26 13:38:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 13:39:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 13:44:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 13:44:33 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 13:45:17 +0000 <tomsmeding> bwe: use criterion-measurement
2025-05-26 13:45:30 +0000 <tomsmeding> the whole point of `criterion` is to do the analysis that only works with >1 sample
2025-05-26 13:49:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 13:49:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 13:52:50 +0000 <bwe> tomsmeding: so, I would create a new executable instead of trying to include it in the current benchmark suite, right?
2025-05-26 13:54:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 13:54:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 13:56:59 +0000 <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 13:59:42 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 14:00:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 14:00:27 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 14:02:18 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-05-26 14:06:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 14:07:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 14:11:28 +0000 <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 14:12:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 14:13:20 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 14:14:55 +0000tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b)
2025-05-26 14:17:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 14:17:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 14:18:27 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-05-26 14:20:37 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-05-26 14:20:37 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-05-26 14:20:37 +0000haritz(~hrtz@user/haritz) haritz
2025-05-26 14:21:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 14:22:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 14:26:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 14:26:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 14:29:12 +0000califax(~califax@user/califx) califx
2025-05-26 14:33:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 14:33:45 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 14:34:44 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Read error: Connection reset by peer)
2025-05-26 14:38:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 14:38:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 14:43:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 14:43:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 14:45:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 14:45:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 14:45:50 +0000Guest6754(~Ben@182.207-131-109.adsl-dyn.isp.belgacom.be)
2025-05-26 14:51:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 14:52:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 14:57:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 14:58:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 15:01:02 +0000haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) hackager
2025-05-26 15:01:03 +0000ChanServ+v haskellbridge
2025-05-26 15:01:07 +0000Guest6754(~Ben@182.207-131-109.adsl-dyn.isp.belgacom.be) (Quit: Client closed)
2025-05-26 15:02:51 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 15:03:14 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 15:09:06 +0000acidjnk(~acidjnk@p200300d6e71c4f7900b5ee9fd79c9c37.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-05-26 15:09:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 15:09:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 15:11:28 +0000infinity0(~infinity0@pwned.gg) infinity0
2025-05-26 15:13:59 +0000jespada(~jespada@r167-61-38-116.dialup.adsl.anteldata.net.uy) (Ping timeout: 244 seconds)
2025-05-26 15:15:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 15:15:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 15:17:31 +0000jespada(~jespada@r179-24-29-82.dialup.adsl.anteldata.net.uy) jespada
2025-05-26 15:20:16 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 15:20:38 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 15:24:00 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 15:25:35 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 15:25:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 15:28:45 +0000craunts7(~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat)
2025-05-26 15:31:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 15:32:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 15:34:56 +0000manwe(~manwe2004@modemcable169.115-22-96.mc.videotron.ca) (Quit: Leaving)
2025-05-26 15:35:24 +0000ft(~ft@p3e9bc106.dip0.t-ipconnect.de) ft
2025-05-26 15:37:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 15:37:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 15:40:02 +0000yoneda(~mike@193.206.102.122) (Quit: leaving)
2025-05-26 15:42:14 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 15:42:36 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 15:45:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 15:45:53 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 15:47:19 +0000erty(~user@user/aeroplane) aeroplane
2025-05-26 15:50:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 15:50:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 15:55:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 15:55:53 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 16:00:02 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-05-26 16:01:44 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 16:01:47 +0000califax(~califax@user/califx) califx
2025-05-26 16:02:08 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 16:07:37 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 16:08:01 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 16:13:35 +0000chele(~chele@user/chele) (Remote host closed the connection)
2025-05-26 16:15:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 16:16:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 16:16:27 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-26 16:21:44 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 16:22:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 16:26:40 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-05-26 16:26:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 16:27:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 16:28:19 +0000euouae(~euouae@user/euouae) euouae
2025-05-26 16:28:32 +0000 <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 16:28:33 +0000JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-26 16:28:57 +0000 <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 16:29:24 +0000 <euouae> (Or maybe it's just good as it is -- I don't know)
2025-05-26 16:32:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 16:33:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 16:34:40 +0000tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-26 16:37:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 16:38:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 16:42:28 +0000danza(~danza@user/danza) danza
2025-05-26 16:43:37 +0000danza(~danza@user/danza) (Remote host closed the connection)
2025-05-26 16:45:53 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 16:46:18 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 16:49:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 16:50:21 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 16:51:54 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 16:52:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 16:52:34 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-05-26 16:52:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 16:53:03 +0000erty(~user@user/aeroplane) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2025-05-26 16:54:36 +0000ft(~ft@p3e9bc106.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-05-26 16:55:02 +0000volsand(~volsand@2804:1b1:1080:3f49:dff2:9a47:8661:7944)
2025-05-26 16:56:21 +0000ft(~ft@p3e9bc106.dip0.t-ipconnect.de) ft
2025-05-26 16:57:46 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-26 16:57:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 16:58:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 17:04:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 17:04:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 17:04:42 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-05-26 17:05:37 +0000YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 272 seconds)
2025-05-26 17:09:02 +0000tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b)
2025-05-26 17:09:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 17:10:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 17:16:58 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 17:17:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 17:23:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 17:23:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 17:28:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 17:28:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 17:32:44 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-05-26 17:34:15 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 17:34:18 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-26 17:34:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 17:38:22 +0000 <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 17:39:23 +0000kuribas(~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 17:43:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 17:43:54 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 17:44:19 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 17:48:50 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-26 17:49:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 17:49:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 17:49:49 +0000 <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 17:50:18 +0000 <euouae> oh yeah that one was a remnant of two statements
2025-05-26 17:51:14 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-26 17:52:44 +0000 <euouae> I think I was experimenting with <> and that's why I decided to put the error on the right
2025-05-26 17:53:05 +0000 <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 17:55:03 +0000 <euouae> (I fixed those two mistakes you mentioned now)
2025-05-26 17:56:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 17:56:34 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 17:59:47 +0000 <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 17:59:49 +0000 <lambdabot> [Right 7,Left "Divide by 0",Left "Result not even"]
2025-05-26 18:01:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 18:01:37 +0000 <euouae> yup that's pretty neat. is the do{} for one-line stuff?
2025-05-26 18:01:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 18:01:47 +0000 <euouae> togehther with the ;
2025-05-26 18:04:31 +0000 <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 18:05:06 +0000 <probie> However, it's convenient for sending "multiple lines" to lambdabot
2025-05-26 18:05:16 +0000 <euouae> alright
2025-05-26 18:05:25 +0000 <euouae> well I'm more curious about the overall design of what I have
2025-05-26 18:06:04 +0000 <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 18:07:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 18:07:31 +0000 <euouae> but I'll read up on ReaderT again and see if I can adapt it to my example
2025-05-26 18:07:53 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 18:09:51 +0000robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-05-26 18:10:18 +0000 <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 18:10:52 +0000 <euouae> the above is a mock example of something more complicated that I'm trying to write
2025-05-26 18:13:44 +0000acidjnk(~acidjnk@p200300d6e71c4f793ca0c1b1d3dae2fd.dip0.t-ipconnect.de) acidjnk
2025-05-26 18:14:41 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 18:15:03 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 18:18:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 18:18:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 18:22:31 +0000JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-26 18:24:03 +0000shaeto(~Shaeto@94.25.234.143) (Quit: WeeChat 4.1.1)
2025-05-26 18:25:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 18:25:55 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 18:26:45 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-26 18:30:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 18:30:27 +0000arthurvlearthy
2025-05-26 18:30:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 18:31:02 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-26 18:34:57 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 18:35:19 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 18:36:10 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-05-26 18:37:02 +0000 <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 18:38:55 +0000 <euouae> I was thinking of the current choices by the user
2025-05-26 18:39:07 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-26 18:39:15 +0000 <euouae> e.g. the user has made ["Arthropod", "Crab"] as a choice so far
2025-05-26 18:39:27 +0000 <euouae> (Or just ["Arthropod"] if he's in the middle of it.)
2025-05-26 18:40:40 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 18:41:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 18:41:40 +0000 <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 18:41:56 +0000 <int-e> :t local
2025-05-26 18:41:57 +0000 <lambdabot> MonadReader r m => (r -> r) -> m a -> m a
2025-05-26 18:42:24 +0000 <euouae> It's local I was looking at
2025-05-26 18:42:31 +0000 <int-e> > local (*2) (+1) 3 -- scnr
2025-05-26 18:42:32 +0000 <lambdabot> 7
2025-05-26 18:42:48 +0000 <euouae> If you think StateT is better, fine I'll use that
2025-05-26 18:42:49 +0000 <int-e> :t put
2025-05-26 18:42:50 +0000 <lambdabot> MonadState s m => s -> m ()
2025-05-26 18:42:55 +0000 <int-e> :t get
2025-05-26 18:42:56 +0000 <lambdabot> MonadState s m => m s
2025-05-26 18:43:22 +0000 <euouae> Yup. Is there any technique I should be aware of for "code generation"?
2025-05-26 18:43:45 +0000 <int-e> this modifies states for future monadic actions, while `local` modifies a monadic action to take different contextual data
2025-05-26 18:43:47 +0000 <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 18:45:17 +0000 <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 18:46:28 +0000 <int-e> euouae: yeah and the r -> r function only gets applied for that action
2025-05-26 18:46:42 +0000 <int-e> so it's a local modification of the data; hence the name
2025-05-26 18:47:15 +0000 <euouae> makes sense
2025-05-26 18:47:23 +0000 <euouae> Well right, StateT is better
2025-05-26 18:47:38 +0000 <mauke> if you remove the monadic veneer, Reader is about passing a particular argument to all "actions" (functions)
2025-05-26 18:47:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 18:47:59 +0000 <euouae> yup I noted that in my notes because probie said it above
2025-05-26 18:48:01 +0000 <mauke> local then just means passing a different argument to a particular function call
2025-05-26 18:48:18 +0000 <mauke> but it has no lasting effects
2025-05-26 18:48:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 18:48:32 +0000 <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 18:49:01 +0000 <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 18:49:06 +0000rvalue-(~rvalue@user/rvalue) rvalue
2025-05-26 18:49:26 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-26 18:49:43 +0000rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2025-05-26 18:53:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 18:54:12 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 18:55:24 +0000sprotte24(~sprotte24@p200300d16f2ebe0008435e5a759dcfac.dip0.t-ipconnect.de)
2025-05-26 18:56:02 +0000rvalue-rvalue
2025-05-26 18:58:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 18:59:13 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 19:00:04 +0000caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-26 19:00:43 +0000caconym7(~caconym@user/caconym) caconym
2025-05-26 19:04:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 19:04:56 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 19:05:22 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 19:06:06 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2025-05-26 19:07:59 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 19:08:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 19:09:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-26 19:11:00 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 19:11:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 19:11:42 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 19:12:29 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 19:14:48 +0000 <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 19:15:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-26 19:15:04 +0000 <euouae> I tried `do { s <- ask; pure (length s) }` but I'm getting errors.
2025-05-26 19:16:20 +0000 <int-e> :t asks length
2025-05-26 19:16:21 +0000 <lambdabot> (MonadReader (t a) m, Foldable t) => m Int
2025-05-26 19:16:44 +0000 <int-e> (not answering the question)
2025-05-26 19:17:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 19:17:17 +0000 <euouae> sure asks can be used
2025-05-26 19:17:31 +0000int-ehas never used effectful-core. what does the error look like?
2025-05-26 19:18:14 +0000 <euouae> Like this: <https://termbin.com/u0uz>
2025-05-26 19:18:57 +0000 <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 19:19:12 +0000 <euouae> but I do want to have fun so I'm playing around
2025-05-26 19:19:28 +0000 <int-e> euouae: you may have to force the `s` to be of type String
2025-05-26 19:19:39 +0000 <int-e> say, length (s :: String)
2025-05-26 19:20:37 +0000 <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 19:20:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 19:21:33 +0000 <int-e> err, those :> should probably be :
2025-05-26 19:21:50 +0000 <int-e> I did mention that I haven't used this :)
2025-05-26 19:24:13 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-05-26 19:24:25 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 19:24:46 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 19:25:44 +0000 <euouae> You're right, that worked. Is there another way to force the type? Perhaps at teh point where I do <-?
2025-05-26 19:25:49 +0000 <euouae> the monadic bind
2025-05-26 19:26:06 +0000 <euouae> (I tried to force the type in other attempts but I failed, you provided a correct way to do it)
2025-05-26 19:27:15 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-26 19:27:40 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 19:27:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-26 19:30:06 +0000 <int-e> Hmm. s :: String <- ask should work. asks (length @_ @Char) looks awkward. asks (length :: String -> Int) will work too
2025-05-26 19:31:00 +0000 <euouae> nice, thank you!
2025-05-26 19:32:15 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-26 19:38:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 19:42:28 +0000machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-05-26 19:47:16 +0000ol0ck(~quassel@user/ol0ck) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-05-26 19:48:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 19:49:40 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-05-26 19:52:38 +0000 <euouae> int-e: do you use some other effects library or just transformers/mtl?
2025-05-26 19:54:43 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 19:55:05 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 19:59:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 20:04:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-26 20:12:09 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-26 20:14:09 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2025-05-26 20:14:09 +0000ljdarj1ljdarj
2025-05-26 20:14:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 20:17:04 +0000weary-traveler(~user@user/user363627) user363627
2025-05-26 20:19:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-26 20:25:02 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 20:25:24 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 20:29:18 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-05-26 20:30:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 20:33:06 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-26 20:35:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 20:43:18 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 20:46:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 20:51:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 20:53:19 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-26 20:56:12 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-05-26 21:02:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 21:02:37 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-05-26 21:05:49 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Client Quit)
2025-05-26 21:05:58 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-05-26 21:06:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-26 21:09:23 +0000takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-05-26 21:17:16 +0000Square2(~Square@user/square) Square
2025-05-26 21:17:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 21:19:36 +0000Moyst(~moyst@user/moyst) (Ping timeout: 268 seconds)
2025-05-26 21:20:15 +0000michalz(~michalz@185.246.207.222) (Remote host closed the connection)
2025-05-26 21:22:04 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 21:22:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 21:23:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-26 21:24:21 +0000Square(~Square4@user/square) Square
2025-05-26 21:25:06 +0000 <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 21:25:14 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-05-26 21:25:16 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-05-26 21:25:27 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 21:25:52 +0000 <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 21:25:56 +0000m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 252 seconds)
2025-05-26 21:26:04 +0000Moyst(~moyst@user/moyst) Moyst
2025-05-26 21:26:52 +0000tomsmedingwould 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 21:27:28 +0000driib318(~driib@vmi931078.contaboserver.net) driib
2025-05-26 21:27:45 +0000 <tomsmeding> a simple `write` with a State that keeps the memory buffers may be enough
2025-05-26 21:28:33 +0000 <euouae> maybe I should have a writeMemory and writeFile since the former is pure?
2025-05-26 21:28:56 +0000 <tomsmeding> but when you call those functions, you never know statically which it's going to be, right?
2025-05-26 21:29:04 +0000 <euouae> no it depends on the input
2025-05-26 21:29:13 +0000 <geekosaur> tbh I'd consider using files created on first use. (I assume you've been looking at m4's `divert`?)
2025-05-26 21:29:17 +0000 <tomsmeding> right, so at the callsite, you'll have to be effectful anyway
2025-05-26 21:29:23 +0000 <tomsmeding> because it may be writeFile
2025-05-26 21:29:23 +0000 <euouae> geekosaur: how did you know? :O
2025-05-26 21:29:38 +0000 <geekosaur> I spent 8 years living m4
2025-05-26 21:29:44 +0000 <euouae> what? really?
2025-05-26 21:30:20 +0000 <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 21:30:29 +0000 <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 21:30:50 +0000 <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 21:31:03 +0000 <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 21:31:42 +0000 <monochrom> Oh wait so the type is IO if 0, WriterT if 1-9? That calls for Lean... >:)
2025-05-26 21:31:58 +0000 <euouae> No I don't need dependent types
2025-05-26 21:32:13 +0000 <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 21:32:21 +0000 <euouae> Yes I support everything
2025-05-26 21:32:32 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-26 21:32:35 +0000 <euouae> Output can go to: 1) stdout 2) file 3) memory buffer 4) discarded
2025-05-26 21:33:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 21:35:11 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-05-26 21:36:12 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-05-26 21:36:15 +0000euouaewill try WriterT for the memory buffers
2025-05-26 21:37:17 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 21:37:39 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 21:38:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-26 21:40:01 +0000 <monochrom> Oh I'm a moron. If Text, may as well use Text's Builder and save using Endo myself.
2025-05-26 21:40:21 +0000 <tomsmeding> @hackage text-builder-linear
2025-05-26 21:40:21 +0000 <lambdabot> https://hackage.haskell.org/package/text-builder-linear
2025-05-26 21:40:44 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 21:40:48 +0000 <monochrom> Everything is now linearly typed eh?
2025-05-26 21:40:57 +0000 <tomsmeding> well in this case the linearity is very well contained
2025-05-26 21:41:14 +0000 <tomsmeding> the point is that instead of the standard builder pattern, this can actually build the thing in-place
2025-05-26 21:41:38 +0000 <monochrom> OK nice.
2025-05-26 21:41:39 +0000machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-26 21:42:01 +0000 <tomsmeding> ... to an extent
2025-05-26 21:42:11 +0000 <tomsmeding> if you're willing to buy into the linear types, you get beautiful in-place updates
2025-05-26 21:42:29 +0000 <tomsmeding> if you want to use a traditional Monoid builder thing, you get the tree of thunks as usual
2025-05-26 21:42:36 +0000 <tomsmeding> but evaluating the tree of thunks is then nice
2025-05-26 21:42:50 +0000 <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 21:42:55 +0000 <tomsmeding> it's `newtype Builder = Buidler (Buffer %1-> Buffer)`
2025-05-26 21:43:11 +0000 <tomsmeding> (minus the typo)
2025-05-26 21:43:36 +0000 <euouae> what's the memory surprise there monochrom ?
2025-05-26 21:44:08 +0000 <monochrom> Suppose xs = [1..n]. length xs alone takes O(1) space. sum xs alone also takes O(1) space.
2025-05-26 21:45:18 +0000 <EvanR> I encoded the parlor puzzle in The Blue Prince in haskell https://paste.tomsmeding.com/PaaqcdI7
2025-05-26 21:45:44 +0000 <euouae> monochrom: why is that not the case when they're together?
2025-05-26 21:46:00 +0000 <euouae> because the optimizer can't figure it out?
2025-05-26 21:46:30 +0000 <tomsmeding> because the code specifies that the list 'xs' should be built only once, so GHC respects that wish
2025-05-26 21:46:33 +0000 <tomsmeding> even if it's the bad thing to do
2025-05-26 21:46:55 +0000 <euouae> how would you specify it twice? by not using the xs binding?
2025-05-26 21:47:04 +0000 <tomsmeding> indeed
2025-05-26 21:47:10 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 21:47:19 +0000 <tomsmeding> or one would explicitly traverse the thing once with a combined fold
2025-05-26 21:47:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 21:47:34 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-26 21:47:47 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-26 21:47:56 +0000 <euouae> interesting!
2025-05-26 21:48:11 +0000 <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 21:49:01 +0000 <tomsmeding> > Data.List.foldl' (\(!tot, !len) x -> (tot + x, len + 1)) (0, 0) [1..10]
2025-05-26 21:49:03 +0000 <lambdabot> (55,10)
2025-05-26 21:49:05 +0000 <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 21:49:17 +0000 <tomsmeding> > uncurry div $ Data.List.foldl' (\(!tot, !len) x -> (tot + x, len + 1)) (0, 0) [1..10]
2025-05-26 21:49:18 +0000 <lambdabot> 5
2025-05-26 21:49:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 21:51:55 +0000 <EvanR> too bad you can't take xs, duplicate the thunk before doing sum copy1 / length copy2
2025-05-26 21:52:08 +0000 <EvanR> in case you were short on memory and flush on cpu power
2025-05-26 21:52:25 +0000 <tomsmeding> that would be "instructions unclear, should I also duplicate the other thunks that this one refers to"
2025-05-26 21:53:01 +0000Square(~Square4@user/square) (Ping timeout: 265 seconds)
2025-05-26 21:53:01 +0000 <EvanR> welcome to C++
2025-05-26 21:53:16 +0000 <tomsmeding> well in C++ this kind of stuff is well-specified
2025-05-26 21:53:17 +0000 <euouae> Does Haskell have a concept of Reference? I'd imagine yes
2025-05-26 21:53:24 +0000 <tomsmeding> IORef?
2025-05-26 21:53:28 +0000 <euouae> so instead you can also work with references, right?
2025-05-26 21:53:34 +0000 <EvanR> you still have to decide whether to duplicate 1 level, 3 levels, all levels, or some weird combination
2025-05-26 21:53:41 +0000 <euouae> oh wait, no. it still would be O(n).... nevermind
2025-05-26 21:53:53 +0000sprotte24(~sprotte24@p200300d16f2ebe0008435e5a759dcfac.dip0.t-ipconnect.de) (Quit: Leaving)
2025-05-26 21:54:01 +0000 <tomsmeding> euouae: oh in that sense, then every lifted value in haskell is a reference
2025-05-26 21:54:12 +0000 <tomsmeding> you probably haven't seen unlifted values
2025-05-26 21:54:13 +0000 <euouae> tomsmeding: right. I guess EvanR wants thunk-level manipulations
2025-05-26 21:54:20 +0000 <tomsmeding> yep
2025-05-26 21:54:37 +0000 <EvanR> if you know the xs is some simple thunk, and duplicating wouldn't be bad, it would be interesting
2025-05-26 21:54:38 +0000 <Rembane> Thunks as first class citizens would be really sweet.
2025-05-26 21:54:40 +0000 <EvanR> but not very abstract
2025-05-26 21:54:57 +0000 <tomsmeding> if xs is [1..10], is xs a simple thunk?
2025-05-26 21:55:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-26 21:55:10 +0000 <EvanR> I have no idea
2025-05-26 21:55:14 +0000 <tomsmeding> me neither
2025-05-26 21:55:24 +0000 <tomsmeding> point being that this is a crappy API :p
2025-05-26 21:55:40 +0000 <EvanR> personal judgement of what a simple thunk is isn't the API
2025-05-26 21:55:51 +0000 <euouae> but you can't mess with thunks using GHC's API
2025-05-26 21:55:52 +0000 <euouae> ?
2025-05-26 21:56:02 +0000 <EvanR> "mess with" ?
2025-05-26 21:56:09 +0000 <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 21:56:30 +0000 <EvanR> yeah it sounds fragile
2025-05-26 21:56:45 +0000 <tomsmeding> EvanR: there is https://ghc.gitlab.haskell.org/ghc-debug/ if you really want to get into the weeds
2025-05-26 21:57:15 +0000 <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 21:57:38 +0000 <tomsmeding> euouae: the append operation on strict bytestrings will reallocate the whole thing every time
2025-05-26 21:57:47 +0000 <euouae> oh ugh really? wow
2025-05-26 21:57:52 +0000 <tomsmeding> it's immutable
2025-05-26 21:57:54 +0000 <tomsmeding> it has no choice
2025-05-26 21:58:04 +0000 <tomsmeding> same goes for (++) on String
2025-05-26 21:58:05 +0000 <euouae> sure like python. I didn't realize
2025-05-26 21:58:33 +0000 <euouae> Another option is to use a list and cons ByteString's. I can "flatten" them using lens
2025-05-26 21:58:40 +0000 <tomsmeding> a Builder only stores the parts and materialise the whole thing in one go at the end
2025-05-26 21:58:43 +0000 <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 21:58:56 +0000 <tomsmeding> that would essentially be using a lazy bytestring
2025-05-26 21:59:02 +0000 <tomsmeding> (Data.ByteString.Lazy)
2025-05-26 21:59:09 +0000 <tomsmeding> that's a tree of strict bytestrings
2025-05-26 21:59:31 +0000 <tomsmeding> and then to optimise that you use a Data.ByteString.Builder, because a lazy bytestring is optimised for larger chunks
2025-05-26 21:59:41 +0000 <EvanR> euouae, you can generate a laz---^
2025-05-26 21:59:47 +0000 <tomsmeding> too slow
2025-05-26 22:00:03 +0000 <euouae> mostly I need to do isPrefixOf to chunk out tokens
2025-05-26 22:00:17 +0000 <tomsmeding> do you need to do so while you're still writing at the end of the stream?
2025-05-26 22:00:30 +0000 <tomsmeding> or can you finalize the stream before you start reading from it?
2025-05-26 22:00:31 +0000 <euouae> The stream is a mix of file inputs and macro expansions
2025-05-26 22:00:35 +0000 <euouae> no I can't finalize it
2025-05-26 22:00:40 +0000 <tomsmeding> then a Builder won't work
2025-05-26 22:00:48 +0000 <euouae> alright, thanks for clarifying that.
2025-05-26 22:00:49 +0000 <EvanR> without some ridiculous hax xD
2025-05-26 22:01:13 +0000 <EvanR> list of IVars containing the rest of the IVars of data
2025-05-26 22:01:39 +0000 <euouae> If I had to do such hacks (not sure exactly what you mean) I'd not bother with Haskell, because I'm trying to simplify the code
2025-05-26 22:02:00 +0000 <EvanR> this hax would make the consumer of the lazy bytestring simpler
2025-05-26 22:02:04 +0000 <tomsmeding> simplest thing here that's not even terrible, might be a lazy bytestring
2025-05-26 22:02:05 +0000 <EvanR> at expect of the producer
2025-05-26 22:02:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 22:02:11 +0000 <EvanR> expense
2025-05-26 22:02:24 +0000 <euouae> What I have is a mix of lazy and strict bytestrings in a list
2025-05-26 22:02:32 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 22:02:35 +0000 <EvanR> lazy bytestring is already a mix of lazy and strict
2025-05-26 22:02:38 +0000 <tomsmeding> appending at the end of a list is O(length of the list)
2025-05-26 22:02:47 +0000 <euouae> Yes but there's more which are strict that I obtain from macroexpansions EvanR
2025-05-26 22:02:58 +0000 <euouae> I only prepend
2025-05-26 22:02:59 +0000 <tomsmeding> lazy bytestring improves on what you have by being a tree instead of a list, so it becomes O(log(length of the list)) instead
2025-05-26 22:02:59 +0000 <EvanR> lazy = list of strict
2025-05-26 22:03:19 +0000 <tomsmeding> euouae: wait I don't get it, I thought you read from the start and write from the end?
2025-05-26 22:03:26 +0000 <tomsmeding> *to the end
2025-05-26 22:03:44 +0000 <tomsmeding> EvanR: no, lazy = tree of strict
2025-05-26 22:04:00 +0000 <EvanR> whether it's a list or a tree, appending to the right side isn't going to be O(log(n))
2025-05-26 22:04:05 +0000 <tomsmeding> lol I'm wrong, it's a list
2025-05-26 22:04:19 +0000 <euouae> I start with a file that I open so let's say one BL (lazy bytesting). I have it like [BL]. Then as I read from the BL, whatever the tokens tell me, like "prepend macroexpansion" or "insert another file here" is what I do
2025-05-26 22:04:43 +0000 <tomsmeding> oh so the stream is more like a stack than a queue?
2025-05-26 22:04:46 +0000 <euouae> yes
2025-05-26 22:04:56 +0000 <EvanR> if you read it in using lazy I/O then that simplifies that too
2025-05-26 22:04:59 +0000 <EvanR> assuming no errors occur
2025-05-26 22:05:00 +0000 <tomsmeding> then plain list of (optionally lazy) bytestrings works perfectly fine
2025-05-26 22:05:05 +0000 <euouae> That's what I'm doing EvanR! :) it's really neat
2025-05-26 22:05:09 +0000 <tomsmeding> a list is a perfectly serviceable stack
2025-05-26 22:05:17 +0000 <euouae> Yup, with lens to flatten it
2025-05-26 22:05:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 22:05:27 +0000 <tomsmeding> what is there to flatten?
2025-05-26 22:05:38 +0000 <euouae> there's multiple bytestrings
2025-05-26 22:05:47 +0000 <tomsmeding> isn't that just using (++) instead of (:)?
2025-05-26 22:05:48 +0000 <euouae> and I need to treat them as a single string
2025-05-26 22:05:57 +0000 <tomsmeding> oh I see
2025-05-26 22:06:02 +0000 <tomsmeding> a single lazy bytestring, I hope
2025-05-26 22:06:08 +0000 <euouae> Yes
2025-05-26 22:06:15 +0000olivial(~benjaminl@user/benjaminl) (Ping timeout: 252 seconds)
2025-05-26 22:06:16 +0000 <tomsmeding> that should work
2025-05-26 22:06:46 +0000 <euouae> What would happen if I used ++? Does it behave nicely with bytestrings? Now you confused me
2025-05-26 22:06:51 +0000olivial(~benjaminl@user/benjaminl) benjaminl
2025-05-26 22:06:54 +0000 <tomsmeding> I was thinking the writes go at the end, so you have some kind of queue, and queues are always inconvenient in haskell
2025-05-26 22:07:06 +0000 <tomsmeding> euouae: no the ++ was for prepending, not for reading
2025-05-26 22:07:28 +0000 <tomsmeding> reading by concatting to a lazy bytestring and then just messing with that should be fine
2025-05-26 22:07:39 +0000 <euouae> what I do right now in my toy example: `fileContents <- traverse BL.readFile args`
2025-05-26 22:07:42 +0000 <tomsmeding> though honestly, you could ditch the list and just have a single lazy bytestring
2025-05-26 22:07:48 +0000 <euouae> so `./foo x y z` will open those three files
2025-05-26 22:07:48 +0000 <tomsmeding> prepending to a lazy bytestring is fast
2025-05-26 22:08:00 +0000m5zs7k(aquares@web10.mydevil.net) m5zs7k
2025-05-26 22:08:11 +0000 <tomsmeding> because a lazy bytestring is itself already a list
2025-05-26 22:08:26 +0000 <euouae> Right, so maybe I don't need lens is what you're making me realize
2025-05-26 22:08:32 +0000 <tomsmeding> yes
2025-05-26 22:08:33 +0000 <euouae> How do I prepend?
2025-05-26 22:08:41 +0000 <tomsmeding> `append`
2025-05-26 22:08:47 +0000 <euouae> Hm... got it
2025-05-26 22:09:02 +0000 <tomsmeding> see Lazy.Bytestring as [Strict.ByteString]
2025-05-26 22:09:12 +0000 <tomsmeding> so append is O(number of chunks in the left argument)
2025-05-26 22:09:41 +0000 <euouae> I don't understand what you mean by "see ..."
2025-05-26 22:09:58 +0000 <tomsmeding> I mean: you should think of a lazy bytestring as a list of strict bytestrings
2025-05-26 22:10:02 +0000 <tomsmeding> because actually, that's what it is
2025-05-26 22:10:39 +0000 <tomsmeding> `append` is almost literally `append xs ys = foldr (:) ys xs`
2025-05-26 22:11:10 +0000 <tomsmeding> the only difference is that it's not a normal list but a strict whose elements are strict, so it's `foldrChunks Chunk ys xs`
2025-05-26 22:11:19 +0000 <tomsmeding> https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/src/Data.ByteString.Lazy.Inte…
2025-05-26 22:12:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 22:12:17 +0000 <EvanR> a strict whose elements are strict?
2025-05-26 22:12:49 +0000 <tomsmeding> https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/src/Data.ByteString.Lazy.Inte…
2025-05-26 22:13:05 +0000 <tomsmeding> the values of the list (the strict bytestrings) are strict; the tail pointer is lazy
2025-05-26 22:13:09 +0000 <tomsmeding> it's just an optimisation
2025-05-26 22:14:09 +0000 <tomsmeding> oh
2025-05-26 22:14:14 +0000 <tomsmeding> a *list whose elements are strict
2025-05-26 22:14:28 +0000 <tomsmeding> it's past midnight here, I should sleep
2025-05-26 22:14:29 +0000AlexNoo(~AlexNoo@178.34.162.255) (Ping timeout: 260 seconds)
2025-05-26 22:14:41 +0000AlexZenon(~alzenon@178.34.162.255) (Ping timeout: 272 seconds)
2025-05-26 22:14:41 +0000 <EvanR> need an english compiler
2025-05-26 22:14:47 +0000AlexNoo(~AlexNoo@178.34.162.255)
2025-05-26 22:15:06 +0000tomsmeding. o O ( LLM )
2025-05-26 22:15:23 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 22:15:30 +0000 <euouae> one last question
2025-05-26 22:15:37 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-26 22:15:48 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 22:16:17 +0000 <euouae> I do `fileContents <- traverse BL.readFile args` like I said. If I change it to appending lazy bytestrings, does that mean I will have all those file descriptors open at the same time?
2025-05-26 22:16:29 +0000 <euouae> because I think this line only opens files as necessary
2025-05-26 22:17:08 +0000 <tomsmeding> BL.readFile will immediately open the file, and read from the thing lazily
2025-05-26 22:17:17 +0000 <euouae> but I'm not sure what `mconcat (map BL.readFile args)` would do
2025-05-26 22:17:18 +0000 <tomsmeding> so the code you currently have already opens everything immediately
2025-05-26 22:17:38 +0000 <euouae> Oh really? Can't that be delayed until the thunk is evaluated?
2025-05-26 22:17:40 +0000AlexNoo_(~AlexNoo@178.34.162.255)
2025-05-26 22:17:41 +0000 <tomsmeding> whether you concat those things into a big lazy bytestring does not change this
2025-05-26 22:17:54 +0000 <tomsmeding> well, whether it can or not, it isn't
2025-05-26 22:18:01 +0000 <tomsmeding> https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/src/Data.ByteString.Lazy.html…
2025-05-26 22:18:11 +0000 <euouae> fair enough. is there a way I can protect the thunk?
2025-05-26 22:18:14 +0000 <tomsmeding> where hGetContents does lazy IO
2025-05-26 22:18:20 +0000 <EvanR> the readFile IO action "completes" immediately, moving on to the next one
2025-05-26 22:18:41 +0000 <tomsmeding> `let fileContents = map (unsafeInterleaveIO . BL.readFile) args` :p
2025-05-26 22:18:56 +0000 <euouae> I don't get what you're pointing at in that source code of readFile
2025-05-26 22:19:01 +0000 <tomsmeding> and hope that the stars align and no undefined behaviour occurs
2025-05-26 22:19:18 +0000 <tomsmeding> euouae: what you can see from the source is that `readFile f` will immediately execute `openBinaryFile`
2025-05-26 22:19:18 +0000 <euouae> I thought all code is lazy by default, why would openBinaryFile be immediately evaluated if I haven't yet read from that file?
2025-05-26 22:19:24 +0000 <tomsmeding> because it's an IO action
2025-05-26 22:19:28 +0000 <EvanR> if you want to do something between opening all the files you'd have to say so
2025-05-26 22:19:32 +0000 <tomsmeding> IO actions happen in the order they are written
2025-05-26 22:19:36 +0000AlexNoo(~AlexNoo@178.34.162.255) (Ping timeout: 265 seconds)
2025-05-26 22:19:43 +0000 <euouae> ah yeah. that makes sense.
2025-05-26 22:19:44 +0000 <euouae> thank you
2025-05-26 22:19:51 +0000 <tomsmeding> % do putStrLn "hi" ; putStrLn "bye"
2025-05-26 22:19:51 +0000 <yahb2> hi ; bye
2025-05-26 22:20:01 +0000 <tomsmeding> I'm not using the () from those putStrLns, but they still get executed
2025-05-26 22:20:11 +0000 <euouae> right I get it
2025-05-26 22:20:21 +0000 <euouae> It's hard to reason about these things
2025-05-26 22:20:23 +0000 <tomsmeding> the lazy IO done by hGetContents is black magic using unsafeInterleaveIO
2025-05-26 22:20:44 +0000 <tomsmeding> (if you click through twice to hGetContentsN you can see the unsafeInterleaveIO)
2025-05-26 22:21:10 +0000 <tomsmeding> lazy IO is hard to reason about
2025-05-26 22:21:11 +0000 <euouae> thank you, I appreciate it.
2025-05-26 22:21:22 +0000 <tomsmeding> it's why people generally discourage it :p
2025-05-26 22:21:30 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 22:21:34 +0000 <tomsmeding> lazy IO also makes it very hard to handle errors while reading the file
2025-05-26 22:21:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 22:22:00 +0000 <EvanR> there was a folklore belief that "unsafeInterleaveIO isn't actually unsafe", still not sure what that was about
2025-05-26 22:22:15 +0000 <tomsmeding> it's worse than unsafePerformIO, right?
2025-05-26 22:22:27 +0000 <tomsmeding> how can it suddenly be not-unsafe then
2025-05-26 22:22:29 +0000 <EvanR> it's supposed to be not worse
2025-05-26 22:22:55 +0000 <tomsmeding> maybe it's not worse from a "risking segfaults" point of view
2025-05-26 22:23:00 +0000 <EvanR> unsafePerformIO is bad and unsafeCoerce is the worst
2025-05-26 22:23:05 +0000 <tomsmeding> there are other very real reasons why it's worse
2025-05-26 22:23:16 +0000 <tomsmeding> the standard argument against lazy IO is one such
2025-05-26 22:23:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 22:23:30 +0000 <EvanR> unsafeInterleaveIO is a special case of unsafePerformIO
2025-05-26 22:23:32 +0000 <tomsmeding> at least with unsafePerformIO, the IO happens all at once
2025-05-26 22:23:39 +0000 <EvanR> you could do the same thing with unsafePerformIO
2025-05-26 22:23:42 +0000 <tomsmeding> with unsafeInterleaveIO, the IO will happen... at some point
2025-05-26 22:23:43 +0000 <EvanR> no?
2025-05-26 22:23:51 +0000 <EvanR> unsafePerformIO happens whenever
2025-05-26 22:23:58 +0000 <tomsmeding> it happens when the thunk is demanded
2025-05-26 22:24:05 +0000 <tomsmeding> all of it happens when the thunk is demanded
2025-05-26 22:24:08 +0000 <EvanR> same as unsafeInterleaveIO
2025-05-26 22:24:10 +0000AlexZenon(~alzenon@178.34.162.255)
2025-05-26 22:24:27 +0000 <EvanR> the IO action happens
2025-05-26 22:24:32 +0000 <EvanR> not sure what part of it means
2025-05-26 22:24:48 +0000 <EvanR> the difference is unsafeInterleaveIO has to be initiated in IO
2025-05-26 22:24:49 +0000 <tomsmeding> oh
2025-05-26 22:25:13 +0000 <tomsmeding> okay good points, I don't know
2025-05-26 22:25:28 +0000 <tomsmeding> I had the types in my mind incorrectly
2025-05-26 22:25:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 22:25:52 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 22:25:54 +0000tomsmedingnow wonders what the difference is between `unsafeInterleaveIO m` and `pure (unsafePerformIO m)`
2025-05-26 22:26:14 +0000 <tomsmeding> it's not implemented like that, so there's probably a difference
2025-05-26 22:26:18 +0000 <EvanR> that's getting into the weeds now
2025-05-26 22:26:48 +0000 <tomsmeding> it's relevant to the "which is more unsafe" question though
2025-05-26 22:26:56 +0000 <tomsmeding> but it's too late for me to think about this
2025-05-26 22:27:08 +0000 <tomsmeding> I shall go sleep
2025-05-26 22:27:19 +0000 <probie> You can use `unsafeCoerce` safely
2025-05-26 22:27:36 +0000 <tomsmeding> it is indeed possible
2025-05-26 22:27:37 +0000 <EvanR> if you have IKnowWhatImDoing, then it nullifies the unsafe xD
2025-05-26 22:27:42 +0000 <EvanR> which begs the question
2025-05-26 22:28:13 +0000 <probie> safeUnsafeCoerce :: Coercible a b => a -> b; safeUnsafeCoerce = unsafeCoerce
2025-05-26 22:28:28 +0000 <EvanR> :t coerce
2025-05-26 22:28:28 +0000 <lambdabot> error:
2025-05-26 22:28:29 +0000 <lambdabot> • Variable not in scope: coerce
2025-05-26 22:28:29 +0000 <lambdabot> • Perhaps you meant ‘coerced’ (imported from Control.Lens)
2025-05-26 22:28:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 22:28:37 +0000 <probie> if you can safely use `coerce` on it, you can safely use `unsafeCoerce` on it :p
2025-05-26 22:30:07 +0000 <probie> IKnowWhatImDoing could suddenly become IDontKnowWhatImDoing between compiler versions
2025-05-26 22:31:52 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-26 22:32:18 +0000 <EvanR> yeah it is definitely not a concrete datatype with an expression
2025-05-26 22:32:40 +0000 <EvanR> at best it's an invisible proof
2025-05-26 22:33:09 +0000 <EvanR> the assumptions exit slowly over time
2025-05-26 22:33:50 +0000 <probie> which is why I wish there were levels of "unsafe"-ness. e.g. `Data.Vector.unsafeIndex` is a very different beast than `unsafePerformIO` or `unsafeCoerce`
2025-05-26 22:34:55 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-05-26 22:34:55 +0000ljdarj1ljdarj
2025-05-26 22:37:28 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 22:37:49 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 22:39:00 +0000 <EvanR> ok unsafeInterleaveIO can be construed as an action which spawns a thread, delays an indeterminate time, then performs the IO and writes the result to an IVar, which is what the original action returned. And "coincidentally" the time delay corresponds to how long it took to look at the value
2025-05-26 22:39:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 22:39:20 +0000 <EvanR> which is safer than unsafePerformIO?
2025-05-26 22:40:20 +0000 <EvanR> sometimes I get it mixed up with readFile, which has some questionable behavior with errors, but that's not unsafeInterleaveIO's fault
2025-05-26 22:42:41 +0000 <euouae> what is the questionable behavior
2025-05-26 22:44:20 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-26 22:44:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-26 22:44:55 +0000 <EvanR> an IO error will be discarded and the list just ends
2025-05-26 22:45:34 +0000 <euouae> It doesn't throw?
2025-05-26 22:45:39 +0000 <EvanR> not in that case
2025-05-26 22:45:55 +0000 <euouae> okay, thank you. I guess I have to manually do it? what functions do I use?
2025-05-26 22:46:02 +0000 <EvanR> like I said imagine the action happening in some thread somewhere
2025-05-26 22:46:17 +0000 <EvanR> throwing an error in your thread consuming the list would be weird
2025-05-26 22:46:27 +0000 <EvanR> IOError in pure code
2025-05-26 22:46:47 +0000 <euouae> I didn't think of that
2025-05-26 22:46:58 +0000 <euouae> Perhaps I should use rio? I guess I always have it in the back of my head
2025-05-26 22:47:14 +0000 <EvanR> I'm not sure, what are you asking
2025-05-26 22:47:21 +0000 <EvanR> how to handle I/O errors?
2025-05-26 22:47:32 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-05-26 22:47:45 +0000 <euouae> I want to control errors because I need to give proper error messages
2025-05-26 22:47:53 +0000 <euouae> I can't use an API that sneakily hides them
2025-05-26 22:48:04 +0000 <EvanR> stream processing libraries let you react to errors while incrementally reading the file
2025-05-26 22:48:10 +0000 <euouae> like conduit?
2025-05-26 22:48:19 +0000 <EvanR> like conduit
2025-05-26 22:48:26 +0000 <euouae> will they also let me use a single large bytestring?
2025-05-26 22:48:32 +0000 <euouae> a large lazy bytestirng
2025-05-26 22:49:01 +0000 <EvanR> the way you're using the bytstring, I don't think so, it would replace the role of the lazy bytestring for this purpose
2025-05-26 22:49:15 +0000volsand(~volsand@2804:1b1:1080:3f49:dff2:9a47:8661:7944) (Até logo)
2025-05-26 22:49:37 +0000 <EvanR> it would be a big jump in complexity so make sure it's worth it
2025-05-26 22:50:25 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 22:50:33 +0000tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-26 22:50:43 +0000 <euouae> readFile ends up in IO String. What do you mean that it can't throw IOError there?
2025-05-26 22:50:49 +0000 <euouae> (or IO ByteString etc
2025-05-26 22:52:22 +0000 <int-e> you can't report errors before they happen and readFile reads the file contents on demand
2025-05-26 22:52:51 +0000 <euouae> oh yeah right
2025-05-26 22:53:04 +0000 <euouae> I keep forgetting
2025-05-26 22:53:26 +0000 <EvanR> readFile completes immediately
2025-05-26 22:53:38 +0000 <EvanR> an I/O error might happen later
2025-05-26 22:54:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 22:55:37 +0000tolgo(~Thunderbi@199.115.144.130)
2025-05-26 22:56:29 +0000Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-05-26 22:57:04 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-26 22:57:47 +0000 <euouae> unless I was told all these things I don't think I'd be thinking them on my own ;P well anyway I might look into conduit after I write it with readFile to begin with
2025-05-26 23:00:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-26 23:01:11 +0000AlexNoo_AlexNoo
2025-05-26 23:04:02 +0000 <euouae> thanks again
2025-05-26 23:04:03 +0000euouae(~euouae@user/euouae) ()
2025-05-26 23:07:34 +0000tv(~tv@user/tv) (Ping timeout: 260 seconds)
2025-05-26 23:10:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 23:11:35 +0000simon1(~simon@209-15-185-101.resi.cgocable.ca)
2025-05-26 23:11:49 +0000preflex_(~preflex@user/mauke/bot/preflex) preflex
2025-05-26 23:15:29 +0000preflex(~preflex@user/mauke/bot/preflex) (Ping timeout: 248 seconds)
2025-05-26 23:15:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-26 23:15:43 +0000preflex_preflex
2025-05-26 23:17:57 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-26 23:19:13 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-26 23:22:07 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-26 23:26:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 23:28:46 +0000j1n37(~j1n37@user/j1n37) j1n37
2025-05-26 23:28:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 23:29:09 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 23:30:49 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-26 23:31:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-26 23:35:44 +0000tolgo(~Thunderbi@199.115.144.130) (Ping timeout: 252 seconds)
2025-05-26 23:35:45 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-26 23:36:10 +0000tolgo(~Thunderbi@199.115.144.130)
2025-05-26 23:36:30 +0000tolgo(~Thunderbi@199.115.144.130) (Client Quit)
2025-05-26 23:42:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 23:47:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-26 23:49:47 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-26 23:50:11 +0000sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-26 23:58:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-26 23:58:25 +0000j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-26 23:59:45 +0000simon1(~simon@209-15-185-101.resi.cgocable.ca) (Ping timeout: 248 seconds)