2025/05/27

2025-05-27 00:00:03 +0200 <euouae> mostly I need to do isPrefixOf to chunk out tokens
2025-05-27 00:00:17 +0200 <tomsmeding> do you need to do so while you're still writing at the end of the stream?
2025-05-27 00:00:30 +0200 <tomsmeding> or can you finalize the stream before you start reading from it?
2025-05-27 00:00:31 +0200 <euouae> The stream is a mix of file inputs and macro expansions
2025-05-27 00:00:35 +0200 <euouae> no I can't finalize it
2025-05-27 00:00:40 +0200 <tomsmeding> then a Builder won't work
2025-05-27 00:00:48 +0200 <euouae> alright, thanks for clarifying that.
2025-05-27 00:00:49 +0200 <EvanR> without some ridiculous hax xD
2025-05-27 00:01:13 +0200 <EvanR> list of IVars containing the rest of the IVars of data
2025-05-27 00:01:39 +0200 <euouae> If I had to do such hacks (not sure exactly what you mean) I'd not bother with Haskell, because I'm trying to simplify the code
2025-05-27 00:02:00 +0200 <EvanR> this hax would make the consumer of the lazy bytestring simpler
2025-05-27 00:02:04 +0200 <tomsmeding> simplest thing here that's not even terrible, might be a lazy bytestring
2025-05-27 00:02:05 +0200 <EvanR> at expect of the producer
2025-05-27 00:02:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 00:02:11 +0200 <EvanR> expense
2025-05-27 00:02:24 +0200 <euouae> What I have is a mix of lazy and strict bytestrings in a list
2025-05-27 00:02:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 00:02:35 +0200 <EvanR> lazy bytestring is already a mix of lazy and strict
2025-05-27 00:02:38 +0200 <tomsmeding> appending at the end of a list is O(length of the list)
2025-05-27 00:02:47 +0200 <euouae> Yes but there's more which are strict that I obtain from macroexpansions EvanR
2025-05-27 00:02:58 +0200 <euouae> I only prepend
2025-05-27 00:02:59 +0200 <tomsmeding> lazy bytestring improves on what you have by being a tree instead of a list, so it becomes O(log(length of the list)) instead
2025-05-27 00:02:59 +0200 <EvanR> lazy = list of strict
2025-05-27 00:03:19 +0200 <tomsmeding> euouae: wait I don't get it, I thought you read from the start and write from the end?
2025-05-27 00:03:26 +0200 <tomsmeding> *to the end
2025-05-27 00:03:44 +0200 <tomsmeding> EvanR: no, lazy = tree of strict
2025-05-27 00:04:00 +0200 <EvanR> whether it's a list or a tree, appending to the right side isn't going to be O(log(n))
2025-05-27 00:04:05 +0200 <tomsmeding> lol I'm wrong, it's a list
2025-05-27 00:04:19 +0200 <euouae> I start with a file that I open so let's say one BL (lazy bytesting). I have it like [BL]. Then as I read from the BL, whatever the tokens tell me, like "prepend macroexpansion" or "insert another file here" is what I do
2025-05-27 00:04:43 +0200 <tomsmeding> oh so the stream is more like a stack than a queue?
2025-05-27 00:04:46 +0200 <euouae> yes
2025-05-27 00:04:56 +0200 <EvanR> if you read it in using lazy I/O then that simplifies that too
2025-05-27 00:04:59 +0200 <EvanR> assuming no errors occur
2025-05-27 00:05:00 +0200 <tomsmeding> then plain list of (optionally lazy) bytestrings works perfectly fine
2025-05-27 00:05:05 +0200 <euouae> That's what I'm doing EvanR! :) it's really neat
2025-05-27 00:05:09 +0200 <tomsmeding> a list is a perfectly serviceable stack
2025-05-27 00:05:17 +0200 <euouae> Yup, with lens to flatten it
2025-05-27 00:05:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 00:05:27 +0200 <tomsmeding> what is there to flatten?
2025-05-27 00:05:38 +0200 <euouae> there's multiple bytestrings
2025-05-27 00:05:47 +0200 <tomsmeding> isn't that just using (++) instead of (:)?
2025-05-27 00:05:48 +0200 <euouae> and I need to treat them as a single string
2025-05-27 00:05:57 +0200 <tomsmeding> oh I see
2025-05-27 00:06:02 +0200 <tomsmeding> a single lazy bytestring, I hope
2025-05-27 00:06:08 +0200 <euouae> Yes
2025-05-27 00:06:15 +0200olivial(~benjaminl@user/benjaminl) (Ping timeout: 252 seconds)
2025-05-27 00:06:16 +0200 <tomsmeding> that should work
2025-05-27 00:06:46 +0200 <euouae> What would happen if I used ++? Does it behave nicely with bytestrings? Now you confused me
2025-05-27 00:06:51 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-05-27 00:06:54 +0200 <tomsmeding> I was thinking the writes go at the end, so you have some kind of queue, and queues are always inconvenient in haskell
2025-05-27 00:07:06 +0200 <tomsmeding> euouae: no the ++ was for prepending, not for reading
2025-05-27 00:07:28 +0200 <tomsmeding> reading by concatting to a lazy bytestring and then just messing with that should be fine
2025-05-27 00:07:39 +0200 <euouae> what I do right now in my toy example: `fileContents <- traverse BL.readFile args`
2025-05-27 00:07:42 +0200 <tomsmeding> though honestly, you could ditch the list and just have a single lazy bytestring
2025-05-27 00:07:48 +0200 <euouae> so `./foo x y z` will open those three files
2025-05-27 00:07:48 +0200 <tomsmeding> prepending to a lazy bytestring is fast
2025-05-27 00:08:00 +0200m5zs7k(aquares@web10.mydevil.net) m5zs7k
2025-05-27 00:08:11 +0200 <tomsmeding> because a lazy bytestring is itself already a list
2025-05-27 00:08:26 +0200 <euouae> Right, so maybe I don't need lens is what you're making me realize
2025-05-27 00:08:32 +0200 <tomsmeding> yes
2025-05-27 00:08:33 +0200 <euouae> How do I prepend?
2025-05-27 00:08:41 +0200 <tomsmeding> `append`
2025-05-27 00:08:47 +0200 <euouae> Hm... got it
2025-05-27 00:09:02 +0200 <tomsmeding> see Lazy.Bytestring as [Strict.ByteString]
2025-05-27 00:09:12 +0200 <tomsmeding> so append is O(number of chunks in the left argument)
2025-05-27 00:09:41 +0200 <euouae> I don't understand what you mean by "see ..."
2025-05-27 00:09:58 +0200 <tomsmeding> I mean: you should think of a lazy bytestring as a list of strict bytestrings
2025-05-27 00:10:02 +0200 <tomsmeding> because actually, that's what it is
2025-05-27 00:10:39 +0200 <tomsmeding> `append` is almost literally `append xs ys = foldr (:) ys xs`
2025-05-27 00:11:10 +0200 <tomsmeding> the only difference is that it's not a normal list but a strict whose elements are strict, so it's `foldrChunks Chunk ys xs`
2025-05-27 00:11:19 +0200 <tomsmeding> https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/src/Data.ByteString.Lazy.Inte…
2025-05-27 00:12:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-27 00:12:17 +0200 <EvanR> a strict whose elements are strict?
2025-05-27 00:12:49 +0200 <tomsmeding> https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/src/Data.ByteString.Lazy.Inte…
2025-05-27 00:13:05 +0200 <tomsmeding> the values of the list (the strict bytestrings) are strict; the tail pointer is lazy
2025-05-27 00:13:09 +0200 <tomsmeding> it's just an optimisation
2025-05-27 00:14:09 +0200 <tomsmeding> oh
2025-05-27 00:14:14 +0200 <tomsmeding> a *list whose elements are strict
2025-05-27 00:14:28 +0200 <tomsmeding> it's past midnight here, I should sleep
2025-05-27 00:14:29 +0200AlexNoo(~AlexNoo@178.34.162.255) (Ping timeout: 260 seconds)
2025-05-27 00:14:41 +0200AlexZenon(~alzenon@178.34.162.255) (Ping timeout: 272 seconds)
2025-05-27 00:14:41 +0200 <EvanR> need an english compiler
2025-05-27 00:14:47 +0200AlexNoo(~AlexNoo@178.34.162.255)
2025-05-27 00:15:06 +0200tomsmeding. o O ( LLM )
2025-05-27 00:15:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 00:15:30 +0200 <euouae> one last question
2025-05-27 00:15:37 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-27 00:15:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 00:16:17 +0200 <euouae> I do `fileContents <- traverse BL.readFile args` like I said. If I change it to appending lazy bytestrings, does that mean I will have all those file descriptors open at the same time?
2025-05-27 00:16:29 +0200 <euouae> because I think this line only opens files as necessary
2025-05-27 00:17:08 +0200 <tomsmeding> BL.readFile will immediately open the file, and read from the thing lazily
2025-05-27 00:17:17 +0200 <euouae> but I'm not sure what `mconcat (map BL.readFile args)` would do
2025-05-27 00:17:18 +0200 <tomsmeding> so the code you currently have already opens everything immediately
2025-05-27 00:17:38 +0200 <euouae> Oh really? Can't that be delayed until the thunk is evaluated?
2025-05-27 00:17:40 +0200AlexNoo_(~AlexNoo@178.34.162.255)
2025-05-27 00:17:41 +0200 <tomsmeding> whether you concat those things into a big lazy bytestring does not change this
2025-05-27 00:17:54 +0200 <tomsmeding> well, whether it can or not, it isn't
2025-05-27 00:18:01 +0200 <tomsmeding> https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/src/Data.ByteString.Lazy.html…
2025-05-27 00:18:11 +0200 <euouae> fair enough. is there a way I can protect the thunk?
2025-05-27 00:18:14 +0200 <tomsmeding> where hGetContents does lazy IO
2025-05-27 00:18:20 +0200 <EvanR> the readFile IO action "completes" immediately, moving on to the next one
2025-05-27 00:18:41 +0200 <tomsmeding> `let fileContents = map (unsafeInterleaveIO . BL.readFile) args` :p
2025-05-27 00:18:56 +0200 <euouae> I don't get what you're pointing at in that source code of readFile
2025-05-27 00:19:01 +0200 <tomsmeding> and hope that the stars align and no undefined behaviour occurs
2025-05-27 00:19:18 +0200 <tomsmeding> euouae: what you can see from the source is that `readFile f` will immediately execute `openBinaryFile`
2025-05-27 00:19:18 +0200 <euouae> I thought all code is lazy by default, why would openBinaryFile be immediately evaluated if I haven't yet read from that file?
2025-05-27 00:19:24 +0200 <tomsmeding> because it's an IO action
2025-05-27 00:19:28 +0200 <EvanR> if you want to do something between opening all the files you'd have to say so
2025-05-27 00:19:32 +0200 <tomsmeding> IO actions happen in the order they are written
2025-05-27 00:19:36 +0200AlexNoo(~AlexNoo@178.34.162.255) (Ping timeout: 265 seconds)
2025-05-27 00:19:43 +0200 <euouae> ah yeah. that makes sense.
2025-05-27 00:19:44 +0200 <euouae> thank you
2025-05-27 00:19:51 +0200 <tomsmeding> % do putStrLn "hi" ; putStrLn "bye"
2025-05-27 00:19:51 +0200 <yahb2> hi ; bye
2025-05-27 00:20:01 +0200 <tomsmeding> I'm not using the () from those putStrLns, but they still get executed
2025-05-27 00:20:11 +0200 <euouae> right I get it
2025-05-27 00:20:21 +0200 <euouae> It's hard to reason about these things
2025-05-27 00:20:23 +0200 <tomsmeding> the lazy IO done by hGetContents is black magic using unsafeInterleaveIO
2025-05-27 00:20:44 +0200 <tomsmeding> (if you click through twice to hGetContentsN you can see the unsafeInterleaveIO)
2025-05-27 00:21:10 +0200 <tomsmeding> lazy IO is hard to reason about
2025-05-27 00:21:11 +0200 <euouae> thank you, I appreciate it.
2025-05-27 00:21:22 +0200 <tomsmeding> it's why people generally discourage it :p
2025-05-27 00:21:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 00:21:34 +0200 <tomsmeding> lazy IO also makes it very hard to handle errors while reading the file
2025-05-27 00:21:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 00:22:00 +0200 <EvanR> there was a folklore belief that "unsafeInterleaveIO isn't actually unsafe", still not sure what that was about
2025-05-27 00:22:15 +0200 <tomsmeding> it's worse than unsafePerformIO, right?
2025-05-27 00:22:27 +0200 <tomsmeding> how can it suddenly be not-unsafe then
2025-05-27 00:22:29 +0200 <EvanR> it's supposed to be not worse
2025-05-27 00:22:55 +0200 <tomsmeding> maybe it's not worse from a "risking segfaults" point of view
2025-05-27 00:23:00 +0200 <EvanR> unsafePerformIO is bad and unsafeCoerce is the worst
2025-05-27 00:23:05 +0200 <tomsmeding> there are other very real reasons why it's worse
2025-05-27 00:23:16 +0200 <tomsmeding> the standard argument against lazy IO is one such
2025-05-27 00:23:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 00:23:30 +0200 <EvanR> unsafeInterleaveIO is a special case of unsafePerformIO
2025-05-27 00:23:32 +0200 <tomsmeding> at least with unsafePerformIO, the IO happens all at once
2025-05-27 00:23:39 +0200 <EvanR> you could do the same thing with unsafePerformIO
2025-05-27 00:23:42 +0200 <tomsmeding> with unsafeInterleaveIO, the IO will happen... at some point
2025-05-27 00:23:43 +0200 <EvanR> no?
2025-05-27 00:23:51 +0200 <EvanR> unsafePerformIO happens whenever
2025-05-27 00:23:58 +0200 <tomsmeding> it happens when the thunk is demanded
2025-05-27 00:24:05 +0200 <tomsmeding> all of it happens when the thunk is demanded
2025-05-27 00:24:08 +0200 <EvanR> same as unsafeInterleaveIO
2025-05-27 00:24:10 +0200AlexZenon(~alzenon@178.34.162.255)
2025-05-27 00:24:27 +0200 <EvanR> the IO action happens
2025-05-27 00:24:32 +0200 <EvanR> not sure what part of it means
2025-05-27 00:24:48 +0200 <EvanR> the difference is unsafeInterleaveIO has to be initiated in IO
2025-05-27 00:24:49 +0200 <tomsmeding> oh
2025-05-27 00:25:13 +0200 <tomsmeding> okay good points, I don't know
2025-05-27 00:25:28 +0200 <tomsmeding> I had the types in my mind incorrectly
2025-05-27 00:25:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 00:25:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 00:25:54 +0200tomsmedingnow wonders what the difference is between `unsafeInterleaveIO m` and `pure (unsafePerformIO m)`
2025-05-27 00:26:14 +0200 <tomsmeding> it's not implemented like that, so there's probably a difference
2025-05-27 00:26:18 +0200 <EvanR> that's getting into the weeds now
2025-05-27 00:26:48 +0200 <tomsmeding> it's relevant to the "which is more unsafe" question though
2025-05-27 00:26:56 +0200 <tomsmeding> but it's too late for me to think about this
2025-05-27 00:27:08 +0200 <tomsmeding> I shall go sleep
2025-05-27 00:27:19 +0200 <probie> You can use `unsafeCoerce` safely
2025-05-27 00:27:36 +0200 <tomsmeding> it is indeed possible
2025-05-27 00:27:37 +0200 <EvanR> if you have IKnowWhatImDoing, then it nullifies the unsafe xD
2025-05-27 00:27:42 +0200 <EvanR> which begs the question
2025-05-27 00:28:13 +0200 <probie> safeUnsafeCoerce :: Coercible a b => a -> b; safeUnsafeCoerce = unsafeCoerce
2025-05-27 00:28:28 +0200 <EvanR> :t coerce
2025-05-27 00:28:28 +0200 <lambdabot> error:
2025-05-27 00:28:29 +0200 <lambdabot> • Variable not in scope: coerce
2025-05-27 00:28:29 +0200 <lambdabot> • Perhaps you meant ‘coerced’ (imported from Control.Lens)
2025-05-27 00:28:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-27 00:28:37 +0200 <probie> if you can safely use `coerce` on it, you can safely use `unsafeCoerce` on it :p
2025-05-27 00:30:07 +0200 <probie> IKnowWhatImDoing could suddenly become IDontKnowWhatImDoing between compiler versions
2025-05-27 00:31:52 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-27 00:32:18 +0200 <EvanR> yeah it is definitely not a concrete datatype with an expression
2025-05-27 00:32:40 +0200 <EvanR> at best it's an invisible proof
2025-05-27 00:33:09 +0200 <EvanR> the assumptions exit slowly over time
2025-05-27 00:33:50 +0200 <probie> which is why I wish there were levels of "unsafe"-ness. e.g. `Data.Vector.unsafeIndex` is a very different beast than `unsafePerformIO` or `unsafeCoerce`
2025-05-27 00:34:55 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-05-27 00:34:55 +0200ljdarj1ljdarj
2025-05-27 00:37:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 00:37:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 00:39:00 +0200 <EvanR> ok unsafeInterleaveIO can be construed as an action which spawns a thread, delays an indeterminate time, then performs the IO and writes the result to an IVar, which is what the original action returned. And "coincidentally" the time delay corresponds to how long it took to look at the value
2025-05-27 00:39:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 00:39:20 +0200 <EvanR> which is safer than unsafePerformIO?
2025-05-27 00:40:20 +0200 <EvanR> sometimes I get it mixed up with readFile, which has some questionable behavior with errors, but that's not unsafeInterleaveIO's fault
2025-05-27 00:42:41 +0200 <euouae> what is the questionable behavior
2025-05-27 00:44:20 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-27 00:44:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-27 00:44:55 +0200 <EvanR> an IO error will be discarded and the list just ends
2025-05-27 00:45:34 +0200 <euouae> It doesn't throw?
2025-05-27 00:45:39 +0200 <EvanR> not in that case
2025-05-27 00:45:55 +0200 <euouae> okay, thank you. I guess I have to manually do it? what functions do I use?
2025-05-27 00:46:02 +0200 <EvanR> like I said imagine the action happening in some thread somewhere
2025-05-27 00:46:17 +0200 <EvanR> throwing an error in your thread consuming the list would be weird
2025-05-27 00:46:27 +0200 <EvanR> IOError in pure code
2025-05-27 00:46:47 +0200 <euouae> I didn't think of that
2025-05-27 00:46:58 +0200 <euouae> Perhaps I should use rio? I guess I always have it in the back of my head
2025-05-27 00:47:14 +0200 <EvanR> I'm not sure, what are you asking
2025-05-27 00:47:21 +0200 <EvanR> how to handle I/O errors?
2025-05-27 00:47:32 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-27 00:47:45 +0200 <euouae> I want to control errors because I need to give proper error messages
2025-05-27 00:47:53 +0200 <euouae> I can't use an API that sneakily hides them
2025-05-27 00:48:04 +0200 <EvanR> stream processing libraries let you react to errors while incrementally reading the file
2025-05-27 00:48:10 +0200 <euouae> like conduit?
2025-05-27 00:48:19 +0200 <EvanR> like conduit
2025-05-27 00:48:26 +0200 <euouae> will they also let me use a single large bytestring?
2025-05-27 00:48:32 +0200 <euouae> a large lazy bytestirng
2025-05-27 00:49:01 +0200 <EvanR> the way you're using the bytstring, I don't think so, it would replace the role of the lazy bytestring for this purpose
2025-05-27 00:49:15 +0200volsand(~volsand@2804:1b1:1080:3f49:dff2:9a47:8661:7944) (Até logo)
2025-05-27 00:49:37 +0200 <EvanR> it would be a big jump in complexity so make sure it's worth it
2025-05-27 00:50:25 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 00:50:33 +0200tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-27 00:50:43 +0200 <euouae> readFile ends up in IO String. What do you mean that it can't throw IOError there?
2025-05-27 00:50:49 +0200 <euouae> (or IO ByteString etc
2025-05-27 00:52:22 +0200 <int-e> you can't report errors before they happen and readFile reads the file contents on demand
2025-05-27 00:52:51 +0200 <euouae> oh yeah right
2025-05-27 00:53:04 +0200 <euouae> I keep forgetting
2025-05-27 00:53:26 +0200 <EvanR> readFile completes immediately
2025-05-27 00:53:38 +0200 <EvanR> an I/O error might happen later
2025-05-27 00:54:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 00:55:37 +0200tolgo(~Thunderbi@199.115.144.130)
2025-05-27 00:56:29 +0200Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-05-27 00:57:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-27 00:57:47 +0200 <euouae> unless I was told all these things I don't think I'd be thinking them on my own ;P well anyway I might look into conduit after I write it with readFile to begin with
2025-05-27 01:00:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-27 01:01:11 +0200AlexNoo_AlexNoo
2025-05-27 01:04:02 +0200 <euouae> thanks again
2025-05-27 01:04:03 +0200euouae(~euouae@user/euouae) ()
2025-05-27 01:07:34 +0200tv(~tv@user/tv) (Ping timeout: 260 seconds)
2025-05-27 01:10:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 01:11:35 +0200simon1(~simon@209-15-185-101.resi.cgocable.ca)
2025-05-27 01:11:49 +0200preflex_(~preflex@user/mauke/bot/preflex) preflex
2025-05-27 01:15:29 +0200preflex(~preflex@user/mauke/bot/preflex) (Ping timeout: 248 seconds)
2025-05-27 01:15:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-27 01:15:43 +0200preflex_preflex
2025-05-27 01:17:57 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-27 01:19:13 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 01:22:07 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-27 01:26:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 01:28:46 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-27 01:28:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 01:29:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 01:30:49 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-27 01:31:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-27 01:35:44 +0200tolgo(~Thunderbi@199.115.144.130) (Ping timeout: 252 seconds)
2025-05-27 01:35:45 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-27 01:36:10 +0200tolgo(~Thunderbi@199.115.144.130)
2025-05-27 01:36:30 +0200tolgo(~Thunderbi@199.115.144.130) (Client Quit)
2025-05-27 01:42:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 01:47:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-27 01:49:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 01:50:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 01:58:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 01:58:25 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-27 01:59:45 +0200simon1(~simon@209-15-185-101.resi.cgocable.ca) (Ping timeout: 248 seconds)
2025-05-27 02:01:37 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-27 02:01:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 02:02:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 02:02:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-27 02:02:55 +0200img(~img@user/img) img
2025-05-27 02:03:45 +0200jespada(~jespada@r179-24-29-82.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
2025-05-27 02:04:04 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-27 02:11:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 02:11:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 02:13:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 02:19:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-27 02:25:53 +0200acidjnk(~acidjnk@p200300d6e71c4f793ca0c1b1d3dae2fd.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-05-27 02:29:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 02:35:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-27 02:41:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 02:42:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 02:45:17 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 02:45:31 +0200xff0x(~xff0x@ai083248.d.east.v6connect.net) (Ping timeout: 252 seconds)
2025-05-27 02:45:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 02:50:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 02:50:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 02:53:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-27 02:54:00 +0200Guest28(~Guest28@2603-9001-0c00-014b-38e2-3bbc-855e-ebc7.inf6.spectrum.com)
2025-05-27 02:54:40 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-27 02:54:49 +0200Guest28(~Guest28@2603-9001-0c00-014b-38e2-3bbc-855e-ebc7.inf6.spectrum.com) (Client Quit)
2025-05-27 02:54:55 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds)
2025-05-27 02:55:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-27 02:58:23 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-27 03:00:12 +0200aprilwall_(~aprilwall@83.220.239.86)
2025-05-27 03:03:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 03:05:33 +0200arahael(~arahael@user/arahael) arahael
2025-05-27 03:08:17 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 265 seconds)
2025-05-27 03:08:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-27 03:15:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 03:15:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 03:18:17 +0200aprilwall_(~aprilwall@83.220.239.86) (Quit: Leaving)
2025-05-27 03:19:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 03:21:57 +0200tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-05-27 03:22:03 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-27 03:23:15 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-05-27 03:24:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-27 03:25:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 03:25:42 +0200mrmr5(~mrmr@user/mrmr) (Remote host closed the connection)
2025-05-27 03:25:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 03:25:51 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-27 03:27:33 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 252 seconds)
2025-05-27 03:28:21 +0200kritzefitz(~kritzefit@debian/kritzefitz) kritzefitz
2025-05-27 03:29:33 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-27 03:29:45 +0200krei-se(~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-05-27 03:29:52 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-27 03:30:06 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-27 03:30:21 +0200Square2(~Square@user/square) Square
2025-05-27 03:32:21 +0200pyooque(~puke@user/puke) puke
2025-05-27 03:32:21 +0200pukeGuest6057
2025-05-27 03:32:21 +0200Guest6057(~puke@user/puke) (Killed (mercury.libera.chat (Nickname regained by services)))
2025-05-27 03:32:21 +0200pyooquepuke
2025-05-27 03:34:21 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-27 03:35:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 03:35:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 03:35:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 03:36:54 +0200krei-se(~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) krei-se
2025-05-27 03:40:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-27 03:40:28 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-05-27 03:41:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 03:42:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 03:44:46 +0200krei-se(~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-27 03:47:08 +0200krei-se(~krei-se@p200300f1cfff0773da9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se
2025-05-27 03:50:27 +0200craunts7(~craunts@136.158.8.87)
2025-05-27 03:50:46 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-27 03:50:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 03:53:56 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-27 03:55:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-27 03:56:58 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-27 03:58:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 03:59:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 04:01:09 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-27 04:06:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 04:07:15 +0200td_(~td@83.135.9.23) (Ping timeout: 265 seconds)
2025-05-27 04:08:57 +0200td_(~td@i53870903.versanet.de) td_
2025-05-27 04:12:14 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-27 04:13:04 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-05-27 04:13:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 04:13:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-27 04:14:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 04:15:28 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-27 04:20:13 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-27 04:23:28 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-27 04:25:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 04:32:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-27 04:40:40 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-27 04:42:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 04:42:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 04:43:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 04:45:25 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-27 04:48:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-27 04:58:05 +0200mange(~user@user/mange) mange
2025-05-27 04:59:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 05:02:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 05:02:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 05:04:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-27 05:10:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 05:11:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 05:15:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 05:16:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 05:17:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 05:20:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-27 05:21:11 +0200nschoe(~nschoe@2a01:e0a:8e:a190:fcbd:4c31:903a:fb6c) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-27 05:21:29 +0200nschoe(~nschoe@82-65-202-30.subs.proxad.net) nschoe
2025-05-27 05:25:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 05:26:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 05:30:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 05:35:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-27 05:37:21 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 05:40:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 05:41:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 05:42:51 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-27 05:46:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 05:51:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 05:51:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 05:51:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-27 05:52:17 +0200tomku|two(~tomku@user/tomku) (Ping timeout: 248 seconds)
2025-05-27 05:56:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 05:56:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-05-27 05:58:45 +0200tomku(~tomku@user/tomku) tomku
2025-05-27 06:01:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-27 06:07:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 06:08:18 +0200poscat(~poscat@user/poscat) (Read error: Connection reset by peer)
2025-05-27 06:08:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 06:10:28 +0200poscat(~poscat@user/poscat) poscat
2025-05-27 06:10:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 06:15:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 06:15:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 06:15:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-27 06:26:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 06:27:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 06:27:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 06:31:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-27 06:31:13 +0200Square(~Square4@user/square) Square
2025-05-27 06:34:02 +0200Square2(~Square@user/square) (Ping timeout: 272 seconds)
2025-05-27 06:34:08 +0200michalz(~michalz@185.246.207.193)
2025-05-27 06:35:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 06:35:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 06:42:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 06:43:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 06:43:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 06:47:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-27 06:49:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 06:49:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 06:56:45 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-27 06:57:29 +0200notzmv(~daniel@user/notzmv) (Ping timeout: 245 seconds)
2025-05-27 06:57:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 06:57:53 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-05-27 06:58:06 +0200Lord_of_Life_Lord_of_Life
2025-05-27 07:03:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-27 07:07:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 07:07:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 07:11:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 07:15:27 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-05-27 07:16:53 +0200tavare(~tavare@user/tavare) tavare
2025-05-27 07:16:57 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-27 07:17:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 07:17:46 +0200tavare(~tavare@user/tavare) (Read error: Connection reset by peer)
2025-05-27 07:17:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 07:18:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-27 07:20:56 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection)
2025-05-27 07:25:16 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-05-27 07:25:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 07:26:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 07:29:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 07:33:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 07:34:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 07:34:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-27 07:41:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 07:41:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 07:45:25 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-05-27 07:45:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 07:47:53 +0200erty(~user@user/aeroplane) aeroplane
2025-05-27 07:50:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-27 07:52:46 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-05-27 07:55:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 07:55:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 08:01:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 08:03:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 08:03:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 08:06:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-27 08:09:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 08:10:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 08:12:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 08:13:22 +0200erty(~user@user/aeroplane) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2025-05-27 08:17:07 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-05-27 08:17:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-27 08:19:58 +0200tromp(~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e)
2025-05-27 08:22:20 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 272 seconds)
2025-05-27 08:25:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 08:25:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 08:27:59 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-05-27 08:28:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 08:33:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-27 08:35:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 08:36:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 08:36:12 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 08:38:51 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-27 08:44:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 08:44:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 08:44:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 08:49:19 +0200Vajb(~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi) (Ping timeout: 276 seconds)
2025-05-27 08:49:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-27 08:51:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 08:52:02 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-27 08:52:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 08:59:16 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-27 09:00:02 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-27 09:00:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-27 09:00:40 +0200caconym7(~caconym@user/caconym) caconym
2025-05-27 09:04:43 +0200chele(~chele@user/chele) chele
2025-05-27 09:04:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-27 09:16:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 09:16:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 09:21:01 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-05-27 09:25:42 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-05-27 09:26:06 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 09:29:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 09:29:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 09:35:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 09:36:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 09:41:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 09:41:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 09:42:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-27 09:52:45 +0200merijn(~merijn@77.242.116.146) merijn
2025-05-27 09:55:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 09:56:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 10:01:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 10:02:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 10:08:36 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-05-27 10:09:13 +0200acidjnk(~acidjnk@p200300d6e71c4f71f40919caceb60240.dip0.t-ipconnect.de) acidjnk
2025-05-27 10:14:23 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-27 10:22:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 10:22:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 10:24:16 +0200ft(~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving)
2025-05-27 10:32:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 10:32:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 10:37:09 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-05-27 10:39:06 +0200merijn(~merijn@77.242.116.146) merijn
2025-05-27 10:39:37 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-05-27 10:41:32 +0200tromp(~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-27 10:42:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 10:42:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 10:43:32 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-05-27 10:44:06 +0200merijn(~merijn@77.242.116.146) merijn
2025-05-27 10:50:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 10:50:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 10:50:54 +0200Digitteknohippie(~user@user/digit) Digit
2025-05-27 10:51:35 +0200craunts7(~craunts@136.158.8.87) (Read error: Connection reset by peer)
2025-05-27 10:51:48 +0200Digit(~user@user/digit) (Ping timeout: 265 seconds)
2025-05-27 10:51:57 +0200craunts7(~craunts@136.158.8.87)
2025-05-27 10:56:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 10:56:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 11:02:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 11:02:31 +0200DigitteknohippieDigit
2025-05-27 11:02:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 11:07:44 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-05-27 11:09:17 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-27 11:09:52 +0200ubert(~Thunderbi@2a02:8109:abb3:7000:3f2d:6c2:b2d6:5714) ubert
2025-05-27 11:12:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 11:12:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 11:22:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 11:22:35 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-05-27 11:22:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 11:26:49 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection)
2025-05-27 11:35:43 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-05-27 11:37:25 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-05-27 11:38:13 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-27 11:40:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 11:41:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 11:41:20 +0200yoneda(~mike@193.206.102.122)
2025-05-27 11:41:55 +0200tromp(~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e)
2025-05-27 11:46:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 11:46:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 11:50:29 +0200__monty__(~toonn@user/toonn) toonn
2025-05-27 11:51:11 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-05-27 11:52:49 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
2025-05-27 12:02:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 12:03:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 12:06:12 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 264 seconds)
2025-05-27 12:06:39 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-27 12:18:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 12:18:52 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-05-27 12:19:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 12:42:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 12:43:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 12:48:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 12:49:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 13:00:04 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-27 13:00:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 13:01:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 13:01:42 +0200jespada(~jespada@r167-61-143-22.dialup.adsl.anteldata.net.uy) jespada
2025-05-27 13:02:11 +0200caconym7(~caconym@user/caconym) caconym
2025-05-27 13:03:48 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-27 13:04:53 +0200califax_(~califax@user/califx) califx
2025-05-27 13:05:36 +0200califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-05-27 13:06:07 +0200califax_califax
2025-05-27 13:07:04 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-27 13:09:42 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 13:12:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 13:13:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 13:16:53 +0200xff0x(~xff0x@2405:6580:b080:900:421a:f7d5:c8c3:af24)
2025-05-27 13:16:54 +0200ubert(~Thunderbi@2a02:8109:abb3:7000:3f2d:6c2:b2d6:5714) (Quit: ubert)
2025-05-27 13:17:07 +0200ubert(~Thunderbi@2a02:8109:abb3:7000:32db:426b:cdd9:f98a) ubert
2025-05-27 13:24:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 13:25:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 13:30:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 13:31:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 13:32:09 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-05-27 13:34:16 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-05-27 13:45:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 13:45:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 13:53:02 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-05-27 13:55:44 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-27 13:57:15 +0200tromp(~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-27 14:00:33 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-05-27 14:00:34 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-05-27 14:00:34 +0200haritz(~hrtz@user/haritz) haritz
2025-05-27 14:09:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 14:09:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 14:13:16 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-05-27 14:15:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 14:15:21 +0200poscat(~poscat@user/poscat) poscat
2025-05-27 14:15:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 14:24:59 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-27 14:25:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 14:25:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 14:26:12 +0200jespada(~jespada@r167-61-143-22.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-05-27 14:29:51 +0200 <pounce> is account creation broken on the haskell wiki
2025-05-27 14:31:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 14:31:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 14:33:13 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-27 14:34:27 +0200shaeto(~Shaeto@94.25.234.143)
2025-05-27 14:35:30 +0200 <int-e> the web frontend for that has been disabled for ages. https://wiki.haskell.org/index.php?title=HaskellWiki:New_accounts
2025-05-27 14:35:58 +0200oskarw(~user@user/oskarw) oskarw
2025-05-27 14:36:33 +0200 <oskarw> Hi everyone, I've done cs194 and I've done "programming from first principle" and now I want to work on some project with someone. Does anybody works on something and would like to work with me? I'm finishing my math master degree, so I don't have problem if project would be based on paper.
2025-05-27 14:37:15 +0200 <pounce> i c
2025-05-27 14:37:24 +0200carbolymer(~carbolyme@dropacid.net) (Remote host closed the connection)
2025-05-27 14:37:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 14:37:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-27 14:37:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 14:40:05 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-05-27 14:41:50 +0200poscat(~poscat@user/poscat) poscat
2025-05-27 14:42:04 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-05-27 14:44:33 +0200acidjnk(~acidjnk@p200300d6e71c4f71f40919caceb60240.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-05-27 14:45:18 +0200poscat(~poscat@user/poscat) poscat
2025-05-27 14:45:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 14:45:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 14:51:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 14:51:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 14:55:48 +0200fp1(~Thunderbi@dhcp-84-224.eduroam.aalto.fi) fp
2025-05-27 14:56:53 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds)
2025-05-27 14:56:53 +0200fp1fp
2025-05-27 14:57:29 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 15:00:34 +0200acidjnk(~acidjnk@p200300d6e71c4f718953afdf32714a23.dip0.t-ipconnect.de) acidjnk
2025-05-27 15:02:03 +0200olliep(~ollie@2a0a:ef40:19e:b02:f7b5:f015:a53b:d50f)
2025-05-27 15:03:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 15:03:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 15:10:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 15:10:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 15:16:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 15:16:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 15:19:57 +0200fp1(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp
2025-05-27 15:21:49 +0200fp(~Thunderbi@dhcp-84-224.eduroam.aalto.fi) (Ping timeout: 244 seconds)
2025-05-27 15:21:49 +0200fp1fp
2025-05-27 15:23:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 15:23:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 15:27:35 +0200fp1(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp
2025-05-27 15:28:01 +0200fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 244 seconds)
2025-05-27 15:28:01 +0200fp1fp
2025-05-27 15:35:23 +0200 <EvanR> oskarw, that sounds rad, I'd like to see if you and someone can come up with something
2025-05-27 15:36:17 +0200tromp(~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e)
2025-05-27 15:37:33 +0200 <oskarw> EvanR: thank you for words of encouragement
2025-05-27 15:43:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 15:44:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 15:45:08 +0200Digitteknohippie(~user@user/digit) Digit
2025-05-27 15:45:40 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-05-27 15:51:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 15:51:51 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-05-27 15:51:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 15:55:25 +0200jespada(~jespada@131.0.212.99) jespada
2025-05-27 15:57:06 +0200DigitteknohippieDigit
2025-05-27 15:57:20 +0200jespada(~jespada@131.0.212.99) (Client Quit)
2025-05-27 15:57:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 15:57:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 15:58:08 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-27 16:16:04 +0200mange(~user@user/mange) (Quit: Zzz...)
2025-05-27 16:23:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 16:24:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 16:26:40 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-27 16:31:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 16:32:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 16:33:10 +0200fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Read error: Connection reset by peer)
2025-05-27 16:33:24 +0200fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp
2025-05-27 16:34:06 +0200Square2(~Square@user/square) Square
2025-05-27 16:34:29 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
2025-05-27 16:34:50 +0200olliep-(~ollie@2a0a:ef40:19e:b02:f7b5:f015:a53b:d50f)
2025-05-27 16:38:06 +0200Square(~Square4@user/square) (Ping timeout: 252 seconds)
2025-05-27 16:39:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 16:40:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 16:45:07 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds)
2025-05-27 16:45:07 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 16:45:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 16:46:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 16:49:40 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-27 16:50:19 +0200weary-traveler(~user@user/user363627) user363627
2025-05-27 16:58:34 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-05-27 16:59:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 17:00:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 17:00:44 +0200 <Leary> Is there a `data VoidF :: k -> Type where {}` hiding somewhere? I feel like I saw one at some point.
2025-05-27 17:01:09 +0200fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 248 seconds)
2025-05-27 17:03:25 +0200 <int-e> scnr (made me giggle when I saw it): https://gitlab.haskell.org/ghc/ghc/-/blob/master/testsuite/tests/typecheck/should_compile/T21583.h…
2025-05-27 17:16:13 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-05-27 17:21:45 +0200fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp
2025-05-27 17:23:00 +0200 <EvanR> VoidF sounds like a good AAA haskell game
2025-05-27 17:23:44 +0200 <bwe> [exa]: do you know how to yield just the next row of a select with selda? There is https://github.com/valderman/selda/blob/ab9619db13b93867d1a244441bb4de03d3e1dadb/selda/src/Databas… but it's not documented. (I am asking because I want to create a Stream using `streaming`'s yield function.
2025-05-27 17:28:01 +0200oskarw(~user@user/oskarw) (Ping timeout: 276 seconds)
2025-05-27 17:28:33 +0200 <EvanR> -- | Read the next, potentially composite, result from a stream of columns. is a documentation comment
2025-05-27 17:29:18 +0200 <EvanR> oops wrong line you're right
2025-05-27 17:30:14 +0200 <EvanR> though gNextResult is for "columns" not rows
2025-05-27 17:31:15 +0200RedFlamingos(~RedFlamin@user/RedFlamingos) RedFlamingos
2025-05-27 17:36:35 +0200 <bwe> It appears I "just" need to roll my variant of `buildResult` including a variant of `toRes` that is using yield with next (without calling itself). If I'd do that by defining a new instance `toStream`, I would do it in a different package than selda. How do I go about/avoid the orphan type instances?
2025-05-27 17:36:56 +0200 <bwe> https://github.com/search?q=repo%3Avalderman%2Fselda+toRes&type=code
2025-05-27 17:37:06 +0200mfc_kbs(~keibisoft@user/mfc-kbs:22635) mfc_kbs
2025-05-27 17:38:10 +0200mrvdb(~mrvdb@185.92.221.186) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-27 17:39:14 +0200mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb
2025-05-27 17:43:13 +0200fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 248 seconds)
2025-05-27 17:44:19 +0200 <EvanR> yes it appears the query function eventually runs an IO action to get (Int, [[SqlValue]]) before converting them all to the desired result types
2025-05-27 17:44:37 +0200 <EvanR> so unless it's using lazy I/O this gets all the data up front
2025-05-27 17:44:55 +0200Square2(~Square@user/square) (Ping timeout: 276 seconds)
2025-05-27 17:46:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 17:46:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 17:46:44 +0200 <lxsameer> hey folks, is llvm-hs dead?
2025-05-27 17:57:48 +0200fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp
2025-05-27 17:58:22 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-05-27 17:58:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 17:58:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 18:01:59 +0200fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 244 seconds)
2025-05-27 18:03:49 +0200laurapigeon(~laurapige@user/laurapigeon) laurapigeon
2025-05-27 18:04:47 +0200laurapigeon(~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3)
2025-05-27 18:05:19 +0200sprotte24(~sprotte24@p200300d16f362e006c438e53ebe4b26d.dip0.t-ipconnect.de)
2025-05-27 18:05:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 18:06:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 18:10:55 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
2025-05-27 18:11:06 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 18:13:37 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds)
2025-05-27 18:14:06 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-05-27 18:20:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 18:20:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 18:26:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-27 18:26:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 18:27:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-27 18:32:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 18:32:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 18:33:36 +0200ubert(~Thunderbi@2a02:8109:abb3:7000:32db:426b:cdd9:f98a) (Quit: ubert)
2025-05-27 18:38:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 18:38:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 18:52:02 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-05-27 18:52:12 +0200visilii_(~visilii@213.24.132.221) (Read error: Connection reset by peer)
2025-05-27 18:52:57 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 18:54:13 +0200visilii(~visilii@213.24.132.221)
2025-05-27 18:54:40 +0200pavonia(~user@user/siracusa) siracusa
2025-05-27 18:55:47 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-27 18:58:10 +0200visilii(~visilii@213.24.132.221) (Read error: Connection reset by peer)
2025-05-27 18:58:28 +0200visilii(~visilii@213.24.132.221)
2025-05-27 19:08:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 19:08:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 19:10:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-27 19:15:40 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-05-27 19:17:50 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2025-05-27 19:18:39 +0200ft(~ft@p3e9bc106.dip0.t-ipconnect.de) ft
2025-05-27 19:21:37 +0200yoneda(~mike@193.206.102.122) (Quit: leaving)
2025-05-27 19:22:00 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-05-27 19:25:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 19:25:48 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-05-27 19:25:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 19:27:50 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-27 19:31:32 +0200 <tomsmeding> @tell lxsameer kind of, there is a llvm-15 branch in the github repository of llvm-hs that does work, but nothing newer
2025-05-27 19:31:33 +0200 <lambdabot> Consider it noted.
2025-05-27 19:32:11 +0200euphores(~SASL_euph@user/euphores) euphores
2025-05-27 19:40:43 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-05-27 19:41:38 +0200tromp(~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-27 19:46:28 +0200tromp(~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e)
2025-05-27 19:47:45 +0200shaeto(~Shaeto@94.25.234.143) (Ping timeout: 260 seconds)
2025-05-27 19:47:45 +0200laurapigeon(~laurapige@user/laurapigeon) laurapigeon
2025-05-27 19:49:43 +0200shaeto(~Shaeto@94.25.234.207)
2025-05-27 19:51:00 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-05-27 19:52:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 19:53:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 20:06:05 +0200craunts7(~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat)
2025-05-27 20:08:34 +0200talismanick(~user@2601:644:937c:ed10::ae5) (Ping timeout: 260 seconds)
2025-05-27 20:15:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 20:15:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 20:16:39 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-27 20:23:58 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 20:24:00 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-05-27 20:25:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 20:25:44 +0200laurapigeon(~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3)
2025-05-27 20:25:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 20:31:19 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
2025-05-27 20:35:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 20:35:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 20:35:30 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-27 20:38:37 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-05-27 20:46:13 +0200oskarw(~user@user/oskarw) oskarw
2025-05-27 20:48:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 20:49:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 21:00:00 +0200olliep-(~ollie@2a0a:ef40:19e:b02:f7b5:f015:a53b:d50f) (Remote host closed the connection)
2025-05-27 21:00:00 +0200olliep(~ollie@2a0a:ef40:19e:b02:f7b5:f015:a53b:d50f) (Remote host closed the connection)
2025-05-27 21:00:03 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-27 21:01:04 +0200caconym7(~caconym@user/caconym) caconym
2025-05-27 21:02:05 +0200shaeto(~Shaeto@94.25.234.207) (Quit: WeeChat 4.1.1)
2025-05-27 21:08:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-27 21:09:48 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-05-27 21:14:16 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-27 21:16:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 21:16:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 21:21:50 +0200 <[exa]> bwe: if I got it correctly you want some equivalent of what e.g. db cursors would give you?
2025-05-27 21:25:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 21:25:34 +0200tccq(~user@97-120-253-57.ptld.qwest.net)
2025-05-27 21:25:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 21:26:10 +0200weary-traveler(~user@user/user363627) user363627
2025-05-27 21:29:17 +0200 <[exa]> bwe: also looks like streaming is in the TODOs in the readme
2025-05-27 21:29:53 +0200 <[exa]> I wouldn't say it's gonna be hard but you might really need to touch undocumented internals
2025-05-27 21:31:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-05-27 21:32:54 +0200tccq(~user@97-120-253-57.ptld.qwest.net) (Ping timeout: 252 seconds)
2025-05-27 21:33:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-27 21:33:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-27 21:37:39 +0200 <[exa]> bwe: anyway the implementation "trail" goes through query, queryWith, then Backend type with field runStmt, which executes the query "normally" in both postgres and sqlite
2025-05-27 21:38:04 +0200 <[exa]> if you want streaming from the database, you need to change the backend to use something like this: https://www.postgresql.org/docs/current/libpq-single-row-mode.html