| 2025-05-19 00:00:05 +0200 | <EvanR> | sounds like it |
| 2025-05-19 00:00:56 +0200 | <EvanR> | dumb as nail step 0 sanity check: write some lazy code in ghci which you know should be fast and not use much live memory, and make sure your tools confirm it |
| 2025-05-19 00:01:28 +0200 | <bwe> | Shouldn't the profiler help me finding the space leak? |
| 2025-05-19 00:01:42 +0200 | <EvanR> | so at least you are working with two extremes with two different characters |
| 2025-05-19 00:01:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 00:01:56 +0200 | <EvanR> | dumb efficient code and real space leaking code |
| 2025-05-19 00:02:04 +0200 | <EvanR> | and can tell the difference |
| 2025-05-19 00:02:05 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-19 00:02:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 00:02:18 +0200 | <EvanR> | if you already know all this then ignore me |
| 2025-05-19 00:02:56 +0200 | <EvanR> | personally I've only been able to use profiling to notice a speak leak and not solve any |
| 2025-05-19 00:03:02 +0200 | <EvanR> | space* |
| 2025-05-19 00:04:08 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) loonycyborg |
| 2025-05-19 00:04:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-05-19 00:04:09 +0200 | ljdarj1 | ljdarj |
| 2025-05-19 00:09:23 +0200 | <bwe> | EvanR: I don't. - How do you solve a space leak? |
| 2025-05-19 00:09:49 +0200 | <darkling> | Meteor patches. :) |
| 2025-05-19 00:12:08 +0200 | <EvanR> | step 0, make sure it's a space leak by looking at a profile and judging that the problem shouldn't be amassing so much live memory |
| 2025-05-19 00:12:34 +0200 | <EvanR> | the result might be, it's not actually a space leak and your problem is just that bad |
| 2025-05-19 00:13:55 +0200 | <EvanR> | otherwise step 1, figure out your main driver of evaluation. Like printing out lines of outputs, writing to IORef, storing to a database. These can be quite late in the game so |
| 2025-05-19 00:14:24 +0200 | <EvanR> | step 2, trace backward to see if you can evaluate something sooner using bang patterns, strict record fields, "primed utilities" |
| 2025-05-19 00:15:27 +0200 | <EvanR> | or the evaluate :: a -> IO a thing from Control.Exceptions, which obviously only works in IO |
| 2025-05-19 00:17:33 +0200 | <EvanR> | iterating step 2 might not fix it, but it ideally does |
| 2025-05-19 00:18:53 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-19 00:20:04 +0200 | <EvanR> | (note storing to IORef or MVar doesn't automatically evaluate anything, but there are primed utilities for that) |
| 2025-05-19 00:25:37 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-19 00:26:21 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 276 seconds) |
| 2025-05-19 00:29:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> at the point of a type error, is it possible to introspect the state of the constraints stack? |
| 2025-05-19 00:30:26 +0200 | <bwe> | Then, what does cause the space leak in the first place? A (temporary) value that is only kept longer in memory after its initial use because another use has not completed yet. |
| 2025-05-19 00:31:24 +0200 | <EvanR> | it's usually a thunk that is holding a bunch of data, and you thought it was evaluated already, letting all that data go |
| 2025-05-19 00:31:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 00:31:51 +0200 | <EvanR> | the solution is to make sure it gets evaluated at the time you wanted |
| 2025-05-19 00:32:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 00:32:06 +0200 | <int-e> | In Haskell a common source of space leaks is so-called thunks, an implementation detail of lazy evaluation. Basically, rather than storing a value, the heap contains an object describing how to compute the value, and pointers to all the required ingredients. Which can also be thunks, so this can build up to a sizeable amount of memory. |
| 2025-05-19 00:32:42 +0200 | <bwe> | ... and I do that with the prime variants of functions, bang pattern etc. |
| 2025-05-19 00:33:17 +0200 | <EvanR> | if necessary yeah, the reasons for it being necessary are the deviled details, but those are the tools to control the when and what |
| 2025-05-19 00:33:54 +0200 | <EvanR> | for a simple example of details |
| 2025-05-19 00:34:03 +0200 | <EvanR> | consider let x = f a b c in y |
| 2025-05-19 00:34:34 +0200 | <EvanR> | if you evaluate y and the value of x is not used any time soon, then f, a, b, and c are all waiting around |
| 2025-05-19 00:34:52 +0200 | <bwe> | (consuming memory) |
| 2025-05-19 00:34:54 +0200 | <EvanR> | (if x is not used at all then it should be collected) |
| 2025-05-19 00:35:19 +0200 | <EvanR> | solution let !x = f a b c in y |
| 2025-05-19 00:35:42 +0200 | <EvanR> | which is the same as let x = f a b c in x `seq` y |
| 2025-05-19 00:36:00 +0200 | <bwe> | evaluate x (so you can let go of f, a, b, c in memory) |
| 2025-05-19 00:36:13 +0200 | <EvanR> | yes as long as f a b and c aren't also needed for something |
| 2025-05-19 00:36:25 +0200 | <bwe> | what if? |
| 2025-05-19 00:36:37 +0200 | <bwe> | evaluate that thing, too? |
| 2025-05-19 00:37:22 +0200 | <EvanR> | there's no one size fits all solution, even this example may actually benefit from leaving the bang off |
| 2025-05-19 00:37:33 +0200 | <EvanR> | f, a, b, and c may take up less memory than the result |
| 2025-05-19 00:37:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 00:37:59 +0200 | <EvanR> | programs can grow or shrink as they are "reduced" |
| 2025-05-19 00:38:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 00:41:31 +0200 | <EvanR> | this is why you usually don't see anyone recommending put ! on every binding |
| 2025-05-19 00:42:19 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-05-19 00:44:10 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-05-19 00:45:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 00:45:44 +0200 | va10323 | (~v324@2802:8010:a026:e900:f93f:d782:dc7c:aeed) |
| 2025-05-19 00:45:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 00:51:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 00:51:16 +0200 | <bwe> | Does the ghci interactive debugger show the thunks (currently kept in memory) / showing the currently allocated memory? ... I still wonder how to pinpoint the location of the space leaks in my code. |
| 2025-05-19 00:51:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 00:54:09 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-19 00:54:13 +0200 | <bwe> | Thanks for your inputs, anyways. It gives how I approach things now a different spin: Being aware of where yet to be evaluated stuff occupies memory because it hasn't been used in the second, third place yet. |
| 2025-05-19 00:54:28 +0200 | <bwe> | (and solving by enforcing the evaluation) |
| 2025-05-19 00:56:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 00:57:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 01:01:21 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-19 01:03:59 +0200 | <EvanR> | ghci can show thunks I think, not sure what the flag is |
| 2025-05-19 01:05:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 01:05:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 01:12:50 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-19 01:14:30 +0200 | <geekosaur> | use :print or :sprint instead of just typing the expression |
| 2025-05-19 01:14:54 +0200 | <geekosaur> | most useful at breakpoints, since for top level stuff it'll just show _|_ |
| 2025-05-19 01:15:34 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-19 01:16:39 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-19 01:19:08 +0200 | <haskellbridge> | <sm> bwe some related resources, possibly helpful: https://academy.fpblock.com/haskell/tutorial/all-about-strictness , https://github.com/haskell-perf/checklist , https://haskell.foundation/hs-opt-handbook.github.io |
| 2025-05-19 01:19:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 01:19:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 01:21:56 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-05-19 01:25:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 01:25:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 01:28:50 +0200 | sprotte24 | (~sprotte24@p200300d16f0fc00010c55f6c38487736.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-19 01:32:24 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-19 01:37:04 +0200 | craunts7 | (~craunts@136.158.8.87) |
| 2025-05-19 01:37:21 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-19 01:37:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 01:37:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 01:37:56 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f033d258f2e8b70eea4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-05-19 01:45:23 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-19 01:48:28 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 01:48:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-19 01:52:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-19 01:53:03 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm is it possible to introspect the state of "TcM" (the type checker monad) at the point of a particular type error? |
| 2025-05-19 01:53:12 +0200 | <haskellbridge> | <thirdofmay18081814goya> e.g. query its stateful values |
| 2025-05-19 01:53:26 +0200 | <haskellbridge> | <thirdofmay18081814goya> can it get dumped anywhere? |
| 2025-05-19 01:54:28 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-19 01:56:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-19 01:58:16 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-19 01:59:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-19 02:01:30 +0200 | va10323 | (~v324@2802:8010:a026:e900:f93f:d782:dc7c:aeed) (Remote host closed the connection) |
| 2025-05-19 02:01:31 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-19 02:03:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 02:03:54 +0200 | jespada | (~jespada@r186-48-57-38.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 2025-05-19 02:07:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 02:07:45 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 2025-05-19 02:07:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 02:12:07 +0200 | XZDX | (~xzdx@2607:fb90:8d8a:12c:214:51ff:fe83:9855) |
| 2025-05-19 02:14:11 +0200 | XZDX | (~xzdx@2607:fb90:8d8a:12c:214:51ff:fe83:9855) (Changing host) |
| 2025-05-19 02:14:11 +0200 | XZDX | (~xzdx@user/XZDX) XZDX |
| 2025-05-19 02:20:45 +0200 | <geekosaur> | seems like a #GHC:matrix.org question |
| 2025-05-19 02:23:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 02:24:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 02:30:27 +0200 | <haskellbridge> | <thirdofmay18081814goya> ooo i'll ask there, ty! |
| 2025-05-19 02:32:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-19 02:32:42 +0200 | <EvanR> | folks we've been lied to this whole time |
| 2025-05-19 02:33:27 +0200 | <EvanR> | the "garbage collector" doesn't actually identify and collect garbage. It identifies and collects non-garbage! |
| 2025-05-19 02:34:18 +0200 | <EvanR> | treasure collector |
| 2025-05-19 02:34:20 +0200 | <int-e> | It's the Sherlock Holmes approach to garbage collection. |
| 2025-05-19 02:35:50 +0200 | <int-e> | (once you've identified all reachable objects, whatever remains must, by definition, be garbage) |
| 2025-05-19 02:36:06 +0200 | <int-e> | Mark & sweep operates that way too. But reference counting does not. |
| 2025-05-19 02:36:28 +0200 | <monochrom> | haha I mistakenly wrote {-# language GHC2010 #-}. (Brain conflating Haskell2010 with GHC2021.) |
| 2025-05-19 02:36:38 +0200 | <int-e> | (Mark & sweep is just less efficient about going through the garbage while discarding it.) |
| 2025-05-19 02:37:08 +0200 | <EvanR> | the sweep in mark and sweep is actively sweeping away garbage |
| 2025-05-19 02:37:13 +0200 | <monochrom> | s/garbage collector/scavenger/ |
| 2025-05-19 02:37:30 +0200 | <EvanR> | while moving collector is actively saving good stuff from destruction |
| 2025-05-19 02:37:31 +0200 | <monochrom> | "Haskell is an easter-egg scavenger language!" |
| 2025-05-19 02:38:05 +0200 | <int-e> | quick, evacuate, before the arena is reset |
| 2025-05-19 02:38:05 +0200 | <EvanR> | oh yeah reference counting |
| 2025-05-19 02:38:25 +0200 | <monochrom> | rescuer. evacuator. emergency responder. Red Cross/Cresent. |
| 2025-05-19 02:38:33 +0200 | <EvanR> | in godot it is said that reference counting "is not garbage collection, we don't have a garbage collector" |
| 2025-05-19 02:39:01 +0200 | <EvanR> | so the scope of garbage collector is incredibly shrinking as people strive to undefine things |
| 2025-05-19 02:39:04 +0200 | <int-e> | monochrom: GHC's RTS uses "scavenge" and "evacuate" as verbs internally |
| 2025-05-19 02:39:06 +0200 | <monochrom> | I am not that strict. Reference counting counts, too. |
| 2025-05-19 02:40:13 +0200 | <int-e> | monochrom: and I assumed that you said "scavenger" alluding to that |
| 2025-05-19 02:40:45 +0200 | <monochrom> | OK one more pun. People are still going to block BlockArguments when the time comes for GHC2030. |
| 2025-05-19 02:41:09 +0200 | <EvanR> | they better have a good argument |
| 2025-05-19 02:42:04 +0200 | <EvanR> | unless they decision has already been made and BlockArgument arguments will themselves be blocked |
| 2025-05-19 02:42:20 +0200 | <monochrom> | :) |
| 2025-05-19 02:44:01 +0200 | <EvanR> | I'm writing a pretty printer and like, the logic to decide when and what the newline and then how much to indent doesn't seem related to the subject matter of the thing being pretty printed |
| 2025-05-19 02:44:15 +0200 | <EvanR> | is there a thing to map to where pretty printing has been solved |
| 2025-05-19 02:44:21 +0200 | <EvanR> | the pretty printable |
| 2025-05-19 02:44:32 +0200 | <EvanR> | to newline* |
| 2025-05-19 02:44:49 +0200 | <EvanR> | non standard gerunds don't mix well with typos |
| 2025-05-19 02:49:17 +0200 | <monochrom> | Yes it is solved. A pretty-printing library provides two things and you use both: 1. You tell the render function how wide (how many columns). 2. You use an operator that means "can break line here if necessary; if not, just a space". |
| 2025-05-19 02:49:19 +0200 | <haskellbridge> | <sm> I don't know if it's ever entirely solved, but pretty-simple or pretty-show might have ideas ? |
| 2025-05-19 02:51:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 02:52:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 02:55:44 +0200 | <monochrom> | The Hughes and SPJ paper should have how to implement it. |
| 2025-05-19 02:57:46 +0200 | <EvanR> | monochrom, what theory is all this |
| 2025-05-19 02:57:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 02:58:15 +0200 | <EvanR> | is there a paper |
| 2025-05-19 02:58:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 02:58:33 +0200 | <monochrom> | Yes, that paper. |
| 2025-05-19 02:58:55 +0200 | <monochrom> | "The Design of a Pretty-printing Library" |
| 2025-05-19 02:59:19 +0200 | <monochrom> | the haddock of Text.PrettyPrint.HughesPJ has a link. |
| 2025-05-19 02:59:36 +0200 | <EvanR> | uhg John Hughes |
| 2025-05-19 02:59:41 +0200 | <EvanR> | can't stand those movies |
| 2025-05-19 03:01:10 +0200 | <monochrom> | Wait does he sometimes call himself Edmond Dantes? |
| 2025-05-19 03:03:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 03:03:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 03:07:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-19 03:08:27 +0200 | <EvanR> | had to look that one up! |
| 2025-05-19 03:09:44 +0200 | <monochrom> | Yeah I was looking at imdb.com and it says "(as Edmond Dantes)" for Beethoven movies. |
| 2025-05-19 03:10:29 +0200 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-19 03:18:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 03:18:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 03:18:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 03:24:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 03:24:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 03:29:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 03:30:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 03:32:21 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-19 03:36:07 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-19 03:37:24 +0200 | img | (~img@user/img) img |
| 2025-05-19 03:38:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 03:38:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 03:45:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 03:46:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 03:53:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 03:54:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 04:00:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 04:00:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 04:06:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 04:06:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 04:07:21 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 2025-05-19 04:13:41 +0200 | td_ | (~td@i5387091A.versanet.de) (Ping timeout: 248 seconds) |
| 2025-05-19 04:18:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 04:18:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 04:23:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-19 04:24:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 04:24:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 04:28:09 +0200 | Square2 | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-05-19 04:30:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 04:30:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 04:32:04 +0200 | XZDX | (~xzdx@user/XZDX) (Remote host closed the connection) |
| 2025-05-19 04:34:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 04:36:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 04:36:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 04:42:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 04:42:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 04:45:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-19 05:03:41 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-19 05:03:59 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-05-19 05:10:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 05:10:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 05:19:26 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-19 05:26:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-19 05:26:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 05:32:16 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2025-05-19 05:32:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 05:33:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 05:33:46 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-19 05:40:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-19 05:40:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 05:40:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 05:46:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 05:47:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 05:48:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-19 05:50:32 +0200 | JuanDaugherty | ColinRobinson |
| 2025-05-19 05:53:38 +0200 | pentirin | (~noelle@user/caligrapher) caligrapher |
| 2025-05-19 05:58:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 05:59:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 05:59:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-19 06:02:22 +0200 | Frostillicus | (~Frostilli@71.174.119.69) |
| 2025-05-19 06:06:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 06:07:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 06:07:20 +0200 | Frostillicus | (~Frostilli@71.174.119.69) (Ping timeout: 260 seconds) |
| 2025-05-19 06:13:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 06:13:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 06:17:24 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 06:18:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-19 06:20:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 06:20:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 06:22:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 06:22:48 +0200 | jbalint | (~jbalint@syn-071-090-119-177.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-05-19 06:23:46 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-19 06:24:50 +0200 | jbalint | (~jbalint@syn-071-090-119-177.res.spectrum.com) |
| 2025-05-19 06:26:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 06:27:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 06:34:48 +0200 | michalz | (~michalz@185.246.207.222) |
| 2025-05-19 06:35:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 06:35:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 06:41:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-19 06:42:59 +0200 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) |
| 2025-05-19 06:45:19 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-05-19 06:45:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Client Quit) |
| 2025-05-19 06:46:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 06:47:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 06:51:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-19 06:55:26 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-19 06:56:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-05-19 06:56:49 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-19 06:58:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 06:58:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-19 06:58:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 07:01:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-19 07:08:10 +0200 | mange | (~user@user/mange) mange |
| 2025-05-19 07:12:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 07:17:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 07:17:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 07:17:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-19 07:19:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-19 07:23:11 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-19 07:30:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-19 07:30:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 07:31:01 +0200 | euleritian | (~euleritia@77.23.248.100) (Ping timeout: 248 seconds) |
| 2025-05-19 07:31:10 +0200 | euleritian | (~euleritia@dynamic-176-006-140-114.176.6.pool.telefonica.de) |
| 2025-05-19 07:35:57 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 07:36:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-19 07:37:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 07:38:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 07:40:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-05-19 07:47:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 07:47:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 07:53:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 07:53:36 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb1 - https://znc.in) |
| 2025-05-19 07:53:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 07:53:46 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
| 2025-05-19 08:03:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 08:03:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 08:04:07 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-05-19 08:04:24 +0200 | pentirin | (~noelle@user/caligrapher) (Ping timeout: 260 seconds) |
| 2025-05-19 08:04:40 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-05-19 08:08:23 +0200 | monochrom | (trebla@216.138.220.146) |
| 2025-05-19 08:10:26 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2025-05-19 08:11:15 +0200 | euleritian | (~euleritia@dynamic-176-006-140-114.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-19 08:11:16 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-19 08:11:34 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-19 08:13:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 08:13:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 08:18:49 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-05-19 08:19:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 08:19:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 08:20:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-19 08:20:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) |
| 2025-05-19 08:21:38 +0200 | euleritian | (~euleritia@dynamic-176-006-140-114.176.6.pool.telefonica.de) |
| 2025-05-19 08:22:44 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-05-19 08:26:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 08:26:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 08:32:42 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-19 08:32:47 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2025-05-19 08:35:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-19 08:39:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 08:39:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 08:44:12 +0200 | craunts7 | (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-19 08:45:15 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 08:45:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 08:45:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 08:45:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 08:46:22 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-05-19 08:48:38 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-05-19 08:49:02 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-05-19 08:51:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-19 08:51:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 08:51:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 08:52:54 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-19 08:54:47 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-19 08:57:25 +0200 | <bwe> | Is System.Mem.getAllocationCounter the function that I want if I want to output the currently allocated memory from within a couple of places in my application (to track down space leaks), similarly to Debug.Trace.trace? |
| 2025-05-19 08:59:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 08:59:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 09:00:05 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-19 09:00:46 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-19 09:01:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 09:03:32 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-19 09:06:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-19 09:07:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 09:07:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 09:08:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-19 09:08:45 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-05-19 09:09:14 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2025-05-19 09:10:59 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-05-19 09:11:27 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-19 09:14:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 09:15:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 09:15:26 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f475558ed43197b6fbb.dip0.t-ipconnect.de) acidjnk |
| 2025-05-19 09:16:52 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-19 09:17:49 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-19 09:23:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 09:24:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 09:32:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 09:32:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 09:33:09 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-19 09:33:21 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 09:34:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-19 09:39:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-19 09:43:00 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-05-19 09:46:31 +0200 | euleritian | (~euleritia@dynamic-176-006-140-114.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-19 09:46:49 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-19 09:48:34 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-19 09:50:59 +0200 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-05-19 09:51:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 09:51:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 09:59:29 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-19 10:00:52 +0200 | hellwolf | (~user@01f7-65aa-cc2f-39a8-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 276 seconds) |
| 2025-05-19 10:00:59 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-05-19 10:03:22 +0200 | hellwolf | (~user@7d52-7131-0650-0283-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-05-19 10:04:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 10:04:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 10:10:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 10:10:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 10:20:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 10:20:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 10:28:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 10:28:19 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-05-19 10:28:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 10:34:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 10:35:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 10:39:10 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-19 10:41:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) |
| 2025-05-19 10:41:54 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-05-19 10:43:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 10:43:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 10:43:43 +0200 | <lortabac> | is there a library (other than 'scientific') to work with integers and floats as a single data type? |
| 2025-05-19 10:44:31 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-05-19 10:45:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-19 10:50:12 +0200 | <haskellbridge> | <zungi (it/its)> lortabac: Are you basically wanting a beefier Either Integer Float? |
| 2025-05-19 10:50:20 +0200 | <lortabac> | yes |
| 2025-05-19 10:50:46 +0200 | <tomsmeding> | lortabac: Data.Fixed in base? |
| 2025-05-19 10:50:50 +0200 | <lortabac> | I want to represent Prolog numbers |
| 2025-05-19 10:51:01 +0200 | <tomsmeding> | not quite what you're asking for though |
| 2025-05-19 10:52:15 +0200 | <tomsmeding> | if you want particular semantics for numbers then I guess you should implement that semantics yourself |
| 2025-05-19 10:52:27 +0200 | <tomsmeding> | a random haskell package is unlikely to precisely reflect prolog semantics for numbers |
| 2025-05-19 10:53:00 +0200 | <lortabac> | fair point |
| 2025-05-19 10:53:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 10:53:50 +0200 | <lortabac> | I mean, that's certainly what I'll do in the long term |
| 2025-05-19 10:54:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 10:54:13 +0200 | <lortabac> | I just hoped there was something ready to build a quick prototype |
| 2025-05-19 10:54:39 +0200 | <haskellbridge> | <zungi (it/its)> So long as you know what you want, this project might be pretty fast. |
| 2025-05-19 10:55:30 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-19 10:56:43 +0200 | <lortabac> | yes I guess I'll just implement it directly with the right semantics |
| 2025-05-19 10:57:46 +0200 | <jackdk> | Can your prototype be `Either Double Integer` or a newtype thereof? |
| 2025-05-19 10:59:10 +0200 | <lortabac> | I need to think |
| 2025-05-19 10:59:47 +0200 | <lortabac> | the (relatively) hard part is how to parse the numbers correctly |
| 2025-05-19 11:01:02 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-19 11:01:06 +0200 | <lortabac> | another option would be to have integers and doubles as separate types in the Haskell representation |
| 2025-05-19 11:01:24 +0200 | <lortabac> | since SWI Prolog represents them as separate types internally anyway |
| 2025-05-19 11:01:46 +0200 | <lortabac> | (I'm writing FFI bindings to SWI Prolog) |
| 2025-05-19 11:03:17 +0200 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-19 11:04:06 +0200 | <lortabac> | so if I use a single Number type I have to parse the numbers as the Prolog parser would, and then set them as integer or double when calling Prolog |
| 2025-05-19 11:04:18 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-19 11:04:55 +0200 | <tomsmeding> | that sounds like one builds bindings that map integers and floats separately, with an optional layer on top that unifies them |
| 2025-05-19 11:05:31 +0200 | <jackdk> | Something else that often comes up with FFI work: you might find it valuable to distinguish between low-level bindings and ergonomic bindings. Example: package `lua` vs. the `hslua-*` family of libraries. |
| 2025-05-19 11:06:13 +0200 | <tomsmeding> | (that's what I was thinking of, also OpenGLRaw vs OpenGL) |
| 2025-05-19 11:06:33 +0200 | <lortabac> | yes I already have the low-level bindings |
| 2025-05-19 11:06:48 +0200 | <lortabac> | now I'm thinking of how to represent Prolog terms at a higher level |
| 2025-05-19 11:06:59 +0200 | <lortabac> | whether it makes sense to have a single number type |
| 2025-05-19 11:07:14 +0200 | <tomsmeding> | do you want the user to program prolog in haskell, or do you want them to communicate with a prolog program in a haskell fashion? |
| 2025-05-19 11:07:39 +0200 | <lortabac> | I have a slight preference for the latter |
| 2025-05-19 11:07:49 +0200 | <jackdk> | I can't find the SWI Prolog FFI docs in five seconds of web searching, but I'd look at closely matching whatever the runtime uses so e.g. `Storable` instances are easy to write and then maybe look at pattern synonyms or something as a way to make it behave like a numeric ADT with a couple of constructors. It depends on how you plan to use this stuff too - try sketching programs against an ideal FFI and see how hard that would be to implement. |
| 2025-05-19 11:07:52 +0200 | <tomsmeding> | that sounds like separate number types, then |
| 2025-05-19 11:08:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 11:08:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 11:09:36 +0200 | <lortabac> | thinking loudly... ultimately what counts is being able to use Prolog features in Haskell, not being faithful to the Prolog surface language |
| 2025-05-19 11:09:54 +0200 | <lortabac> | so it makes sense to have a more Haskell-y high-level API |
| 2025-05-19 11:14:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 11:14:35 +0200 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Quit: Asta la vista) |
| 2025-05-19 11:14:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 11:15:50 +0200 | <jackdk> | low-level bindings + haskelly high-level interface is a tried-and-true pattern, even if you have to perform Dark Arts to get there: https://www.youtube.com/watch?v=JIqXJhfzyas (feat. `reallyUnsafePtrEquality#`) |
| 2025-05-19 11:17:03 +0200 | Vajb | (~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi) |
| 2025-05-19 11:18:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-19 11:20:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 11:21:43 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-19 11:23:39 +0200 | euleritian | (~euleritia@77.23.248.100) (Read error: Connection reset by peer) |
| 2025-05-19 11:23:51 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-19 11:27:29 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 245 seconds) |
| 2025-05-19 11:28:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 11:28:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 11:33:25 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2025-05-19 11:36:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 11:37:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 11:42:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 11:42:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 11:43:04 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-19 11:48:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 11:49:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 11:49:15 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 11:50:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-19 11:55:56 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-19 11:58:52 +0200 | p3n | (~p3n@217.198.124.246) p3n |
| 2025-05-19 12:00:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 12:00:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 12:02:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-19 12:04:09 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-19 12:04:20 +0200 | <lortabac> | thanks jackdk I'll watch that video |
| 2025-05-19 12:04:36 +0200 | euleritian | (~euleritia@dynamic-176-006-140-114.176.6.pool.telefonica.de) |
| 2025-05-19 12:06:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 12:07:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 12:10:13 +0200 | euleritian | (~euleritia@dynamic-176-006-140-114.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-19 12:10:32 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-19 12:17:06 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-05-19 12:18:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 12:18:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 12:22:39 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-05-19 12:24:32 +0200 | craunts7 | (~craunts@136.158.8.87) |
| 2025-05-19 12:24:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
| 2025-05-19 12:26:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-19 12:28:53 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-05-19 12:30:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 12:31:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 12:31:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-19 12:34:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-19 12:35:17 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-19 12:38:40 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-05-19 12:44:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-19 12:44:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 12:45:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 12:45:36 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-19 12:46:50 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) |
| 2025-05-19 12:52:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 12:53:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 13:01:57 +0200 | jespada | (~jespada@r186-48-63-215.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-19 13:05:24 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-05-19 13:07:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 13:07:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 13:09:31 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-19 13:13:57 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-05-19 13:16:12 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-19 13:17:42 +0200 | Digit | (~user@user/digit) (Ping timeout: 268 seconds) |
| 2025-05-19 13:20:29 +0200 | Digitteknohippie | Digit |
| 2025-05-19 13:22:16 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-19 13:22:29 +0200 | <bwe> | tomsmeding, [exa], EvanR: Haskell uses 87x times the peak memory and takes 2x the time compared to Rust in (simple) scraping the h2 tag on amazon.com: https://github.com/benjaminweb/scraper-experiment |
| 2025-05-19 13:25:14 +0200 | <bwe> | (html file is ≈ 0.7 MB, Haskell allocates 261 MB memory, Rust 3 MB memory) |
| 2025-05-19 13:25:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 13:25:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 13:28:54 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-19 13:37:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 13:37:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 13:40:25 +0200 | haritz | (~hrtz@152.37.68.178) |
| 2025-05-19 13:40:25 +0200 | haritz | (~hrtz@152.37.68.178) (Changing host) |
| 2025-05-19 13:40:25 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-05-19 13:42:31 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 276 seconds) |
| 2025-05-19 13:45:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 13:45:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 13:48:10 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-19 13:48:36 +0200 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2025-05-19 13:51:37 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-19 13:54:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-19 13:55:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 13:55:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 13:55:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 13:55:50 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-19 14:05:11 +0200 | Hecate | (~mariposa@user/hecate) (Quit: Lost terminal) |
| 2025-05-19 14:05:32 +0200 | Hecate | (~mariposa@user/hecate) Hecate |
| 2025-05-19 14:13:42 +0200 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 240 seconds) |
| 2025-05-19 14:15:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 14:15:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 14:17:13 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-19 14:17:46 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-19 14:21:49 +0200 | jespada | (~jespada@r186-48-63-215.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-19 14:25:25 +0200 | Square | (~Square4@user/square) Square |
| 2025-05-19 14:25:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 14:26:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 14:29:12 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-19 14:31:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 14:32:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 14:40:05 +0200 | jespada | (~jespada@r186-48-63-215.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-19 14:46:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 14:47:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 14:54:06 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2025-05-19 14:54:46 +0200 | jespada | (~jespada@r186-48-63-215.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-19 14:57:45 +0200 | jespada | (~jespada@r186-49-242-255.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-19 15:02:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) |
| 2025-05-19 15:03:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 15:03:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 15:12:46 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-19 15:18:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 15:19:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 15:20:19 +0200 | <EvanR> | bwe, yeah I'm not surprised |
| 2025-05-19 15:20:29 +0200 | <EvanR> | haskell uses memory |
| 2025-05-19 15:20:42 +0200 | <EvanR> | this is why it's unlikely to work on a microcontroller |
| 2025-05-19 15:20:55 +0200 | <EvanR> | (as is) |
| 2025-05-19 15:22:08 +0200 | <EvanR> | however if you can frame the problem correctly (streaming) then you can get peak memory down pretty low |
| 2025-05-19 15:22:19 +0200 | <EvanR> | much less than 250 MB ime |
| 2025-05-19 15:23:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-19 15:25:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 15:25:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 15:27:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) |
| 2025-05-19 15:28:45 +0200 | AlexNoo_ | (~AlexNoo@178.34.162.255) |
| 2025-05-19 15:29:32 +0200 | <EvanR> | sometimes easier said than done. It's easy to write some code which "ruins" the streaming (necessarily or not) and it starts accumulating chonks of data |
| 2025-05-19 15:29:35 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2025-05-19 15:29:48 +0200 | <EvanR> | at least the program still works |
| 2025-05-19 15:31:33 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 248 seconds) |
| 2025-05-19 15:31:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 15:31:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 15:32:04 +0200 | AlexNoo | (~AlexNoo@178.34.162.25) (Ping timeout: 245 seconds) |
| 2025-05-19 15:34:47 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-05-19 15:35:05 +0200 | AlexNoo_ | AlexNoo |
| 2025-05-19 15:36:37 +0200 | AlexZenon | (~alzenon@178.34.162.255) |
| 2025-05-19 15:38:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 15:39:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 15:41:46 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) |
| 2025-05-19 15:42:13 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Quit: fp) |
| 2025-05-19 15:45:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 15:45:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 15:51:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 15:52:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 15:59:32 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-19 16:01:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 16:02:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 16:09:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 16:10:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 16:15:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 16:16:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 16:17:24 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-19 16:19:20 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-19 16:22:47 +0200 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-05-19 16:23:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-19 16:24:05 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-19 16:24:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 16:26:39 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-05-19 16:36:41 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-19 16:39:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-19 16:40:15 +0200 | <EvanR> | I like how if all you want to do is use a proper Semigroup, it forces you into the NonEmpty world because sconcat :: Semigroup a => NonEmpty a -> a |
| 2025-05-19 16:40:31 +0200 | <EvanR> | no more fooling around |
| 2025-05-19 16:40:53 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
| 2025-05-19 16:41:51 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-19 16:42:09 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-19 16:42:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 16:42:47 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-05-19 16:42:48 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 264 seconds) |
| 2025-05-19 16:42:48 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-19 16:42:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 16:43:09 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-19 16:43:41 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-19 16:45:52 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-05-19 16:48:48 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-05-19 16:51:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 16:52:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 16:55:39 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-19 16:58:11 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-19 16:58:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) |
| 2025-05-19 17:00:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 17:00:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 17:00:45 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-05-19 17:03:18 +0200 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 240 seconds) |
| 2025-05-19 17:06:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-19 17:06:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-19 17:17:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-19 17:19:25 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-19 17:20:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 17:20:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 17:36:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 17:36:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 17:40:33 +0200 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Ping timeout: 248 seconds) |
| 2025-05-19 17:42:01 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-19 17:45:57 +0200 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-05-19 17:46:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 17:46:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 17:50:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-19 17:51:22 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-19 17:51:46 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-19 17:52:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 17:52:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 17:52:35 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f475558ed43197b6fbb.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-05-19 17:56:00 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-19 17:56:50 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) |
| 2025-05-19 17:58:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 17:58:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 17:59:09 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-05-19 17:59:49 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-19 18:00:08 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-19 18:02:01 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-05-19 18:07:51 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 272 seconds) |
| 2025-05-19 18:09:27 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-19 18:10:11 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-19 18:10:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 18:10:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 18:11:40 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-19 18:12:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) |
| 2025-05-19 18:13:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-19 18:13:48 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-19 18:13:56 +0200 | dontdieych2_ | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-19 18:14:56 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 268 seconds) |
| 2025-05-19 18:17:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 18:17:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 18:18:49 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 18:19:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-05-19 18:19:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-05-19 18:20:08 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-19 18:20:43 +0200 | dontdieych2_ | (~quassel@user/dontdieych2) (Ping timeout: 276 seconds) |
| 2025-05-19 18:22:47 +0200 | <EvanR> | how to avoid writing the pretty printer, write this first https://paste.tomsmeding.com/PCP0DeIf |
| 2025-05-19 18:23:49 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-19 18:23:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 18:24:54 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-19 18:25:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 18:25:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 18:26:39 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-05-19 18:26:51 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-05-19 18:27:37 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) |
| 2025-05-19 18:32:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 18:32:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 18:37:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 18:38:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 18:43:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 18:44:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 18:44:20 +0200 | <Leary> | EvanR: Shouldn't `Blank -> []`? Then `Doc` can be a `Monoid` too, assuming you make it opaque. |
| 2025-05-19 18:45:28 +0200 | <Leary> | As is, it's redundant with `Line ""`. |
| 2025-05-19 18:47:58 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-05-19 18:48:51 +0200 | <EvanR> | you're right it's redundant |
| 2025-05-19 18:49:20 +0200 | <EvanR> | I have no use for an empty Doc though |
| 2025-05-19 18:51:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 18:52:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 18:54:55 +0200 | jespada | (~jespada@r186-49-242-255.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-19 18:56:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 18:57:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 18:57:02 +0200 | jespada | (~jespada@r186-49-242-255.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-19 18:58:35 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-19 19:02:51 +0200 | glguy | (glguy@libera/staff/glguy) (Quit: Quit) |
| 2025-05-19 19:03:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 19:04:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 19:04:48 +0200 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-05-19 19:08:22 +0200 | <EvanR> | Blank removed by popular demand |
| 2025-05-19 19:08:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 19:09:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 19:10:30 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-05-19 19:10:31 +0200 | | https://www.reddit.com/r/haskell | Admin: #haskell-ops | Offtopic: #haskell-offtopic | https://downloads.haskell.org | https://play.haskell.org/ | Paste code/errors: https://paste.tomsmeding.com | Logs: https://ircbrowse.tomsmeding.com/browse/lchaskell |
| 2025-05-19 19:11:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-19 19:14:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 19:15:05 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-19 19:15:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 19:15:43 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f475558ed43197b6fbb.dip0.t-ipconnect.de) acidjnk |
| 2025-05-19 19:17:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-19 19:21:00 +0200 | Square | (~Square4@user/square) Square |
| 2025-05-19 19:21:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 19:22:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 19:22:44 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-19 19:25:12 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) |
| 2025-05-19 19:27:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-05-19 19:28:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-19 19:30:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 19:30:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-19 19:31:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 19:33:10 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-19 19:33:31 +0200 | <monochrom> | I want Monoid and emptiness. :( |
| 2025-05-19 19:34:46 +0200 | <monochrom> | Your doc is non-empty so maybe it's half-empty half-full. :) |
| 2025-05-19 19:37:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 19:37:31 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 19:37:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 19:38:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-19 19:39:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-19 19:44:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 19:45:08 +0200 | <hellwolf> | you can fmap it, so that you don't need to care what's inside |
| 2025-05-19 19:45:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 19:49:33 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-05-19 19:49:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 19:50:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 19:55:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-19 19:56:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 19:57:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 19:59:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-19 20:00:13 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-19 20:04:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-19 20:04:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 20:05:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 20:06:35 +0200 | Digitteknohippie | Digit |
| 2025-05-19 20:10:58 +0200 | krei-se | (~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-19 20:11:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-19 20:12:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-19 20:12:24 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-05-19 20:13:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 20:13:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 20:18:51 +0200 | krei-se | (~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) krei-se |
| 2025-05-19 20:20:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 20:21:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 20:21:46 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-19 20:22:07 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-05-19 20:26:02 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-19 20:30:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 20:31:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 20:34:53 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-19 20:35:11 +0200 | euleritian | (~euleritia@ip5f5ad1a8.dynamic.kabel-deutschland.de) |
| 2025-05-19 20:36:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 20:37:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 20:39:25 +0200 | euleritian | (~euleritia@ip5f5ad1a8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-19 20:40:15 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) |
| 2025-05-19 20:41:52 +0200 | krei-se | (~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-19 20:41:53 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-19 20:43:33 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2025-05-19 20:44:07 +0200 | euleritian | (~euleritia@95.90.209.168) |
| 2025-05-19 20:45:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 20:46:05 +0200 | krei-se | (~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) krei-se |
| 2025-05-19 20:46:45 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-19 20:46:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 20:47:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 20:53:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 20:53:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 21:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-19 21:00:05 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-05-19 21:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-19 21:01:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 21:01:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 21:03:27 +0200 | jespada | (~jespada@r186-49-242-255.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-19 21:04:16 +0200 | <[exa]> | bwe: tbh you should be doing a full GC before the benchmark around here https://github.com/benjaminweb/scraper-experiment/blob/main/haskell-scraper/app/Main.hs#L15 |
| 2025-05-19 21:05:06 +0200 | <[exa]> | bwe: also you're not benchmarking the actual scraping because that only happens at the pPrint (!), there's nothing that would force the `res` earlier. |
| 2025-05-19 21:08:48 +0200 | <haskellbridge> | <sm> compare also what gnu time or +RTS -s report |
| 2025-05-19 21:11:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-19 21:11:43 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-05-19 21:11:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 21:12:02 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-19 21:14:46 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-19 21:18:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 21:18:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 21:20:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) |
| 2025-05-19 21:25:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 21:25:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 21:26:11 +0200 | Digit | (~user@user/digit) Digit |
| 2025-05-19 21:27:03 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-05-19 21:31:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 21:31:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 21:33:13 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 21:33:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-19 21:36:30 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-05-19 21:36:55 +0200 | jespada | (~jespada@r186-49-242-255.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-19 21:38:20 +0200 | <tomsmeding> | benchmarking is hard |
| 2025-05-19 21:39:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 21:39:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 21:43:44 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2025-05-19 21:46:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-19 21:46:19 +0200 | <haskellbridge> | <sm> eg tex tried to solve it |
| 2025-05-19 21:46:27 +0200 | <haskellbridge> | <sm> oops, mispaste |
| 2025-05-19 21:46:39 +0200 | <haskellbridge> | <sm> agreed tomsmeding |
| 2025-05-19 21:48:51 +0200 | <tomsmeding> | tex did not try to solve benchmarking ;) |
| 2025-05-19 21:49:27 +0200 | <haskellbridge> | <sm> are we sure... :) |