| 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... :) |
| 2025-05-19 21:51:29 +0200 | <EvanR> | I think this pretty printer is getting out of hand https://paste.tomsmeding.com/hIfTs3ER |
| 2025-05-19 21:53:01 +0200 | <EvanR> | might be useful evidence against english programming language syntax |
| 2025-05-19 21:53:06 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-19 21:54:06 +0200 | <haskellbridge> | <sm> fun |
| 2025-05-19 21:54:08 +0200 | <EvanR> | https://paste.tomsmeding.com/S7t6uthh |
| 2025-05-19 21:54:23 +0200 | <EvanR> | nice let chaining |
| 2025-05-19 21:54:24 +0200 | <haskellbridge> | <sm> connect Inform7 to haskell EvanR |
| 2025-05-19 21:54:58 +0200 | sprotte24 | (~sprotte24@p200300d16f1ab1008c4214da28d341cc.dip0.t-ipconnect.de) |
| 2025-05-19 21:54:58 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-05-19 21:56:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 21:56:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 21:59:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-19 22:00:37 +0200 | <haskellbridge> | <sm> they agree, same max heap. Also productivity is only 29%, so room for improvement |
| 2025-05-19 22:01:13 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-19 22:01:30 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-05-19 22:01:31 +0200 | <haskellbridge> | <sm> bwe maybe there's some other similar libraries you can compare |
| 2025-05-19 22:01:45 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-19 22:02:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 22:02:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 22:03:31 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-19 22:03:43 +0200 | <haskellbridge> | <sm> like tagsoup (older, but more used) |
| 2025-05-19 22:05:46 +0200 | <haskellbridge> | <sm> or pandoc even |
| 2025-05-19 22:07:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 22:10:43 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-19 22:12:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-19 22:12:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-19 22:15:54 +0200 | <tomsmeding> | EvanR: https://en.wikipedia.org/wiki/AppleScript |
| 2025-05-19 22:16:54 +0200 | <haskellbridge> | <sm> I see that thread replies from matrix don't show any reference on the IRC side. How about this regular reply |
| 2025-05-19 22:17:07 +0200 | <sm> | nope. Good to know |
| 2025-05-19 22:17:38 +0200 | tomsmeding | swears replies on the matrix side were represented on this side _somehow_ at some point |
| 2025-05-19 22:17:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 22:17:58 +0200 | <sm> | yes I bet you're right. The old matrix.org bridge maybe ? |
| 2025-05-19 22:18:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 22:18:08 +0200 | <tomsmeding> | I think in the haskellbridge era |
| 2025-05-19 22:18:21 +0200 | <sm> | geekosaur has gone through a few versions I guess |
| 2025-05-19 22:18:21 +0200 | <tomsmeding> | but it may have been people manually quoting the thing they reply to |
| 2025-05-19 22:18:30 +0200 | <tomsmeding> | true |
| 2025-05-19 22:20:00 +0200 | <sm> | well bwe let us know when you try more things. Obviously this benchmark is unacceptable :) |
| 2025-05-19 22:22:30 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-19 22:22:41 +0200 | <sm> | I mean, the rust/haskell disparity. The benchmark is great, at checking max heap at least |
| 2025-05-19 22:23:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 22:23:32 +0200 | <sm> | more of this would be good |
| 2025-05-19 22:23:47 +0200 | img | (~img@user/img) img |
| 2025-05-19 22:28:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-19 22:28:51 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-19 22:30:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 22:31:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 22:32:25 +0200 | jespada | (~jespada@r186-49-242-255.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-19 22:33:27 +0200 | euleritian | (~euleritia@95.90.209.168) (Ping timeout: 252 seconds) |
| 2025-05-19 22:34:41 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) |
| 2025-05-19 22:35:58 +0200 | jespada | (~jespada@r186-49-242-255.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-19 22:38:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 22:39:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 22:45:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 22:46:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 22:49:09 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 245 seconds) |
| 2025-05-19 22:50:19 +0200 | end | (~end@user/end/x-0094621) (Ping timeout: 272 seconds) |
| 2025-05-19 22:50:35 +0200 | sus0 | (zero@user/zeromomentum) (Ping timeout: 268 seconds) |
| 2025-05-19 22:51:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 22:52:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 22:54:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 22:55:49 +0200 | <EvanR> | tell application "Microsoft Word" to quit |
| 2025-05-19 22:56:18 +0200 | <EvanR> | never thought of this grammatical construction as involving "an infinitive" |
| 2025-05-19 22:56:49 +0200 | <EvanR> | re: AppleScript |
| 2025-05-19 22:58:00 +0200 | <c_wraith> | If you want to get super pedantic, it doesn't. English doesn't have infinitives the way latin does. |
| 2025-05-19 22:58:23 +0200 | <EvanR> | Also, the word "the" can legally be used anywhere in the script in order to enhance readability: it has no effect on the functionality of the script. |
| 2025-05-19 22:58:35 +0200 | <EvanR> | I wonder if that would help in haskell xD |
| 2025-05-19 22:58:51 +0200 | <c_wraith> | > do do do do do () |
| 2025-05-19 22:58:52 +0200 | <lambdabot> | () |
| 2025-05-19 22:58:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 22:59:12 +0200 | <EvanR> | > do 2 + 2 |
| 2025-05-19 22:59:13 +0200 | <lambdabot> | 4 |
| 2025-05-19 22:59:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 22:59:21 +0200 | <EvanR> | do theMario |
| 2025-05-19 23:00:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-19 23:01:37 +0200 | <sm> | you remind me of https://codewithrockstar.com |
| 2025-05-19 23:05:44 +0200 | <EvanR> | nobody ever wrote a power ballad about customerTaxPayable |
| 2025-05-19 23:05:50 +0200 | <EvanR> | *until now* |
| 2025-05-19 23:05:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 23:06:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 23:07:22 +0200 | <sm> | it was hard to find examples, so here's one: https://github.com/messcheg/advent-of-code/blob/main/AdventOfCode2015/Day07/Day07.rock |
| 2025-05-19 23:08:30 +0200 | <EvanR> | holy crap |
| 2025-05-19 23:10:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 23:14:23 +0200 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2025-05-19 23:14:48 +0200 | <sm> | and now I can't not share an Inform7 thing too. https://github.com/I7-Examples/Zork/blob/main/Zork.inform/Source/story.ni (spoilers!) |
| 2025-05-19 23:15:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-19 23:17:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-19 23:17:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-05-19 23:18:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 23:18:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 23:18:49 +0200 | <EvanR> | A thing can be non-flaming or flaming. A thing is usually non-flaming. A thing can be non-inflammable or inflammable. A thing is usually non-inflammable. |
| 2025-05-19 23:19:39 +0200 | <sm> | ah, better view: https://i7-dungeon.sourceforge.net/source.html |
| 2025-05-19 23:21:57 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-19 23:22:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 23:24:56 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-05-19 23:25:23 +0200 | <EvanR> | this sort of declarative language is something chatGPT comes up with if asked for game scripts |
| 2025-05-19 23:25:38 +0200 | <EvanR> | am kind of surprised at some of the constructions it suggests |
| 2025-05-19 23:26:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 23:28:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 23:28:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 23:29:32 +0200 | end | (~end@user/end/x-0094621) end^ |
| 2025-05-19 23:30:06 +0200 | <monochrom> | the = id |
| 2025-05-19 23:30:43 +0200 | <monochrom> | Now you can write "a = the b + the (sin x)" |
| 2025-05-19 23:31:08 +0200 | <monochrom> | Oh also of = id. Now you can write "the (sin `of` x)" too. >:) |
| 2025-05-19 23:32:02 +0200 | <monochrom> | Hey "the sin `of` x" also works! |
| 2025-05-19 23:32:39 +0200 | <monochrom> | I'm going to put that on the exam! |
| 2025-05-19 23:33:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-19 23:36:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 23:36:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 23:38:05 +0200 | <EvanR> | nice touch |
| 2025-05-19 23:41:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-19 23:44:01 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-19 23:44:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 23:44:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-19 23:44:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 23:48:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-19 23:48:42 +0200 | sprotte24 | (~sprotte24@p200300d16f1ab1008c4214da28d341cc.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-19 23:49:00 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 260 seconds) |
| 2025-05-19 23:49:35 +0200 | end | (~end@user/end/x-0094621) (Ping timeout: 260 seconds) |
| 2025-05-19 23:50:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-19 23:51:32 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-19 23:52:17 +0200 | <geekosaur> | re replies: the old EMS bridge and I think matterbridge quoted part of the replied-to message, heisenbridge (current one) only mentions the nick |
| 2025-05-19 23:52:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 23:52:38 +0200 | <ncf> | now make it so that only grammatically well-formed phrases are well-typed |
| 2025-05-19 23:52:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 23:53:41 +0200 | <geekosaur> | you do know what that implies for English, right? |
| 2025-05-19 23:53:44 +0200 | <geekosaur> | 😛 |
| 2025-05-19 23:54:59 +0200 | <ncf> | i'm not sure |
| 2025-05-19 23:55:25 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-05-19 23:58:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-19 23:58:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-19 23:58:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-19 23:58:54 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 265 seconds) |
| 2025-05-19 23:59:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |