Logs on 2025-03-13 (liberachat/#haskell)
| 00:00:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:02:43 | → | tuxpaint joins (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 00:03:39 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 00:03:50 | → | alfiee joins (~alfiee@user/alfiee) |
| 00:06:04 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 00:06:04 | ljdarj1 | is now known as ljdarj |
| 00:07:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 00:08:06 | → | ystael joins (~ystael@user/ystael) |
| 00:08:07 | <jackdk> | Noinia: Have you considered `coerceFold theFold = coerced . theFold`? `Control.Lens.Iso.coerced` uses the `.#` stuff from `Data.Profunctor.Unsafe` which should be zero-cost |
| 00:08:09 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 00:09:04 | <jackdk> | (or at least very cheap - I don't quite know how it all works, but IIRC edwardk considered .# and #. very important, at least one point) |
| 00:11:22 | × | xkuru quits (~xkuru@user/xkuru) (Quit: Unvirtualizing) |
| 00:11:40 | → | xkuru joins (~xkuru@user/xkuru) |
| 00:13:52 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:18:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:20:51 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:22:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:23:34 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 00:27:11 | × | sprotte24 quits (~sprotte24@p200300d16f4b7200116db6fce964005a.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:32:53 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f52eca5d8b1f7f6f1d4.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 00:33:33 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f85b10ad2147dd4d665.dip0.t-ipconnect.de) |
| 00:33:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:34:18 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 00:34:18 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 00:37:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:37:55 | → | izzyfalco joins (~jake_pers@user/izzyfalco) |
| 00:48:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:49:34 | → | alfiee joins (~alfiee@user/alfiee) |
| 00:53:37 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 00:53:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 00:58:13 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:58:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:02:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:04:48 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 276 seconds) |
| 01:05:14 | × | xff0x quits (~xff0x@2405:6580:b080:900:7a6d:e986:6f30:4a1b) (Ping timeout: 272 seconds) |
| 01:06:24 | × | xkuru quits (~xkuru@user/xkuru) (Quit: Unvirtualizing) |
| 01:09:12 | → | mange joins (~user@user/mange) |
| 01:13:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:15:16 | × | izzyfalco quits (~jake_pers@user/izzyfalco) (Ping timeout: 252 seconds) |
| 01:15:46 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 01:16:01 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 01:18:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 01:26:26 | × | ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 01:28:09 | → | ethantwardy joins (user@user/ethantwardy) |
| 01:29:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:32:42 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:34:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:34:59 | → | alfiee joins (~alfiee@user/alfiee) |
| 01:39:06 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 01:42:46 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 01:43:36 | → | califax joins (~califax@user/califx) |
| 01:44:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:51:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:56:14 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:00:28 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 02:02:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:07:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:17:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:20:43 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:22:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:24:01 | → | messewix joins (~jmc@user/messewix) |
| 02:24:45 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 02:33:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:38:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 02:41:42 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 02:44:11 | × | messewix quits (~jmc@user/messewix) (Quit: Konversation terminated!) |
| 02:44:29 | → | messewix joins (~jmc@user/messewix) |
| 02:44:34 | × | messewix quits (~jmc@user/messewix) (Remote host closed the connection) |
| 02:48:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:53:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 02:54:38 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 02:55:24 | → | j1n37 joins (~j1n37@user/j1n37) |
| 03:04:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:06:27 | → | alfiee joins (~alfiee@user/alfiee) |
| 03:08:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:10:46 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 03:15:09 | × | yegorc quits (~yegorc@user/yegorc) (Ping timeout: 252 seconds) |
| 03:19:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:26:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:35:29 | → | TheCoffeMaker_ joins (~TheCoffeM@186.136.173.70) |
| 03:36:26 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 03:37:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:42:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:47:03 | → | euouae joins (~euouae@user/euouae) |
| 03:47:06 | <euouae> | Hello |
| 03:47:58 | <euouae> | I'm using megaparsec and I have a `ParsecT Void Text (St.State Int) Text`. I want to use `modify (+1)` inside the do block. I know I have to lift it. |
| 03:48:32 | <euouae> | I want to ask if there is such an operation already defined in megaparsec? I.e. what's a good way to discover such lifts? Would this info be visible in `:i ParsecT` at the instance declarations? |
| 03:48:41 | <euouae> | Maybe an instance of MonadTrans from transformers? |
| 03:49:31 | <c_wraith> | It's visible in the haddocks |
| 03:49:39 | <c_wraith> | https://hackage.haskell.org/package/megaparsec-9.7.0/docs/Text-Megaparsec.html#t:ParsecT look at that huge instance list |
| 03:50:09 | <jackdk> | Specifically, it's the instance `(Stream s, MonadState st m) => MonadState st (ParsecT e s m)`, which should let you use `modify` etc from `mtl` |
| 03:50:37 | <euouae> | Yeah you're right. It was not visible in GHCi |
| 03:51:11 | <euouae> | Why is it not visible in GHCi? Is it because I haven't imported these packages? |
| 03:52:11 | → | alfiee joins (~alfiee@user/alfiee) |
| 03:52:18 | <euouae> | jackdk: isn't that inverse of what I have in terms of the monadic stack? |
| 03:52:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:52:58 | <c_wraith> | yeah, ghci only shows you instances for classes that it has in scope |
| 03:53:08 | <jackdk> | euouae: I had to `:m + Control.Monad.State` to see it |
| 03:53:22 | → | izzyfalco joins (~jake_pers@user/izzyfalco) |
| 03:53:34 | <c_wraith> | so if nothing you've imported re-exports the class, the instance won't be listed |
| 03:54:56 | <euouae> | somewhat frustrating to always have to run to haddock online |
| 03:55:29 | <jackdk> | euouae: And no, you have `ParsecT Void Text (St.State Int)` which matches the instance `MonadState (ParsecT e s m)` with `e ~ Void`, `s ~ Text`, `m ~ St.State Int`, and this instance is usable because you have the instances `Stream s` and `MonadState Int (St.StateT Int Identity)` (expanding the alias for `St.State`) |
| 03:55:53 | <euouae> | oh wait, right. thank you jackdk. |
| 03:56:33 | <euouae> | I misread it because I saw "MonadState" followed by "ParsecT" and I didn't realize what I was reading |
| 03:56:48 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 03:58:02 | × | izzyfalco quits (~jake_pers@user/izzyfalco) (Ping timeout: 268 seconds) |
| 03:58:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 03:58:10 | <jackdk> | Yes, the idea is to provide `MonadState st (ParsecT e s m)` by lifting the state actions from the inner `m` in a way that doesn't affect the `ParsecT`. |
| 03:58:25 | <euouae> | yup I follow |
| 04:08:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:08:33 | → | veryfungi joins (~veryfungi@user/veryfungi) |
| 04:13:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:18:58 | <euouae> | hm... I'm sort of bothered by this megaparsec thing |
| 04:19:49 | <euouae> | they suggest to use takeWhile1P and so on for fast parsing into Text. But it does not allow the predicate to have any state, e.g. I'd like to parse "at most 10" digits, or so; I don't want a list of 10 characters, I want it as a string |
| 04:20:28 | <euouae> | I thought I was getting somewhere by writing a parser with a stateful counter, but then I realized I have nowhere to plug that parser in, there's no combinator in megaparsec that accepts a parser and spits out a Text "fast". |
| 04:22:48 | → | tavare joins (~tavare@user/tavare) |
| 04:23:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:25:18 | <jackdk> | `takeP` is also described as "fast" in the haddocks |
| 04:25:58 | <euouae> | yeah but that returns number of tokens |
| 04:26:46 | <euouae> | say I'm trying to parse a phone number and I have some optional stuff like (xxx)-yyy-zzzz or xxxyyy zzzz etc |
| 04:27:24 | <euouae> | I could have a parser that reads a single digit plus optional junk, and I want to apply it 10 times, it doesn't seem a possibility to do "fast" at least with my limited understanding |
| 04:27:49 | <jackdk> | I would profile and be sure you actually have a problem here, too, and potentially consider the libphonenumber bindings |
| 04:28:14 | <euouae> | I'm not actually doing phone numbers. It's not a profiling matter, I was trying to learn more about megaparsec and haskell in general |
| 04:28:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 04:28:44 | <euouae> | That's why I took that deep dive into mtl heh. But now I'm realizing there's nowhere for me to plug that parser into :P |
| 04:29:13 | <euouae> | well, thanks anyway. I'll take the direction of your advice "just do the easy thing, e.g. T.pack on a list, and move on" |
| 04:29:53 | euouae | TIL google/libphonenumber |
| 04:30:07 | <jackdk> | Yeah ok I wouldn't put your control flow info in your monadic state then. If you need to run a thing optionally up to 10 times, I would look at `count'` from package `parser-combinators`. |
| 04:30:21 | <jackdk> | (and then yeah, `fmap Text.pack`) |
| 04:31:12 | <euouae> | What I imagined I would be doing is a `takeWhileFailure` (I made this up) plus my stateful parser |
| 04:31:24 | × | veryfungi quits (~veryfungi@user/veryfungi) (Quit: veryfungi) |
| 04:31:46 | <euouae> | I was hoping a `takeWhileFailure` existed that was /fast/ meaning it crafted the Text string optimally instead of packing from a list |
| 04:32:27 | <euouae> | Perhaps I can write this myself? Is it too low-level to try to have efficient Text operations on my own? |
| 04:33:51 | <jackdk> | I don't know the guts of megaparsec well enough to say, but when I think back to my experience learning Haskell and the library ecosystem, I found iterative deepening search much more rewarding than deep dives on individual libraries. Do what's most rewarding for you, of course. |
| 04:37:35 | → | alfiee joins (~alfiee@user/alfiee) |
| 04:39:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:39:12 | <euouae> | Sounds good, thank you |
| 04:39:25 | <jackdk> | You're welcome. Best of luck. |
| 04:42:33 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 04:43:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:49:16 | → | tusko joins (uid478376@user/tusko) |
| 04:54:00 | × | k_hachig quits (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) (Ping timeout: 246 seconds) |
| 04:54:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:58:20 | → | ensyde joins (~ensyde@2601:5c6:c200:6dc0::b413) |
| 05:01:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 05:07:48 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) |
| 05:08:39 | <euouae> | I don't understand this error |
| 05:09:06 | <euouae> | I'm using text-2.0.2. I am trying to use `toLazyText :: Builder > Text` (supposedly... <https://hackage.haskell.org/package/text-2.0.2/docs/Data-Text-Lazy-Builder.html#v:toLazyText>) |
| 05:09:25 | <euouae> | but the typechecker complains about "Couldn't match type ‘Data.Text.Internal.Lazy.Text’ with ‘Text’" |
| 05:09:56 | <euouae> | :t toLazyText |
| 05:09:57 | <lambdabot> | error: Variable not in scope: toLazyText |
| 05:10:13 | <euouae> | :m Data.Text.Lazy.Builder |
| 05:10:18 | <euouae> | :t toLazyText |
| 05:10:19 | <lambdabot> | error: Variable not in scope: toLazyText |
| 05:10:37 | <jackdk> | Without a code sample I can't be sure, but I think the thing you're passing to wants a strict text (as in `Data.Text.Text`) and you might want to consider `toStrict` on the result. |
| 05:11:31 | <euouae> | But how can there be a type issue? I don't quite get what's going on here, I'm somewhat familiar with strictness and laziness |
| 05:12:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:12:27 | <jackdk> | Because there are two `Text` types with the same unqualified name. `Data.Text.Text` is not `Data.Text.Lazy.Text` and haddocks do not make this at all clear. |
| 05:12:33 | <euouae> | and by the way you were right, that's what the issue was. I didn't want lazy text, I just didn't know how to force it |
| 05:12:54 | <euouae> | wow... really? this sucks. |
| 05:12:59 | <jackdk> | "lazy text" is a value representing a chain of strict text chunks |
| 05:13:20 | <euouae> | basically there's situations where haddock is more information complete and there's situations where ghci is more information complete |
| 05:13:48 | <euouae> | e.g. `:i Foo` will only show you instances of imported modules (as opposed to haddock, full listing) but haddock will confuse different types for the same? |
| 05:14:15 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) (Ping timeout: 252 seconds) |
| 05:14:39 | <jackdk> | haddock shows the type names absent any qualification AIUI, and this can be quite confusing. |
| 05:15:12 | <euouae> | ah actually -- if you hover over the name, it shows it complete |
| 05:15:25 | <euouae> | e.g. Text says Data.Text.Lazy for its module on hover-over |
| 05:15:55 | <euouae> | a footgun here and there, but thank God for IRC |
| 05:16:01 | <euouae> | we made it through unharmed |
| 05:16:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:17:25 | <euouae> | by the way, I found a good enough solution for me, I didn't need complicated monads |
| 05:18:32 | <euouae> | I changed `digitChar` to `Text.Builder.singleton <$> digitChar` which returns a [Builder] instead of a [String] or [Char], and then I mconcat over the list, so there's no intermediate String |
| 05:18:58 | → | infohazards joins (~user@user/fmira) |
| 05:19:03 | euouae | wonders if that made a difference from T.pack xs where xs :: [Char] |
| 05:19:27 | <euouae> | probably for the worse. oh well. time to sign off |
| 05:19:29 | ← | euouae parts (~euouae@user/euouae) () |
| 05:23:19 | → | alfiee joins (~alfiee@user/alfiee) |
| 05:27:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:27:59 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 05:32:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 05:36:35 | × | ensyde quits (~ensyde@2601:5c6:c200:6dc0::b413) (Quit: WeeChat 4.5.2) |
| 05:38:21 | × | infohazards quits (~user@user/fmira) (Remote host closed the connection) |
| 05:38:29 | → | user_ joins (~user@user/fmira) |
| 05:38:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:39:18 | × | user_ quits (~user@user/fmira) (Remote host closed the connection) |
| 05:40:10 | → | infohazards joins (~user@user/fmira) |
| 05:43:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:47:21 | → | Human3748 joins (~Human32@155.2.190.68) |
| 05:47:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:54:33 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 245 seconds) |
| 05:58:30 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 05:58:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:03:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:03:11 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 06:03:36 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 06:05:18 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 06:06:55 | × | fantom quits (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 06:07:47 | → | michalz joins (~michalz@185.246.207.215) |
| 06:09:04 | → | alfiee joins (~alfiee@user/alfiee) |
| 06:11:10 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 06:11:38 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 06:13:06 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 06:13:42 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 06:13:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:18:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:28:41 | → | fantom joins (~fantom@2.219.56.221) |
| 06:29:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:34:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:38:33 | → | a_fantom joins (~fantom@2.219.56.221) |
| 06:39:59 | × | fantom quits (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 06:45:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:47:51 | → | CiaoSen joins (~Jura@2a02:8071:64e1:7180::ac59) |
| 06:50:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:54:28 | → | alfiee joins (~alfiee@user/alfiee) |
| 06:55:13 | × | Human3748 quits (~Human32@155.2.190.68) (Ping timeout: 248 seconds) |
| 06:55:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:58:49 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 06:59:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:00:03 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:01:01 | → | caconym joins (~caconym@user/caconym) |
| 07:05:41 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 07:10:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:13:30 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 07:13:43 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:15:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:15:07 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:20:31 | → | baivab85 joins (~baivab85@2402:3a80:42e4:2d1f:ed95:878a:c23a:175b) |
| 07:21:14 | <baivab85> | Hi Everyone |
| 07:23:01 | <baivab85> | My name is Baivab Mukherjee. I'm a gsoc aspirant |
| 07:23:24 | × | baivab85 quits (~baivab85@2402:3a80:42e4:2d1f:ed95:878a:c23a:175b) (Client Quit) |
| 07:26:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:30:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 07:37:57 | × | jjhoo quits (jahakala@user/jjhoo) (Ping timeout: 248 seconds) |
| 07:39:30 | → | jjhoo joins (jahakala@user/jjhoo) |
| 07:39:51 | → | alfiee joins (~alfiee@user/alfiee) |
| 07:41:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:41:51 | × | jle` quits (~jle`@2603:8001:3b00:11:dc30:beb5:de14:fd6) (Ping timeout: 265 seconds) |
| 07:42:38 | → | jle` joins (~jle`@2603:8001:3b00:11:ad81:3a03:5eb:774) |
| 07:42:49 | × | ft quits (~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:43:43 | × | infohazards quits (~user@user/fmira) (Remote host closed the connection) |
| 07:44:11 | → | infohazards joins (~user@user/fmira) |
| 07:44:29 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 07:48:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:51:30 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:55:39 | × | jjhoo quits (jahakala@user/jjhoo) (Ping timeout: 246 seconds) |
| 07:56:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:56:24 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 07:57:37 | → | jjhoo joins (~jahakala@user/jjhoo) |
| 07:58:52 | × | tusko quits (uid478376@user/tusko) (Quit: Connection closed for inactivity) |
| 08:00:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:01:45 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 08:03:52 | × | plitter quits (~plitter@user/plitter) (Ping timeout: 272 seconds) |
| 08:10:37 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 08:11:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:15:05 | × | infohazards quits (~user@user/fmira) (Remote host closed the connection) |
| 08:16:11 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:16:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 08:24:54 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 08:25:06 | → | chele joins (~chele@user/chele) |
| 08:29:29 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:35:07 | × | mange quits (~user@user/mange) (Quit: Quittin' time!) |
| 08:42:14 | × | tavare quits (~tavare@user/tavare) (Ping timeout: 260 seconds) |
| 08:46:29 | → | plitter joins (~plitter@user/plitter) |
| 08:47:17 | → | alfiee joins (~alfiee@user/alfiee) |
| 08:51:24 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 08:52:11 | → | merijn joins (~merijn@77.242.116.146) |
| 08:56:30 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:56:31 | → | tavare joins (~tavare@150.129.88.189) |
| 08:56:31 | × | tavare quits (~tavare@150.129.88.189) (Changing host) |
| 08:56:31 | → | tavare joins (~tavare@user/tavare) |
| 08:58:15 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) |
| 09:02:09 | → | zlqrvx_ joins (~zlqrvx@101.175.150.247) |
| 09:03:16 | × | zlqrvx quits (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Read error: Connection reset by peer) |
| 09:03:41 | → | hgolden_ joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 09:04:49 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) (Ping timeout: 248 seconds) |
| 09:05:48 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Ping timeout: 276 seconds) |
| 09:09:03 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:19:28 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 09:19:31 | → | infohazards joins (~user@user/fmira) |
| 09:20:18 | × | infohazards quits (~user@user/fmira) (Remote host closed the connection) |
| 09:23:11 | → | infohazards joins (~user@user/fmira) |
| 09:26:54 | → | dhil joins (~dhil@2a0c:b381:52e:3600:e62:5586:6568:9198) |
| 09:27:15 | × | zlqrvx_ quits (~zlqrvx@101.175.150.247) (Read error: Connection reset by peer) |
| 09:27:56 | → | zlqrvx joins (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) |
| 09:33:00 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:33:01 | → | alfiee joins (~alfiee@user/alfiee) |
| 09:36:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 09:37:36 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 09:44:27 | <cheater> | hi baivab |
| 09:44:28 | <cheater> | welcome |
| 09:48:59 | <mauke> | talking to ghosts |
| 09:50:27 | → | merijn joins (~merijn@77.242.116.146) |
| 10:00:41 | × | tavare quits (~tavare@user/tavare) (Ping timeout: 252 seconds) |
| 10:01:19 | → | Square2 joins (~Square4@user/square) |
| 10:02:34 | → | Square joins (~Square@user/square) |
| 10:06:46 | <cheater> | ghosts are people too |
| 10:07:25 | × | Square quits (~Square@user/square) (Ping timeout: 268 seconds) |
| 10:09:44 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 10:16:44 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 10:18:25 | → | alfiee joins (~alfiee@user/alfiee) |
| 10:18:27 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 10:23:09 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 10:34:10 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:37:12 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:7723:d0df:3da6:a135) |
| 10:37:33 | → | __monty__ joins (~toonn@user/toonn) |
| 10:38:49 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 10:44:13 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 11:00:24 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 11:02:14 | → | caconym joins (~caconym@user/caconym) |
| 11:04:09 | → | alfiee joins (~alfiee@user/alfiee) |
| 11:06:20 | → | jespada joins (~jespada@2800:a4:22a9:8000:65f8:4b81:436a:cdbf) |
| 11:08:48 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 11:11:06 | → | mange joins (~user@user/mange) |
| 11:24:22 | → | xff0x joins (~xff0x@2405:6580:b080:900:2020:1277:8563:d3ac) |
| 11:27:13 | × | CiaoSen quits (~Jura@2a02:8071:64e1:7180::ac59) (Ping timeout: 248 seconds) |
| 11:33:25 | <Square2> | I need to maintain multiple versions of Aeson To-/FromJSON for the same types. What do you think is the easiest path for this. Careful module/import management. Use newtype trickery? |
| 11:35:03 | × | mange quits (~user@user/mange) (Quit: Zzz...) |
| 11:41:38 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
| 11:49:53 | → | alfiee joins (~alfiee@user/alfiee) |
| 11:54:34 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 11:59:17 | × | infohazards quits (~user@user/fmira) (Remote host closed the connection) |
| 12:00:04 | → | infohazards joins (~user@user/fmira) |
| 12:03:34 | → | comerijn joins (~merijn@77.242.116.146) |
| 12:04:38 | <haskellbridge> | <Jack> Square2: I’d suggest newtype trickery. |
| 12:06:30 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 12:06:44 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 12:06:49 | <Square2> | Jack, Oh thanks. Just curious, why? Too hard to keep all imports in your head? |
| 12:07:03 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 245 seconds) |
| 12:09:59 | → | weary-traveler joins (~user@user/user363627) |
| 12:13:34 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) |
| 12:14:30 | × | bradparker quits (sid262931@id-262931.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 12:14:32 | × | geekosaur quits (sid609282@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 12:14:35 | × | SethTisue quits (sid14912@id-14912.ilkley.irccloud.com) (Read error: Connection reset by peer) |
| 12:14:42 | → | bradparker joins (sid262931@id-262931.uxbridge.irccloud.com) |
| 12:14:42 | → | geekosaur joins (sid609282@xmonad/geekosaur) |
| 12:14:44 | → | SethTisue joins (sid14912@id-14912.ilkley.irccloud.com) |
| 12:14:53 | × | igemnace quits (~igemnace@user/igemnace) (Remote host closed the connection) |
| 12:14:59 | × | jakesyl_____ quits (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 12:15:03 | <tomsmeding> | Square2: instances are viral -- you can't choose to _not_ export them, and if you import them, you inherit them automatically |
| 12:15:06 | × | rune_ quits (sid21167@id-21167.ilkley.irccloud.com) (Read error: Connection reset by peer) |
| 12:15:06 | × | astra quits (sid289983@user/amish) (Read error: Connection reset by peer) |
| 12:15:08 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 12:15:08 | × | unlucy quits (sid572875@user/unlucy) (Read error: Connection reset by peer) |
| 12:15:11 | <tomsmeding> | (and also re-export them automatically) |
| 12:15:14 | → | rune_ joins (sid21167@id-21167.ilkley.irccloud.com) |
| 12:15:19 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 12:15:23 | → | astra joins (sid289983@id-289983.hampstead.irccloud.com) |
| 12:15:27 | <tomsmeding> | having two different instances of the same class for the same type in different modules is a recipe for trouble |
| 12:15:29 | → | jakesyl_____ joins (sid56879@id-56879.hampstead.irccloud.com) |
| 12:15:39 | → | unlucy joins (sid572875@user/unlucy) |
| 12:16:03 | <tomsmeding> | and furthermore it breaks the general assumption in haskell that typeclass instances are confluent, which is precisely the assumption that any particular class - type combination has at most _one_ instance |
| 12:16:21 | <Square2> | Ah ok. I thought it could work with careful arrangement of things, but I could see it becoming real troublesome |
| 12:16:35 | <tomsmeding> | this is what makes the Data.Set / Data.Map API work, for example: if you could pass the same Map between different modules with different Ord instances on the key in scope, you'll severly break the internal invariants of the Map data structure |
| 12:16:38 | <dminuoso> | Square2: You are not forced to use FromJSON/ToJSON |
| 12:16:44 | × | df quits (~ben@justworks.xyz) (Ping timeout: 260 seconds) |
| 12:16:46 | <dminuoso> | Just dont use typeclass machinery. |
| 12:17:02 | <dminuoso> | They are a rather poor fit for de/-serialization precisely for reasons like you just encountered. |
| 12:17:17 | → | df joins (~ben@justworks.xyz) |
| 12:17:38 | <tomsmeding> | dminuoso: what to do instead? |
| 12:17:47 | <Square2> | dminuoso, what do you suggest instead? I use the OpenApi dependency which seems to require me to use Aeson instances. |
| 12:17:50 | → | __monty__ joins (~toonn@user/toonn) |
| 12:18:18 | → | igemnace joins (~igemnace@user/igemnace) |
| 12:18:50 | <tomsmeding> | especially if some external dependency requires you to use the classes, use newtype wrappers |
| 12:19:10 | <tomsmeding> | you can even have only one newtype, and give it a phantom parameter that indicates the particular (de)serialisation you want ;) |
| 12:19:12 | <dminuoso> | tomsmeding: `toJSON :: YourThing -> Value` - you do not have to attach this to a typeclass for this to work. |
| 12:19:41 | <tomsmeding> | dminuoso: toJSON is a method of ToJSON. |
| 12:19:51 | <dminuoso> | Yes, so? |
| 12:20:00 | <tomsmeding> | you can only use it on types that implement the class anyway? |
| 12:20:04 | <dminuoso> | `turnMyThingToJSON :: Thing -> Value` |
| 12:20:17 | <dminuoso> | I feel like this is a strange blindness issue. |
| 12:20:20 | <tomsmeding> | right, you can manually turn the thing into a Value, of course |
| 12:20:23 | <tomsmeding> | and manually parse it from a Value |
| 12:20:30 | <dminuoso> | What do you mean by "manually"? |
| 12:20:48 | <tomsmeding> | but then you miss out on the combinators that aeson provides in 'Parser' |
| 12:21:01 | <dminuoso> | Most of them are usable without typeclasses. |
| 12:21:40 | <dminuoso> | Or well, you can reroll them with minimal effort. |
| 12:21:48 | <tomsmeding> | right |
| 12:22:07 | <tomsmeding> | the documentation rather heavily steers you towards writing instances, though |
| 12:22:26 | <tomsmeding> | and hence other libraries are going to expect you to have used the instance style |
| 12:22:31 | <dminuoso> | Oh yes, the documentation is not clear. Especially at the border where you need to turn this Value into a Text or vice versa. |
| 12:22:39 | <dminuoso> | The API is there, just not easily found/documented. |
| 12:22:54 | <tomsmeding> | also I guess (from the docs) that one would rather use Encoding instead of Value? |
| 12:23:13 | <dminuoso> | Depends on what is more comfortable. |
| 12:23:18 | <dminuoso> | (Or whether you have a performance constraint) |
| 12:23:26 | <dminuoso> | But sure |
| 12:26:35 | <dminuoso> | Though even if you cant find the API bits, you can just conjure some `data Decoder a = Decoder (Value -> Parser a)` (and equivalently for ToJSON) |
| 12:26:54 | <dminuoso> | Which you could even use in a pinch |
| 12:27:04 | <dminuoso> | (Well, make it a newtype of course) |
| 12:32:08 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 12:36:37 | → | alfiee joins (~alfiee@user/alfiee) |
| 12:41:14 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 12:42:12 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 12:46:35 | → | yegorc joins (~yegorc@user/yegorc) |
| 12:47:09 | → | zungi joins (~tory@user/andrewchawk) |
| 12:56:12 | → | sprotte24 joins (~sprotte24@p200300d16f0b61000c042d391325af51.dip0.t-ipconnect.de) |
| 12:57:32 | → | CiaoSen joins (~Jura@2a02:8071:64e1:7180::ac59) |
| 12:57:51 | → | ystael joins (~ystael@user/ystael) |
| 13:00:08 | × | kaskal quits (~kaskal@2a02:8388:15bf:c200:7418:4394:582:ede) (Quit: ZNC - https://znc.in) |
| 13:00:32 | → | kaskal joins (~kaskal@84-115-231-2.cable.dynamic.surfer.at) |
| 13:01:27 | → | weary-traveler joins (~user@user/user363627) |
| 13:02:10 | → | hsw joins (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) |
| 13:09:57 | × | xff0x quits (~xff0x@2405:6580:b080:900:2020:1277:8563:d3ac) (Ping timeout: 268 seconds) |
| 13:11:54 | → | xff0x joins (~xff0x@2405:6580:b080:900:2020:1277:8563:d3ac) |
| 13:18:45 | × | hsw quits (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 13:19:39 | → | fp joins (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) |
| 13:20:56 | × | yegorc quits (~yegorc@user/yegorc) (Quit: Leaving) |
| 13:22:22 | → | alfiee joins (~alfiee@user/alfiee) |
| 13:24:26 | × | infohazards quits (~user@user/fmira) (Remote host closed the connection) |
| 13:24:45 | × | jespada quits (~jespada@2800:a4:22a9:8000:65f8:4b81:436a:cdbf) (Ping timeout: 244 seconds) |
| 13:25:22 | → | infohazards joins (~user@user/fmira) |
| 13:26:30 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 13:27:45 | × | xff0x quits (~xff0x@2405:6580:b080:900:2020:1277:8563:d3ac) (Ping timeout: 248 seconds) |
| 13:28:45 | × | sprotte24 quits (~sprotte24@p200300d16f0b61000c042d391325af51.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 13:28:59 | → | jespada joins (~jespada@r179-25-57-145.dialup.adsl.anteldata.net.uy) |
| 13:30:14 | → | hsw joins (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) |
| 13:30:39 | → | xff0x joins (~xff0x@ai066236.d.east.v6connect.net) |
| 13:33:44 | × | fp quits (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Ping timeout: 260 seconds) |
| 13:39:13 | × | infohazards quits (~user@user/fmira) (Remote host closed the connection) |
| 13:39:40 | → | infohazards joins (~user@user/fmira) |
| 13:42:40 | <kuribas> | Is there a library to export numerical data that can be read in python, preferably compressed? |
| 13:42:55 | <kuribas> | I could export csv, but it'd be nicer to have something compact. |
| 13:46:01 | × | sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 13:47:14 | <dminuoso> | Why not CSV, but with dense representation? |
| 13:47:43 | <kuribas> | Is that a thing? |
| 13:47:44 | <dminuoso> | i.e. if its floats, just emit their IEEE754 representation |
| 13:47:52 | <kuribas> | It's timestamp and floats |
| 13:47:57 | <kuribas> | or timestmaps and integers |
| 13:48:18 | <dminuoso> | kuribas: What do you mean by "is that a thing"? |
| 13:48:43 | <kuribas> | I mean that CSV is not dense by default... |
| 13:48:48 | <dminuoso> | You just need to ensure its properly quoted, then it does not even matter whats inside the quotes as long as the other side can parse it. |
| 13:49:06 | <kuribas> | I could also base64 encode a binary blob. |
| 13:49:10 | <dminuoso> | The denses way to pack IEE754 is to just dump the representation. |
| 13:49:27 | <dminuoso> | (Only compression will make it more compact) |
| 13:49:45 | → | sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 13:50:00 | <kuribas> | Right, I could just use "binary" to emit a blob... |
| 13:50:11 | <kuribas> | I don't even need CSV. |
| 13:50:24 | <dminuoso> | Indeed. |
| 13:50:40 | <kuribas> | I'd like to read it into python as a numpy array. |
| 13:51:12 | <dminuoso> | kuribas: You could also just use msgpack. |
| 13:51:24 | <kuribas> | oh, numpy.frombuffer, then I just need to emit the right format. |
| 13:51:28 | <dminuoso> | https://hackage.haskell.org/package/msgpack |
| 13:51:33 | <dminuoso> | Python library exists too. |
| 13:51:46 | <dminuoso> | Which is a very dense and high performance encoding |
| 13:51:54 | <dminuoso> | Unstructured, but perhaps suitable |
| 13:52:06 | <kuribas> | right |
| 13:52:59 | <comerijn> | Evil voice: Just dump out a Storabel Vector ;) |
| 13:53:12 | <comerijn> | kuribas: What dimensionality for the array? |
| 13:53:54 | <comerijn> | Because if the answers is >1 then you need to worry about row vs column major for numpy |
| 13:55:00 | <kuribas> | comerijn: 1 |
| 13:55:07 | <kuribas> | it's just a timeseries. |
| 13:56:59 | <kuribas> | The thing is, I implemented some compression code in haskell that we used at work. Now I need a python version, so I thought to just use the C library and bind it. |
| 13:57:10 | <kuribas> | But now I see it comes with a noncommercial license. |
| 13:57:19 | <kuribas> | So the quickest thing would be to use my haskell version. |
| 13:58:12 | <kuribas> | I wanted to use parquet, but nothing exists for haskell. |
| 14:07:47 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:12:03 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 14:17:59 | <kuribas> | oh, there is .npy format... |
| 14:25:41 | × | tabaqui quits (~tabaqui@167.71.80.236) (Quit: WeeChat 4.5.1) |
| 14:26:11 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 14:32:48 | × | tv quits (~tv@user/tv) (Quit: derp) |
| 14:34:41 | → | tv joins (~tv@user/tv) |
| 14:43:33 | → | christ joins (~christ@2404:c0:2910::e21:836d) |
| 14:50:51 | → | fp joins (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) |
| 14:51:33 | × | CiaoSen quits (~Jura@2a02:8071:64e1:7180::ac59) (Ping timeout: 244 seconds) |
| 14:52:51 | → | j1n37- joins (~j1n37@user/j1n37) |
| 14:53:18 | × | christ quits (~christ@2404:c0:2910::e21:836d) (Ping timeout: 240 seconds) |
| 14:53:33 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 14:53:52 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:55:41 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 14:56:14 | → | rvalue joins (~rvalue@user/rvalue) |
| 14:56:27 | → | eL_Bart0 joins (~eL_Bart0@dietunichtguten.org) |
| 14:57:57 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 15:07:08 | → | cipherrot joins (~znc-user@user/petrichor) |
| 15:09:09 | × | petrichor quits (~znc-user@user/petrichor) (Ping timeout: 248 seconds) |
| 15:15:13 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) (Ping timeout: 265 seconds) |
| 15:29:04 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) |
| 15:29:47 | × | fp quits (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Quit: fp) |
| 15:29:55 | → | fp1 joins (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) |
| 15:32:11 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:32:16 | fp1 | is now known as fp |
| 15:33:48 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f85b10ad2147dd4d665.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 15:35:27 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 15:35:29 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) (Ping timeout: 268 seconds) |
| 15:40:56 | → | alfiee joins (~alfiee@user/alfiee) |
| 15:41:30 | → | k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) |
| 15:44:58 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 15:48:05 | → | yegorc joins (~yegorc@user/yegorc) |
| 15:55:55 | × | fp quits (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Ping timeout: 244 seconds) |
| 15:56:59 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f85b10ad2147dd4d665.dip0.t-ipconnect.de) |
| 15:57:24 | → | fp joins (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) |
| 16:02:23 | × | eL_Bart0 quits (~eL_Bart0@dietunichtguten.org) (Quit: Restarting) |
| 16:03:42 | → | srazkvt joins (~sarah@user/srazkvt) |
| 16:09:08 | × | yegorc quits (~yegorc@user/yegorc) (Quit: Leaving) |
| 16:23:49 | × | fp quits (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Ping timeout: 244 seconds) |
| 16:26:53 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 16:27:00 | → | alfiee joins (~alfiee@user/alfiee) |
| 16:27:51 | × | ash3en quits (~Thunderbi@89.56.182.235) (Client Quit) |
| 16:31:16 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 16:34:00 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 16:34:57 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 16:37:42 | → | fp joins (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) |
| 16:37:54 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:40:46 | → | fp1 joins (~Thunderbi@2001:708:20:1406::1370) |
| 16:41:25 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b960:a52d:e69d:29b4:1390) (Ping timeout: 248 seconds) |
| 16:41:49 | → | merijn joins (~merijn@77.242.116.146) |
| 16:42:11 | × | fp quits (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Ping timeout: 252 seconds) |
| 16:42:11 | fp1 | is now known as fp |
| 16:43:55 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 16:44:26 | → | rvalue joins (~rvalue@user/rvalue) |
| 16:48:37 | × | swistak quits (~swistak@185.21.216.141) (Ping timeout: 244 seconds) |
| 16:51:47 | → | swistak joins (~swistak@185.21.216.141) |
| 16:55:39 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f85b10ad2147dd4d665.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 16:58:45 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:02:12 | × | dhil quits (~dhil@2a0c:b381:52e:3600:e62:5586:6568:9198) (Ping timeout: 272 seconds) |
| 17:02:17 | → | Human3748 joins (~Human32@static-23-234-76-237.cust.tzulo.com) |
| 17:02:41 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b960:ac5c:b821:dffb:b6c1) |
| 17:07:49 | × | Human3748 quits (~Human32@static-23-234-76-237.cust.tzulo.com) (Ping timeout: 260 seconds) |
| 17:09:05 | → | comerijn joins (~merijn@77.242.116.146) |
| 17:11:53 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 17:13:03 | → | alfiee joins (~alfiee@user/alfiee) |
| 17:14:09 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 17:16:49 | → | gmg joins (~user@user/gehmehgeh) |
| 17:17:37 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 17:25:37 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:27:23 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 17:28:24 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 17:31:06 | × | k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:a56d:37e8:f63c:429c) (Quit: WeeChat 4.5.2) |
| 17:36:25 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:7723:d0df:3da6:a135) (Quit: ubert) |
| 17:37:34 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b960:ac5c:b821:dffb:b6c1) (Ping timeout: 260 seconds) |
| 17:45:26 | → | Googulator joins (~Googulato@84-236-65-216.pool.digikabel.hu) |
| 17:47:18 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:52:09 | haritz | is now known as saimazoon |
| 17:53:22 | → | fp1 joins (~Thunderbi@2001:708:150:10::1d80) |
| 17:54:47 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 17:54:47 | fp1 | is now known as fp |
| 17:59:12 | × | jespada quits (~jespada@r179-25-57-145.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 17:59:22 | → | Square joins (~Square@user/square) |
| 18:00:29 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:01:41 | → | jespada joins (~jespada@2800:a4:22b2:c00:15e5:86fd:67cb:77a2) |
| 18:02:30 | × | Square2 quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 18:05:20 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 18:17:03 | × | fp quits (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds) |
| 18:20:52 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b960:ac5c:b821:dffb:b6c1) |
| 18:28:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:29:59 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:31:21 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 18:32:21 | → | ell0 joins (~ellie@user/ellie) |
| 18:33:38 | × | ell quits (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 18:33:38 | ell0 | is now known as ell |
| 18:35:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:38:07 | × | Digit quits (~user@user/digit) (Remote host closed the connection) |
| 18:43:39 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 18:45:03 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 18:46:35 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:46:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:47:41 | × | ell quits (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 18:47:59 | → | ell joins (~ellie@user/ellie) |
| 18:49:45 | → | izzyfalco joins (~jake_pers@user/izzyfalco) |
| 18:50:48 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 18:50:55 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 18:51:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:57:52 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:58:24 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 19:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:42 | → | caconym joins (~caconym@user/caconym) |
| 19:01:37 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 19:01:57 | → | Digit joins (~user@user/digit) |
| 19:02:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:04:58 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 19:04:58 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 19:04:58 | × | infohazards quits (~user@user/fmira) (Remote host closed the connection) |
| 19:05:11 | → | sprotte24 joins (~sprotte24@p200300d16f0b6100645e4ad0716a10ac.dip0.t-ipconnect.de) |
| 19:05:33 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 19:05:35 | → | infohazards joins (~user@user/fmira) |
| 19:07:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 19:07:46 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f85b10ad2147dd4d665.dip0.t-ipconnect.de) |
| 19:08:16 | → | califax joins (~califax@user/califx) |
| 19:15:37 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 19:15:56 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:17:51 | → | tusko joins (uid478376@user/tusko) |
| 19:23:49 | → | weary-traveler joins (~user@user/user363627) |
| 19:26:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:26:45 | → | zungi joins (~tory@user/andrewchawk) |
| 19:27:31 | × | AlexZenon quits (~alzenon@178.34.151.157) (Ping timeout: 265 seconds) |
| 19:27:46 | → | ft joins (~ft@p508db291.dip0.t-ipconnect.de) |
| 19:28:13 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 19:30:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:31:46 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 19:32:06 | → | AlexZenon joins (~alzenon@178.34.151.157) |
| 19:33:20 | → | alfiee joins (~alfiee@user/alfiee) |
| 19:33:41 | → | weary-traveler joins (~user@user/user363627) |
| 19:37:34 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 19:37:53 | × | izzyfalco quits (~jake_pers@user/izzyfalco) (Ping timeout: 245 seconds) |
| 19:41:03 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:41:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:45:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:51:00 | → | yegorc joins (~yegorc@user/yegorc) |
| 19:53:41 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:54:45 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 19:56:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:00:34 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 20:01:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:02:44 | × | infohazards quits (~user@user/fmira) (Remote host closed the connection) |
| 20:02:56 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 20:03:01 | → | euphores joins (~SASL_euph@user/euphores) |
| 20:03:29 | → | infohazards joins (~user@user/fmira) |
| 20:04:25 | × | Googulator quits (~Googulato@84-236-65-216.pool.digikabel.hu) (Quit: Client closed) |
| 20:04:40 | → | Googulator joins (~Googulato@84-236-65-216.pool.digikabel.hu) |
| 20:06:51 | × | yegorc quits (~yegorc@user/yegorc) (Remote host closed the connection) |
| 20:07:34 | → | biberu joins (~biberu@user/biberu) |
| 20:08:43 | → | eL_Bart0 joins (~eL_Bart0@dietunichtguten.org) |
| 20:10:52 | → | pavonia joins (~user@user/siracusa) |
| 20:11:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:18:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:18:34 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:19:24 | → | alfiee joins (~alfiee@user/alfiee) |
| 20:24:05 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 20:26:51 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 20:29:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:30:06 | → | Guest47 joins (~Guest47@2600:387:f:7e14::9) |
| 20:31:13 | × | Guest47 quits (~Guest47@2600:387:f:7e14::9) (Write error: Broken pipe) |
| 20:31:31 | → | Guest95 joins (~Guest47@2600:387:f:7e14::9) |
| 20:32:29 | → | alp joins (~alp@2001:861:8ca0:4940:f6f2:4aaf:30ee:2a17) |
| 20:32:53 | → | Guest47 joins (~Guest47@2600:387:f:7e14::9) |
| 20:33:00 | × | Guest95 quits (~Guest47@2600:387:f:7e14::9) (Write error: Broken pipe) |
| 20:34:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:37:41 | × | Guest47 quits (~Guest47@2600:387:f:7e14::9) (Write error: Connection reset by peer) |
| 20:37:50 | × | eL_Bart0 quits (~eL_Bart0@dietunichtguten.org) (Quit: Restarting) |
| 20:45:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:49:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:00:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:04:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:05:28 | → | alfiee joins (~alfiee@user/alfiee) |
| 21:10:04 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 21:10:20 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 21:12:21 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 21:12:24 | × | byte quits (~mu@user/byte) (Ping timeout: 265 seconds) |
| 21:12:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:17:37 | × | jespada quits (~jespada@2800:a4:22b2:c00:15e5:86fd:67cb:77a2) (Ping timeout: 248 seconds) |
| 21:19:05 | → | ash3en joins (~Thunderbi@89.56.182.235) |
| 21:20:05 | → | jespada joins (~jespada@r179-25-57-145.dialup.adsl.anteldata.net.uy) |
| 21:21:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:23:00 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Remote host closed the connection) |
| 21:24:50 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 21:25:32 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:26:26 | × | ash3en quits (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 21:31:59 | × | jespada quits (~jespada@r179-25-57-145.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 21:32:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:32:44 | → | jespada joins (~jespada@2800:a4:22b2:c00:4d1a:e3e2:10a3:baad) |
| 21:33:33 | → | Guest87 joins (~Guest87@84-73-28-154.dclient.hispeed.ch) |
| 21:36:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 21:37:27 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 21:37:32 | × | jespada quits (~jespada@2800:a4:22b2:c00:4d1a:e3e2:10a3:baad) (Ping timeout: 265 seconds) |
| 21:40:30 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 21:43:50 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 21:46:50 | → | guestobox joins (~guestobox@84-73-28-154.dclient.hispeed.ch) |
| 21:47:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:51:32 | → | alfiee joins (~alfiee@user/alfiee) |
| 21:53:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 21:54:25 | ← | Guest87 parts (~Guest87@84-73-28-154.dclient.hispeed.ch) () |
| 21:55:59 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 22:00:29 | ← | guestobox parts (~guestobox@84-73-28-154.dclient.hispeed.ch) () |
| 22:00:57 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 22:05:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:09:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:11:14 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 22:12:18 | → | superlink joins (~kontsikou@46.246.237.12.dsl.dyn.forthnet.gr) |
| 22:15:57 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 22:20:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:25:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:27:16 | → | guestobox joins (~guestobox@84-73-28-154.dclient.hispeed.ch) |
| 22:31:39 | → | jespada joins (~jespada@2800:a4:22b2:c00:a94b:86bc:1b88:a0a8) |
| 22:36:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:37:32 | × | tusko quits (uid478376@user/tusko) (Quit: Connection closed for inactivity) |
| 22:38:17 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:40:05 | × | zungi quits (~tory@user/andrewchawk) (Remote host closed the connection) |
| 22:40:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:41:51 | → | zungi joins (~tory@user/andrewchawk) |
| 22:41:54 | × | jespada quits (~jespada@2800:a4:22b2:c00:a94b:86bc:1b88:a0a8) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 22:42:25 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 22:44:31 | → | mange joins (~user@user/mange) |
| 22:46:50 | × | guestobox quits (~guestobox@84-73-28-154.dclient.hispeed.ch) (Quit: leaving) |
| 22:51:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:53:04 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 22:56:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:06:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:11:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:14:17 | × | alp quits (~alp@2001:861:8ca0:4940:f6f2:4aaf:30ee:2a17) (Ping timeout: 268 seconds) |
| 23:22:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:24:20 | → | alfiee joins (~alfiee@user/alfiee) |
| 23:28:21 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 23:28:31 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 23:28:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:37:27 | × | sprotte24 quits (~sprotte24@p200300d16f0b6100645e4ad0716a10ac.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:37:58 | × | superlink quits (~kontsikou@46.246.237.12.dsl.dyn.forthnet.gr) (Quit: leaving) |
| 23:40:00 | → | yegorc joins (~yegorc@user/yegorc) |
| 23:40:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:42:43 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:44:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 23:47:11 | → | notdabs joins (~Owner@2600:1700:69cf:9000:5ce6:2484:e861:ea97) |
| 23:49:21 | → | Square2 joins (~Square4@user/square) |
| 23:52:17 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 23:53:08 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f85b10ad2147dd4d665.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 23:55:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC on 2025-03-13.