| 2024-08-02 00:02:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-02 00:09:09 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2024-08-02 00:14:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-02 00:14:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-02 00:22:01 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2024-08-02 00:33:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-02 00:48:26 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-08-02 00:50:12 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-08-02 00:55:55 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb7588b177e489ed6088.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-08-02 01:09:39 +0200 | <jackdk> | tomsmeding: You have asked for `forall g h a. (forall b. g b -> h b) -> f g a -> f h a`. Why do you need the rank-2 type if you're mentioning `a` in your type signatures? |
| 2024-08-02 01:11:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-02 01:13:39 +0200 | <jackdk> | tomsmeding: I usually find https://hackage.haskell.org/package/barbies-2.1.1.0/docs/Data-Functor-Barbie.html#t:FunctorB is the most practical of these libraries, because there's been some good work that's gone into derivability and it has most of the classes I want. Unfortunately the name is a bit cringe. |
| 2024-08-02 01:14:05 +0200 | <jackdk> | (I hold out hope that we'll see a new version of package `distributive` with HKD Representable, but last time I asked edwardk about that he said someone (Aaron?) had found pretty fundamental laziness issues with it. Which is a shame.) |
| 2024-08-02 01:18:45 +0200 | skyesoss | (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds) |
| 2024-08-02 01:22:31 +0200 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-08-02 01:26:41 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2024-08-02 01:35:04 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: ...) |
| 2024-08-02 01:35:07 +0200 | hammock | (~hammock@2600:1700:19a1:3330::d) (Quit: WeeChat 4.3.5) |
| 2024-08-02 01:35:29 +0200 | tcard | (~tcard@p4324234-ipxg22901hodogaya.kanagawa.ocn.ne.jp) (Remote host closed the connection) |
| 2024-08-02 01:35:57 +0200 | tcard | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 2024-08-02 01:38:45 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-08-02 01:40:39 +0200 | yangby | (~secret@122.235.84.159) |
| 2024-08-02 01:41:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-02 01:43:17 +0200 | <yangby> | && make test |
| 2024-08-02 01:43:20 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-02 01:43:45 +0200 | <yangby> | `q1jj`q1jjkkkkkkk kkkkk kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkjjkkkkkkkkkkkkkkkkkjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjkkkkkk jjjjj jjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjkkkkkkkkko |
| 2024-08-02 01:43:59 +0200 | <geekosaur> | gesundheit |
| 2024-08-02 01:44:04 +0200 | <yangby> | //kkkkkkkkkkkkkkkkkkkkkkjjjjjjjjjjjjjjjjjjjk |
| 2024-08-02 01:44:06 +0200 | <yangby> | j |
| 2024-08-02 01:44:08 +0200 | <geekosaur> | yangby, ^^ |
| 2024-08-02 01:44:23 +0200 | <yangby> | hkkkkkkkkkkkkkkkkk |
| 2024-08-02 01:44:32 +0200 | <yangby> | ddkkkkkkddjjjjddw |
| 2024-08-02 01:44:35 +0200 | <yangby> | `q2s |
| 2024-08-02 01:44:42 +0200 | ChanServ | +o geekosaur |
| 2024-08-02 01:44:52 +0200 | <yangby> | cp constxd op_4 Sciencentistguy Ekho Natch codedmart demchse |
| 2024-08-02 01:44:54 +0200 | <yangby> | y |
| 2024-08-02 01:44:58 +0200 | <yangby> | Rjjjjjjjjj |
| 2024-08-02 01:44:59 +0200 | <geekosaur> | mode #haskell +q yangby |
| 2024-08-02 01:45:03 +0200 | geekosaur | +q yangby!*@* |
| 2024-08-02 01:45:12 +0200 | <geekosaur> | almost as bad as they are 😕 |
| 2024-08-02 01:45:45 +0200 | geekosaur | -o geekosaur |
| 2024-08-02 01:45:57 +0200 | <sprout> | irc life |
| 2024-08-02 01:47:16 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-08-02 01:50:26 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-08-02 01:55:26 +0200 | ChanServ | +o litharge |
| 2024-08-02 01:55:26 +0200 | litharge | -qo yangby!*@* litharge |
| 2024-08-02 01:56:28 +0200 | <yangby> | jkkkkkkkkkkkkkkkkkjjkkojjjjjjjjjjjjjjjkkjjjjkkkkddddddddddddddddddddddddkkkllllllllllll*lllllllllxxxxkkkkkkjlxxxxjjjjjllllllllxxxxcuxxkkkkkkkkhhhhhhhhhhh*xxxxkkkkknxxxxxkddkkkkkkkkkkkkkkkkkkkkkkkkjjjj kk kk Go*/kkkkkkkkkkkkkkkkkkkkkkjo/* TODO yangbyw |
| 2024-08-02 01:57:05 +0200 | <yangby> | connrs: |
| 2024-08-02 01:57:09 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-08-02 01:57:10 +0200 | <yangby> | `hjkkkkkkkkkkkkkk |
| 2024-08-02 01:57:20 +0200 | <yangby> | xxxxxxiUpdatexxxxxxiUpdatew |
| 2024-08-02 01:57:20 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-08-02 01:57:42 +0200 | <yangby> | ndwiUpdateErrordwiUpdateErroriSmtToolErrorhhhhhhhhhhhhhhhhhhdwiSmtToolErrorgn/UpdateError |
| 2024-08-02 01:57:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-02 01:57:50 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-08-02 01:57:50 +0200 | xff0x | (~xff0x@ai080132.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2024-08-02 01:57:54 +0200 | <yangby> | llllllllllli as SmtToolErrordwiSmtToolErrorw |
| 2024-08-02 01:57:59 +0200 | <yangby> | jjjjjjjjjjjjjjjjjj |
| 2024-08-02 01:58:10 +0200 | <yangby> | :%s/VerifyError/UpdateError/g |
| 2024-08-02 01:58:12 +0200 | <yangby> | :w |
| 2024-08-02 01:59:13 +0200 | <yangby> | `q2 |
| 2024-08-02 01:59:17 +0200 | <yangby> | `q1o`q1o0w |
| 2024-08-02 02:02:37 +0200 | <sprout> | how to make sense of vi commands |
| 2024-08-02 02:02:57 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-08-02 02:03:48 +0200 | <yangby> | `q2 |
| 2024-08-02 02:03:59 +0200 | <yangby> | `q1ggjjjjjjjjjjjAi,VerifyError}fUi{xw |
| 2024-08-02 02:04:05 +0200 | <sprout> | geekosaur: ping |
| 2024-08-02 02:05:03 +0200 | <geekosaur> | bah |
| 2024-08-02 02:05:06 +0200 | ChanServ | +o geekosaur |
| 2024-08-02 02:05:12 +0200 | geekosaur | +q yangby!*@* |
| 2024-08-02 02:05:34 +0200 | geekosaur | -o geekosaur |
| 2024-08-02 02:10:19 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-08-02 02:12:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-02 02:13:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-02 02:19:49 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-02 02:20:26 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 2024-08-02 02:20:49 +0200 | Square3 | (~Square4@user/square) |
| 2024-08-02 02:21:01 +0200 | xff0x | (~xff0x@2405:6580:b080:900:51f5:fc5b:2186:69d4) |
| 2024-08-02 02:23:36 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-08-02 02:25:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-02 02:25:51 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-02 02:26:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-02 02:35:26 +0200 | ChanServ | +o litharge |
| 2024-08-02 02:35:27 +0200 | litharge | -qo yangby!*@* litharge |
| 2024-08-02 02:55:52 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-08-02 03:01:11 +0200 | <yangby> | `q2 |
| 2024-08-02 03:01:26 +0200 | <yangby> | jkkkkkkkkkkkkkkkkkkkjkkkkkkkkkkkkkkk |
| 2024-08-02 03:01:38 +0200 | <yangby> | hjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj |
| 2024-08-02 03:02:08 +0200 | <yangby> | hkkkkkkkkkkkkkkkkkkkkkkkkkkkkjjjjjkjjjjjjjk |
| 2024-08-02 03:02:09 +0200 | ChanServ | +o dolio |
| 2024-08-02 03:02:10 +0200 | dolio | +q yangby!*@* |
| 2024-08-02 03:04:02 +0200 | dolio | -o dolio |
| 2024-08-02 03:05:40 +0200 | <geekosaur> | still? |
| 2024-08-02 03:05:41 +0200 | esph | (~weechat@user/esph) |
| 2024-08-02 03:05:47 +0200 | <geekosaur> | that's like 45 minutes |
| 2024-08-02 03:09:06 +0200 | <dolio> | This seems to be all they've ever said here. |
| 2024-08-02 03:09:46 +0200 | <dolio> | So I wouldn't bet on it ever being anything else at this point. |
| 2024-08-02 03:16:38 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-08-02 03:19:50 +0200 | <Axman6> | My money's on a cat on the keyboard |
| 2024-08-02 03:20:15 +0200 | <dolio> | Dunno, seems unlikely with the weird shell commands involving nicknames in channel. |
| 2024-08-02 03:21:26 +0200 | <dolio> | Also most of the other stuff looks like someone piping their vim session to irc. |
| 2024-08-02 03:22:40 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-08-02 03:23:25 +0200 | jess | (meow@libera/staff/cat/jess) |
| 2024-08-02 03:24:25 +0200 | yangby | (~secret@122.235.84.159) (K-Lined) |
| 2024-08-02 03:25:08 +0200 | <dolio> | Someone who needs to learn to navigate better than hjkl. :þ |
| 2024-08-02 03:29:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-08-02 03:30:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-02 03:31:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-02 03:33:02 +0200 | ChanServ | +o litharge |
| 2024-08-02 03:33:03 +0200 | litharge | -qo yangby!*@* litharge |
| 2024-08-02 03:34:58 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2024-08-02 03:37:11 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-08-02 03:38:18 +0200 | rozenglass | (~rednight@static.9.0.76.144.clients.your-server.de) |
| 2024-08-02 03:38:33 +0200 | <monochrom> | jackdk: If I'm not too late, "forall b. g b -> h b" is a Haskell way to say "natural transformation from g to h". |
| 2024-08-02 03:43:47 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2024-08-02 03:44:07 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-08-02 03:46:01 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2024-08-02 03:46:22 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-08-02 03:47:42 +0200 | <monochrom> | Personal story: When I was learning free monads, I came across the obligatory "foldFree :: (Functor f, Monad m) => (forall x. f x -> m x) -> Free f a -> m a". I coded it up in two ways, and both "obviously" behave the same, but for my life I couldn't prove that they're equal, until... |
| 2024-08-02 03:48:42 +0200 | <monochrom> | five years later I looked at it again and suddenly recalled "hey the 1st arg is a natural transformation! how did I miss that last time?!" so I had one extra commutative law and it bridged the gap and I finished the proof. :) |
| 2024-08-02 03:56:34 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2024-08-02 03:56:54 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-08-02 03:57:36 +0200 | <jackdk> | monochrom: Thank you. I'm familiar with rank-2 types and what `forall x. f x -> g x` used for in the Haskell world, but I'm unclear why tomsmeding needed a function that powerful when his `a` was participating in the types already. He had `forall g h a. (forall b. g b -> h b) -> f g a -> f h a` and the common `FFunctor`/`FunctorB`/`Functor1` classes tend not to have an `a` in final position. |
| 2024-08-02 03:57:58 +0200 | <jackdk> | Unless the point here was that his type was functorial in the first arg? |
| 2024-08-02 03:58:34 +0200 | <jackdk> | Like what you'd need if you were hoisting the `f` in a `Free f a`, I suppose? |
| 2024-08-02 04:05:44 +0200 | <Lears> | If you prefer, you can write that as `g ~> h -> f g ~> f h`. |
| 2024-08-02 04:06:45 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-08-02 04:06:53 +0200 | <Lears> | A functor on functors should have kind `(Type -> Type) -> Type -> Type`, so the last parameter is necessary if that's what you want. |
| 2024-08-02 04:07:10 +0200 | califax | (~califax@user/califx) |
| 2024-08-02 04:08:39 +0200 | <Lears> | This kind of functor-functor is used in the context of higher-order algebraic effects, for example. |
| 2024-08-02 04:11:30 +0200 | <Lears> | See: A Framework for Higher-Order Effects & Handlers |
| 2024-08-02 04:12:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-02 04:14:26 +0200 | <Lears> | I've also used it in the context of recursion schemes: https://gist.github.com/LSLeary/98763e62f6fe4a2d629f74b38b9f2e45 |
| 2024-08-02 04:14:28 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-08-02 04:21:18 +0200 | xff0x | (~xff0x@2405:6580:b080:900:51f5:fc5b:2186:69d4) (Ping timeout: 252 seconds) |
| 2024-08-02 04:24:11 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2024-08-02 04:31:38 +0200 | td_ | (~td@i53870912.versanet.de) (Ping timeout: 245 seconds) |
| 2024-08-02 04:33:27 +0200 | td_ | (~td@i53870929.versanet.de) |
| 2024-08-02 04:35:54 +0200 | <jackdk> | Yeah, that makes sense. |
| 2024-08-02 04:36:57 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-08-02 04:51:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-02 05:05:12 +0200 | hayk | (~hayk@141.136.90.108) (Ping timeout: 252 seconds) |
| 2024-08-02 05:06:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-08-02 05:08:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-02 05:09:42 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-08-02 05:09:57 +0200 | sprout | (~quassel@2a02-a448-3a80-0-f46a-b3d3-7735-3c78.fixed6.kpn.net) (Ping timeout: 252 seconds) |
| 2024-08-02 05:10:15 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc1:5500:5072:c3b4:e83c:da68) (Ping timeout: 252 seconds) |
| 2024-08-02 05:11:07 +0200 | aforemny | (~aforemny@i59F516F3.versanet.de) |
| 2024-08-02 05:11:16 +0200 | sprout | (~quassel@2a02-a448-3a80-0-2c67-11c0-6e5f-59bd.fixed6.kpn.net) |
| 2024-08-02 05:33:13 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-02 05:38:16 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2024-08-02 05:38:35 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-08-02 05:45:27 +0200 | nisstyre | (wes@user/nisstyre) (Ping timeout: 252 seconds) |
| 2024-08-02 05:51:14 +0200 | raym | (~ray@user/raym) (Ping timeout: 260 seconds) |
| 2024-08-02 05:53:41 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Ping timeout: 255 seconds) |
| 2024-08-02 05:58:44 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-02 05:58:54 +0200 | nisstyre | (wes@user/nisstyre) |
| 2024-08-02 06:01:24 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 2024-08-02 06:02:10 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-02 06:02:15 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-08-02 06:02:58 +0200 | hljhcjwzzh | (~anton@m90-131-43-203.cust.tele2.lt) |
| 2024-08-02 06:07:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-08-02 06:10:29 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-02 06:11:48 +0200 | <haskellbridge> | <aaron> jackdk: I think I found a decent solution to the laziness issues. Just need to get around to implementing it.. |
| 2024-08-02 06:12:41 +0200 | <haskellbridge> | <aaron> and I'll probably have to convince edwardk to like it |
| 2024-08-02 06:18:24 +0200 | hljhcjwzzh | (~anton@m90-131-43-203.cust.tele2.lt) (Remote host closed the connection) |
| 2024-08-02 06:26:36 +0200 | <jackdk> | aaron: That's very exciting, I look forward to seeing it when it's ready. |
| 2024-08-02 06:28:44 +0200 | Axman6 | is curious what the laziness issue is |
| 2024-08-02 06:29:34 +0200 | michalz | (~michalz@185.246.207.218) |
| 2024-08-02 06:29:46 +0200 | <haskellbridge> | <aaron> https://github.com/ekmett/distributive/issues/69 |
| 2024-08-02 06:29:52 +0200 | <haskellbridge> | <aaron> Axman6: ^ |
| 2024-08-02 06:41:51 +0200 | <haskellbridge> | <aaron> Think I want to solve it by adding a method to FFunctor which is ftraverse specialized to Solo: "ftraverseSolo :: (forall a. f a -> Solo (g a)) -> w f -> Solo (w g)" (or rather, a GND-compatible version of that). That makes it possible to get the required strictness, and I convinced myself it's not too ad-hoc since it's equivalent to adding "coap".. |
| 2024-08-02 06:43:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-02 06:46:52 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-02 07:04:21 +0200 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2024-08-02 07:04:41 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2024-08-02 07:05:50 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split) |
| 2024-08-02 07:05:50 +0200 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2024-08-02 07:05:50 +0200 | ystael | (~ystael@user/ystael) (*.net *.split) |
| 2024-08-02 07:05:50 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | ell | (~ellie@user/ellie) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | Eoco | (~ian@128.101.131.218) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | andreas808 | (andreas303@is.drunk.and.ready-to.party) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | Pixi | (~Pixi@user/pixi) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | leah2 | (~leah@vuxu.org) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | dfg | (~dfg@user/dfg) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | hadronized | (~phaazon@2001:41d0:a:fe76::1) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | landonf | (landonf@mac68k.info) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | bjs | (sid190364@user/bjs) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | Techcable | (sid534393@user/Techcable) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | integral | (sid296274@user/integral) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | shachaf | (~shachaf@user/shachaf) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | CalimeroTeknik | (~calimero@user/calimeroteknik) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | mal1 | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | ent | (entgod@kapsi.fi) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | h2t | (~h2t@user/h2t) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
| 2024-08-02 07:05:51 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) (*.net *.split) |
| 2024-08-02 07:05:52 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (*.net *.split) |
| 2024-08-02 07:05:52 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 2024-08-02 07:05:52 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (*.net *.split) |
| 2024-08-02 07:05:52 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
| 2024-08-02 07:06:05 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-08-02 07:06:05 +0200 | nisstyre | (wes@user/nisstyre) |
| 2024-08-02 07:06:05 +0200 | ystael | (~ystael@user/ystael) |
| 2024-08-02 07:06:05 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) |
| 2024-08-02 07:06:05 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-08-02 07:06:05 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-08-02 07:06:05 +0200 | ell | (~ellie@user/ellie) |
| 2024-08-02 07:06:05 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-08-02 07:06:05 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2024-08-02 07:06:05 +0200 | andreas808 | (andreas303@is.drunk.and.ready-to.party) |
| 2024-08-02 07:06:05 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-08-02 07:06:05 +0200 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2024-08-02 07:06:05 +0200 | leah2 | (~leah@vuxu.org) |
| 2024-08-02 07:06:05 +0200 | dfg | (~dfg@user/dfg) |
| 2024-08-02 07:06:05 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2024-08-02 07:06:05 +0200 | hadronized | (~phaazon@2001:41d0:a:fe76::1) |
| 2024-08-02 07:06:05 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2024-08-02 07:06:05 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2024-08-02 07:06:05 +0200 | landonf | (landonf@mac68k.info) |
| 2024-08-02 07:06:05 +0200 | bjs | (sid190364@user/bjs) |
| 2024-08-02 07:06:05 +0200 | Techcable | (sid534393@user/Techcable) |
| 2024-08-02 07:06:05 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2024-08-02 07:06:05 +0200 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) |
| 2024-08-02 07:06:05 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
| 2024-08-02 07:06:05 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) |
| 2024-08-02 07:06:05 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2024-08-02 07:06:05 +0200 | integral | (sid296274@user/integral) |
| 2024-08-02 07:06:05 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) |
| 2024-08-02 07:06:05 +0200 | shachaf | (~shachaf@user/shachaf) |
| 2024-08-02 07:06:05 +0200 | CalimeroTeknik | (~calimero@user/calimeroteknik) |
| 2024-08-02 07:06:05 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2024-08-02 07:06:05 +0200 | davean | (~davean@davean.sciesnet.net) |
| 2024-08-02 07:06:05 +0200 | mal1 | (~mal@ns2.wyrd.be) |
| 2024-08-02 07:06:05 +0200 | ent | (entgod@kapsi.fi) |
| 2024-08-02 07:06:05 +0200 | h2t | (~h2t@user/h2t) |
| 2024-08-02 07:06:05 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2024-08-02 07:06:05 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) |
| 2024-08-02 07:06:05 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2024-08-02 07:06:05 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2024-08-02 07:06:05 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2024-08-02 07:06:05 +0200 | zinc.libera.chat | +v lambdabot |
| 2024-08-02 07:06:13 +0200 | Techcable | (sid534393@user/Techcable) (Max SendQ exceeded) |
| 2024-08-02 07:06:13 +0200 | leah2 | (~leah@vuxu.org) (Max SendQ exceeded) |
| 2024-08-02 07:06:13 +0200 | CalimeroTeknik | (~calimero@user/calimeroteknik) (Max SendQ exceeded) |
| 2024-08-02 07:06:13 +0200 | andreas808 | (andreas303@is.drunk.and.ready-to.party) (Max SendQ exceeded) |
| 2024-08-02 07:06:27 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
| 2024-08-02 07:06:31 +0200 | leah2 | (~leah@vuxu.org) |
| 2024-08-02 07:06:41 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | Vajb | (~Vajb@85-76-106-240-nat.elisa-mobile.fi) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | hiredman | (~hiredman@frontier1.downey.family) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | pounce | (~pounce@user/cute/pounce) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | dminuoso | (~weechat@user/dminuoso) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | remmie | (ianremsen@tilde.team) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | mrvdb | (~mrvdb@185.92.221.186) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | nitrix | (~nitrix@user/meow/nitrix) (*.net *.split) |
| 2024-08-02 07:06:41 +0200 | geekosaur | (sid609282@xmonad/geekosaur) (*.net *.split) |
| 2024-08-02 07:06:42 +0200 | hexeme | (~hexeme@user/hexeme) (*.net *.split) |
| 2024-08-02 07:06:42 +0200 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (*.net *.split) |
| 2024-08-02 07:06:42 +0200 | mima | (~mmh@user/mima) (*.net *.split) |
| 2024-08-02 07:06:42 +0200 | mmaruseacph2 | (~mihai@mihai.page) (*.net *.split) |
| 2024-08-02 07:06:42 +0200 | Dykam | (Dykam@dykam.nl) (*.net *.split) |
| 2024-08-02 07:07:06 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-08-02 07:07:06 +0200 | Vajb | (~Vajb@85-76-106-240-nat.elisa-mobile.fi) |
| 2024-08-02 07:07:06 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2024-08-02 07:07:06 +0200 | sclv | (sid39734@haskell/developer/sclv) |
| 2024-08-02 07:07:06 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2024-08-02 07:07:06 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
| 2024-08-02 07:07:06 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) |
| 2024-08-02 07:07:06 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2024-08-02 07:07:06 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) |
| 2024-08-02 07:07:06 +0200 | dminuoso | (~weechat@user/dminuoso) |
| 2024-08-02 07:07:06 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2024-08-02 07:07:06 +0200 | remmie | (ianremsen@tilde.team) |
| 2024-08-02 07:07:06 +0200 | mrvdb | (~mrvdb@185.92.221.186) |
| 2024-08-02 07:07:06 +0200 | nitrix | (~nitrix@user/meow/nitrix) |
| 2024-08-02 07:07:06 +0200 | geekosaur | (sid609282@xmonad/geekosaur) |
| 2024-08-02 07:07:06 +0200 | hexeme | (~hexeme@user/hexeme) |
| 2024-08-02 07:07:06 +0200 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) |
| 2024-08-02 07:07:06 +0200 | mima | (~mmh@user/mima) |
| 2024-08-02 07:07:06 +0200 | mmaruseacph2 | (~mihai@mihai.page) |
| 2024-08-02 07:07:06 +0200 | Dykam | (Dykam@dykam.nl) |
| 2024-08-02 07:07:07 +0200 | hexeme | (~hexeme@user/hexeme) (Max SendQ exceeded) |
| 2024-08-02 07:08:14 +0200 | sam113101 | (~sam@24.157.253.231) (Remote host closed the connection) |
| 2024-08-02 07:08:26 +0200 | AlexNoo_ | (~AlexNoo@94.233.241.125) |
| 2024-08-02 07:08:37 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-08-02 07:08:54 +0200 | cheater_ | (~Username@user/cheater) |
| 2024-08-02 07:09:53 +0200 | Techcable | (sid534393@user/Techcable) |
| 2024-08-02 07:09:59 +0200 | hexeme | (~hexeme@user/hexeme) |
| 2024-08-02 07:11:05 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2024-08-02 07:11:09 +0200 | cheater_ | cheater |
| 2024-08-02 07:11:35 +0200 | tabaqui | (~root@87.200.123.114) |
| 2024-08-02 07:11:59 +0200 | AlexNoo | (~AlexNoo@94.233.241.125) (Ping timeout: 255 seconds) |
| 2024-08-02 07:13:19 +0200 | CalimeroTeknik | (~calimero@ctkarch.org) |
| 2024-08-02 07:24:35 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-08-02 07:30:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-02 07:32:16 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-02 07:33:08 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-08-02 07:37:19 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-02 08:07:29 +0200 | CiaoSen | (~Jura@2a05:5800:245:1f00:e6b9:7aff:fe80:3d03) |
| 2024-08-02 08:10:14 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 272 seconds) |
| 2024-08-02 08:14:08 +0200 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) (Quit: WeeChat 4.3.4) |
| 2024-08-02 08:14:27 +0200 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-08-02 08:18:29 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-08-02 08:20:40 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-08-02 08:20:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-08-02 08:21:10 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-08-02 08:21:40 +0200 | euleritian | (~euleritia@dynamic-176-006-144-187.176.6.pool.telefonica.de) |
| 2024-08-02 08:22:43 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2024-08-02 08:24:02 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2024-08-02 08:35:28 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-08-02 08:35:47 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-08-02 08:39:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-02 08:44:09 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb88d444d940f8005760.dip0.t-ipconnect.de) |
| 2024-08-02 08:45:01 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-08-02 08:51:35 +0200 | euleritian | (~euleritia@dynamic-176-006-144-187.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-02 08:51:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-02 08:57:56 +0200 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) |
| 2024-08-02 09:00:52 +0200 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-08-02 09:05:49 +0200 | vpan | (~vpan@212.117.1.172) |
| 2024-08-02 09:13:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-08-02 09:23:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-02 09:29:33 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-08-02 09:29:57 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-02 09:41:21 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3119-0b85-7008-4954-4134-cc2a.rev.sfr.net) |
| 2024-08-02 09:44:44 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 260 seconds) |
| 2024-08-02 09:46:34 +0200 | Square | (~Square@user/square) |
| 2024-08-02 09:48:40 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2024-08-02 10:16:35 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-02 10:17:36 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-08-02 10:21:15 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-08-02 10:24:21 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2024-08-02 10:24:34 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-08-02 10:28:15 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-08-02 10:28:23 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-02 10:28:25 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-08-02 10:31:31 +0200 | td_ | (~td@i53870929.versanet.de) (Ping timeout: 252 seconds) |
| 2024-08-02 10:36:08 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-08-02 10:57:29 +0200 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-08-02 10:58:29 +0200 | td_ | (~td@i53870937.versanet.de) |
| 2024-08-02 11:01:50 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-08-02 11:06:13 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 245 seconds) |
| 2024-08-02 11:07:20 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-02 11:12:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-02 11:13:47 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-08-02 11:17:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-02 11:18:06 +0200 | <Unicorn_Princess> | i've got a 3.3GB json file that Aeson chokes on, eating up all my RAM and swap before crashing OOM. is there some simple way of getting it to not construct the whole thing in memory at once? |
| 2024-08-02 11:18:55 +0200 | <Unicorn_Princess> | my use-case is ingest json -> write out some data derived from it to a different file |
| 2024-08-02 11:21:03 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-08-02 11:22:37 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2024-08-02 11:25:32 +0200 | <Unicorn_Princess> | i've noticed Aeson will fail parsing invalid json if there's, like, a comma missing at the end, which makes me think i won't be able to get it to do any kinda streaming that doesn't involve loading the whole thing into memory at once |
| 2024-08-02 11:26:32 +0200 | <Unicorn_Princess> | hope you guys won't be mad if i do this in rust instead :S |
| 2024-08-02 11:37:35 +0200 | haskellbridge | sm raises the alarm! |
| 2024-08-02 11:39:33 +0200 | <haskellbridge> | <sm> I see https://www.reddit.com/r/haskell/comments/rpmjz6/ann_conduitaeson_parsing_large_or_even_infinite, |
| 2024-08-02 11:39:33 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_matrix/media/v3/download/kf8nh.com/IGJpPVfOUtrJPLeVnXuiBZER (3 lines) |
| 2024-08-02 11:40:05 +0200 | <Unicorn_Princess> | ooh, thanks! |
| 2024-08-02 11:41:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-02 11:42:02 +0200 | <haskellbridge> | <sm> and maybe maerwald 's https://hasufell.github.io/posts/2021-10-22-conduit-to-streamly.html also handles json ? not sure |
| 2024-08-02 11:45:06 +0200 | <Unicorn_Princess> | alas i may go with rust in spite of this. conduit-aeson says it only streams the top-level objects, alas here everything is nested in a dict. there's ways to get around that, i guess, but at that point going with rust will be simpler, i think. we'll see, after lunch! |
| 2024-08-02 11:48:46 +0200 | <haskellbridge> | <sm> that's an excellent blog post, for the record (and the discussion is also worth reading) |
| 2024-08-02 11:49:14 +0200 | <Unicorn_Princess> | the conduit-to-streamly one? |
| 2024-08-02 11:49:20 +0200 | <haskellbridge> | <sm> yup |
| 2024-08-02 11:49:31 +0200 | <haskellbridge> | <sm> I mean generally, not for you specifically |
| 2024-08-02 11:50:17 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-02 11:51:31 +0200 | Unicorn_Princess | runs away before learning too much category theory |
| 2024-08-02 11:57:46 +0200 | driib3 | (~driib@176.57.184.141) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-02 11:58:23 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-08-02 11:59:56 +0200 | chele | (~chele@user/chele) |
| 2024-08-02 12:04:48 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 2024-08-02 12:06:41 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 248 seconds) |
| 2024-08-02 12:14:34 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-02 12:22:41 +0200 | <jackdk> | I would look at the new tokeniser in Aeson ( https://hackage.haskell.org/package/aeson-2.2.3.0/docs/Data-Aeson-Decoding-Tokens.html ) and figure out if you can parse without materialising an AST in-memory. I used it in https://github.com/bellroy/hs-botocore . https://hackage.haskell.org/package/hw-json-simd may also be applicable here, if you can get it to build |
| 2024-08-02 12:35:38 +0200 | ZharMeny | (~user@user/ZharMeny) (Remote host closed the connection) |
| 2024-08-02 12:36:53 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-02 12:40:03 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-08-02 12:40:05 +0200 | <smiesner> | hi, which would you say is better or less worse fwiw? https://paste.tomsmeding.com/LJUR3F5f |
| 2024-08-02 12:40:26 +0200 | <danse-nr3> | Unicorn_Princess: rust is not magic either. If you don't encode the memory usage policy in your program, it might me more efficient but it will still not stream memory |
| 2024-08-02 12:44:37 +0200 | CiaoSen | (~Jura@2a05:5800:245:1f00:e6b9:7aff:fe80:3d03) (Ping timeout: 248 seconds) |
| 2024-08-02 12:45:16 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-02 12:45:20 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3119-0b85-7008-4954-4134-cc2a.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-02 12:51:41 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-08-02 12:52:38 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-08-02 12:56:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-08-02 12:59:22 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-08-02 13:01:27 +0200 | <Unicorn_Princess> | danse-nr3, i know i know, i just feel a lot more comfortable optimizing rust. plus i figure it should be more efficient with memory in the first place, so i have a good chance i won't have to optimize anything |
| 2024-08-02 13:08:42 +0200 | <danse-nr3> | as i wrote, efficient doesn't fix an architectural flaw. Loading a whole file in mem can be done more or less efficient, but that's still not streaming |
| 2024-08-02 13:08:56 +0200 | <danse-nr3> | *efficiently |
| 2024-08-02 13:11:38 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-02 13:13:56 +0200 | <Unicorn_Princess> | hey so long as it saves me from getting into the weeds of streaming json parsing, i'll take it |
| 2024-08-02 13:15:26 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-02 13:15:32 +0200 | danse-nr3 | can't clearly express properly |
| 2024-08-02 13:16:54 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-08-02 13:17:26 +0200 | <Lears> | Unicorn_Princess: I think their point was that it /won't/. If you need streaming, you need streaming full-stop---regardless of language. |
| 2024-08-02 13:19:20 +0200 | <danse-nr3> | 'cause 3G in memory is not usually desired, and if you work with that you will likely stumble upon even bigger sizes |
| 2024-08-02 13:21:55 +0200 | <Unicorn_Princess> | yes but i don't think i do need streaming. this is a rather one-time-parse, not something that will be ingesting json regularly |
| 2024-08-02 13:27:30 +0200 | Square | (~Square@user/square) |
| 2024-08-02 13:27:55 +0200 | <danse-nr3> | v |
| 2024-08-02 13:28:20 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-08-02 13:28:44 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-08-02 13:28:52 +0200 | michalz | (~michalz@185.246.207.218) (Read error: Connection reset by peer) |
| 2024-08-02 13:29:11 +0200 | michalz | (~michalz@185.246.207.201) |
| 2024-08-02 13:31:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-08-02 13:33:24 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-08-02 13:33:25 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 265 seconds) |
| 2024-08-02 13:35:29 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-08-02 13:39:23 +0200 | <Unicorn_Princess> | no such luck. looks like i'll have to make the json one level shallower with text-processing hacks, to avail myself of streaming |
| 2024-08-02 13:39:57 +0200 | <Unicorn_Princess> | oh well ¯\_(ツ)_/¯ |
| 2024-08-02 13:40:09 +0200 | <mauke> | Unicorn_Princess: last time I needed that, I used https://hackage.haskell.org/package/json-stream-0.4.5.3/docs/Data-JsonStream-Parser.html |
| 2024-08-02 13:40:12 +0200 | <mauke> | worked great |
| 2024-08-02 13:42:52 +0200 | <mauke> | I had a big object containing a (very long) array of objects, some of whose fields I was interested in |
| 2024-08-02 13:43:23 +0200 | <mauke> | I wrote a parser for extracting just those fields and fed it with chunks of a lazy bytestring |
| 2024-08-02 13:43:47 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: meal break) |
| 2024-08-02 13:45:37 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Read error: Connection reset by peer) |
| 2024-08-02 13:46:11 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-08-02 13:50:10 +0200 | stef204 | (~stef204@user/stef204) |
| 2024-08-02 13:54:28 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-02 14:05:21 +0200 | p3n | (~p3n@217.198.124.246) |
| 2024-08-02 14:06:12 +0200 | <Unicorn_Princess> | ooh, i'll give it a try, thanks mauke! |
| 2024-08-02 14:08:35 +0200 | xff0x | (~xff0x@2405:6580:b080:900:dfe2:132b:5bfa:6516) |
| 2024-08-02 14:08:36 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-08-02 14:13:38 +0200 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 2024-08-02 14:14:09 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Ping timeout: 276 seconds) |
| 2024-08-02 14:15:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-02 14:33:50 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-02 14:41:34 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2024-08-02 14:50:34 +0200 | AlexZenon | (~alzenon@94.233.241.125) (Quit: ;-) |
| 2024-08-02 14:51:40 +0200 | AlexNoo_ | (~AlexNoo@94.233.241.125) (Quit: Leaving) |
| 2024-08-02 14:53:48 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-02 14:59:29 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-788b-0212-3b17-a5be.rev.sfr.net) |
| 2024-08-02 15:16:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-08-02 15:17:05 +0200 | AlexNoo | (~AlexNoo@94.233.241.125) |
| 2024-08-02 15:27:50 +0200 | CiaoSen | (~Jura@2a05:5800:245:1f00:e6b9:7aff:fe80:3d03) |
| 2024-08-02 15:28:20 +0200 | AlexZenon | (~alzenon@94.233.241.125) |
| 2024-08-02 15:42:13 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2024-08-02 15:54:41 +0200 | Pixi` | (~Pixi@user/pixi) |
| 2024-08-02 15:56:51 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-02 15:57:19 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 260 seconds) |
| 2024-08-02 15:59:17 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-02 16:00:08 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-02 16:00:29 +0200 | califax | (~califax@user/califx) |
| 2024-08-02 16:22:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-02 16:22:56 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-08-02 16:22:56 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2024-08-02 16:22:56 +0200 | jinsun_ | jinsun |
| 2024-08-02 16:31:57 +0200 | CiaoSen | (~Jura@2a05:5800:245:1f00:e6b9:7aff:fe80:3d03) (Ping timeout: 276 seconds) |
| 2024-08-02 16:33:28 +0200 | andrewboltachev | (~andrey@178.141.85.220) |
| 2024-08-02 16:34:53 +0200 | <andrewboltachev> | Hi. Does anyone know where to look for non-greedy regexp/context-free algorithm? I've implemented greedy version by intuition here https://github.com/andrewboltachev/matcher/blob/master/src/Logicore/Matcher/Core.hs#L499 |
| 2024-08-02 16:38:35 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: Ping timeout (120 seconds)) |
| 2024-08-02 16:38:52 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-08-02 16:41:45 +0200 | nunggu | (~q@user/nunggu) |
| 2024-08-02 16:45:15 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-788b-0212-3b17-a5be.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-02 16:45:35 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-788b-0212-3b17-a5be.rev.sfr.net) |
| 2024-08-02 16:48:17 +0200 | <mauke> | I don't know, but non-greedy just means trying alternatives in the other order |
| 2024-08-02 17:00:55 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-08-02 17:02:51 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-02 17:11:21 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-02 17:15:09 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-08-02 17:16:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-02 17:19:00 +0200 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-08-02 17:25:24 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-08-02 17:29:51 +0200 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-02 17:30:11 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-02 17:30:46 +0200 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2024-08-02 17:32:47 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-08-02 17:33:40 +0200 | andrewboltachev | (~andrey@178.141.85.220) (Quit: Leaving.) |
| 2024-08-02 17:37:55 +0200 | andrewboltachev | (~andrey@178.141.85.220) |
| 2024-08-02 17:39:43 +0200 | cheater | (~Username@user/cheater) |
| 2024-08-02 17:41:05 +0200 | Vajb | (~Vajb@85-76-106-240-nat.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 2024-08-02 17:44:47 +0200 | Vajb | (~Vajb@n4v0h48xv84fiqflept-1.v6.elisa-mobile.fi) |
| 2024-08-02 17:45:24 +0200 | hayk | (~hayk@141.136.90.108) (Ping timeout: 260 seconds) |
| 2024-08-02 17:45:33 +0200 | andrewboltachev | (~andrey@178.141.85.220) (Quit: Leaving.) |
| 2024-08-02 17:46:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2024-08-02 17:46:59 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 260 seconds) |
| 2024-08-02 17:47:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-02 17:48:43 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-08-02 17:49:18 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 2024-08-02 17:52:17 +0200 | billchenchina- | (~billchenc@118.38.173.226) |
| 2024-08-02 17:52:51 +0200 | rvalue- | rvalue |
| 2024-08-02 17:57:41 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-08-02 18:02:00 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-08-02 18:05:49 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-08-02 18:15:19 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-02 18:28:43 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-788b-0212-3b17-a5be.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-02 18:29:30 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-08-02 18:29:53 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-6c19-8176-19c9-0ad1.rev.sfr.net) |
| 2024-08-02 18:31:31 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-6c19-8176-19c9-0ad1.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-02 18:32:21 +0200 | alexherbo2 | (~alexherbo@166.12.23.93.rev.sfr.net) |
| 2024-08-02 18:37:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-08-02 18:37:32 +0200 | euleritian | (~euleritia@dynamic-176-006-136-041.176.6.pool.telefonica.de) |
| 2024-08-02 18:45:33 +0200 | alexherbo2 | (~alexherbo@166.12.23.93.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-02 18:48:53 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-4dd1-1802-c725-41da.rev.sfr.net) |
| 2024-08-02 18:52:07 +0200 | dans49186 | (~danse-nr3@user/danse-nr3) |
| 2024-08-02 18:52:30 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-02 18:53:52 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-08-02 18:54:14 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-4dd1-1802-c725-41da.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-02 18:54:26 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 255 seconds) |
| 2024-08-02 18:54:51 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-08-02 19:02:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-02 19:04:00 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-02 19:08:22 +0200 | andrewboltachev | (~andrey@178.141.85.220) |
| 2024-08-02 19:08:56 +0200 | dans49186 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-08-02 19:09:10 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-02 19:11:24 +0200 | <danse-nr3> | @hoogle '(a -> b -> b) -> m a -> b -> b' |
| 2024-08-02 19:11:25 +0200 | <lambdabot> | No results found |
| 2024-08-02 19:13:11 +0200 | <EvanR> | that seems unlikely to be realized, because having an m a doesn't mean you can get an a |
| 2024-08-02 19:13:38 +0200 | <EvanR> | exists m a where you can't possibly get an a |
| 2024-08-02 19:14:14 +0200 | <danse-nr3> | hmm good point |
| 2024-08-02 19:14:22 +0200 | <EvanR> | but |
| 2024-08-02 19:14:33 +0200 | <danse-nr3> | probably looking for foldr |
| 2024-08-02 19:14:56 +0200 | <EvanR> | :t \f m x -> x :: (a -> b -> b) -> m a -> b -> b |
| 2024-08-02 19:14:57 +0200 | <lambdabot> | error: |
| 2024-08-02 19:14:57 +0200 | <lambdabot> | • Couldn't match expected type ‘(a1 -> b1 -> b1) |
| 2024-08-02 19:14:58 +0200 | <lambdabot> | -> m1 a1 -> b1 -> b1’ |
| 2024-08-02 19:15:00 +0200 | <danse-nr3> | yeah i was looking to return b untouched in that case |
| 2024-08-02 19:15:40 +0200 | <EvanR> | yeah I'm so wrong because of that |
| 2024-08-02 19:15:55 +0200 | <danse-nr3> | :t \f m b -> maybe b (f b) m |
| 2024-08-02 19:15:56 +0200 | <lambdabot> | (t -> a -> t) -> Maybe a -> t -> t |
| 2024-08-02 19:17:14 +0200 | <danse-nr3> | :t \f m b -> fromMaybe b $ f b <$> m |
| 2024-08-02 19:17:15 +0200 | <lambdabot> | (t -> a -> t) -> Maybe a -> t -> t |
| 2024-08-02 19:17:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-02 19:17:59 +0200 | <danse-nr3> | :t \f m b -> pure b <|> (f b <$> m) |
| 2024-08-02 19:18:00 +0200 | <lambdabot> | Alternative f => (t -> a -> t) -> f a -> t -> f t |
| 2024-08-02 19:18:35 +0200 | <danse-nr3> | @hoogle '(t -> a -> t) -> f a -> t -> f t' |
| 2024-08-02 19:18:36 +0200 | <lambdabot> | No results found |
| 2024-08-02 19:19:14 +0200 | <danse-nr3> | :t foldl |
| 2024-08-02 19:19:15 +0200 | <lambdabot> | Foldable t => (b -> a -> b) -> b -> t a -> b |
| 2024-08-02 19:20:54 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-02 19:22:06 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-08-02 19:31:27 +0200 | gehmehgeh | gmg |
| 2024-08-02 19:38:30 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-02 19:47:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-02 19:48:53 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-08-02 19:51:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-02 19:54:44 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-02 19:55:33 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-02 19:58:42 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-08-02 20:01:33 +0200 | raym | (~ray@user/raym) |
| 2024-08-02 20:02:03 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 2024-08-02 20:05:29 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-08-02 20:05:42 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-02 20:08:16 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-1c90-a231-2c3b-18f7.rev.sfr.net) |
| 2024-08-02 20:10:12 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Client Quit) |
| 2024-08-02 20:12:46 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-02 20:13:47 +0200 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-08-02 20:16:36 +0200 | cheater | (~Username@user/cheater) |
| 2024-08-02 20:20:40 +0200 | raym | (~ray@user/raym) |
| 2024-08-02 20:33:15 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-02 20:33:49 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-08-02 20:34:43 +0200 | CiaoSen | (~Jura@2a05:5800:245:1f00:e6b9:7aff:fe80:3d03) |
| 2024-08-02 20:38:38 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-02 20:40:25 +0200 | <hololeap> | why doesn't this need DeriveTraversable on ghc-9.6? I'm running it with runghc-9.6.5 with no errors: https://bpa.st/EZKA |
| 2024-08-02 20:41:31 +0200 | <hololeap> | line 59 |
| 2024-08-02 20:43:31 +0200 | <ncf> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/deriving_extra.html#extension-DeriveTraver… |
| 2024-08-02 20:43:35 +0200 | <ncf> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/control.html#extension-GHC2021 |
| 2024-08-02 20:45:02 +0200 | <hololeap> | is GHC2021 turned on by default? |
| 2024-08-02 20:45:29 +0200 | <monochrom> | Yes if you use GHC directly. |
| 2024-08-02 20:46:14 +0200 | <hololeap> | I see. do you happen to know what ghc version introduced that? |
| 2024-08-02 20:47:13 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-02 20:47:40 +0200 | <geekosaur> | same version that introduced GHC2021, I think 9.2 |
| 2024-08-02 20:48:02 +0200 | Guest32 | (~Guest32@84.237.249.45) |
| 2024-08-02 20:48:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-02 20:49:08 +0200 | <hololeap> | huh, I must have never run into this before then. thanks |
| 2024-08-02 20:56:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-08-02 20:58:04 +0200 | Guest32 | (~Guest32@84.237.249.45) (Quit: Client closed) |
| 2024-08-02 21:00:57 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-02 21:03:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-02 21:06:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-02 21:06:26 +0200 | connrs | (~connrs@user/connrs) |
| 2024-08-02 21:18:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-02 21:18:36 +0200 | euleritian | (~euleritia@dynamic-176-006-136-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-02 21:19:23 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-08-02 21:21:48 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Quit: skyesoss) |
| 2024-08-02 21:26:43 +0200 | CiaoSen | (~Jura@2a05:5800:245:1f00:e6b9:7aff:fe80:3d03) (Ping timeout: 244 seconds) |
| 2024-08-02 21:27:07 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-08-02 21:28:48 +0200 | sp1ff` | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-08-02 21:29:45 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-02 21:29:55 +0200 | danza | (~danza@user/danza) |
| 2024-08-02 21:30:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-02 21:30:28 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Ping timeout: 265 seconds) |
| 2024-08-02 21:30:29 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-08-02 21:33:32 +0200 | spew | (~spew@201.141.102.132) (Client Quit) |
| 2024-08-02 21:35:02 +0200 | billchenchina- | (~billchenc@118.38.173.226) (Remote host closed the connection) |
| 2024-08-02 21:35:55 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-02 21:41:29 +0200 | dfg | (~dfg@user/dfg) (Ping timeout: 260 seconds) |
| 2024-08-02 21:44:10 +0200 | dfg | (~dfg@user/dfg) |
| 2024-08-02 21:48:24 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-08-02 21:50:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-02 21:51:10 +0200 | euleritian | (~euleritia@dynamic-176-006-136-041.176.6.pool.telefonica.de) |
| 2024-08-02 21:57:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-02 21:59:37 +0200 | euleritian | (~euleritia@dynamic-176-006-136-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-02 21:59:53 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-08-02 22:03:13 +0200 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Remote host closed the connection) |
| 2024-08-02 22:12:52 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-1c90-a231-2c3b-18f7.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-02 22:14:58 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-4855-90f7-79e6-dfde.rev.sfr.net) |
| 2024-08-02 22:18:11 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-08-02 22:18:26 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-08-02 22:26:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-02 22:29:59 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-08-02 22:34:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-02 22:39:49 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-08-02 22:41:55 +0200 | danza | (~danza@user/danza) (Quit: new bits) |
| 2024-08-02 22:42:21 +0200 | danza | (~danza@user/danza) |
| 2024-08-02 22:44:33 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Quit: oo_miguel) |
| 2024-08-02 22:45:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-02 22:47:34 +0200 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2024-08-02 22:51:31 +0200 | Enrico63 | (~Enrico63@81.109.143.226) |
| 2024-08-02 22:52:01 +0200 | danz70516 | (~danza@user/danza) |
| 2024-08-02 22:52:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-02 22:53:04 +0200 | <Enrico63> | Hi, I still haven't managed to load my project (https://codeberg.org/Aster89/xnobar) on hackage. Here's the latest build error: https://hackage.haskell.org/package/xnobar-0.0.0.1/reports/2; what is it even telling me? |
| 2024-08-02 22:54:34 +0200 | danza | (~danza@user/danza) (Ping timeout: 260 seconds) |
| 2024-08-02 23:01:19 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-08-02 23:01:32 +0200 | <ZharMeny> | Enrico63: i think xnobar requires the base package of 4.19.1 or newer, but the machine it is being built on has 4.18.1 installed and it is not allowed to upgrade |
| 2024-08-02 23:01:41 +0200 | kimiamania | (~65804703@user/kimiamania) |
| 2024-08-02 23:02:31 +0200 | <geekosaur> | which means your ghc is too old, yes |
| 2024-08-02 23:02:48 +0200 | <geekosaur> | base 4.19 is ghc 9.8 |
| 2024-08-02 23:03:36 +0200 | <ZharMeny> | the link say: "Compiler ghc-9.6.3" |
| 2024-08-02 23:03:43 +0200 | <ZharMeny> | says* |
| 2024-08-02 23:04:26 +0200 | <Enrico63> | geekosaur, I don't follow. The machine (used by hackage, not mine, I understand) has 4.18.1, and I provided a lower bound of 4.19.1. How my ghc too old? |
| 2024-08-02 23:05:02 +0200 | <geekosaur> | hackage's ghc is too old in that case |
| 2024-08-02 23:05:14 +0200 | <geekosaur> | it doesn't have ghc 9.8, so hackage won't be able to build it |
| 2024-08-02 23:05:21 +0200 | <Enrico63> | oh, ok |
| 2024-08-02 23:06:38 +0200 | danz70516 | (~danza@user/danza) (Remote host closed the connection) |
| 2024-08-02 23:06:52 +0200 | danza | (~danza@user/danza) |
| 2024-08-02 23:07:32 +0200 | <Enrico63> | Ok, updated metadata and triggered rebuild |
| 2024-08-02 23:08:36 +0200 | <Enrico63> | Thanks, let's see if it works! :) |
| 2024-08-02 23:12:01 +0200 | Enrico63 | (~Enrico63@81.109.143.226) (Quit: Client closed) |
| 2024-08-02 23:13:50 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2024-08-02 23:14:33 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2024-08-02 23:16:32 +0200 | <ZharMeny> | another issue pops up! |
| 2024-08-02 23:20:50 +0200 | danza | (~danza@user/danza) (Quit: testing...) |
| 2024-08-02 23:21:14 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-08-02 23:21:16 +0200 | danza | (~danza@user/danza) |
| 2024-08-02 23:25:32 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-08-02 23:25:51 +0200 | danza | (~danza@user/danza) (Client Quit) |
| 2024-08-02 23:26:13 +0200 | danza | (~danza@user/danza) |
| 2024-08-02 23:26:47 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-02 23:34:44 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-02 23:41:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-08-02 23:48:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-02 23:50:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-02 23:56:19 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-4855-90f7-79e6-dfde.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-02 23:56:44 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-a165-d423-9d21-4a76.rev.sfr.net) |
| 2024-08-02 23:57:43 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3109-f5d4-a165-d423-9d21-4a76.rev.sfr.net) (Remote host closed the connection) |