| 2021-09-11 00:02:13 +0000 | <lechner> | awpr monochrom glguy: thanks! that works like a charm, and emacs indents it right too |
| 2021-09-11 00:04:54 +0000 | <monochrom> | Sometimes the syntax colourer is confused. But if you delete one of the quotes and enter again, it is right again. |
| 2021-09-11 00:05:06 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2.1) |
| 2021-09-11 00:05:13 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 00:05:22 +0000 | <glguy> | When I'm using vim I press ^L to get syntax highlighting back in order |
| 2021-09-11 00:05:27 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 00:05:49 +0000 | <glguy> | I don't know where else that works, but it works there :) |
| 2021-09-11 00:06:27 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-09-11 00:10:04 +0000 | <hololeap> | a pattern that I'm looking for a name for: basically "barbies" with a type family where: TF Identity x = x; TF f x = f x |
| 2021-09-11 00:10:19 +0000 | <lechner> | actually, may it does not work so well. i get lexical error in string/character literal at character 't' |
| 2021-09-11 00:11:23 +0000 | <monochrom> | OptimizedTypeLevelApplication |
| 2021-09-11 00:11:30 +0000 | <geekosaur> | @where paste |
| 2021-09-11 00:11:30 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-09-11 00:13:06 +0000 | <lechner> | https://paste.tomsmeding.com/Ld3L3FeP |
| 2021-09-11 00:13:46 +0000 | <geekosaur> | you need the closing backslash too |
| 2021-09-11 00:13:53 +0000 | <lechner> | ah |
| 2021-09-11 00:14:14 +0000 | <lechner> | thanks! did i mention i am a newbie? |
| 2021-09-11 00:15:33 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 00:15:46 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 00:16:15 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-09-11 00:18:22 +0000 | <lechner> | Hi, what the right way to render HTML entities in Lucid please? |
| 2021-09-11 00:21:04 +0000 | <lechner> | HTML entities are escaped, and UTF-8 in the literal string is not encoded |
| 2021-09-11 00:24:28 +0000 | <hololeap> | Could not deduce (MonadFail m) arising from a do statement with the failable pattern |
| 2021-09-11 00:24:41 +0000 | <hololeap> | I've never seen this before. any ideas where it's coming from? |
| 2021-09-11 00:25:34 +0000 | <geekosaur> | you have a do with a pattern match in it, which induces a MonadFail constraint which can't be fulfilled |
| 2021-09-11 00:25:35 +0000 | <awpr> | hololeap: pattern on the LHS of an <- that doesn't cover all constructors of the type |
| 2021-09-11 00:25:40 +0000 | <geekosaur> | @where paste |
| 2021-09-11 00:25:40 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-09-11 00:26:18 +0000 | <hololeap> | awpr: huh ok, thanks |
| 2021-09-11 00:30:22 +0000 | dajoer | (~david@user/gvx) |
| 2021-09-11 00:30:53 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 00:31:08 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 00:32:44 +0000 | <hololeap> | are there any downsides to using :+: from GHC.Generics as opposed to Data.Functor.Compose ? |
| 2021-09-11 00:32:47 +0000 | neurocyte | (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 2021-09-11 00:33:52 +0000 | <glguy> | You mean :.: ? |
| 2021-09-11 00:36:08 +0000 | <hololeap> | yeah |
| 2021-09-11 00:36:29 +0000 | <hololeap> | but I guess the same question could apply to :+: and Data.Functor.Sum |
| 2021-09-11 00:36:35 +0000 | <glguy> | If so the differences would be Compose and :.: happen to have different class instances, and you'll confuse your reader using :.: but not actually doing anything with Generic1; on the other hand an advantage of :.: is that it's poly kinded |
| 2021-09-11 00:36:58 +0000 | <glguy> | oh, nevermind, they both are |
| 2021-09-11 00:40:15 +0000 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.1) |
| 2021-09-11 00:40:55 +0000 | neurocyte | (~neurocyte@195.80.55.123) |
| 2021-09-11 00:40:55 +0000 | neurocyte | (~neurocyte@195.80.55.123) (Changing host) |
| 2021-09-11 00:40:55 +0000 | neurocyte | (~neurocyte@user/neurocyte) |
| 2021-09-11 00:55:43 +0000 | beka | (~beka@104.193.170.240) (Read error: Connection reset by peer) |
| 2021-09-11 00:57:22 +0000 | Zianic | (~12602@user/zianic) (Ping timeout: 250 seconds) |
| 2021-09-11 01:13:38 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:2435:ba7:e573:bc26) (Quit: Leaving) |
| 2021-09-11 01:21:10 +0000 | xff0x | (~xff0x@2001:1a81:531e:3c00:25c1:193a:5cc2:a16c) (Ping timeout: 260 seconds) |
| 2021-09-11 01:22:47 +0000 | xff0x | (~xff0x@2001:1a81:5337:500:e9c5:4ba0:f0a1:a088) |
| 2021-09-11 01:24:45 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-11 01:30:05 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-09-11 01:32:01 +0000 | neurocyte1 | (~neurocyte@94.46.86.84) |
| 2021-09-11 01:32:01 +0000 | neurocyte1 | (~neurocyte@94.46.86.84) (Changing host) |
| 2021-09-11 01:32:01 +0000 | neurocyte1 | (~neurocyte@user/neurocyte) |
| 2021-09-11 01:34:34 +0000 | neurocyte | (~neurocyte@user/neurocyte) (Ping timeout: 260 seconds) |
| 2021-09-11 01:34:34 +0000 | neurocyte1 | neurocyte |
| 2021-09-11 01:37:01 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Remote host closed the connection) |
| 2021-09-11 01:42:45 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-09-11 01:43:27 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-09-11 01:46:14 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 01:46:27 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 01:56:40 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 01:56:55 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 02:00:31 +0000 | benin03693230 | (~benin@183.82.24.227) |
| 2021-09-11 02:01:21 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-11 02:02:28 +0000 | benin0369323 | (~benin@183.82.24.241) (Ping timeout: 252 seconds) |
| 2021-09-11 02:02:29 +0000 | benin03693230 | benin0369323 |
| 2021-09-11 02:05:50 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
| 2021-09-11 02:07:25 +0000 | martin02 | (~silas@141.84.69.76) (Ping timeout: 252 seconds) |
| 2021-09-11 02:10:45 +0000 | vysn | (~vysn@user/vysn) |
| 2021-09-11 02:12:01 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 02:12:18 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 02:12:50 +0000 | aegon | (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-09-11 02:12:50 +0000 | td_ | (~td@94.134.91.202) (Ping timeout: 260 seconds) |
| 2021-09-11 02:14:18 +0000 | martin02 | (~silas@141.84.69.76) |
| 2021-09-11 02:14:44 +0000 | td_ | (~td@94.134.91.99) |
| 2021-09-11 02:20:50 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-09-11 02:20:53 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-09-11 02:20:56 +0000 | allbery_b | geekosaur |
| 2021-09-11 02:26:09 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 265 seconds) |
| 2021-09-11 02:26:19 +0000 | bzm3r | (~bzm3r@d50-92-75-230.bchsia.telus.net) |
| 2021-09-11 02:29:06 +0000 | bzm3r | (~bzm3r@d50-92-75-230.bchsia.telus.net) (Client Quit) |
| 2021-09-11 02:32:24 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 02:32:48 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 02:32:50 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2021-09-11 02:35:28 +0000 | alx741 | (~alx741@186.178.109.89) (Ping timeout: 252 seconds) |
| 2021-09-11 02:36:04 +0000 | alx741 | (~alx741@186.178.109.89) |
| 2021-09-11 02:36:56 +0000 | alx741 | (~alx741@186.178.109.89) (Client Quit) |
| 2021-09-11 02:37:51 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 02:38:05 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 02:43:11 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 02:43:28 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 02:48:32 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 02:48:51 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 02:55:48 +0000 | benin03693230 | (~benin@183.82.24.227) |
| 2021-09-11 02:59:02 +0000 | benin0369323 | (~benin@183.82.24.227) (Ping timeout: 260 seconds) |
| 2021-09-11 03:01:52 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 2021-09-11 03:02:09 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-09-11 03:03:49 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-09-11 03:03:52 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 03:04:06 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 03:09:12 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 03:09:26 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 03:19:19 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-09-11 03:24:32 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 03:24:53 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 03:26:06 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 260 seconds) |
| 2021-09-11 03:26:31 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-11 03:31:24 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-09-11 03:42:45 +0000 | asivitz | (uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-09-11 03:49:17 +0000 | texasmynsted | (~texasmyns@99.96.221.112) (WeeChat 3.1) |
| 2021-09-11 03:51:46 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2021-09-11 04:04:26 +0000 | nicbk | (~nicbk@user/nicbk) |
| 2021-09-11 04:09:52 +0000 | j | jess |
| 2021-09-11 04:21:21 +0000 | <jle`> | remember when we used to write (Applicative m, Monad m) => .. |
| 2021-09-11 04:37:50 +0000 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
| 2021-09-11 04:44:00 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Quit: WeeChat 3.2) |
| 2021-09-11 04:44:09 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2021-09-11 05:01:29 +0000 | <iqubic> | Nope! |
| 2021-09-11 05:01:42 +0000 | <iqubic> | I only started using Haskell 5 years ago. |
| 2021-09-11 05:02:37 +0000 | <hololeap> | @hoogle Monad m => (a -> m b) -> t a -> m (t b) |
| 2021-09-11 05:02:38 +0000 | <lambdabot> | Prelude mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2021-09-11 05:02:38 +0000 | <lambdabot> | Control.Monad mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2021-09-11 05:02:38 +0000 | <lambdabot> | Data.Traversable mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2021-09-11 05:03:10 +0000 | benin03693230 | (~benin@183.82.24.227) (Ping timeout: 260 seconds) |
| 2021-09-11 05:03:23 +0000 | <hololeap> | is there a typeclass like Traversable but requiring Monad instead of Applicative on the `traverse` function? |
| 2021-09-11 05:05:42 +0000 | <hololeap> | also, hoogle.haskell.org is down |
| 2021-09-11 05:05:51 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-09-11 05:05:59 +0000 | <hololeap> | (no space left on device) |
| 2021-09-11 05:07:22 +0000 | mikoto-chan | (~mikoto-ch@83.137.2.248) (Quit: mikoto-chan) |
| 2021-09-11 05:08:23 +0000 | vk3wtf_ | (~doc@194-193-188-29.tpgi.com.au) |
| 2021-09-11 05:09:12 +0000 | <monochrom> | @type mapM_ |
| 2021-09-11 05:09:13 +0000 | <lambdabot> | (Foldable t, Monad m) => (a -> m b) -> t a -> m () |
| 2021-09-11 05:09:22 +0000 | <monochrom> | @type mapM |
| 2021-09-11 05:09:23 +0000 | <lambdabot> | (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2021-09-11 05:09:43 +0000 | <monochrom> | That one still requires Monad and does what traverse does. |
| 2021-09-11 05:10:40 +0000 | vk3wtf | (~doc@220-245-2-190.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2021-09-11 05:11:51 +0000 | <awpr> | the extra flexibility those monad-traversals would have is that they can have earlier elements' results affect later elements' inputs. I've never really come up with a sensible thing of that type that isn't just a normal Traversal |
| 2021-09-11 05:12:51 +0000 | <awpr> | I've implicitly adjusted the question to "what do you get if you put `Monad` instead of `Applicative` in the definition of `Traversal`" |
| 2021-09-11 05:14:10 +0000 | <jle`> | awpr: you can do that with StateT at least |
| 2021-09-11 05:14:19 +0000 | <jle`> | oh, i misread |
| 2021-09-11 05:14:53 +0000 | <jle`> | earlier elements' results affect the actions of later inputs, yeah, i think needs Monad |
| 2021-09-11 05:15:42 +0000 | neo2 | (~neo3@cpe-292712.ip.primehome.com) |
| 2021-09-11 05:19:44 +0000 | <hololeap> | monochrom: what I mean is there is no way to write `traverse` for this particular type, only `mapM` ... so it needs something different from Traversable |
| 2021-09-11 05:20:42 +0000 | <awpr> | what's the type? it must be pretty exotic to need `Monad` in its traversal-like thing |
| 2021-09-11 05:23:53 +0000 | <hololeap> | awpr: data Node f a b = Node a (HashMap Name (f b)) ; newtype MyTree f a = MyTree (Fix (Node f a)) |
| 2021-09-11 05:24:08 +0000 | <jle`> | sounds like something that may not necessarily follow the Traversable laws anyway |
| 2021-09-11 05:24:39 +0000 | <jle`> | hololeap: what's the type you watn to write "traverse" for? |
| 2021-09-11 05:24:46 +0000 | <hololeap> | MyTree |
| 2021-09-11 05:25:10 +0000 | <jle`> | traverse :: (a -> m b) -> MyTree f a -> m (MyTree f b) ? |
| 2021-09-11 05:25:34 +0000 | <jle`> | any constraints on f or m? |
| 2021-09-11 05:25:54 +0000 | <awpr> | I don't immediately see why that would not support Traversable. it'd need `Traversable f`, but I don't think it'd need `Monad` |
| 2021-09-11 05:26:27 +0000 | <hololeap> | f needs to be Traversable... I haven't found a way to write it for m being Applicative, only when m is Monad |
| 2021-09-11 05:27:40 +0000 | <jle`> | ah, so it's not necesarily a theoretical thing like you *need* to have actions depend on previous reuslts ... it's that you aren't sure how to implement it ? |
| 2021-09-11 05:28:28 +0000 | <hololeap> | right |
| 2021-09-11 05:30:28 +0000 | <hololeap> | my implementation of Functor for MyTree uses hoistFix, and Foldable uses foldFix... I think Traversable would need (possibly) foldFixM which has a Monad constraint |
| 2021-09-11 05:30:38 +0000 | <hololeap> | https://hackage.haskell.org/package/data-fix-0.3.2/docs/Data-Fix.html#v:foldFixM |
| 2021-09-11 05:31:27 +0000 | <hololeap> | I tried writing: (Traversable g, Applicative m) => (forall a. f a -> m (g a)) -> Fix f -> m (Fix g) |
| 2021-09-11 05:31:33 +0000 | <hololeap> | as a new function |
| 2021-09-11 05:31:53 +0000 | <hololeap> | but I got stuck and the only way to proceed was to change "Applicatve m" to "Monad m" |
| 2021-09-11 05:32:47 +0000 | <hololeap> | so I'm starting to suspect it isn't possible to write `traverse` because of the Applicative constraint |
| 2021-09-11 05:33:35 +0000 | hays | (rootvegeta@fsf/member/hays) (Quit: hays) |
| 2021-09-11 05:34:59 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 05:35:18 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 05:35:43 +0000 | hays | (rootvegeta@fsf/member/hays) |
| 2021-09-11 05:35:46 +0000 | oxide | (~lambda@user/oxide) |
| 2021-09-11 05:40:22 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 05:40:25 +0000 | haskl[error] | (~haskl@user/haskl) |
| 2021-09-11 05:40:26 +0000 | haskl | (~haskl@user/haskl) (Ping timeout: 256 seconds) |
| 2021-09-11 05:40:36 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 05:43:12 +0000 | <awpr> | wrote one |
| 2021-09-11 05:44:29 +0000 | <awpr> | it's pretty straightforward/mechanical to write a bitraverse function for `Node`, and then with some kinda tricky recursion you can thread that through the tree to get a traverse for `MyTree` |
| 2021-09-11 05:44:53 +0000 | <hololeap> | ok, I actually have bitraverse for Node written |
| 2021-09-11 05:46:03 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-09-11 05:47:30 +0000 | <hololeap> | awpr: would you mind sharing what you wrote? |
| 2021-09-11 05:49:11 +0000 | Cajun | (~Cajun@user/cajun) |
| 2021-09-11 05:49:33 +0000 | <awpr> | `go (Fix node) = Fix <$> bitraverseNode f go node` is the core part of it |
| 2021-09-11 05:54:18 +0000 | <hololeap> | awpr: awesome, it works! |
| 2021-09-11 06:00:30 +0000 | <awpr> | I think you're right that that other type signature requires Monad. I haven't figured out a way to factor the recursion out of this implementation, but it seems like it should be possible |
| 2021-09-11 06:03:05 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-11 06:05:42 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 06:05:56 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 06:07:06 +0000 | zaquest | (~notzaques@5.128.210.178) (Ping timeout: 260 seconds) |
| 2021-09-11 06:07:37 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-09-11 06:08:58 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2021-09-11 06:21:31 +0000 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) |
| 2021-09-11 06:22:02 +0000 | xff0x | (~xff0x@2001:1a81:5337:500:e9c5:4ba0:f0a1:a088) (Ping timeout: 260 seconds) |
| 2021-09-11 06:22:56 +0000 | xff0x | (~xff0x@2001:1a81:5337:500:915:acb5:b793:8885) |
| 2021-09-11 06:25:56 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-11 06:25:57 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-11 06:25:57 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-11 06:27:06 +0000 | seeg | (~thelounge@static.89.161.217.95.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2021-09-11 06:27:48 +0000 | seeg | (~thelounge@static.89.161.217.95.clients.your-server.de) |
| 2021-09-11 06:28:06 +0000 | nicbk | (~nicbk@user/nicbk) (Ping timeout: 276 seconds) |
| 2021-09-11 06:29:37 +0000 | <hololeap> | awpr: I think this is about as abstract as it gets: http://sprunge.us/HUBf35 |
| 2021-09-11 06:30:10 +0000 | Lycurgus | (~juan@98.4.112.204) |
| 2021-09-11 06:30:21 +0000 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2021-09-11 06:30:43 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2021-09-11 07:01:06 +0000 | <iqubic> | Should I switch from Haskell to Idris? |
| 2021-09-11 07:03:27 +0000 | <Lycurgus> | y u only ax in the old black? |
| 2021-09-11 07:04:13 +0000 | <Lycurgus> | should also be in #idris, with same query |
| 2021-09-11 07:04:32 +0000 | brandonh | (~brandonh@151.82.94.194) |
| 2021-09-11 07:06:02 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 07:06:19 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 07:08:51 +0000 | tinwood | (~tinwood@canonical/tinwood) (Remote host closed the connection) |
| 2021-09-11 07:10:59 +0000 | zaquest | (~notzaques@5.128.210.178) |
| 2021-09-11 07:11:55 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2021-09-11 07:11:56 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2021-09-11 07:11:56 +0000 | tinwood | (~tinwood@canonical/tinwood) |
| 2021-09-11 07:13:41 +0000 | brandonh | (~brandonh@151.82.94.194) (Quit: brandonh) |
| 2021-09-11 07:15:47 +0000 | Lycurgus | (~juan@98.4.112.204) (Quit: Exeunt) |
| 2021-09-11 07:16:25 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 07:16:39 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 07:16:55 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 2021-09-11 07:20:42 +0000 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-09-11 07:25:36 +0000 | acidjnk_new | (~acidjnk@p200300d0c72030496808eef6383dbff4.dip0.t-ipconnect.de) |
| 2021-09-11 07:26:45 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 07:26:59 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 07:32:05 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 07:32:19 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 07:37:38 +0000 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-09-11 07:40:26 +0000 | jinsun | (~quassel@user/jinsun) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-09-11 07:40:50 +0000 | jinsun | (~quassel@user/jinsun) |
| 2021-09-11 07:42:25 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 07:42:38 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 07:42:38 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-11 07:42:46 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 07:42:48 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-11 07:43:04 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 07:50:44 +0000 | max22- | (~maxime@2a01cb088335980070405fe723f8a657.ipv6.abo.wanadoo.fr) |
| 2021-09-11 07:54:09 +0000 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) |
| 2021-09-11 07:54:29 +0000 | acidjnk_new3 | (~acidjnk@p200300d0c72030494d60b877161c39dc.dip0.t-ipconnect.de) |
| 2021-09-11 07:56:26 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-09-11 07:57:08 +0000 | wonko | (~wjc@62.115.229.50) |
| 2021-09-11 07:57:58 +0000 | falafel_ | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) |
| 2021-09-11 07:58:10 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 07:58:19 +0000 | acidjnk_new | (~acidjnk@p200300d0c72030496808eef6383dbff4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-09-11 07:58:23 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 08:00:02 +0000 | falafel__ | (~falafel@cpe-76-168-195-162.socal.res.rr.com) |
| 2021-09-11 08:00:42 +0000 | chomwitt | (~chomwitt@ppp-94-67-221-96.home.otenet.gr) |
| 2021-09-11 08:01:26 +0000 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-09-11 08:02:20 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-09-11 08:03:16 +0000 | falafel_ | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-09-11 08:03:40 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-09-11 08:04:00 +0000 | cheater | (~Username@user/cheater) |
| 2021-09-11 08:06:20 +0000 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-09-11 08:08:51 +0000 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 276 seconds) |
| 2021-09-11 08:12:35 +0000 | abraham | (~abraham@143.244.185.86) (Quit: The Lounge - https://thelounge.chat) |
| 2021-09-11 08:13:48 +0000 | abraham | (~abraham@143.244.185.86) |
| 2021-09-11 08:15:13 +0000 | falafel__ | (~falafel@cpe-76-168-195-162.socal.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-09-11 08:15:36 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) (Remote host closed the connection) |
| 2021-09-11 08:18:30 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 08:18:49 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 08:19:37 +0000 | <jle`> | iqubic: depends on what you want to do probably |
| 2021-09-11 08:20:05 +0000 | Gurkenglas | (~Gurkengla@dslb-002-207-014-195.002.207.pools.vodafone-ip.de) |
| 2021-09-11 08:26:10 +0000 | Gurkenglas | (~Gurkengla@dslb-002-207-014-195.002.207.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2021-09-11 08:31:13 +0000 | ephemient | (uid407513@id-407513.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-09-11 08:31:20 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-09-11 08:33:50 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 08:34:12 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 08:34:17 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Client Quit) |
| 2021-09-11 08:34:40 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 08:34:42 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2021-09-11 08:37:34 +0000 | ephemient | (uid407513@id-407513.lymington.irccloud.com) |
| 2021-09-11 08:39:34 +0000 | martin02 | (~silas@141.84.69.76) (Ping timeout: 252 seconds) |
| 2021-09-11 08:39:44 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 08:39:58 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 08:40:20 +0000 | <Unhammer> | Tried https://www.reddit.com/r/haskell/comments/plmrky/ann_vectorhashtables/ on a task I saw somewhere about doing frequency lists `awk '{for(i=1;i<=NF;i++)c[tolower($i)]++} END{for(w in c)print c[w],w}' bigtextfiles.txt` |
| 2021-09-11 08:40:24 +0000 | <Unhammer> | it's better than unordered-containers HashMap.Strict but I wonder if I'm doing something very wrong since it's quite a bit slower than awk |
| 2021-09-11 08:41:05 +0000 | <Unhammer> | Compared to unordered-containers HashMap, wall times are going from 4s→2.5s and CPU from 6.5s→3.5s (HashMap is doing more GC? Or is it because I'm using streamly) on a word list of 6200000 unique words |
| 2021-09-11 08:41:18 +0000 | <Unhammer> | while on a bigger corpus of real text it's like 34s→29s. But GNU awk uses <7s. |
| 2021-09-11 08:41:25 +0000 | <Unhammer> | https://github.com/unhammer/foo-vh-count |
| 2021-09-11 08:46:11 +0000 | martin02 | (~silas@141.84.69.76) |
| 2021-09-11 08:50:08 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-09-11 08:50:29 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-09-11 08:52:28 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-09-11 08:59:06 +0000 | chomwitt | (~chomwitt@ppp-94-67-221-96.home.otenet.gr) (Ping timeout: 265 seconds) |
| 2021-09-11 09:00:08 +0000 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (Quit: You have been kicked for being idle) |
| 2021-09-11 09:02:27 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2021-09-11 09:03:54 +0000 | kstuart | (~kstuart@85.203.46.113) |
| 2021-09-11 09:05:04 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 09:05:06 +0000 | TranquilEcho | (~grom@user/tranquilecho) |
| 2021-09-11 09:05:26 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 09:05:37 +0000 | spruit11_ | (~quassel@2a02:a467:ccd6:1:5542:2068:efaa:d531) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-09-11 09:05:59 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:5542:2068:efaa:d531) |
| 2021-09-11 09:08:10 +0000 | <ldlework> | Wow I finally made it through chapter 12 of HFFP |
| 2021-09-11 09:08:16 +0000 | <ldlework> | what a slog! |
| 2021-09-11 09:10:13 +0000 | <Rembane> | \o/ |
| 2021-09-11 09:13:45 +0000 | <adamse> | Unhammer: maybe gc? try running with +RTS -s to see some stats about where the time is spent |
| 2021-09-11 09:15:31 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 09:15:51 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 09:16:01 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) |
| 2021-09-11 09:20:27 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) (Ping timeout: 245 seconds) |
| 2021-09-11 09:20:44 +0000 | kstuart | (~kstuart@85.203.46.113) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-09-11 09:21:17 +0000 | wonko | (~wjc@62.115.229.50) (Ping timeout: 245 seconds) |
| 2021-09-11 09:21:19 +0000 | <jchia[m]> | With a function `open :: String -> IO Connection` (https://hackage.haskell.org/package/sqlite-simple-0.4.18.0/docs/Database-SQLite-Simple.html#v:open), can I get the GHC runtime to call `close :: Connection -> IO ()` when the Connection has no more references to it, e.g. when it is is being GC'ed? This way I don't have to explicitly call close myself. |
| 2021-09-11 09:22:19 +0000 | <Unhammer> | http://sprunge.us/v3rIja adamse lots of time spent gc-ing there, yeah |
| 2021-09-11 09:22:28 +0000 | <Unhammer> | 25% productive |
| 2021-09-11 09:22:40 +0000 | kstuart | (~kstuart@85.203.46.113) |
| 2021-09-11 09:24:32 +0000 | <Unhammer> | I guess awk can allocate one area to put current line in and nearly never change that while my haskell thing is probably allocating for every string it reads |
| 2021-09-11 09:25:26 +0000 | <Cale> | jchia[m]: Not super-easily. It might be possible to hook up something involving ForeignPtr... if you're willing to edit the direct-sqlite3 package to use a ForeignPtr rather than a Ptr in the implementation of Database (which is reflected as Connection by this library) |
| 2021-09-11 09:25:50 +0000 | <maerwald> | GC hooks? |
| 2021-09-11 09:27:28 +0000 | <jchia[m]> | @Cale I'm not sure what to do with the FunPtr (https://hackage.haskell.org/package/base-4.15.0.0/docs/Foreign-Ptr.html#t:FunPtr). It seems rather complicated. |
| 2021-09-11 09:27:28 +0000 | <lambdabot> | Unknown command, try @list |
| 2021-09-11 09:27:34 +0000 | cafkafk | (~cafkafk@user/cafkafk) |
| 2021-09-11 09:27:46 +0000 | <Cale> | Which FunPtr? |
| 2021-09-11 09:28:17 +0000 | <Cale> | I'm referring to this type: https://hackage.haskell.org/package/base-4.15.0.0/docs/Foreign-ForeignPtr.html#t:ForeignPtr |
| 2021-09-11 09:28:46 +0000 | <jchia[m]> | https://hackage.haskell.org/package/base-4.15.0.0/docs/Foreign-Ptr.html#t:FunPtr https://hackage.haskell.org/package/base-4.15.0.0/docs/Foreign-Ptr.html#t:FunPtr |
| 2021-09-11 09:29:07 +0000 | <maerwald> | jchia[m]: https://github.com/composewell/streamly/blob/263da09804f3c45d40a8b17e030c1a5850d5b909/src/Streamly… |
| 2021-09-11 09:29:07 +0000 | kuribas | (~user@ptr-25vy0i92albk3w04mlr.18120a2.ip6.access.telenet.be) |
| 2021-09-11 09:29:10 +0000 | <maerwald> | does that help maybe? |
| 2021-09-11 09:29:14 +0000 | <Cale> | Do you mean the FunPtr to the finalizer? |
| 2021-09-11 09:29:35 +0000 | <jchia[m]> | newForeignPtr requires a FinalizerPtr, which is a type alias for FunPtr |
| 2021-09-11 09:29:41 +0000 | <jchia[m]> | Yes |
| 2021-09-11 09:31:06 +0000 | <adamse> | Unhammer: you might want to follow up with some profiling of allocations, maybe you can do lesd |
| 2021-09-11 09:31:08 +0000 | <adamse> | less |
| 2021-09-11 09:32:53 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-09-11 09:34:34 +0000 | <Cale> | It's odd that the ForeignPtr library doesn't already export something like this, but you can get a wrapper function that gets you a suitable finalizer pointer for a Haskell function like: |
| 2021-09-11 09:35:41 +0000 | <Cale> | foreign import ccall "wrapper" mkFinalizer :: (Ptr Database -> IO ()) -> IO (FunPtr (Ptr Database -> IO ())) |
| 2021-09-11 09:36:26 +0000 | <Cale> | Maybe that can't be polymorphic, I'm not sure. |
| 2021-09-11 09:36:39 +0000 | <Cale> | Actually, that's probably why? |
| 2021-09-11 09:36:50 +0000 | <Unhammer> | trying a profiling build, the code is so short I find it hard to find where I'm doing something I don't have to do https://github.com/unhammer/foo-vh-count/blob/master/src/Lib.hs#L29..L41 feeling more like I'm using the wrong libs or something |
| 2021-09-11 09:37:28 +0000 | <Cale> | Yeah. |
| 2021-09-11 09:38:13 +0000 | <Cale> | (sorry, that "Yeah" was with respect to my previous message) |
| 2021-09-11 09:41:02 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-09-11 09:45:55 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-09-11 09:47:18 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2021-09-11 09:48:18 +0000 | max22- | (~maxime@2a01cb088335980070405fe723f8a657.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-09-11 09:49:03 +0000 | max22- | (~maxime@2a01cb0883359800e9777d123123e3c6.ipv6.abo.wanadoo.fr) |
| 2021-09-11 09:55:52 +0000 | <Unhammer> | ok, so I need to try something other than streamly, 76%alloc there |
| 2021-09-11 09:58:27 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-09-11 09:59:51 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:5d00:12c3:7bff:fe6d:d374) |
| 2021-09-11 10:04:47 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-11 10:05:54 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 10:06:07 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 10:09:40 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-09-11 10:13:03 +0000 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 265 seconds) |
| 2021-09-11 10:13:28 +0000 | <kuribas> | is there a better way than runMaybeT . asum . map (MaybeT . ...) ? |
| 2021-09-11 10:13:50 +0000 | <kuribas> | foldMapA or something? |
| 2021-09-11 10:16:49 +0000 | <kuribas> | basically it runs the actions until one gives (Just a) |
| 2021-09-11 10:17:25 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) |
| 2021-09-11 10:19:15 +0000 | <kuribas> | > MaybeT (Identity $ Just 3) <|> MaybeT (Identity $ Just 4) |
| 2021-09-11 10:19:16 +0000 | <lambdabot> | error: |
| 2021-09-11 10:19:16 +0000 | <lambdabot> | • Data constructor not in scope: |
| 2021-09-11 10:19:16 +0000 | <lambdabot> | MaybeT :: Identity (Maybe a0) -> f a |
| 2021-09-11 10:21:33 +0000 | wolfshappen | (~waff@irc.furworks.de) (Quit: later) |
| 2021-09-11 10:21:54 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) (Ping timeout: 260 seconds) |
| 2021-09-11 10:24:24 +0000 | phma | (~phma@host-67-44-208-118.hnremote.net) (Read error: Connection reset by peer) |
| 2021-09-11 10:25:30 +0000 | phma | (~phma@host-67-44-208-57.hnremote.net) |
| 2021-09-11 10:27:33 +0000 | brandonh | (~brandonh@151.82.90.222) |
| 2021-09-11 10:29:46 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-09-11 10:30:04 +0000 | <hololeap> | % import Control.Monad.Trans.Maybe |
| 2021-09-11 10:30:05 +0000 | <yahb> | hololeap: |
| 2021-09-11 10:30:29 +0000 | <hololeap> | % MaybeT (Identity $ Just 3) <|> MaybeT (Identity $ Just 4) |
| 2021-09-11 10:30:29 +0000 | <yahb> | hololeap: MaybeT (Identity (Just 3)) |
| 2021-09-11 10:30:35 +0000 | <hololeap> | kuribas: ^ |
| 2021-09-11 10:31:09 +0000 | <kuribas> | thanks :) |
| 2021-09-11 10:31:11 +0000 | <hololeap> | the Alternative instance returns the first (m (Just a)) |
| 2021-09-11 10:31:20 +0000 | <kuribas> | % MaybeT (Identity $ Nothing) <|> MaybeT (Identity $ Just 4) |
| 2021-09-11 10:31:20 +0000 | <yahb> | kuribas: MaybeT (Identity (Just 4)) |
| 2021-09-11 10:31:37 +0000 | <kuribas> | which is what I wanted... |
| 2021-09-11 10:32:16 +0000 | <hololeap> | % import qualified Data.Monoid as M |
| 2021-09-11 10:32:16 +0000 | <yahb> | hololeap: |
| 2021-09-11 10:32:22 +0000 | <hololeap> | % :i M.Alt |
| 2021-09-11 10:32:23 +0000 | <yahb> | hololeap: type role Alt representational nominal; type Alt :: forall {k}. (k -> *) -> k -> *; newtype Alt f a = Alt {getAlt :: f a}; -- Defined in `base-4.15.0.0:Data.Semigroup.Internal'; instance Alternative f => Alternative (Alt f) -- Defined in `base-4.15.0.0:Data.Semigroup.Internal'; instance Applicative f => Applicative (Alt f) -- Defined in `base-4.15.0.0:Data.Semigroup.Internal'; instance forall k (f :: |
| 2021-09-11 10:32:49 +0000 | <hololeap> | not a good output... |
| 2021-09-11 10:33:19 +0000 | <hololeap> | but the Alt wrapper lets you use an Alternative as a Monoid, which lets you do mconcat, for instance |
| 2021-09-11 10:33:52 +0000 | <kuribas> | right |
| 2021-09-11 10:36:29 +0000 | <kuribas> | That will be a lot of unwrapping... |
| 2021-09-11 10:36:35 +0000 | <kuribas> | I could use coerce though. |
| 2021-09-11 10:36:42 +0000 | <kuribas> | coerce $ foldMap (Alt . MaybeT . ($cmd) . getCgiCommand) cmds |
| 2021-09-11 10:37:05 +0000 | <hololeap> | you can make a newtype and derive Monoid using DerivingVia |
| 2021-09-11 10:37:17 +0000 | <kuribas> | no, it's just in one place. |
| 2021-09-11 10:37:48 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-09-11 10:39:08 +0000 | <hololeap> | even if it's in one place, thinking about how your data structures will combine using Semigroup and Monoid might save you a headache in the future |
| 2021-09-11 10:39:55 +0000 | <hololeap> | everything is monoidal, so it pops up quite a bit |
| 2021-09-11 10:40:34 +0000 | <kuribas> | I don't have a monoid for this... |
| 2021-09-11 10:40:43 +0000 | <kuribas> | You just need to give a list of commands. |
| 2021-09-11 10:41:00 +0000 | <hololeap> | is there an empty list of commands? |
| 2021-09-11 10:41:17 +0000 | <kuribas> | no, I already have 2 :) |
| 2021-09-11 10:41:26 +0000 | <kuribas> | there will be more, not less. |
| 2021-09-11 10:41:47 +0000 | <hololeap> | so minimum of 2? |
| 2021-09-11 10:42:10 +0000 | <kuribas> | yes |
| 2021-09-11 10:43:31 +0000 | <hololeap> | then Monoid probably won't be something it can get an instance of, but Semigroup is very powerful on its own. can you imagine a way that two lists of commands would combine? for instance a list that is from the command line, and a list that is the default |
| 2021-09-11 10:44:46 +0000 | <kuribas> | then I use (++) :) |
| 2021-09-11 10:44:48 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-09-11 10:46:59 +0000 | <hololeap> | well, a list is the definitive monoid |
| 2021-09-11 10:47:24 +0000 | <hololeap> | so there's your monoid |
| 2021-09-11 10:47:45 +0000 | <kuribas> | I prefer (++) because it may optimize better sometimes. |
| 2021-09-11 10:48:30 +0000 | xff0x | (~xff0x@2001:1a81:5337:500:915:acb5:b793:8885) (Ping timeout: 260 seconds) |
| 2021-09-11 10:50:35 +0000 | <hololeap> | I think that (<>) = (++) for lists, so either way works. I'm just a big fan of monoids. |
| 2021-09-11 10:50:41 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-09-11 10:51:56 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-09-11 10:51:59 +0000 | <hololeap> | every time I start a new piece of code I work out Semigroup or Monoid instances for each type because it helps structure how the program composes |
| 2021-09-11 10:54:24 +0000 | <kuribas> | hololeap: it *is* equal to (++), but may behave different wrt rewrite rules. |
| 2021-09-11 10:55:14 +0000 | <kuribas> | foldr/buildr fusion etc... |
| 2021-09-11 10:55:28 +0000 | <hololeap> | that seems unlikely, but I really don't know. I would think that defining one function as another would get optimized easily by the compiler |
| 2021-09-11 10:56:06 +0000 | <hololeap> | so that (++) and (<>) are identical |
| 2021-09-11 10:58:51 +0000 | <kuribas> | rewrite rules don't look at meaning, they just work on literal code fragments. |
| 2021-09-11 10:58:56 +0000 | <kuribas> | It's what makes them fragile. |
| 2021-09-11 11:00:28 +0000 | <hololeap> | the semantics and denotation are both identical in the case of (++) and (<>), so I would be disappointed if there wasn't some kind of optimization that made them equivalent in production |
| 2021-09-11 11:00:59 +0000 | alx741 | (~alx741@186.178.109.89) |
| 2021-09-11 11:02:32 +0000 | <kuribas> | foldMap and concatMap aren't equal either |
| 2021-09-11 11:02:49 +0000 | <kuribas> | hololeap: you give to much credit to the compiler :) |
| 2021-09-11 11:03:03 +0000 | <kuribas> | ghc is pretty nice in many aspects, but it often misses the boat as well... |
| 2021-09-11 11:04:37 +0000 | ubert | (~Thunderbi@178.165.183.38.wireless.dyn.drei.com) |
| 2021-09-11 11:05:12 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-09-11 11:09:14 +0000 | Pickchea | (~private@user/pickchea) |
| 2021-09-11 11:10:05 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-09-11 11:12:05 +0000 | AlexZenon | (~alzenon@178.34.161.122) (Ping timeout: 260 seconds) |
| 2021-09-11 11:12:13 +0000 | AlexNoo_ | (~AlexNoo@178.34.151.112) |
| 2021-09-11 11:12:17 +0000 | AlexZenon | (~alzenon@178.34.151.112) |
| 2021-09-11 11:13:28 +0000 | AlexNoo | (~AlexNoo@178.34.161.122) (Ping timeout: 252 seconds) |
| 2021-09-11 11:13:28 +0000 | Alex_test | (~al_test@178.34.161.122) (Ping timeout: 265 seconds) |
| 2021-09-11 11:14:56 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-09-11 11:17:54 +0000 | Alex_test | (~al_test@178.34.151.112) |
| 2021-09-11 11:18:15 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) |
| 2021-09-11 11:18:49 +0000 | ubert | (~Thunderbi@178.165.183.38.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-09-11 11:19:06 +0000 | ubert | (~Thunderbi@178.165.183.38.wireless.dyn.drei.com) |
| 2021-09-11 11:19:45 +0000 | brandonh | (~brandonh@151.82.90.222) (Ping timeout: 265 seconds) |
| 2021-09-11 11:19:59 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-09-11 11:20:01 +0000 | kstuart | (~kstuart@85.203.46.113) (Ping timeout: 252 seconds) |
| 2021-09-11 11:21:59 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2021-09-11 11:22:34 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) (Ping timeout: 260 seconds) |
| 2021-09-11 11:26:05 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-09-11 11:29:18 +0000 | xff0x | (~xff0x@2001:1a81:5337:500:915:acb5:b793:8885) |
| 2021-09-11 11:29:51 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2021-09-11 11:30:14 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2021-09-11 11:30:38 +0000 | <Las[m]> | <kuribas> "foldMap and concatMap aren't..." <- "aren't equal" in what sense? |
| 2021-09-11 11:31:29 +0000 | <kuribas> | Las[m]: rewrite rules. |
| 2021-09-11 11:32:23 +0000 | <Las[m]> | Makes sense. |
| 2021-09-11 11:32:30 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-09-11 11:39:36 +0000 | <pavonia> | Those Matrix quotes are ridiculous |
| 2021-09-11 11:40:20 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-09-11 11:41:13 +0000 | kuribas | (~user@ptr-25vy0i92albk3w04mlr.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-09-11 11:42:38 +0000 | pbrisbin | (~patrick@pool-108-16-214-93.phlapa.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-09-11 11:45:19 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2021-09-11 11:45:33 +0000 | mestre | (~mestre@191.177.175.57) |
| 2021-09-11 11:51:14 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 11:51:28 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 11:54:11 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2021-09-11 11:57:53 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-09-11 12:01:40 +0000 | max22- | (~maxime@2a01cb0883359800e9777d123123e3c6.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2021-09-11 12:01:52 +0000 | pmk | (~user@ppp-94-64-150-206.home.otenet.gr) |
| 2021-09-11 12:04:14 +0000 | vs^ | (~vsl@68.101.54.227) |
| 2021-09-11 12:06:03 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-09-11 12:08:38 +0000 | _alexm_ | (~alexm_@161.8.253.213) |
| 2021-09-11 12:13:31 +0000 | _alexm_ | (~alexm_@161.8.253.213) (Read error: Connection reset by peer) |
| 2021-09-11 12:14:22 +0000 | _alexm__ | (~alexm_@161.8.253.213) |
| 2021-09-11 12:15:22 +0000 | _alexm__ | _alexm_ |
| 2021-09-11 12:21:31 +0000 | wolfshappen | (~waff@irc.furworks.de) |
| 2021-09-11 12:24:36 +0000 | _alexm_ | (~alexm_@161.8.253.213) (Remote host closed the connection) |
| 2021-09-11 12:27:07 +0000 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 252 seconds) |
| 2021-09-11 12:27:41 +0000 | wolfshappen | (~waff@irc.furworks.de) |
| 2021-09-11 12:35:11 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-09-11 12:35:16 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2021-09-11 12:36:27 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-09-11 12:38:23 +0000 | Gurkenglas | (~Gurkengla@dslb-002-207-014-195.002.207.pools.vodafone-ip.de) |
| 2021-09-11 12:40:54 +0000 | <yushyin> | pavonia: but this is no longer irc anyway, i was told, since more users here are connected via matrix supposedly |
| 2021-09-11 12:41:15 +0000 | <pavonia> | What :O |
| 2021-09-11 12:42:28 +0000 | <pavonia> | Though only a minority has the [m] nick suffix set |
| 2021-09-11 12:44:52 +0000 | <yushyin> | not a valid indicator, the suffix is not mandatory ;) |
| 2021-09-11 12:47:29 +0000 | AlexNoo_ | AlexNoo |
| 2021-09-11 12:48:33 +0000 | acidjnk_new | (~acidjnk@p5487d0ba.dip0.t-ipconnect.de) |
| 2021-09-11 12:51:28 +0000 | acidjnk_new3 | (~acidjnk@p200300d0c72030494d60b877161c39dc.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-09-11 12:53:11 +0000 | <yushyin> | pavonia: you can check it with /whois, matrix sets the realname to the matrix id e.g. @user:matrix.org |
| 2021-09-11 12:54:00 +0000 | renzhi | (~xp@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 265 seconds) |
| 2021-09-11 12:56:25 +0000 | max22- | (~maxime@2a01cb08833598008c4acb2145aa7027.ipv6.abo.wanadoo.fr) |
| 2021-09-11 13:00:18 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-09-11 13:01:00 +0000 | Lycurgus | (~juan@98.4.112.204) |
| 2021-09-11 13:12:27 +0000 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-09-11 13:12:53 +0000 | hendursaga | (~weechat@user/hendursaga) |
| 2021-09-11 13:16:34 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 13:16:50 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 13:20:27 +0000 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) (Ping timeout: 245 seconds) |
| 2021-09-11 13:20:33 +0000 | kenran | (~kenran@200116b82b9fab002cf9fc28ff8fabf2.dip.versatel-1u1.de) |
| 2021-09-11 13:26:31 +0000 | acidjnk_new | (~acidjnk@p5487d0ba.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-09-11 13:28:43 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-09-11 13:30:54 +0000 | zebrag | (~chris@user/zebrag) (Ping timeout: 260 seconds) |
| 2021-09-11 13:31:45 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-09-11 13:33:16 +0000 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Ping timeout: 252 seconds) |
| 2021-09-11 13:34:05 +0000 | max22- | (~maxime@2a01cb08833598008c4acb2145aa7027.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-09-11 13:34:34 +0000 | max22- | (~maxime@2a01cb08833598008c4acb2145aa7027.ipv6.abo.wanadoo.fr) |
| 2021-09-11 13:35:27 +0000 | neurocyte | (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
| 2021-09-11 13:39:45 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2021-09-11 13:41:06 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:412c:2d92:918c:4c0a) |
| 2021-09-11 13:41:40 +0000 | MoC | (~moc@user/moc) |
| 2021-09-11 13:44:20 +0000 | max22- | (~maxime@2a01cb08833598008c4acb2145aa7027.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2021-09-11 13:44:45 +0000 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) |
| 2021-09-11 13:52:52 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Read error: No route to host) |
| 2021-09-11 13:57:02 +0000 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 260 seconds) |
| 2021-09-11 13:58:23 +0000 | max22- | (~maxime@2a01cb0883359800283199c6bbbc014c.ipv6.abo.wanadoo.fr) |
| 2021-09-11 14:01:04 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-11 14:01:30 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-09-11 14:02:07 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-09-11 14:05:13 +0000 | thyriaen | (~thyriaen@dynamic-077-011-222-235.77.11.pool.telefonica.de) |
| 2021-09-11 14:06:11 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-11 14:10:34 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
| 2021-09-11 14:11:45 +0000 | kuribas | (~user@ptr-25vy0i92albk3w04mlr.18120a2.ip6.access.telenet.be) |
| 2021-09-11 14:12:19 +0000 | aman | (~aman@user/aman) |
| 2021-09-11 14:12:23 +0000 | <kuribas> | Is there a good CGI library? |
| 2021-09-11 14:13:29 +0000 | abrantesasf | (abrantesas@gateway/vpn/protonvpn/abrantesasf) |
| 2021-09-11 14:16:38 +0000 | <sshine> | kuribas, did you try 'cgi'? |
| 2021-09-11 14:16:56 +0000 | <kuribas> | yeah, I am trying it now. |
| 2021-09-11 14:17:08 +0000 | <kuribas> | It looks a bit old, but works... |
| 2021-09-11 14:17:30 +0000 | <sshine> | I thought that was part of the experience of CGI :P |
| 2021-09-11 14:17:37 +0000 | <kuribas> | true :) |
| 2021-09-11 14:17:54 +0000 | <sshine> | why not use wai? |
| 2021-09-11 14:17:57 +0000 | <kuribas> | what are the alternatives? fastcgi, running a webserver? |
| 2021-09-11 14:18:49 +0000 | <kuribas> | hmm, maybe I could... |
| 2021-09-11 14:18:54 +0000 | <kuribas> | but this is a stupid script. |
| 2021-09-11 14:19:14 +0000 | <kuribas> | The cgi just provides some information to rundeck, to populate the input forms. |
| 2021-09-11 14:19:19 +0000 | <sshine> | I would think that 'wai' is the smallest Haskell package that serves web and is actively relied upon by larger frameworks. |
| 2021-09-11 14:19:40 +0000 | <dsal> | Yeah, I've gone with the "run a web server" option for a decade or two |
| 2021-09-11 14:20:22 +0000 | <sshine> | I also just run a webserver. but if I were gonna run an app server, I'd still put it behind an nginx reverse proxy :) |
| 2021-09-11 14:20:38 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) |
| 2021-09-11 14:21:04 +0000 | <kuribas> | we already have a lighttpd server. We feed in cgi scripts in bash :) |
| 2021-09-11 14:21:08 +0000 | pbrisbin | (~patrick@2601:83:8002:d080:d2c6:37ff:fec8:a415) |
| 2021-09-11 14:21:42 +0000 | <kuribas> | but for this script, instead of using bash, I thought it might be easier to do the web handling in haskell. |
| 2021-09-11 14:23:58 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-09-11 14:24:27 +0000 | <kuribas> | sshine: hm, wai looks a lot cleaner, I'll go with that, once I feel the motivated to rewrite... |
| 2021-09-11 14:25:02 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) (Ping timeout: 260 seconds) |
| 2021-09-11 14:26:02 +0000 | <sshine> | kuribas, ah, you serve bash scripts via CGI? that sounds... vulnerable :D |
| 2021-09-11 14:26:20 +0000 | <kuribas> | sshine: it's only for internal use |
| 2021-09-11 14:26:24 +0000 | <sshine> | kuribas, ah, okay. |
| 2021-09-11 14:29:12 +0000 | <kuribas> | is there a parser for querystrings? |
| 2021-09-11 14:29:24 +0000 | <kuribas> | like optparse-applicative, but for query strings? |
| 2021-09-11 14:29:53 +0000 | <sshine> | kuribas, https://hackage.haskell.org/package/wai-3.2.3/docs/Network-Wai.html#v:queryString ? |
| 2021-09-11 14:30:02 +0000 | <sshine> | sorry, you mean compatible with the 'cgi' package. |
| 2021-09-11 14:30:16 +0000 | <kuribas> | sshine: no, compatible with wai. |
| 2021-09-11 14:31:01 +0000 | <sshine> | ah okay. in that case. and even then, it appears to derive the query string parser from 'http-types' package. |
| 2021-09-11 14:31:54 +0000 | <sshine> | https://hackage.haskell.org/package/http-types-0.12.3/docs/Network-HTTP-Types-URI.html |
| 2021-09-11 14:32:43 +0000 | sshine | is trying out 'ghcup' on his new laptop. so far the experience is pretty great. :) |
| 2021-09-11 14:34:03 +0000 | <kuribas> | uhm, I gotto stop coding in the weekend, and do fun stuff... |
| 2021-09-11 14:34:09 +0000 | <kuribas> | Like cleaning! |
| 2021-09-11 14:37:55 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2021-09-11 14:38:49 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-09-11 14:41:02 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:2435:ba7:e573:bc26) |
| 2021-09-11 14:41:41 +0000 | <kuribas> | It's just, all this non-perfect code is luring me to it... |
| 2021-09-11 14:42:54 +0000 | <kuribas> | not rejecting bad unknown parameters, returning 500 when the request is wrong (instead of 404 or 400), remove stringly typed functions, ... |
| 2021-09-11 14:46:51 +0000 | <Rembane> | kuribas: So much to do, so little time. |
| 2021-09-11 14:46:56 +0000 | <Rembane> | kuribas: It sounds fun though. |
| 2021-09-11 14:47:48 +0000 | <kuribas> | How much is OCD, how much is an actual advantage? |
| 2021-09-11 14:49:04 +0000 | <dsal> | kuribas: servant? |
| 2021-09-11 14:49:26 +0000 | <kuribas> | dsal: sadly no, I need to do the cleaning myself :) |
| 2021-09-11 14:49:56 +0000 | <kuribas> | I heared cleaners are not that expensive though... |
| 2021-09-11 14:50:55 +0000 | aman | (~aman@user/aman) (Quit: aman) |
| 2021-09-11 14:51:49 +0000 | <Rembane> | kuribas: Is the code you're cleaning seeing much change? Because otherwise you can probably leave it and go and play computer games instead. |
| 2021-09-11 14:52:19 +0000 | <kuribas> | Rembane: it's all fresh code, written by me. |
| 2021-09-11 14:52:31 +0000 | <Rembane> | kuribas: Even the bash stuff? |
| 2021-09-11 14:52:49 +0000 | <kuribas> | some of it, yes |
| 2021-09-11 14:53:01 +0000 | <Rembane> | Cool! |
| 2021-09-11 14:53:55 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 14:54:03 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-11 14:54:03 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-11 14:54:03 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-11 14:54:17 +0000 | <kuribas> | I can write haskell faster than bash, but deployment is harder in haskell. |
| 2021-09-11 14:54:23 +0000 | <kuribas> | (if it is not on the same machine) |
| 2021-09-11 14:55:55 +0000 | <kuribas> | that's the reason we use bash, it's everywhere, and you don't need to worry about versions (as with python), docker images, etc... |
| 2021-09-11 14:56:38 +0000 | <Rembane> | That's very true. |
| 2021-09-11 14:57:19 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-09-11 14:58:01 +0000 | haykam2 | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-09-11 14:58:03 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-09-11 14:58:15 +0000 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-09-11 15:02:26 +0000 | <Franciman> | kuribas: an answer |
| 2021-09-11 15:02:31 +0000 | <Franciman> | perl |
| 2021-09-11 15:03:00 +0000 | <Franciman> | if you have git, you have perl |
| 2021-09-11 15:03:04 +0000 | <Franciman> | you don't have to worry about versions |
| 2021-09-11 15:03:14 +0000 | <Franciman> | it is still better than bash |
| 2021-09-11 15:04:31 +0000 | <kuribas> | nobody likes perl at our workplace... |
| 2021-09-11 15:04:46 +0000 | Franciman | takes note |
| 2021-09-11 15:05:06 +0000 | <Franciman> | I can agree, until you don't get caught in the escape hell of bash |
| 2021-09-11 15:05:37 +0000 | <Franciman> | on the other hand, the fact that simple bash is simple and complex bash programs are PURE EVIL |
| 2021-09-11 15:05:51 +0000 | <Franciman> | it can work as a "complexity cap" so you don't make your scripts too complex |
| 2021-09-11 15:06:06 +0000 | <kuribas> | Franciman: yeah, you need to use "defensive" bash. |
| 2021-09-11 15:06:35 +0000 | <kuribas> | And we probably use to many bashisms, better stick to posix, and use sed, grep, etc... |
| 2021-09-11 15:06:46 +0000 | <Franciman> | that's nice |
| 2021-09-11 15:06:52 +0000 | <Franciman> | but don't imagine it's a cup of cake, either |
| 2021-09-11 15:07:08 +0000 | <Franciman> | sometimes you want that bash thing badly |
| 2021-09-11 15:07:45 +0000 | <Franciman> | POSIX is nice, but I found it a bit restrictive sometimes, when I used to code in sh |
| 2021-09-11 15:08:15 +0000 | <Franciman> | a fun fact is that on a POSIX system you are guaranteed to have a c99 executable you can use to compile C programs |
| 2021-09-11 15:08:23 +0000 | <Franciman> | so you can use C99 on any posix system :P |
| 2021-09-11 15:11:59 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:412c:2d92:918c:4c0a) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-09-11 15:13:10 +0000 | <kuribas> | IMO knowing bash is elitism, like, look how much of the weird syntax I understand! |
| 2021-09-11 15:13:26 +0000 | <kuribas> | I bit like perl. |
| 2021-09-11 15:14:22 +0000 | <Clint> | pfft, if you want elitism you should learn ksh or zsh |
| 2021-09-11 15:14:39 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-09-11 15:16:02 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-09-11 15:18:52 +0000 | pbrisbin | (~patrick@2601:83:8002:d080:d2c6:37ff:fec8:a415) (Ping timeout: 252 seconds) |
| 2021-09-11 15:19:38 +0000 | <dsal> | kuribas: Servant is a web framework that meets some of the requirements you were asking about. :p |
| 2021-09-11 15:20:06 +0000 | kenran | (~kenran@200116b82b9fab002cf9fc28ff8fabf2.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2021-09-11 15:20:19 +0000 | <kuribas> | dsal: I know :) |
| 2021-09-11 15:20:45 +0000 | <dsal> | Ah, ok. That was pretty good |
| 2021-09-11 15:20:45 +0000 | kenran | (~kenran@200116b82b9fab00ce7d9e8e5214fdb7.dip.versatel-1u1.de) |
| 2021-09-11 15:22:57 +0000 | son0p | (~ff@181.136.122.143) |
| 2021-09-11 15:25:26 +0000 | earthflax | (~earthflax@202.153.44.149) |
| 2021-09-11 15:26:45 +0000 | <earthflax> | hi |
| 2021-09-11 15:33:43 +0000 | <Las[m]> | `hi |
| 2021-09-11 15:36:28 +0000 | hiruji | (~hiruji@user/hiruji) (Ping timeout: 252 seconds) |
| 2021-09-11 15:39:26 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-09-11 15:42:19 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-09-11 15:49:40 +0000 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2021-09-11 15:51:40 +0000 | sander | (~sander@user/sander) |
| 2021-09-11 15:51:42 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2021-09-11 15:52:46 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2021-09-11 15:53:28 +0000 | timCF | (~timCF@m91-129-108-244.cust.tele2.ee) |
| 2021-09-11 15:54:08 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-09-11 15:54:28 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-09-11 15:56:30 +0000 | <timCF> | Hello! Let's say I have `newtype A1 = A1 A0` and also `newtype A2 = A2 A1`. Let's say there are instances of class `C` for both `A0` and `A1`. I want to newtype derive class `C` for `A2` with GeneralizedNewtypeDeriving. How do I specify which instance to use (`A0` or `A1`?) |
| 2021-09-11 15:57:47 +0000 | <timCF> | Basically I want to use more inner insance of `A0` in `A2` but I don't know how. |
| 2021-09-11 15:58:38 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-09-11 15:59:23 +0000 | Lycurgus | (~juan@98.4.112.204) (Quit: Exeunt) |
| 2021-09-11 16:00:06 +0000 | andreabedini[m] | (~andreabed@2001:470:69fc:105::c821) (Quit: You have been kicked for being idle) |
| 2021-09-11 16:02:23 +0000 | earthflax | (~earthflax@202.153.44.149) (Quit: earthflax) |
| 2021-09-11 16:02:38 +0000 | earthflax | (~earthflax@202.153.44.149) |
| 2021-09-11 16:07:16 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-09-11 16:12:44 +0000 | earthflax | (~earthflax@202.153.44.149) (Quit: earthflax) |
| 2021-09-11 16:12:59 +0000 | earthflax | (~earthflax@202.153.44.149) |
| 2021-09-11 16:13:36 +0000 | <dsal> | I'm using postgresql-simple and doing truncates in tests. It's spewing NOTICEs all over the place. Is there a way to disable this? |
| 2021-09-11 16:14:01 +0000 | <kuribas> | timCF: GeneralizedNewtypeDeriving takes the immediate wrapped database. |
| 2021-09-11 16:14:40 +0000 | <kuribas> | timCF: if both have the same class `C`, there is no problem. |
| 2021-09-11 16:15:06 +0000 | proofofkeags_ | (~proofofke@205.209.28.54) |
| 2021-09-11 16:16:01 +0000 | <timCF> | kuribas: Yeah, I see. Actually in my case A1 which is intermediate newtype don't have an instance |
| 2021-09-11 16:16:12 +0000 | <kuribas> | you don't want an instance? |
| 2021-09-11 16:16:23 +0000 | <timCF> | And it actually shouldn't have it |
| 2021-09-11 16:16:41 +0000 | <timCF> | A0 already have, and A2 should derive it somehow |
| 2021-09-11 16:16:47 +0000 | <kuribas> | One way for A2 is to manually unwrap the newtypes (use coerce freely) in the instance definition. |
| 2021-09-11 16:17:01 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-09-11 16:17:13 +0000 | <kuribas> | You could also try "deriving via A0" |
| 2021-09-11 16:17:18 +0000 | <timCF> | kuribas: good point. I can just use `coerce` to write one-line instance |
| 2021-09-11 16:18:05 +0000 | <kuribas> | Or use DerivingVia: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/deriving_via.html |
| 2021-09-11 16:18:05 +0000 | econo | (uid147250@user/econo) |
| 2021-09-11 16:18:57 +0000 | <kuribas> | newtype A2 = A2 A1 deriving C via A0 |
| 2021-09-11 16:19:13 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-09-11 16:20:36 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) |
| 2021-09-11 16:20:49 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Read error: Connection reset by peer) |
| 2021-09-11 16:21:29 +0000 | <timCF> | kuribas: oh, actually I can not use `coerce` to manually write instance, because A1 does not expose it (only smart constructor). But `DerivingVia` worked somehow! Magic! |
| 2021-09-11 16:22:23 +0000 | wonko | (~wjc@62.115.229.50) |
| 2021-09-11 16:22:24 +0000 | <kuribas> | hmm, I didn't know it could do that... |
| 2021-09-11 16:22:27 +0000 | <kuribas> | it sounds unsafe. |
| 2021-09-11 16:22:36 +0000 | <timCF> | I don't undrstand how it can work when default constructor is not exposed, but seems like it's just smarter than coece |
| 2021-09-11 16:22:39 +0000 | <timCF> | * coerce |
| 2021-09-11 16:22:55 +0000 | <kuribas> | Perhaps it just assumes you know what you are doing :) |
| 2021-09-11 16:23:01 +0000 | <timCF> | Or just unsafe :) |
| 2021-09-11 16:25:02 +0000 | <hpc> | or it's safe by some complicated reasoning |
| 2021-09-11 16:25:43 +0000 | <kuribas> | Couldn't I then derive via some datatype in a library, then pry at the implementation? |
| 2021-09-11 16:25:46 +0000 | cheater | (~Username@user/cheater) |
| 2021-09-11 16:26:24 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-09-11 16:28:04 +0000 | earthflax | (~earthflax@202.153.44.149) (Quit: earthflax) |
| 2021-09-11 16:28:35 +0000 | timCF | (~timCF@m91-129-108-244.cust.tele2.ee) (Quit: leaving) |
| 2021-09-11 16:30:18 +0000 | nicbk | (~nicbk@user/nicbk) |
| 2021-09-11 16:35:07 +0000 | <dsal> | The answer to my question seems to be `set client_min_messages to warning` |
| 2021-09-11 16:36:01 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-09-11 16:42:59 +0000 | nicbk | (~nicbk@user/nicbk) (Quit: nicbk) |
| 2021-09-11 16:47:27 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-09-11 16:48:56 +0000 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2021-09-11 16:52:38 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 16:52:54 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 16:56:13 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-09-11 16:57:59 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 16:58:12 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 17:05:23 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-09-11 17:06:53 +0000 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2021-09-11 17:16:12 +0000 | kenran | (~kenran@200116b82b9fab00ce7d9e8e5214fdb7.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-09-11 17:16:46 +0000 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-09-11 17:18:47 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Ping timeout: 245 seconds) |
| 2021-09-11 17:24:03 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2021-09-11 17:26:57 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-09-11 17:35:26 +0000 | Vajb | (~Vajb@n1xq4ni1adi29tefj-2.v6.elisa-mobile.fi) (Ping timeout: 260 seconds) |
| 2021-09-11 17:35:47 +0000 | natechan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-09-11 17:36:06 +0000 | Vajb | (~Vajb@n5jcms613emg0qp3a-2.v6.elisa-mobile.fi) |
| 2021-09-11 17:37:16 +0000 | sander | (~sander@user/sander) |
| 2021-09-11 17:37:46 +0000 | pbrisbin | (~patrick@2601:83:8002:d080:d2c6:37ff:fec8:a415) |
| 2021-09-11 17:41:42 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2021-09-11 17:45:42 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-09-11 17:47:23 +0000 | rhit | (~rhit@ool-44c162d8.dyn.optonline.net) |
| 2021-09-11 17:47:34 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-09-11 17:51:47 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2021-09-11 17:52:13 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 265 seconds) |
| 2021-09-11 17:54:45 +0000 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
| 2021-09-11 17:55:54 +0000 | Pickchea | (~private@user/pickchea) |
| 2021-09-11 17:57:36 +0000 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2021-09-11 18:05:32 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-09-11 18:05:47 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-09-11 18:07:50 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-11 18:08:19 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 18:08:32 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 18:09:42 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-09-11 18:10:02 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 245 seconds) |
| 2021-09-11 18:10:10 +0000 | <awpr> | hmm, I couldn't reproduce GHC being willing to derive instances for newtypes with unexported constructors. IMO it'd be really scary if it would do that |
| 2021-09-11 18:10:46 +0000 | <awpr> | *via coercions across unexported newtype constructors |
| 2021-09-11 18:11:47 +0000 | kuribas | (~user@ptr-25vy0i92albk3w04mlr.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-09-11 18:12:03 +0000 | <awpr> | looks like timCF left, but depending on what `C` is it could be that GHC can derive it without actually needing the coercion at all, I guess? |
| 2021-09-11 18:12:07 +0000 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Ping timeout: 245 seconds) |
| 2021-09-11 18:12:31 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-09-11 18:15:17 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-09-11 18:18:22 +0000 | <_bin> | Opinions on web frameworks? I see a few candidates like IHP, Obelisk, and Yesod, but am unsure as to how I should choose. Fairly simple web app where users can create and manage their accounts, manage alerts for certain things, and receive notifications via SMS and/or e-mail when one changes (that data will be put into a database by a separate thread.) |
| 2021-09-11 18:18:48 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-09-11 18:19:23 +0000 | hexology | (~hexology@user/hexology) |
| 2021-09-11 18:19:49 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-09-11 18:20:21 +0000 | ormaaj | (~ormaaj@user/ormaaj) (Killed (gold.libera.chat (Nickname regained by services))) |
| 2021-09-11 18:21:04 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-09-11 18:21:05 +0000 | Guest6423 | (~ormaaj@user/ormaaj) |
| 2021-09-11 18:21:25 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-09-11 18:21:29 +0000 | Guest6423 | ormaaj |
| 2021-09-11 18:21:49 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 2021-09-11 18:22:56 +0000 | mestre | (~mestre@191.177.175.57) (Quit: Lost terminal) |
| 2021-09-11 18:23:33 +0000 | <sshine> | _bin, if you're looking for more options, there's also WebGear: https://rkaippully.github.io/webgear/ |
| 2021-09-11 18:23:45 +0000 | max22- | (~maxime@2a01cb0883359800283199c6bbbc014c.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2021-09-11 18:24:57 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-09-11 18:27:51 +0000 | <sshine> | _bin, if you want something really simple (kinda like flask for python), try wai: https://hackage.haskell.org/package/wai -- yesod is built on this. |
| 2021-09-11 18:29:48 +0000 | <_bin> | sshine: Thanks. WebGear looks nice, though it doesn't include templating; do you have any experience as to which templating systems work better or worse with it? |
| 2021-09-11 18:30:33 +0000 | <sshine> | _bin, I haven't used WebGear, I just recall when it was announced. |
| 2021-09-11 18:33:12 +0000 | alzgh | (~alzgh@user/alzgh) |
| 2021-09-11 18:35:13 +0000 | neo2 | (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 252 seconds) |
| 2021-09-11 18:40:38 +0000 | <sshine> | _bin, if you don't like shakespeare templates, I found this alternative that I quite like: https://hackage.haskell.org/package/heterocephalus |
| 2021-09-11 18:40:49 +0000 | <Franciman> | is there a canonical way to derive NFData instances of datatypes? |
| 2021-09-11 18:42:49 +0000 | <awpr> | Franciman: write an empty instance or turn on `DeriveAnyClass` and say `deriving NFData` |
| 2021-09-11 18:43:06 +0000 | <_bin> | sshine: Thanks, I'll look into that. |
| 2021-09-11 18:43:07 +0000 | <awpr> | the class comes with a default implementation based on `GHC.Generics` |
| 2021-09-11 18:44:13 +0000 | <Franciman> | thanks |
| 2021-09-11 18:44:31 +0000 | __monty__ | (~toonn@user/toonn) |
| 2021-09-11 18:47:08 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-11 18:52:45 +0000 | max22- | (~maxime@2a01cb0883359800e16e499d0efbd347.ipv6.abo.wanadoo.fr) |
| 2021-09-11 18:54:53 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2021-09-11 18:56:53 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-09-11 18:57:19 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-09-11 18:57:30 +0000 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) |
| 2021-09-11 19:02:50 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2021-09-11 19:04:21 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-09-11 19:06:26 +0000 | pbrisbin | (~patrick@2601:83:8002:d080:d2c6:37ff:fec8:a415) (Ping timeout: 260 seconds) |
| 2021-09-11 19:11:31 +0000 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-09-11 19:13:04 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 2021-09-11 19:13:25 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-09-11 19:14:56 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-09-11 19:21:20 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:2435:ba7:e573:bc26) (Quit: Leaving) |
| 2021-09-11 19:23:08 +0000 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-09-11 19:29:26 +0000 | Codaraxis__ | (~Codaraxis@user/codaraxis) |
| 2021-09-11 19:29:40 +0000 | alzgh | (~alzgh@user/alzgh) (Ping timeout: 252 seconds) |
| 2021-09-11 19:31:45 +0000 | alzgh | (~alzgh@user/alzgh) |
| 2021-09-11 19:33:14 +0000 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
| 2021-09-11 19:34:23 +0000 | Codaraxis__ | (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 2021-09-11 19:36:41 +0000 | pavonia | (~user@user/siracusa) |
| 2021-09-11 19:37:37 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-09-11 19:48:22 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-09-11 19:50:24 +0000 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-09-11 19:55:03 +0000 | kuribas | (~user@ptr-25vy0i92albk3w04mlr.18120a2.ip6.access.telenet.be) |
| 2021-09-11 19:59:56 +0000 | jtomas | (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) |
| 2021-09-11 20:01:06 +0000 | ablutor | (~quassel@145.131.24.183) (Quit: going for vitamine d) |
| 2021-09-11 20:02:40 +0000 | <kuribas> | seems merijn was right in avoiden HashMaps |
| 2021-09-11 20:03:39 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 20:03:52 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 20:05:42 +0000 | juhp | (~juhp@128.106.188.220) (Ping timeout: 260 seconds) |
| 2021-09-11 20:06:47 +0000 | juhp | (~juhp@128.106.188.220) |
| 2021-09-11 20:07:54 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-09-11 20:10:31 +0000 | jtomas_ | (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) |
| 2021-09-11 20:13:50 +0000 | jtomas | (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2021-09-11 20:14:13 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-09-11 20:15:12 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-09-11 20:16:24 +0000 | vs^ | (~vsl@68.101.54.227) (Remote host closed the connection) |
| 2021-09-11 20:17:48 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) (Remote host closed the connection) |
| 2021-09-11 20:21:59 +0000 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-09-11 20:31:29 +0000 | <sshine> | context? |
| 2021-09-11 20:33:59 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 20:34:10 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:2435:ba7:e573:bc26) |
| 2021-09-11 20:34:22 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 20:35:29 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-11 20:38:52 +0000 | acidjnk_new | (~acidjnk@p200300d0c720301980aba8353aca9eb7.dip0.t-ipconnect.de) |
| 2021-09-11 20:40:11 +0000 | <dsal> | HashMaps seem like a bad idea in many use cases. |
| 2021-09-11 20:40:59 +0000 | <clever> | sshine: https://cs-syd.eu/posts/2021-09-11-json-vulnerability |
| 2021-09-11 20:41:51 +0000 | yoctocell` | (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-09-11 20:42:15 +0000 | <dsal> | Ah, I had that conversation a few days ago. :) |
| 2021-09-11 20:42:29 +0000 | yoctocell` | (~user@h87-96-130-155.cust.a3fiber.se) () |
| 2021-09-11 20:43:57 +0000 | <clever> | i had heard of it years ago |
| 2021-09-11 20:44:56 +0000 | <alzgh> | is hashmaps in Haskell different than other languages or do you mean how they can be abused in general? |
| 2021-09-11 20:45:44 +0000 | <clever> | alzgh: the problem is more that the json parser is using an unsalted hashmap to store the key/value pairs in a json object |
| 2021-09-11 20:46:08 +0000 | <clever> | alzgh: so if i give you an object, where all of the keys collide, you loose all of the hashmap benefits, and it degrades into just a map with O(n) access |
| 2021-09-11 20:46:39 +0000 | <clever> | and if i upload a json blob with several million colliding keys, that becomes a major cpu hog |
| 2021-09-11 20:46:40 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2021-09-11 20:46:52 +0000 | <clever> | and a lot of haskell code, only validates the json after parsing, when its too late |
| 2021-09-11 20:47:07 +0000 | <kuribas> | clever: That's how Aeson parses. |
| 2021-09-11 20:47:17 +0000 | <clever> | kuribas: exactly |
| 2021-09-11 20:47:32 +0000 | <kuribas> | It first creates a Value (using HashMaps), then uses that parse into a curstom type. |
| 2021-09-11 20:48:09 +0000 | <clever> | so by the time the user code has any choice in the matter, the cpu cost of the attack has already hit you |
| 2021-09-11 20:48:20 +0000 | <clever> | and its too late to defend against it |
| 2021-09-11 20:50:09 +0000 | <kuribas> | The problem is that a random salt will break referential transparency when converting the hasmap to a list. |
| 2021-09-11 20:50:42 +0000 | <kuribas> | For example, I assume it will rearrange the order of keys in a printed JSON. |
| 2021-09-11 20:50:42 +0000 | <clever> | i can also see it being very difficult to even sneak a random salt into such a pure language |
| 2021-09-11 20:51:12 +0000 | <kuribas> | But I guess other languages have that problem as well. |
| 2021-09-11 20:51:16 +0000 | <clever> | in nix (another pure/functional language), all keys are converted into an int (just a global list of keys, and the index) |
| 2021-09-11 20:51:31 +0000 | <clever> | so the order of key/value pairs in a set, is dependant on the order the keys had first been used |
| 2021-09-11 20:51:48 +0000 | <clever> | to mask that artifact, nix will always sort the keys, by the key value, before exporting it to any list |
| 2021-09-11 20:52:05 +0000 | <clever> | so converting a set to a list, always gives you a stable result, all keys are sorted |
| 2021-09-11 20:52:22 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2021-09-11 20:52:30 +0000 | <clever> | i have only been able to violate that rule once, by using mapAttrs and trace |
| 2021-09-11 20:52:40 +0000 | <clever> | it still evaluates in a random order, and trace leaks that order |
| 2021-09-11 20:52:53 +0000 | <clever> | but the result is still pure, and you cant see it in the actual evaluation |
| 2021-09-11 20:53:20 +0000 | <alzgh> | So, in Haskell being a pure language, the hash of an input must always be the same or it breaks referential transparency? |
| 2021-09-11 20:53:31 +0000 | <alzgh> | I've just started Haskell, sorry if that's obvious. |
| 2021-09-11 20:53:31 +0000 | _xft0 | (~jaroslawj@185.234.208.208.r.toneticgroup.pl) |
| 2021-09-11 20:53:34 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c09c:3e60:e691:1fba) |
| 2021-09-11 20:53:42 +0000 | wroathe | (~wroathe@c-75-72-98-163.hsd1.mn.comcast.net) |
| 2021-09-11 20:53:43 +0000 | wroathe | (~wroathe@c-75-72-98-163.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-11 20:53:43 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-11 20:53:45 +0000 | <kuribas> | alzgh: if it's a pure function, yes. |
| 2021-09-11 20:54:00 +0000 | <kuribas> | alzgh: btw, you want the hash to be same in another language too :) |
| 2021-09-11 20:54:23 +0000 | <alzgh> | On one run too, but not on different runs necessarily. That's what the seed is for, no? |
| 2021-09-11 20:54:29 +0000 | <kuribas> | yes |
| 2021-09-11 20:54:41 +0000 | hexfive | (~eric@50.35.83.177) |
| 2021-09-11 20:54:53 +0000 | econo | (uid147250@user/econo) |
| 2021-09-11 20:54:57 +0000 | <clever> | ive had bugs in the past, where the perl json encoder, sorts keys randomly |
| 2021-09-11 20:55:03 +0000 | <alzgh> | So, attackers can put together some data where all the hashes collide since the hashes will allways be the same. |
| 2021-09-11 20:55:12 +0000 | <clever> | so even if the json is identical, 2 given json files are not |
| 2021-09-11 20:55:28 +0000 | <clever> | i had to pass things thru `js --sort` to resolve that |
| 2021-09-11 20:55:44 +0000 | <kuribas> | yeah, so Aeson should use Map, problem solved... |
| 2021-09-11 20:55:58 +0000 | <clever> | the issue, is that the next step was using the hash of the json file, to figure out if some expensive computation had been done before or not |
| 2021-09-11 20:56:20 +0000 | <clever> | kuribas: then you just have that high cpu usage all of the time, rather then only when an attacker is exploiting you |
| 2021-09-11 20:56:49 +0000 | <kuribas> | clever: which is why it should reject unknown keys, when parsing into a known structure. |
| 2021-09-11 20:57:12 +0000 | <clever> | kuribas: yep |
| 2021-09-11 20:57:22 +0000 | <kuribas> | And don't name your keys "dufsiqopfjzempifdqfjkdmqfuimdosqfdmsqjfkmldjqsmfuiqlmsjefilmsjqfkmd" |
| 2021-09-11 20:57:28 +0000 | <clever> | but the current design, will parse all keys, into a map, then run a function to convert that map into a structure |
| 2021-09-11 20:57:30 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-09-11 20:57:31 +0000 | <kuribas> | Actually that would probably be still fine :) |
| 2021-09-11 20:57:50 +0000 | <clever> | the parser would need a re-design, to have a whitelist of keys |
| 2021-09-11 20:57:51 +0000 | <alzgh> | map gives logarithmic insertion, access, etc. time? |
| 2021-09-11 20:58:18 +0000 | <clever> | kuribas: hmmm, you could modify the FromJSON instance, to have an extra function, `isValidKey :: String -> Bool` |
| 2021-09-11 20:58:18 +0000 | hexfive | (~eric@50.35.83.177) (Client Quit) |
| 2021-09-11 20:58:28 +0000 | <clever> | kuribas: the default would just be `_: True` to give the old behaviour |
| 2021-09-11 20:58:31 +0000 | <kuribas> | yeah |
| 2021-09-11 20:58:42 +0000 | <clever> | and then any malicious keys, just never hit the HashMap |
| 2021-09-11 20:58:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2021-09-11 20:59:00 +0000 | <clever> | and boom, problem solved, no need to change the salt |
| 2021-09-11 20:59:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2021-09-11 20:59:19 +0000 | <clever> | but every single parser has to now declare a list of keys they expect |
| 2021-09-11 20:59:46 +0000 | <alzgh> | that sounds reasonable to me |
| 2021-09-11 21:00:46 +0000 | xff0x | (~xff0x@2001:1a81:5337:500:915:acb5:b793:8885) (Ping timeout: 260 seconds) |
| 2021-09-11 21:01:07 +0000 | <kuribas> | Could be added to the generic derivation. |
| 2021-09-11 21:01:31 +0000 | xff0x | (~xff0x@2001:1a81:5337:500:1487:c5ae:272e:6220) |
| 2021-09-11 21:03:33 +0000 | <d34df00d> | kuribas: > The problem is that a random salt will break referential transparency when converting the hasmap to a list. |
| 2021-09-11 21:03:36 +0000 | <d34df00d> | No it will not. |
| 2021-09-11 21:04:03 +0000 | <kuribas> | d34df00d: it will change the order, no? |
| 2021-09-11 21:04:18 +0000 | <d34df00d> | If salt is chosen on startup and stored somewhere (say even with unsafePerformIO or something), then you won't be able to observe that different invocations toList will change the ordering. |
| 2021-09-11 21:04:21 +0000 | <kuribas> | since HashMaps are "unordered". |
| 2021-09-11 21:04:29 +0000 | <d34df00d> | Because the ordering will be the same within a run. |
| 2021-09-11 21:04:44 +0000 | <kuribas> | d34df00d: until you store JSON in a file, then compare them later... |
| 2021-09-11 21:04:58 +0000 | <kuribas> | ok, textual compare of json is bad... |
| 2021-09-11 21:05:27 +0000 | <d34df00d> | To do comparisons in a file I need to do IO, and IO is not pure. |
| 2021-09-11 21:06:18 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-09-11 21:07:05 +0000 | <kuribas> | the IO isn't the problem... |
| 2021-09-11 21:08:34 +0000 | <d34df00d> | I think it could be simplified that referential transparency implies you could replace `let x = fun arg1 arg2; y = fun arg1 arg2 in ...` with `let x = fun arg1 arg2; y = x in ...`. And you surely can even if salt is random, and different runs of the program produce different results! |
| 2021-09-11 21:12:14 +0000 | <monochrom> | Pretty sure most ToJSON instances output in an order independent of any hashing. |
| 2021-09-11 21:13:58 +0000 | <kuribas> | monochrom: if they use toEncoding. |
| 2021-09-11 21:19:40 +0000 | burnsidesLlama | (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-09-11 21:22:06 +0000 | Guest|77 | (~Guest|77@host109-153-137-110.range109-153.btcentralplus.com) |
| 2021-09-11 21:22:58 +0000 | Guest|77 | (~Guest|77@host109-153-137-110.range109-153.btcentralplus.com) (Client Quit) |
| 2021-09-11 21:24:07 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-09-11 21:25:02 +0000 | _xft0 | (~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Remote host closed the connection) |
| 2021-09-11 21:28:19 +0000 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 2021-09-11 21:29:22 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 21:29:35 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 21:30:04 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-11 21:30:41 +0000 | Gurkenglas | (~Gurkengla@dslb-002-207-014-195.002.207.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 2021-09-11 21:31:19 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-09-11 21:36:45 +0000 | <infinity0> | i need to test a modification to the vector package; how do i make it visible in cabal? cabal seems intent on using the internal version |
| 2021-09-11 21:37:48 +0000 | <kuribas> | infinity0: you can put the link to your version in cabal.project or stack.yaml |
| 2021-09-11 21:38:01 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-09-11 21:38:20 +0000 | <infinity0> | hm i've done that. ok i'll try bumping the version number in vector.cabal too... |
| 2021-09-11 21:38:53 +0000 | kuribas | (~user@ptr-25vy0i92albk3w04mlr.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-09-11 21:45:04 +0000 | <infinity0> | ok, that worked |
| 2021-09-11 21:47:43 +0000 | martin02 | (~silas@141.84.69.76) (Ping timeout: 252 seconds) |
| 2021-09-11 21:49:34 +0000 | AlistairB | (~AlistairB@121-200-5-212.79c805.syd.nbn.aussiebb.net) |
| 2021-09-11 21:50:01 +0000 | martin02 | (~silas@141.84.69.76) |
| 2021-09-11 21:51:58 +0000 | max22- | (~maxime@2a01cb0883359800e16e499d0efbd347.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 2021-09-11 21:53:08 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-09-11 21:54:36 +0000 | alzgh | (~alzgh@user/alzgh) (Quit: WeeChat 2.8) |
| 2021-09-11 21:58:14 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2021-09-11 22:02:52 +0000 | <AlistairB> | Hi, does anyone know how to verify the gpg signatures in https://downloads.haskell.org/~ghc/8.10.7/ ? I am trying `gpg --trusted-key 7CCFC277A14C97A7 --verify ghc-8.10.7-x86_64-deb10-linux.tar.xz.sig` |
| 2021-09-11 22:03:40 +0000 | <AlistairB> | after I have loaded this key `gpg --keyserver keyserver.ubuntu.com --recv-keys 01944ea522110b90c81f629d7ccfc277a14c97a7` - https://keyserver.ubuntu.com/pks/lookup?search=Zubin+Duggal&fingerprint=on&op=index |
| 2021-09-11 22:04:01 +0000 | <AlistairB> | but it fails with `Can't check signature: No public key` |
| 2021-09-11 22:04:10 +0000 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Ping timeout: 240 seconds) |
| 2021-09-11 22:04:29 +0000 | <AlistairB> | I am guessing this is the right key as I believe Zubin is doing the releases |
| 2021-09-11 22:07:58 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-11 22:07:59 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-11 22:07:59 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-11 22:10:19 +0000 | wonko | (~wjc@62.115.229.50) (Ping timeout: 265 seconds) |
| 2021-09-11 22:28:32 +0000 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) |
| 2021-09-11 22:29:51 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2021-09-11 22:36:08 +0000 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-09-11 22:38:05 +0000 | <AlistairB> | I think this is probably an issue with the new GHC releases. I will raise an issue on GHC. |
| 2021-09-11 22:38:35 +0000 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-09-11 22:38:37 +0000 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-09-11 22:38:44 +0000 | tlaxkit | (~hexchat@170.253.38.52) |
| 2021-09-11 22:38:47 +0000 | Moyst | (~moyst@user/moyst) (Ping timeout: 240 seconds) |
| 2021-09-11 22:39:16 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2021-09-11 22:39:16 +0000 | hololeap | (~hololeap@user/hololeap) (Write error: Connection reset by peer) |
| 2021-09-11 22:39:16 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer) |
| 2021-09-11 22:39:16 +0000 | hendursaga | (~weechat@user/hendursaga) (Write error: Connection reset by peer) |
| 2021-09-11 22:39:16 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2021-09-11 22:40:16 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-09-11 22:41:18 +0000 | Moyst | (~moyst@user/moyst) |
| 2021-09-11 22:47:38 +0000 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-09-11 22:48:24 +0000 | Lycurgus | (~juan@98.4.112.204) |
| 2021-09-11 22:49:50 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-09-11 22:52:07 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2021-09-11 22:52:40 +0000 | ub | (~Thunderbi@178.165.201.147.wireless.dyn.drei.com) |
| 2021-09-11 22:52:42 +0000 | sheddow | (~sheddow@84-52-255.245.3p.ntebredband.no) |
| 2021-09-11 22:53:14 +0000 | ubert | (~Thunderbi@178.165.183.38.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2021-09-11 22:53:14 +0000 | ub | ubert |
| 2021-09-11 22:54:22 +0000 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) |
| 2021-09-11 22:58:19 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:5d00:12c3:7bff:fe6d:d374) (Remote host closed the connection) |
| 2021-09-11 23:02:53 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-09-11 23:03:13 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-09-11 23:04:30 +0000 | lemonsni- | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2021-09-11 23:05:50 +0000 | acidjnk_new | (~acidjnk@p200300d0c720301980aba8353aca9eb7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-09-11 23:08:42 +0000 | lemonsni- | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-09-11 23:08:47 +0000 | pmk | (~user@ppp-94-64-150-206.home.otenet.gr) (Ping timeout: 245 seconds) |
| 2021-09-11 23:09:06 +0000 | falafel | (~falafel@2603-8000-d801-2d68-1d6d-bf72-eba2-a20e.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-09-11 23:13:46 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 260 seconds) |
| 2021-09-11 23:14:01 +0000 | lemonsni- | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2021-09-11 23:16:03 +0000 | jtomas_ | (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2021-09-11 23:19:42 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 23:19:55 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 23:22:37 +0000 | TranquilEcho | (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 2021-09-11 23:32:44 +0000 | thyriaen | (~thyriaen@dynamic-077-011-222-235.77.11.pool.telefonica.de) (Remote host closed the connection) |
| 2021-09-11 23:35:32 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-09-11 23:36:20 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-09-11 23:38:07 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-11 23:39:09 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-09-11 23:40:02 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 23:40:16 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 23:42:38 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-09-11 23:50:10 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-09-11 23:50:23 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) (Quit: amitnjha) |
| 2021-09-11 23:50:36 +0000 | amitnjha | (~amit@024-216-124-116.res.spectrum.com) |
| 2021-09-11 23:50:46 +0000 | Pent48 | (~Pent@pool-100-14-166-46.phlapa.fios.verizon.net) |
| 2021-09-11 23:51:58 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2021-09-11 23:53:34 +0000 | tlaxkit | (~hexchat@170.253.38.52) (Quit: Leaving) |
| 2021-09-11 23:54:13 +0000 | slep | (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-09-11 23:54:48 +0000 | Pent48 | (~Pent@pool-100-14-166-46.phlapa.fios.verizon.net) (Client Quit) |
| 2021-09-11 23:56:36 +0000 | slep | (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) |
| 2021-09-11 23:56:49 +0000 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds) |