Home liberachat/#haskell: Logs Calendar

Logs on 2022-08-06 (liberachat/#haskell)

00:02:21 → mvk joins (~mvk@2607:fea8:5ce3:8500::d5f2)
00:03:54 × califax quits (~califax@user/califx) (Remote host closed the connection)
00:05:52 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
00:15:20 → califax joins (~califax@user/califx)
00:17:20 × Jeanne-Kamikaze quits (~Jeanne-Ka@142.147.89.248) (Quit: Leaving)
00:17:33 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
00:21:15 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
00:23:43 × mvk quits (~mvk@2607:fea8:5ce3:8500::d5f2) (Ping timeout: 244 seconds)
00:26:10 → Sgeo joins (~Sgeo@user/sgeo)
00:29:55 × hgolden quits (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!)
00:31:32 → hgolden joins (~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
00:34:19 → jero98772 joins (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
00:35:38 → vysn joins (~vysn@user/vysn)
00:43:27 → wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com)
00:43:27 × wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
00:43:27 → wroathe joins (~wroathe@user/wroathe)
00:46:05 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
00:46:18 → causal joins (~user@50.35.83.177)
00:56:05 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds)
01:10:36 → Kaipei joins (~Kaiepi@142.68.249.28)
01:12:57 × Kaiepi quits (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds)
01:15:33 → matthewmosior joins (~matthewmo@173.170.253.91)
01:19:50 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
01:29:22 × troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
01:32:30 → matthewmosior joins (~matthewmo@173.170.253.91)
01:32:49 → merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
01:37:52 → pragma- joins (~chaos@user/pragmatic-chaos)
01:45:36 → troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua)
01:56:01 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
02:00:22 → wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com)
02:00:22 × wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
02:00:22 → wroathe joins (~wroathe@user/wroathe)
02:00:28 → naso joins (~naso@193-116-244-197.tpgi.com.au)
02:01:42 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
02:06:33 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds)
02:06:42 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
02:10:38 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds)
02:13:04 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
02:19:18 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:19:18 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
02:19:18 finn_elija is now known as FinnElija
02:30:12 <qrpnxz> if you index a representable functor that holds multiple values, the resulting Monad is "zippy" on the tabulation. That's pretty suspicious because last I checked ZipList isn't a Monad. I see Complex is an instance so I do go to Data.Complex, and hmmm Complex has Monad instance. I try it out and indeed it is zippy. Is Complex a valid Monad? If so why isn't ZipList one?
02:33:16 <monochrom> You can go through the monad laws to verify that Complex is a monad.
02:33:40 <monochrom> ZipList's issue is variable size.
02:34:56 <qrpnxz> that is, dismatching sizes on (<*>) don't break applicative, but they break (>>=)?
02:35:01 <qrpnxz> wow
02:36:42 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
02:36:42 × td_ quits (~td@muedsl-82-207-238-171.citykom.de) (Ping timeout: 245 seconds)
02:38:46 → td_ joins (~td@94.134.91.51)
02:41:40 × vysn quits (~vysn@user/vysn) (Ping timeout: 244 seconds)
02:42:10 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds)
02:48:22 <byorgey> ZipList is not representable.
02:55:48 <qrpnxz> i think it would be possible to actually index a ziplist with type level lengths. (I actually plan to try this because it gives Yoneda like benefits 🙂). However, all monad operations on the resulting index must be on values with the same rep (therefore same length), so all good!
02:57:33 <byorgey> yep, ZipList with a fixed length is a valid monad, no problem.
02:57:43 → matthewmosior joins (~matthewmo@173.170.253.91)
02:58:26 <qrpnxz> pretty mind blowing honestly, feels like a secret :)
02:58:36 <c_wraith> infinite streams also tend to form zippy monads.
02:59:05 <qrpnxz> oh my god of cource
02:59:07 <qrpnxz> course'
02:59:14 <qrpnxz> https://hackage.haskell.org/package/streams-3.3/docs/Data-Stream-Infinite.html
02:59:19 <qrpnxz> monad!
03:01:51 → naso joins (~naso@193-116-244-197.tpgi.com.au)
03:01:59 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
03:03:59 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
03:04:14 → naso joins (~naso@193-116-244-197.tpgi.com.au)
03:04:32 × jero98772 quits (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
03:05:23 → mob joins (~kvirc@62-11-5-95.dialup.tiscali.it)
03:17:05 → matthewmosior joins (~matthewmo@173.170.253.91)
03:21:46 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
03:22:42 → naso joins (~naso@193-116-244-197.tpgi.com.au)
03:30:34 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds)
03:32:03 → merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
03:40:01 → x77686d joins (~x77686d@c-76-18-124-133.hsd1.al.comcast.net)
03:47:49 × x77686d quits (~x77686d@c-76-18-124-133.hsd1.al.comcast.net) (Quit: Connection closed)
03:49:57 × johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
03:55:03 → naso joins (~naso@193-116-244-197.tpgi.com.au)
03:57:36 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 244 seconds)
03:58:44 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
04:01:58 × cyphase quits (~cyphase@user/cyphase) (Ping timeout: 240 seconds)
04:04:31 → justsomeguy joins (~justsomeg@user/justsomeguy)
04:06:17 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
04:07:15 → cyphase joins (~cyphase@user/cyphase)
04:11:53 × mob quits (~kvirc@62-11-5-95.dialup.tiscali.it) (Ping timeout: 252 seconds)
04:15:56 → gmg joins (~user@user/gehmehgeh)
04:16:17 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 252 seconds)
04:19:12 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
04:22:42 × vglfr quits (~vglfr@194.9.14.33) (Remote host closed the connection)
04:23:07 → vglfr joins (~vglfr@194.9.14.33)
04:25:50 → mob joins (~kvirc@5.170.201.62)
04:28:28 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 268 seconds)
04:30:38 → gmg joins (~user@user/gehmehgeh)
04:33:24 → matthewmosior joins (~matthewmo@173.170.253.91)
04:33:38 → azimut joins (~azimut@gateway/tor-sasl/azimut)
04:37:13 → kazaf joins (~kazaf@94.180.63.53)
04:37:23 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
04:41:11 <albet70> that Identity in most of monad trans, why it's a functor?
04:43:12 <geekosaur> why wouldn't it be? it obeys the Functor laws trivially
04:43:42 <geekosaur> and it must if it's to be a Monad, so it can be used as an identity for monad transformers
04:44:38 <albet70> so could we put a functor into a monad trans?
04:45:20 <geekosaur> no, the point is that to be a Monad it must also be a Functor
04:45:48 <geekosaur> we want the Identity Monad, so we must also have the Identity Functor
04:46:10 <geekosaur> it's not especially useful by itself, but as a Monad it acts as an identity for monad transformers
04:46:13 <albet70> then why use Identity Monad in monad trans?
04:46:21 <albet70> not use
04:46:39 <geekosaur> not sure what you're asking
04:47:02 <geekosaur> originally we had separate things like State s a vs. StateT s m a
04:47:26 <geekosaur> these days State s a is a type alias for StateT s Identity a
04:47:58 <geekosaur> so we don'[t have to duplicate the State machinery to support both, as was necessary in mtl 1.x
04:48:11 <albet70> https://hackage.haskell.org/package/transformers-0.6.0.4/docs/Control-Monad-Trans-Cont.html#g:1
04:48:21 <albet70> typeCont r = ContT r Identity
04:48:41 <albet70> https://hackage.haskell.org/package/base-4.14.1.0/docs/Data-Functor-Identity.html#t:Identity
04:48:51 <geekosaur> same thing, yes
04:49:12 <albet70> why not Control.Monad.Identity if there is
04:49:53 <albet70> and why there're Data.Functor.xxx and Control.Monad.xxx?
04:50:43 <geekosaur> don't try to make sense of the module hierarchy. most of it is historical accident
04:51:29 <geekosaur> dating from when Monad didn't have Functor as a prerequisite, so we reconstructed it from >>= as liftM
04:55:41 <monochrom> Module hierarchies are social constructs. You may as well ask why feudalism existed.
04:59:16 <albet70> :t fmap
04:59:17 <lambdabot> Functor f => (a -> b) -> f a -> f b
04:59:58 <albet70> when m~ e->, fmap :: (a->b) -> (e->a) -> (e->b), but fmap (+) (+1) would be?
05:01:44 <geekosaur> :t fmap (+) (+1)
05:01:45 <lambdabot> Num a => a -> a -> a
05:02:02 <albet70> liftA2 :: (a -> b -> c) -> f a -> f b -> f c; liftA2 f x = (<*>) (fmap f x); this f is binary, when x is an unary, fmap a-binary on an unary, it doesn't match fmap's type
05:02:49 <geekosaur> a can unify with (b -> c)
05:02:56 <albet70> fmap an unary on an unary is function compose
05:03:57 <geekosaur> that is, a -> b -> c is the same as a -> (b -> c), which can be treated as unary producing a function
05:05:08 <albet70> but x :: f a
05:06:08 <albet70> x :: (_->_)->a?
05:06:45 <geekosaur> that's not how it works
05:07:14 <geekosaur> x :: e -> a, f is (e ->), a is (b -> c)
05:08:23 <albet70> liftA2 :: (a -> (b->c)) -> (e->a) ->(e->b) ->e -> c
05:09:36 <albet70> fmap :: (a -> (b->c)) -> (e->a) -> e -> b
05:10:25 <geekosaur> I think that last part is wrong. … -> e -> (b->c) (that is, result is a function)
05:11:00 <geekosaur> which brings us back where it started when you asked about fmap (+) (+1)
05:11:06 <geekosaur> the result being a function
05:12:25 <albet70> fmap :: (a->(b->c)) -> (e->a) -> e -> (b->c)
05:13:18 <albet70> fmap (+) (+1) = \x -> (+) ((+1) x)
05:15:15 → naso joins (~naso@193-116-244-197.tpgi.com.au)
05:18:57 × son0p quits (~ff@181.136.122.143) (Ping timeout: 268 seconds)
05:20:11 × vglfr quits (~vglfr@194.9.14.33) (Ping timeout: 268 seconds)
05:21:06 → matthewmosior joins (~matthewmo@173.170.253.91)
05:21:50 → vglfr joins (~vglfr@194.9.14.33)
05:22:43 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
05:23:53 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
05:25:25 × zebrag quits (~chris@user/zebrag) (Remote host closed the connection)
05:28:08 → zxx7529 joins (~Thunderbi@user/zxx7529)
05:28:12 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds)
05:30:58 → etoast joins (~exaltedto@user/exaltedtoast)
05:30:59 → merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
05:31:09 → coot joins (~coot@213.134.176.158)
05:31:59 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
05:34:36 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
05:35:23 → machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net)
05:36:48 × coot quits (~coot@213.134.176.158) (Quit: coot)
05:37:50 → coot joins (~coot@213.134.176.158)
05:38:49 × coot quits (~coot@213.134.176.158) (Client Quit)
05:39:52 → coot joins (~coot@213.134.176.158)
05:40:01 → naso joins (~naso@193-116-244-197.tpgi.com.au)
05:44:56 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
05:45:00 × [Leary] quits (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) (Ping timeout: 268 seconds)
05:45:26 → chexum joins (~quassel@gateway/tor-sasl/chexum)
05:48:51 ← coot parts (~coot@213.134.176.158) ()
05:51:47 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:00:55 → coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
06:04:51 × zxx7529 quits (~Thunderbi@user/zxx7529) (Quit: zxx7529)
06:05:21 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
06:08:47 × bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 245 seconds)
06:10:24 × coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection)
06:10:55 ← jakalx parts (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection)
06:10:56 → jakalx joins (~jakalx@base.jakalx.net)
06:12:15 → mastarija joins (~mastarija@2a05:4f46:e02:8c00:5d6d:dddd:e86a:2db4)
06:15:15 <mastarija> How does one import a type alias operator explicitly? I'm trying to do this `import Data.Type.Ord ( (>?) )` but GHC complains that `Data.Type.Ord` does not export `(>?)`. However, when I remove it from the list, it says "...perhaps you want to add `>?` `to Data.Type.Ord`?".
06:16:13 → Pickchea joins (~private@user/pickchea)
06:16:39 <dsal> mastarija: I think you want `type (>?)`
06:17:23 → irfan joins (~irfan@user/irfan)
06:18:40 <mastarija> dsal, that was indeed the case :)
06:18:43 <mastarija> Thanks!
06:19:28 <mastarija> Why is that though? I remember importing type aliases without a `type` prefix. Is it only necessary for operators?
06:19:54 <dsal> I've not used this before. I just looked at how it was exported. :)
06:20:59 → coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
06:22:47 × dcoutts quits (~duncan@host109-149-1-142.range109-149.btcentralplus.com) (Ping timeout: 252 seconds)
06:23:02 × machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 240 seconds)
06:25:27 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
06:26:37 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
06:26:52 × kazaf quits (~kazaf@94.180.63.53) (Ping timeout: 252 seconds)
06:27:23 → naso joins (~naso@193-116-244-197.tpgi.com.au)
06:32:07 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 245 seconds)
06:32:57 × mob quits (~kvirc@5.170.201.62) (Ping timeout: 245 seconds)
06:35:36 × etoast quits (~exaltedto@user/exaltedtoast) (Quit: Tschüss)
06:39:42 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
06:39:58 → img joins (~img@user/img)
06:42:06 × teddyc quits (theodorc@cassarossa.samfundet.no) (Ping timeout: 264 seconds)
06:46:36 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
06:51:31 → naso joins (~naso@193-116-244-197.tpgi.com.au)
06:54:59 → matthewmosior joins (~matthewmo@173.170.253.91)
06:59:44 → mob joins (~kvirc@62-11-5-95.dialup.tiscali.it)
07:04:58 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
07:07:14 × dtman34 quits (~dtman34@2601:446:4400:2ad9:8627:39fc:b68b:80d8) (Remote host closed the connection)
07:07:34 → dtman34 joins (~dtman34@2601:446:4400:2ad9:d479:9e91:5e69:3014)
07:14:12 → vysn joins (~vysn@user/vysn)
07:14:32 → acidjnk joins (~acidjnk@p200300d6e70586055d0962206870d5dc.dip0.t-ipconnect.de)
07:18:53 × ski quits (~ski@102-198-142-46.pool.kielnet.net) (Ping timeout: 252 seconds)
07:25:02 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
07:25:07 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 252 seconds)
07:26:15 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
07:28:32 → son0p joins (~ff@181.136.122.143)
07:31:08 → merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
07:35:23 → gurkenglas joins (~gurkengla@p57b8a60f.dip0.t-ipconnect.de)
07:36:26 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
07:37:06 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
07:40:31 × mud quits (~mud@user/kadoban) (Ping timeout: 252 seconds)
07:41:15 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
07:45:48 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
07:48:07 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
07:49:26 → codaraxis__ joins (~codaraxis@user/codaraxis)
07:52:14 → Tuplanolla joins (~Tuplanoll@91-159-69-231.elisa-laajakaista.fi)
07:52:58 × codaraxis quits (~codaraxis@user/codaraxis) (Ping timeout: 245 seconds)
07:59:26 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
07:59:32 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:01:13 × coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection)
08:04:51 → naso joins (~naso@193-116-244-197.tpgi.com.au)
08:08:00 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
08:08:12 → adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan)
08:09:07 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 252 seconds)
08:09:37 → coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
08:12:07 × cheater quits (~Username@user/cheater) (Ping timeout: 245 seconds)
08:12:51 × vglfr quits (~vglfr@194.9.14.33) (Ping timeout: 268 seconds)
08:12:56 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
08:14:57 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
08:16:14 → vglfr joins (~vglfr@194.9.14.33)
08:17:55 × mob quits (~kvirc@62-11-5-95.dialup.tiscali.it) (Ping timeout: 252 seconds)
08:19:30 × mastarija quits (~mastarija@2a05:4f46:e02:8c00:5d6d:dddd:e86a:2db4) (Quit: Leaving)
08:20:20 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds)
08:20:29 × vglfr quits (~vglfr@194.9.14.33) (Ping timeout: 252 seconds)
08:20:51 → vglfr joins (~vglfr@194.9.14.33)
08:21:37 → nehsou^ joins (~nehsou@047-044-030-074.biz.spectrum.com)
08:22:12 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
08:25:23 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
08:26:02 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
08:26:55 → matthewmosior joins (~matthewmo@173.170.253.91)
08:27:11 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
08:27:37 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
08:31:17 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
08:32:04 → mob joins (~kvirc@62-11-5-95.dialup.tiscali.it)
08:33:27 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
08:35:03 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
08:35:26 → vglfr joins (~vglfr@194.9.14.33)
08:35:47 → zxx7529 joins (~Thunderbi@user/zxx7529)
08:35:52 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
08:44:55 × mob quits (~kvirc@62-11-5-95.dialup.tiscali.it) (Ping timeout: 268 seconds)
08:49:23 → sandy_doo joins (~sandydoo@146.70.117.210)
08:52:14 × vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds)
08:55:19 → merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
08:56:58 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
08:57:25 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
08:59:43 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
09:00:40 → matthewmosior joins (~matthewmo@173.170.253.91)
09:05:08 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
09:05:27 → naso joins (~naso@193-116-244-197.tpgi.com.au)
09:05:47 × lottaquestions quits (~nick@2607:fa49:503e:7100:1676:6f3c:c981:79e0) (Quit: Konversation terminated!)
09:06:12 → lottaquestions joins (~nick@2607:fa49:503e:7100:3481:111f:f558:e90a)
09:06:20 → cheater joins (~Username@user/cheater)
09:16:45 × sandy_doo quits (~sandydoo@146.70.117.210) (Quit: sandy_doo)
09:24:14 × acidjnk quits (~acidjnk@p200300d6e70586055d0962206870d5dc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
09:32:00 → kenran joins (~kenran@200116b82bde68009a1957906f65488f.dip.versatel-1u1.de)
09:34:00 → matthewmosior joins (~matthewmo@173.170.253.91)
09:36:10 → [Leary] joins (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz)
09:37:57 → benin0 joins (~benin@183.82.25.162)
09:38:22 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
09:43:03 × Vajb quits (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Read error: Connection reset by peer)
09:43:21 → Vajb joins (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
09:45:26 × jmd_ quits (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds)
09:51:54 → matthewmosior joins (~matthewmo@173.170.253.91)
09:53:20 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
09:54:33 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
10:04:06 × coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
10:06:11 → merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
10:09:45 × FragByte quits (~christian@user/fragbyte) (Quit: Quit)
10:11:44 → FragByte joins (~christian@user/fragbyte)
10:14:12 × hippoid quits (~hippoid@d53-64-120-188.nap.wideopenwest.com) (Quit: WeeChat 3.5)
10:25:00 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
10:25:31 → titibandit joins (~titibandi@xdsl-78-35-214-18.nc.de)
10:28:44 × shriekingnoise quits (~shrieking@186.137.167.202) (Quit: Quit)
10:33:22 × Vajb quits (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Ping timeout: 245 seconds)
10:33:24 ← jakalx parts (~jakalx@base.jakalx.net) ()
10:33:32 → Vajb joins (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014)
10:35:17 → jakalx joins (~jakalx@base.jakalx.net)
10:40:51 × gurkenglas quits (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
10:48:34 → frost joins (~frost@user/frost)
10:52:28 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
10:53:34 → naso joins (~naso@193-116-244-197.tpgi.com.au)
10:54:29 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
11:02:33 → gurkenglas joins (~gurkengla@p57b8a60f.dip0.t-ipconnect.de)
11:03:03 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds)
11:03:08 → dcoutts__ joins (~duncan@host86-153-247-178.range86-153.btcentralplus.com)
11:04:50 → vysn joins (~vysn@user/vysn)
11:05:25 × dcoutts_ quits (~duncan@host109-149-1-142.range109-149.btcentralplus.com) (Ping timeout: 244 seconds)
11:06:00 ← jakalx parts (~jakalx@base.jakalx.net) ()
11:06:27 → zxx7530 joins (~Thunderbi@user/zxx7529)
11:06:45 × zxx7529 quits (~Thunderbi@user/zxx7529) (Ping timeout: 268 seconds)
11:06:46 zxx7530 is now known as zxx7529
11:08:07 → dcoutts joins (~duncan@host86-153-247-178.range86-153.btcentralplus.com)
11:08:07 → naso joins (~naso@193-116-244-197.tpgi.com.au)
11:10:27 × dcoutts__ quits (~duncan@host86-153-247-178.range86-153.btcentralplus.com) (Ping timeout: 268 seconds)
11:14:53 → aeka joins (~aeka@user/hiruji)
11:15:34 × aeka quits (~aeka@user/hiruji) (Read error: Connection reset by peer)
11:15:54 → aeka joins (~aeka@user/hiruji)
11:17:07 × euandreh quits (~euandreh@179.214.113.107) (Ping timeout: 245 seconds)
11:17:57 × gurkenglas quits (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
11:20:14 × aeka quits (~aeka@user/hiruji) (Ping timeout: 240 seconds)
11:20:14 × Vajb quits (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Read error: Connection reset by peer)
11:20:30 → aeka joins (~aeka@user/hiruji)
11:22:13 → matthewmosior joins (~matthewmo@173.170.253.91)
11:22:29 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
11:22:38 → vglfr joins (~vglfr@194.9.14.33)
11:25:07 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
11:26:42 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
11:28:18 → dcoutts_ joins (~duncan@host86-153-247-178.range86-153.btcentralplus.com)
11:30:14 × absentia quits (~absentia@user/absentia) (Ping timeout: 240 seconds)
11:30:41 → absentia joins (~absentia@24-246-53-210.cable.teksavvy.com)
11:30:47 × dcoutts quits (~duncan@host86-153-247-178.range86-153.btcentralplus.com) (Ping timeout: 252 seconds)
11:31:50 × kenran quits (~kenran@200116b82bde68009a1957906f65488f.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
11:33:44 → jakalx joins (~jakalx@base.jakalx.net)
11:47:19 → Vajb joins (~Vajb@85-76-11-145-nat.elisa-mobile.fi)
11:51:11 × vysn quits (~vysn@user/vysn) (Ping timeout: 255 seconds)
11:54:10 → matthewmosior joins (~matthewmo@173.170.253.91)
11:55:51 <qrpnxz> yo, i noticed stack uses some threads, but just a few. How to tell it to crank it?
11:57:11 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
11:57:47 → naso joins (~naso@193-116-244-197.tpgi.com.au)
11:59:53 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
12:00:09 → naso joins (~naso@193-116-244-197.tpgi.com.au)
12:04:58 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
12:04:58 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
12:04:59 × califax quits (~califax@user/califx) (Read error: Connection reset by peer)
12:04:59 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
12:04:59 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
12:05:31 → chexum joins (~quassel@gateway/tor-sasl/chexum)
12:05:32 → stiell joins (~stiell@gateway/tor-sasl/stiell)
12:05:42 → jpds joins (~jpds@gateway/tor-sasl/jpds)
12:06:00 → califax joins (~califax@user/califx)
12:07:10 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
12:10:04 × frost quits (~frost@user/frost) (Ping timeout: 252 seconds)
12:14:07 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
12:14:28 → vglfr joins (~vglfr@194.9.14.33)
12:16:13 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
12:18:27 × naso quits (~naso@193-116-244-197.tpgi.com.au) ()
12:21:13 → Midjak joins (~Midjak@82.66.147.146)
12:25:21 × nehsou^ quits (~nehsou@047-044-030-074.biz.spectrum.com) (Remote host closed the connection)
12:37:42 → azimut joins (~azimut@gateway/tor-sasl/azimut)
12:44:40 → naso joins (~naso@193-116-244-197.tpgi.com.au)
12:45:02 naso is now known as nilradical
12:45:43 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
12:46:52 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
12:47:14 nilradical is now known as nasosev
12:47:24 → coot joins (~coot@213.134.176.158)
12:47:32 nasosev is now known as nilradical
12:47:42 × nilradical quits (~naso@193-116-244-197.tpgi.com.au) (Client Quit)
12:48:00 → naso joins (~naso@193-116-244-197.tpgi.com.au)
12:48:23 × naso quits (~naso@193-116-244-197.tpgi.com.au) (Client Quit)
12:48:40 → nilradical joins (~nilradica@193-116-244-197.tpgi.com.au)
12:52:06 × nilradical quits (~nilradica@193-116-244-197.tpgi.com.au) (Changing host)
12:52:06 → nilradical joins (~nilradica@user/naso)
12:53:59 <maerwald[m]> qrpnxz: https://docs.haskellstack.org/en/stable/search.html?q=jobs
12:54:44 → pwug joins (~pwug@user/pwug)
12:54:59 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
12:55:25 → chexum joins (~quassel@gateway/tor-sasl/chexum)
12:57:20 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
13:02:15 × nilradical quits (~nilradica@user/naso) ()
13:06:25 → hasbae joins (~hippoid@d53-64-120-188.nap.wideopenwest.com)
13:06:58 hasbae is now known as hippoid
13:08:06 × coot quits (~coot@213.134.176.158) (Quit: coot)
13:08:44 → coot joins (~coot@213.134.176.158)
13:16:13 → matthewmosior joins (~matthewmo@173.170.253.91)
13:17:26 × hippoid quits (~hippoid@d53-64-120-188.nap.wideopenwest.com) (Ping timeout: 240 seconds)
13:18:29 × matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
13:18:36 → matthewmosior joins (~matthewmo@173.170.253.91)
13:27:15 × _________ quits (~nobody@user/noodly) (Ping timeout: 272 seconds)
13:27:17 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
13:27:27 × matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
13:27:29 → vglfr joins (~vglfr@194.9.14.33)
13:29:00 → ubert joins (~Thunderbi@91.141.47.190.wireless.dyn.drei.com)
13:32:49 → _________ joins (~nobody@user/noodly)
13:33:24 → vysn joins (~vysn@user/vysn)
13:33:51 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
13:34:05 → chexum joins (~quassel@gateway/tor-sasl/chexum)
13:36:42 → matthewmosior joins (~matthewmo@173.170.253.91)
13:37:40 → arjun joins (~arjun@user/arjun)
13:40:00 × arjun quits (~arjun@user/arjun) (Read error: Connection reset by peer)
13:40:51 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
13:40:59 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
13:41:00 → vglfr joins (~vglfr@194.9.14.33)
13:43:21 → kenran joins (~kenran@200116b82bde680009db6f0db09a86b2.dip.versatel-1u1.de)
13:45:18 → arjun joins (~arjun@user/arjun)
13:49:14 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
13:49:46 × kenran quits (~kenran@200116b82bde680009db6f0db09a86b2.dip.versatel-1u1.de) (Quit: WeeChat info:version)
13:49:53 → vglfr joins (~vglfr@194.9.14.33)
13:50:04 × Deide quits (~deide@user/deide) (Quit: Reconnecting)
13:50:18 → Deide joins (~deide@user/deide)
13:55:06 → matthewmosior joins (~matthewmo@173.170.253.91)
13:56:59 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
13:58:00 → vglfr joins (~vglfr@194.9.14.33)
13:58:17 → MajorBiscuit joins (~MajorBisc@31-161-190-199.mobile.kpn.net)
14:01:33 × MajorBiscuit quits (~MajorBisc@31-161-190-199.mobile.kpn.net) (Read error: Connection reset by peer)
14:05:24 → euandreh joins (~euandreh@179.214.113.107)
14:06:43 → MajorBiscuit joins (~MajorBisc@31-161-190-199.mobile.kpn.net)
14:07:43 × vglfr quits (~vglfr@194.9.14.33) (Ping timeout: 252 seconds)
14:13:47 × MajorBiscuit quits (~MajorBisc@31-161-190-199.mobile.kpn.net) (Read error: Connection reset by peer)
14:15:48 × titibandit quits (~titibandi@xdsl-78-35-214-18.nc.de) (Remote host closed the connection)
14:17:13 → vglfr joins (~vglfr@194.9.14.33)
14:19:18 × _________ quits (~nobody@user/noodly) (Ping timeout: 268 seconds)
14:19:21 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
14:22:09 → vglfr joins (~vglfr@194.9.14.33)
14:22:39 → Guest50 joins (~Guest50@2a00:23c6:1c8b:f901:c8b:d9e2:b265:a2c2)
14:24:12 <Guest50> Hi, I'm wondering if anyone has any thoughts on this SO question?:
14:24:13 <Guest50> https://stackoverflow.com/questions/73249262/design-options-for-recursive-sum-product-type-in-haskell?noredirect=1#comment129371026_73249262
14:24:24 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
14:25:40 → vglfr joins (~vglfr@194.9.14.33)
14:30:03 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
14:30:23 → vglfr joins (~vglfr@194.9.14.33)
14:31:29 → _________ joins (~nobody@user/noodly)
14:33:25 → acidjnk joins (~acidjnk@p200300d6e7058605e481051ccd0ab90b.dip0.t-ipconnect.de)
14:37:11 → nate4 joins (~nate@035-131-174-003.biz.spectrum.com)
14:44:35 × nate4 quits (~nate@035-131-174-003.biz.spectrum.com) (Ping timeout: 268 seconds)
14:51:28 × pwug quits (~pwug@user/pwug) (Quit: Leaving)
14:56:51 × vglfr quits (~vglfr@194.9.14.33) (Ping timeout: 252 seconds)
15:00:42 → vglfr joins (~vglfr@194.9.14.33)
15:01:01 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
15:06:10 × zxx7529 quits (~Thunderbi@user/zxx7529) (Ping timeout: 268 seconds)
15:07:06 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
15:08:11 × vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.5)
15:10:24 → matthewmosior joins (~matthewmo@173.170.253.91)
15:11:31 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
15:11:39 → harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
15:12:57 × matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
15:14:11 × benin0 quits (~benin@183.82.25.162) (Quit: The Lounge - https://thelounge.chat)
15:14:41 → gurkenglas joins (~gurkengla@p57b8a60f.dip0.t-ipconnect.de)
15:20:19 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
15:20:54 → matthewmosior joins (~matthewmo@173.170.253.91)
15:21:22 → nate4 joins (~nate@035-131-174-003.biz.spectrum.com)
15:24:46 × gurkenglas quits (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
15:24:52 → vglfr joins (~vglfr@194.9.14.33)
15:26:48 → gurkenglas joins (~gurkengla@p548ac3ba.dip0.t-ipconnect.de)
15:29:21 → _73 joins (~user@pool-173-76-102-248.bstnma.fios.verizon.net)
15:29:53 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
15:33:22 × vglfr quits (~vglfr@194.9.14.33) (Ping timeout: 245 seconds)
15:33:54 ← _73 parts (~user@pool-173-76-102-248.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2))
15:39:30 <c_wraith> Guest50: My thoughts on that have been "what the heck is this question trying to ask?" since it was posted. Seems the comments agree.
15:41:39 ← Guest50 parts (~Guest50@2a00:23c6:1c8b:f901:c8b:d9e2:b265:a2c2) ()
15:43:42 → matthewmosior joins (~matthewmo@173.170.253.91)
15:43:55 → vglfr joins (~vglfr@194.9.14.33)
15:45:15 → machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net)
15:52:21 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
15:55:49 × raym quits (~raym@user/raym) (Quit: nvidia driver update, rebooting...)
15:58:25 → raym joins (~raym@user/raym)
16:00:21 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
16:07:13 × vglfr quits (~vglfr@194.9.14.33) (Ping timeout: 268 seconds)
16:07:50 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
16:09:06 → vglfr joins (~vglfr@194.9.14.33)
16:09:12 → hippoid joins (~hippoid@c-98-220-13-8.hsd1.il.comcast.net)
16:10:37 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
16:12:18 → vysn joins (~vysn@user/vysn)
16:14:00 × vglfr quits (~vglfr@194.9.14.33) (Ping timeout: 268 seconds)
16:21:07 → vglfr joins (~vglfr@194.9.14.33)
16:23:43 × nate4 quits (~nate@035-131-174-003.biz.spectrum.com) (Ping timeout: 268 seconds)
16:23:45 <hololeap> it seems like X is a glorified Applicative?
16:25:01 → zebrag joins (~chris@user/zebrag)
16:25:28 <hololeap> Lit looks like pure, Sum looks like bisequenceA, Product looks like 'uncurry (liftA2 (,))'
16:26:21 <geekosaur> Guest50 left
16:26:34 → zxx7529 joins (~Thunderbi@user/zxx7529)
16:27:09 <hololeap> don't break my heart like that
16:28:09 × vglfr quits (~vglfr@194.9.14.33) (Ping timeout: 252 seconds)
16:28:25 → nehsou^ joins (~nehsou@047-044-030-074.biz.spectrum.com)
16:30:38 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds)
16:31:22 → vglfr joins (~vglfr@194.9.14.33)
16:31:49 × ubert quits (~Thunderbi@91.141.47.190.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
16:32:54 × AkechiShiro quits (~licht@user/akechishiro) (Quit: WeeChat 3.5)
16:32:54 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
16:33:41 → vglfr joins (~vglfr@194.9.14.33)
16:34:02 → merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
16:41:11 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
16:45:52 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
16:46:01 → jinsun joins (~jinsun@user/jinsun)
16:46:19 × arjun quits (~arjun@user/arjun) (Quit: tip toe-ing my way outta here)
16:46:36 → etoast joins (~exaltedto@user/exaltedtoast)
16:52:38 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
16:53:18 → vglfr joins (~vglfr@194.9.14.33)
16:57:23 → teddyc joins (theodorc@cassarossa.samfundet.no)
16:57:23 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
16:58:38 → vglfr joins (~vglfr@194.9.14.33)
16:59:20 → matthewmosior joins (~matthewmo@173.170.253.91)
17:02:31 × vysn quits (~vysn@user/vysn) (Read error: Connection reset by peer)
17:02:31 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
17:02:45 → vglfr joins (~vglfr@194.9.14.33)
17:03:22 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
17:08:15 <monochrom> And I'm always too late to interesting conversations :) :(
17:08:22 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
17:11:15 → Milan joins (~Milan@46.245.65.231)
17:11:44 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds)
17:15:06 × Milan quits (~Milan@46.245.65.231) (Client Quit)
17:16:27 × etoast quits (~exaltedto@user/exaltedtoast) (Quit: Tschüss)
17:16:40 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
17:16:50 → vglfr joins (~vglfr@194.9.14.33)
17:17:45 × irfan quits (~irfan@user/irfan) (Quit: leaving)
17:18:22 → Jeanne-Kamikaze joins (~Jeanne-Ka@142.147.89.248)
17:19:47 → merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
17:19:48 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
17:20:51 → vglfr joins (~vglfr@194.9.14.33)
17:22:18 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
17:22:45 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
17:22:53 → matthewmosior joins (~matthewmo@173.170.253.91)
17:24:12 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
17:24:22 → zeenk joins (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
17:30:53 <hpc> maybe you're just really early
17:36:25 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
17:37:35 → vglfr joins (~vglfr@194.9.14.33)
17:37:49 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
17:38:15 × absentia quits (~absentia@24-246-53-210.cable.teksavvy.com) (Changing host)
17:38:15 → absentia joins (~absentia@user/absentia)
17:39:01 → merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
17:40:15 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
17:41:55 → nate4 joins (~nate@035-131-174-003.biz.spectrum.com)
17:44:02 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
17:46:22 → econo joins (uid147250@user/econo)
17:48:58 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
17:50:49 → bontaq joins (~user@ool-45779fe5.dyn.optonline.net)
17:56:17 × nate4 quits (~nate@035-131-174-003.biz.spectrum.com) (Ping timeout: 245 seconds)
17:57:37 → azimut joins (~azimut@gateway/tor-sasl/azimut)
17:58:38 × acidjnk quits (~acidjnk@p200300d6e7058605e481051ccd0ab90b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
18:06:17 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
18:06:59 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
18:07:08 × jinsun quits (~jinsun@user/jinsun) ()
18:07:31 × nehsou^ quits (~nehsou@047-044-030-074.biz.spectrum.com) (Ping timeout: 252 seconds)
18:07:33 → jinsun joins (~jinsun@user/jinsun)
18:09:45 → jgeerds joins (~jgeerds@55d46bad.access.ecotel.net)
18:11:06 × vglfr quits (~vglfr@194.9.14.33) (Read error: Connection reset by peer)
18:11:19 → vglfr joins (~vglfr@194.9.14.33)
18:26:07 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
18:34:12 × vglfr quits (~vglfr@194.9.14.33) (Ping timeout: 245 seconds)
18:35:13 → vglfr joins (~vglfr@194.9.14.33)
18:36:18 × machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds)
18:36:33 → machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net)
18:37:31 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
18:37:57 → matthewmosior joins (~matthewmo@173.170.253.91)
18:38:20 → kimjetwav joins (~user@2607:fea8:235e:b600:d340:c209:7bbf:3812)
18:40:27 × zeenk quits (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
18:40:35 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
18:42:00 → acidjnk joins (~acidjnk@p200300d6e7058605e481051ccd0ab90b.dip0.t-ipconnect.de)
18:43:35 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
18:44:55 × zxx7529 quits (~Thunderbi@user/zxx7529) (Ping timeout: 252 seconds)
18:48:00 → mob joins (~kvirc@62-11-5-95.dialup.tiscali.it)
18:50:33 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
18:53:32 → merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
18:55:28 → yvan-sraka joins (~yvan-srak@160.178.165.233)
18:56:47 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
18:57:49 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
18:58:35 → Sgeo joins (~Sgeo@user/sgeo)
18:59:09 → mc47 joins (~mc47@xmonad/TheMC47)
19:02:01 → c4h3n joins (~c4h3n@2804:14c:101:8b6f:9c99:4868:a960:326b)
19:02:42 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
19:04:03 × yvan-sraka quits (~yvan-srak@160.178.165.233) (Remote host closed the connection)
19:04:19 → codaraxis___ joins (~codaraxis@user/codaraxis)
19:04:39 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
19:04:56 × c4h3n quits (~c4h3n@2804:14c:101:8b6f:9c99:4868:a960:326b) (Quit: Leaving)
19:05:16 → mvk joins (~mvk@2607:fea8:5ce3:8500::d5f2)
19:05:36 → jmdaemon joins (~jmdaemon@user/jmdaemon)
19:05:56 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
19:08:31 × codaraxis__ quits (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds)
19:12:08 × cosimone quits (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection)
19:12:16 → mud joins (~mud@user/kadoban)
19:13:39 × coot quits (~coot@213.134.176.158) (Quit: coot)
19:15:26 → kenran joins (~kenran@200116b82bde680048d87c0a854c0217.dip.versatel-1u1.de)
19:20:33 × adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
19:20:56 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
19:22:05 → cosimone joins (~user@93-44-186-171.ip98.fastwebnet.it)
19:23:10 → jmd_ joins (~jmdaemon@user/jmdaemon)
19:23:47 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
19:24:37 × vglfr quits (~vglfr@194.9.14.33) (Ping timeout: 245 seconds)
19:27:44 → vglfr joins (~vglfr@194.9.14.33)
19:27:49 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
19:28:38 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
19:33:49 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
19:38:06 <hololeap> optparse-applicative is really interesting
19:38:27 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
19:38:53 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
19:39:10 <hpc> it's a nice reminder that parsing isn't over just because you don't have one big long string anymore
19:39:37 <hpc> you can think about manipulating data structures as parsing too
19:41:58 <hololeap> it's making me think deeply about command-line semantics, like I have a --verbosity=... option, and -v flags. should --verbosity=... set the verbosity in stone, or should -v be allowed to augment it? should more than one --verbosity=... option be allowed, where the each one overrides the last?
19:43:28 <hololeap> because it's taking my code very literally and forcing me to think about this stuff
19:44:17 × fryguybo1 quits (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Ping timeout: 268 seconds)
19:46:23 <monochrom> Yeah you should multiply. "-v 3 -v 4 -v 5" means 3*4*5. It's a monoid. >:)
19:46:29 <c_wraith> Haskell libraries in general tend to have that effect - forcing you to think about edge conditions you used to confidently ignore
19:47:16 <hololeap> love it
19:47:26 <monochrom> Hutton says something along that line. Programming is hard, Haskell exposes that, other languages hide that, this is why other languages look easy.
19:47:47 <monochrom> Although, I am not sure I completely agree. Maybe partly. :)
19:48:10 <c_wraith> well, it's certainly true of some languages
19:48:22 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
19:48:41 <hololeap> that was essentially the reason why I moved from ruby as my fav language to haskell
19:49:09 <c_wraith> but as with most general statements, it overstates its case to be pithy
19:50:12 <hololeap> c_wraith: you just made a general statement about general statements :o
19:50:53 <c_wraith> very intentionally!
19:51:07 <c_wraith> I didn't stumble into that trap. I leapt!
19:51:25 <monochrom> This is why I stick to tautologies. Overstatements are overstated. Haha.
19:52:29 <hololeap> nice
19:54:59 → Guest8798 joins (~Guest87@cpc77311-basf12-2-0-cust212.12-3.cable.virginm.net)
19:57:15 <hololeap> is there a nice way to simplify this? maybe V.normal S.getLast $ mconcat $ Just . S.Last <$> vos
19:58:18 <hololeap> I suppose I could define safeLast :: [a] -> Maybe a
20:01:39 → merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
20:01:52 <hololeap> there's one in Distribution.Simple.Utils
20:13:39 <monochrom> > mempty :: Data.Monoid.Last Bool
20:13:41 <lambdabot> Last {getLast = Nothing}
20:14:13 → michalz joins (~michalz@185.246.204.87)
20:14:26 × Guest8798 quits (~Guest87@cpc77311-basf12-2-0-cust212.12-3.cable.virginm.net) (Ping timeout: 252 seconds)
20:15:12 <[Leary]> hololeap: `foldl (\_ y -> y) V.normal`? Or something like `S.getLast . foldMap1 S.Last . (V.normal :|)` if you really want to use `Last`.
20:15:15 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
20:16:07 <hololeap> nah, I just settled with `fromJust V.normal (safeLast vos)`
20:16:18 <hololeap> and then I decided that wasn't what I wanted to do anyway :3
20:16:24 → matthewmosior joins (~matthewmo@173.170.253.91)
20:17:09 → Guest8730 joins (~Guest87@cpc77311-basf12-2-0-cust212.12-3.cable.virginm.net)
20:17:38 × Guest8730 quits (~Guest87@cpc77311-basf12-2-0-cust212.12-3.cable.virginm.net) (Client Quit)
20:18:20 <hololeap> I went with this as my verbosity flag semantics: verbosityOption <|> (`appEndo` V.normal) . mconcat <$> many verbosityFlag
20:18:51 <hololeap> so either use --verbosity=3 or -vv, not both
20:19:18 <hololeap> I should probably throw a --silent in there as well
20:25:18 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:27:32 × dolio quits (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in)
20:28:04 × aeka quits (~aeka@user/hiruji) (Ping timeout: 268 seconds)
20:28:14 → aeka joins (~aeka@user/hiruji)
20:29:29 × kenran quits (~kenran@200116b82bde680048d87c0a854c0217.dip.versatel-1u1.de) (Quit: WeeChat info:version)
20:30:46 <erisco> sup
20:30:57 → dolio joins (~dolio@130.44.130.54)
20:31:04 <dsal> I took my dog on my sup for like an hour and half this morning.
20:31:07 × dolio quits (~dolio@130.44.130.54) (Remote host closed the connection)
20:32:10 → dolio joins (~dolio@130.44.130.54)
20:33:37 × jgeerds quits (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds)
20:33:44 <hololeap> nice, my dog isn't very good at that :)
20:34:05 <erisco> monochrom, having been a web-glue code monkey for a long time now, I think it is as simple as most programming work out there aint that hard
20:34:12 <hololeap> got him to lay down for 5 minutes one time XD
20:39:11 → MajorBiscuit joins (~MajorBisc@86-88-79-148.fixed.kpn.net)
20:43:38 <dsal> hololeap: Mine will stand up until his legs are shaking. I can get him to sit now and then, but he's super excited about everything. Today was pretty calm, but we had some good times last Saturday: https://youtu.be/VGt8-f1Jclw :)
20:44:45 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer)
20:44:45 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
20:44:45 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
20:45:11 × MajorBiscuit quits (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 252 seconds)
20:45:19 <hololeap> yeah, the shaking and overall squirreliness doesn't really help with the SU part of SUP
20:46:29 → azimut joins (~azimut@gateway/tor-sasl/azimut)
20:46:36 → chexum joins (~quassel@gateway/tor-sasl/chexum)
20:46:45 → shriekingnoise joins (~shrieking@186.137.167.202)
20:47:06 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
20:47:31 <hololeap> dsal, looks awesome :) are you on the ocean?
20:48:58 × hgolden quits (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!)
20:51:00 <dsal> Yeah, I'm out in the middle of the pacific. That's my morning before work. My day starts a bit later than most of the folks I work with. heh.
20:51:16 <dsal> To steer towards relevance, though, I do work in Haskell. heh
20:52:13 <hpc> there's a liquid haskell joke here somewhere
20:52:47 <dsal> haha. I've not actually used that.
20:52:50 → EvanR joins (~EvanR@user/evanr)
20:52:56 <dmj`> is backpack for real not supported by stack?
20:52:58 <dsal> I did get to use QualifiedDo last week which was very exciting.
20:53:29 → nattiestnate joins (~nate@180.243.13.242)
20:53:50 × nattiestnate quits (~nate@180.243.13.242) (Client Quit)
20:54:19 → nattiestnate joins (~nate@180.243.13.242)
20:56:28 → pavonia joins (~user@user/siracusa)
20:56:40 → mastarija joins (~mastarija@2a05:4f46:e02:8c00:5d6d:dddd:e86a:2db4)
20:57:05 <mastarija> Does anyone know if this paper was implemented into GHC? https://www.microsoft.com/en-us/research/publication/higher-order-type-level-programming-in-haskell/
20:57:30 <mastarija> Basically, do we have `~>` the unmatchable arrow available?
20:58:06 <geekosaur> not in current ghc. don't know if there's a proposal for it
20:58:41 <mastarija> I've watched Csongors talk from 2019, and wanted to try it out :)
21:00:08 <mastarija> In particular, I've noticed they are proposing `->{m}` arrow syntax, to allow for both unsaturated type families and regular type constructors to be mapped over a type level list which seems unnecessary
21:07:30 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
21:09:12 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
21:20:45 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
21:23:46 × phma quits (~phma@host-67-44-208-30.hnremote.net) (Read error: Connection reset by peer)
21:27:27 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:28:06 <qrpnxz> maerwald[m]: tyvm, sir
21:30:59 <EvanR> i dunno why I can't stand stabby "unbalanced" arrow syntaxes
21:31:36 <EvanR> at least make it ->{m}<- xD
21:31:49 <EvanR> so it doesn't accelerate off to the right
21:32:10 <dsal> You don't like fast code?
21:32:16 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
21:32:17 <erisco> {w}<-->{m}
21:32:28 <monochrom> Do you like >_< ? :)
21:32:33 <erisco> it threatens to spin right off the page
21:32:50 <EvanR> when concrete syntax is an accurate ephemism for code performance that'll be the day
21:33:01 → matthewmosior joins (~matthewmo@173.170.253.91)
21:34:15 → jgeerds joins (~jgeerds@55d46bad.access.ecotel.net)
21:34:35 <EvanR> another way to salvage the situation, some other feature looks like {m}->
21:34:54 → phma joins (~phma@host-67-44-208-54.hnremote.net)
21:34:56 <geekosaur> don't give them ideas
21:35:10 <EvanR> the arrow to nowhere
21:36:27 <darkling> x↫↺↷y
21:37:11 <darkling> (That's not a "y", that's a dizzy lambda)
21:37:59 <EvanR> it's the 2010 era obligatory reflection beneath lambda
21:38:22 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
21:38:24 <monochrom> I like drunk lambda. :)
21:38:31 <EvanR> with a fade out
21:38:45 → coot joins (~coot@213.134.176.158)
21:38:58 <geekosaur> clearly unicode needs a butterfly arrow
21:39:03 <qrpnxz> are arrows still relevant? I vaguely though that Applicative killed them, but i saw a post from haxl guys saying actually arrows would have been perfect for them if it weren't for do notation and maybe some slight change in the type class hierarchy. They said they might submit a change later but who knows. Still haven't used arrows almost at all since without arrow syntax, which i haven't learned,
21:39:05 <qrpnxz> it's a bit of a tough ask 😄
21:39:48 <geekosaur> Cale wants to submit some changes to arrows as well iirc
21:39:49 <EvanR> it's not Applicative, but Profunctor and friends
21:40:03 <geekosaur> anyway they still have their uses
21:40:08 <erisco> get rid of arr and you're on to something, I think
21:40:37 <EvanR> it's almost symmetric monoidal categories
21:40:42 <EvanR> which are cool
21:40:43 <qrpnxz> yeah that stand out to me a lot in profunctors, no arr anywhere. I realized that you can get arr by just adding the Category instance though
21:41:04 <monochrom> For now, arrows aren't very relevant outside hxt-arrows and some FRP approaches. But perhaps the future is different.
21:41:05 <geekosaur> that iiirc was where Cale wanted to go with them
21:41:19 <geekosaur> (symetric monoidal categories, that is)
21:41:48 <EvanR> category doesn't let you do arr, only id :: f a a
21:41:58 <monochrom> Hey I don't know what that is, but you can't go wrong with something with an elegant math name. :)
21:42:19 <qrpnxz> EvanR: so it does let you :), it's just more than necessary
21:42:45 <monochrom> Right? All three words "symmetric", "monoidal", and "category" are like the holy grails of elegance >:)
21:42:54 <qrpnxz> haha, and isomorphism
21:42:57 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
21:43:27 <EvanR> yeah, I'm a fan. A cargo cult member, but a fan
21:44:20 × mastarija quits (~mastarija@2a05:4f46:e02:8c00:5d6d:dddd:e86a:2db4) (Quit: Leaving)
21:45:20 <EvanR> I was clued in to the blog https://graphicallinearalgebra.net/ which delves into it
21:46:12 qrpnxz bookmarks
21:46:51 <EvanR> I like this blog for secretly being category theory without spending any time explaining anything about category theory
21:47:17 <monochrom> "Liber Abaci" is a cool name. Computers want to be free!
21:47:18 → matthewmosior joins (~matthewmo@173.170.253.91)
21:47:22 <erisco> kind of the opposite of Haskell then
21:47:26 <qrpnxz> lol
21:48:08 <EvanR> ikr
21:51:39 × Tuplanolla quits (~Tuplanoll@91-159-69-231.elisa-laajakaista.fi) (Quit: Leaving.)
21:51:56 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
21:54:07 <erisco> chapter one says defining 2x3 matrices as a collection of numbers is like defining poetry as a collection of words... I think I see this reductionist error committed all the time in programming
21:54:29 × nattiestnate quits (~nate@180.243.13.242) (Quit: WeeChat 3.6)
21:54:41 <erisco> like, for example, an integer is just a collection of bits
21:54:42 <monochrom> You know what, I completely don't get poetry, that definition works for me. :)
21:55:20 <monochrom> (If someone can define poetry by a CFG or something, I'm all ears.)
21:56:07 <erisco> and it can make certain conversations impossible
21:57:26 <monochrom> But that's a hyperbole. Mathematicians speak like reductionists without actually being reductionists.
21:58:09 <monochrom> "A monoid is a tuple of a set, an identity element, and a binary operation; and these axioms..."
21:58:27 <monochrom> The "a set" there sounds reductionists right there.
21:58:38 <erisco> yes, but then students, such as myself, can get confused about different levels of description
21:59:16 <monochrom> But you read on and find out that the writer respects the structure induced by the identity element, the binary operations, and the axioms. It is not reductionist at all.
22:01:22 <monochrom> I believe that the status quo is already the least worst.
22:01:26 <erisco> I see this all the time in designing computer systems... for example, "user" might refer to a human interacting with the system, or it might refer to a username, or it might refer to a table row, or an object class, and so on
22:02:39 <monochrom> Consider the alternative: "The integers are an abstract type that supports the following API and obeys the following axioms". You will be left with no audience at all.
22:03:35 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:03:45 <monochrom> With "an integer is a bunch of bits/digits" you at least can retain some audience and you can tell the abstract reality later.
22:04:37 → matthewmosior joins (~matthewmo@173.170.253.91)
22:04:39 <erisco> it is a lure... I know ones and zeros, and if so if an integer is just a collection of those, it can't be so hard
22:05:10 geekosaur eyes "CFG" suspiciously
22:05:49 <geekosaur> emotion is unlikely to ever boil down to anything so simple
22:06:10 <monochrom> I know how to teach queues abstractly, i.e., without referring to any model such as "a linked list and you may only front-add and back-delete". I know no one actually does that, not even myself. There is a reason.
22:06:14 <erisco> obv... emotion can only be described with an attribute grammar
22:07:41 <erisco> I dunno monochrom, I feel like this sort of reductionism can be a curse
22:08:27 <qrpnxz> i've never seen "user" refer to username, or table row, or object class. I thought you were going to say it can refer to a human, or also to some computer client
22:08:42 <geekosaur> I have
22:08:50 <geekosaur> but I used to be a DBA
22:08:59 <erisco> you have never seen a users table or a User class?
22:09:32 <qrpnxz> Well User pretty distinct form user :), i guess what was missing is the context.
22:09:55 → merijn joins (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl)
22:09:56 × phma quits (~phma@host-67-44-208-54.hnremote.net) (Read error: Connection reset by peer)
22:10:05 <monochrom> I've never seen an OOP programmer who doesn't use the word "car" to refer to an in-memory imposter object that pretends to be a car. >:)
22:10:17 → phma joins (~phma@host-67-44-208-54.hnremote.net)
22:10:38 → nattiestnate joins (~nate@180.243.13.242)
22:11:16 <erisco> there is something that seems better about more fundamental descriptions... more real, or more informed, more advanced, etc... it has merit in physics I think but it doesn't translate the same to mathematics, or to computer science by extension, and I think that is where the harm comes from
22:11:22 <monochrom> Oh hey to be fair, I have never seen a Haskell programmer who doesn't use the word "Person" to refer to "data Person = Person { ...}" which is a record type not a person. >:)
22:11:22 <qrpnxz> monochrom: btw, ...abstract reality? That sounds oxymoronic xD
22:11:59 <geekosaur> no? some ways rerality is the ultimate abstraction
22:12:08 <darkling> Have a look at the http-range-14 arguments some time. :)
22:12:11 <qrpnxz> to me reality is the opposite of abstraction
22:12:20 <monochrom> When I teach the State monad I also say "the fantasy of mutable state" and "the mathematical reality" >:)
22:12:26 <qrpnxz> reality is as specific as you get, sample of one, unique
22:12:35 <qrpnxz> all abstraction is extracting a pattern out of that
22:12:48 <monochrom> Right? "Reality" means whatever I define it to mean!
22:12:56 <geekosaur> you might look at how well that worked for robotics
22:13:20 <geekosaur> abstraction turned out to be necessary, becayuse treating everything as a concrete one-off lost hard
22:14:06 × michalz quits (~michalz@185.246.204.87) (Remote host closed the connection)
22:14:21 × nattiestnate quits (~nate@180.243.13.242) (Client Quit)
22:14:40 → nattiestnate joins (~nate@180.243.13.242)
22:15:32 × mvk quits (~mvk@2607:fea8:5ce3:8500::d5f2) (Ping timeout: 244 seconds)
22:15:44 <monochrom> But more concretely (pun!), in the case of trying to describe an "integer type", suppose you are given Haskell 2020 without the Data.Bits module. Then Haskell's "Integer type" is truly an abstract type, you are not given access to its representation, you may only use a puny API such as read, (+), show. Your reality is abstract.
22:15:56 <monochrom> Err Haskell 2010!
22:16:01 <EvanR> you can have many mutually incompatible realities coexisting for whatever reason
22:16:11 <erisco> I shy away from "abstraction" anymore because it suggests something illusory, and that is not what I intend
22:16:21 <monochrom> (There is no "Haskell 2020 The Pandemic Special Edition" haha)
22:16:27 → kyborg2011 joins (~kyborg201@host-176-36-215-61.b024.la.net.ua)
22:16:40 <qrpnxz> arguable even bits respects ADT, because you can think it only pulls bits from "where they should be". You can implement bits for something that didn't have bits.
22:17:01 <EvanR> I'm doubling down on abstraction any time I mean "stuff I care about" and this is not literally everything in sight
22:17:22 <monochrom> I have begun to tell students "it's telephone games all the way down".
22:17:26 × acidjnk quits (~acidjnk@p200300d6e7058605e481051ccd0ab90b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
22:17:28 <qrpnxz> noooo
22:17:37 <EvanR> and it's annoying when someone comes to a conclusion that we care about everything in sight
22:18:02 → JimL joins (~quassel@89-162-2-132.fiber.signal.no)
22:18:33 <monochrom> Strictly technicality speaking, as far as science has found, the only reality for computing is the quantum world. But what's the fun in that?
22:18:37 <darkling> There are multiple abstractions, depending on who you're talking to and what they do with the ideas.
22:18:48 <EvanR> if you begin from pure constructions and move toward a solution from nothing, it's impossible to care about everything ever, much easier xD
22:18:58 <darkling> The difficulties come when two of those domains collide, and you've got to make sense of both at the same time.
22:19:15 <monochrom> Anything above the quantum level is a fictional abstraction, by definition.
22:19:35 <EvanR> quantum physics is its own perfectly cromulent abstraction
22:19:36 → zanyan joins (~zanyan@2a02:6b64:f194:0:d0c7:84be:16ed:9f2a)
22:19:40 <qrpnxz> sure? i've seen above the quantum level, never seen below it.
22:19:41 <darkling> I'm pretty sure quantum mechanics is a poor abstraction, too. We just haven't worked out what of yet.
22:19:45 <monochrom> And also a social construct!
22:20:14 <zanyan> Hey there! Was wondering whether I could get some help on a Haskell project I'm working on? The modules don't seem to be loading
22:20:35 <qrpnxz> could you be more specific
22:20:43 <zanyan> Well I'm using this http://learn.hfm.io/fractals/fractals.html to try and draw some recursive fractal code
22:20:52 × kyborg2011 quits (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Ping timeout: 245 seconds)
22:20:54 × PiDelport quits (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity)
22:21:22 × EvanR quits (~EvanR@user/evanr) (Quit: Leaving)
22:21:27 <qrpnxz> lol
22:21:39 <qrpnxz> sorry guy, i don't have a mac
22:21:47 <zanyan> no no, I don't have one either
22:21:52 × nattiestnate quits (~nate@180.243.13.242) (Quit: WeeChat 3.6)
22:22:06 <zanyan> I don't think you need one(?...)
22:22:18 <zanyan> or wait, do you? which would probably explain why none of the code is working
22:23:17 <geekosaur[m]> Looks to me like it uses cabal v1
22:23:39 <qrpnxz> "Run GHCi inside the Fractals.hsproj directory after downloading and unpacking. Then, load the Fractals module"
22:23:43 <qrpnxz> did you do that?
22:23:57 <zanyan> yup, ran GHCi in the directory, and loaded the fractals module
22:24:04 <geekosaur[m]> Things don't work that way with cabal v3, you need to create a project
22:24:09 <zanyan> but when I did, it said no modules loaded
22:24:23 <zanyan> right right, thank you!
22:24:42 <geekosaur[m]> Dependencies won't be found otherwise
22:24:53 <zanyan> I'm trying to find some nice interactive tutorials on haskell... it's a shame this tut is outdated then
22:25:01 <qrpnxz> hoogle says you need https://hackage.haskell.org/package/Rasterific and https://hackage.haskell.org/package/JuicyPixels
22:25:17 <zanyan> I'm applying to universities so I thought it would it be neat to learn some functional programming ahead of time
22:25:17 <qrpnxz> you can get those with `cabal install --lib [namehere]`
22:25:25 <geekosaur[m]> You could also force v1 but we got rid of it for very good reason
22:25:26 <zanyan> alright I'll try that!
22:25:27 <qrpnxz> zanyan: neat!
22:25:45 <zanyan> (well, I'm still unsure whether I want to do Econ or CS but still :P)
22:26:04 <monochrom> Do both.
22:26:15 <qrpnxz> lol
22:26:24 <zanyan> oh, if only I could
22:26:27 <monochrom> We need more programmers who understand and accept that a lot of programming decisions are economical.
22:26:29 <qrpnxz> why not
22:26:36 <qrpnxz> haha
22:26:51 <qrpnxz> super combo: actuarial science + CS
22:27:03 <zanyan> Unfortunately the universities in the UK do not offer it :(
22:27:09 <qrpnxz> ????
22:27:15 <zanyan> well, econ + cs
22:27:17 <qrpnxz> who doesn't offer econ
22:27:32 <qrpnxz> what? You can't do two degrees in UK?
22:27:32 <zanyan> oh, many offer econ, but not many offer a joint degree of econ and cs
22:27:49 <zanyan> well, I'm 17 so I'm going to be an undergrad. I can only pick one at the moment
22:28:22 <zanyan> @qr
22:28:22 <lambdabot> Maybe you meant: wn v url src rc pl id do bf arr @ ? .
22:28:31 <monochrom> I have a feeling that if you go for a game theory degree then it's one degree but it does both economics and CS.
22:28:38 <zanyan> uhhh yeah installing the libraries again doesn't do much
22:29:11 <zanyan> monochrom oh yeah, I love reading about game theory
22:29:24 <zanyan> https://github.com/Zzzayaan/the_prisoners_dilemma/blob/main/the_prisoners_dilemma.ipynb (here's my little notebook where I've looked into it)
22:29:56 × coot quits (~coot@213.134.176.158) (Quit: coot)
22:30:21 <erisco> what job does an economist hold after graduating? I am wondering if it is like CS where you learn propositional logic and how to balance AVL trees to then write HTTP handlers than shuffle JSON around for the next 30 years
22:30:28 <zanyan> I feel like I would have a better chance of getting into a good university for econ though, we at least have an economics teacher. Unfortunately I haven't studied CS yet and we have no support for the subject
22:30:57 <zanyan> erisco well a lot go into IB and consultancy
22:31:18 <zanyan> I suppose a lot head into the public sector too
22:32:56 × jgeerds quits (~jgeerds@55d46bad.access.ecotel.net) (Quit: Leaving)
22:33:05 → kyborg2011 joins (~kyborg201@host-176-36-215-61.b024.la.net.ua)
22:33:22 <qrpnxz> loading the file work just fine for me after cabal installing the libs
22:33:26 → jgeerds joins (~jgeerds@55d46bad.access.ecotel.net)
22:34:11 <zanyan> really?
22:34:18 <qrpnxz> yes
22:34:21 <zanyan> I'll try do it again
22:35:05 <zanyan> `cabal install --lib JuicyPixels` and `cabal install --lib Rasterific` right?
22:35:16 <zanyan> then cd into the directory
22:35:32 <geekosaur> I think you need to be in the directory
22:35:48 <zanyan> oh, cd first and load them then?
22:35:55 <geekosaur> so the environment file containing those libraries is available to it
22:36:11 <zanyan> alright, that's where I might've been wrong
22:37:01 <zanyan> no, still getting the error :/
22:37:30 × niko quits (niko@libera/staff/niko) (Ping timeout: 615 seconds)
22:37:42 <zanyan> after installing them in the directory, I run ghci and then do `:l Fractals.hs` and that's where I see the "Failed, no modules loaded" dialogue
22:38:03 <geekosaur> there should be more errors before that, can you pastebin them?
22:38:08 <geekosaur> @where paste
22:38:08 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
22:38:08 <zanyan> will do
22:38:45 <zanyan> https://paste.tomsmeding.com/jYK8CNdd
22:39:07 <erisco> zanyan, maybe your intersection is automated trading
22:39:35 <zanyan> aha, I'm not sure. I've told my school I want to do CS at Oxford
22:39:49 <geekosaur> so you have it installed in the environment twice and that's confusing ghci
22:39:57 <zanyan> but if I feel like I would like to switch to Econ, then Cambridge is probably the better choice for me
22:40:11 <zanyan> geekosaur ah right, how would I go about fixing that?
22:40:19 × noteness quits (~noteness@user/noteness) (Remote host closed the connection)
22:40:22 <erisco> academically, I know profs involved with economic simulations
22:41:19 <geekosaur> there should be a file .ghc.environment.<platform>-<ghcversion> in that directory
22:41:41 → noteness joins (~noteness@user/noteness)
22:41:46 <geekosaur> so for example I have a .ghc.environment.x86_64-linux-9.2.2
22:41:51 <erisco> there aint all that much for programmers that doesn't intersect with another discipline
22:42:04 <geekosaur> edit that file and look for duplicate lines
22:42:17 <geekosaur> or lines that only differ in the hash
22:42:29 <geekosaur> or remove the file completely and `cabal install --lib` again
22:42:46 <zanyan> hmmm, alright, I'll try do that now, thanks!
22:43:02 × merijn quits (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
22:44:45 <zanyan> okay well I created a new directory with a fresh copy of those .hs project files
22:44:49 <zanyan> would that work?
22:45:13 <geekosaur> yes. a bit silly since everything else is okay, just that environment file needs to be regenerated properly
22:46:11 <zanyan> I couldn't find that file for some reason
22:47:20 <geekosaur> hm. possibly it's in the global environment then, in which case it needs to be removed from there
22:47:53 <zanyan> yeah, I'll try do that since I'm getting the same message
22:48:18 <geekosaur> ~/.ghc/<platform>-<ghcver>/environments
22:48:30 <geekosaur> I think it's a file default in that directory
22:48:59 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:50:52 × JimL quits (~quassel@89-162-2-132.fiber.signal.no) (Quit: No Ping reply in 180 seconds.)
22:51:41 × qrpnxz quits (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 244 seconds)
22:52:05 → JimL joins (~quassel@89-162-2-132.fiber.signal.no)
22:52:30 → qrpnxz joins (~qrpnxz@fsf/member/qrpnxz)
22:54:01 <zanyan> ah, it's proving to be a pain
22:54:17 <zanyan> I'm using windows so I'm not sure how different that'll be for linux systems
22:56:42 × aeka quits (~aeka@user/hiruji) (Ping timeout: 245 seconds)
22:57:39 → aeka joins (~aeka@2606:6080:1001:17:9ea4:71f9:d294:d7b7)
23:01:02 <geekosaur> hrm. 9.2.2 at least only documents unix paths for environment files 😞
23:03:21 → hgolden joins (~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
23:06:42 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds)
23:08:43 <zanyan> oh well, maybe it's a sign I shouldn't work on this project lol
23:08:51 × Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
23:08:55 <qrpnxz> idk why even after you said you never programmed and don't use mac, i just assume you are on linux lol. You poor soul
23:09:04 <zanyan> (maybe it's a sign I should go study Econ instead???)
23:09:12 <zanyan> haha it's fine!
23:09:17 <qrpnxz> it's a sign programming not trivial :)
23:09:42 <zanyan> I have programmed a little - I used Python here when discussing some game theory https://github.com/Zzzayaan/the_prisoners_dilemma/blob/main/the_prisoners_dilemma.ipynb
23:09:56 <zanyan> very very simple python algorithms but yeah that's about it
23:10:37 <qrpnxz> i think about the very first thing i played with (after bash) was python, but went immediately to C
23:11:01 <zanyan> interesting choice
23:11:22 <zanyan> my first programming language wasn't a language at all, I just got experienced at messing with actionscript bytecode
23:11:35 <qrpnxz> i think best choice, personally (for learning)
23:11:43 <zanyan> after that it's pretty much been tinkering
23:12:37 <qrpnxz> C don't have many very good online resources but i made do. Later I learned about the K&R C book and it's my go to recommend. Excellent book
23:12:47 <zanyan> I don't think I have time to learn C in depth within this month though
23:12:58 <zanyan> I have to send my application off by October
23:13:27 <qrpnxz> with the book you could learn pretty good C in a month easy i think. As to whether that gives any advantage for some college application, i have no idea
23:14:05 <zanyan> It might do, depends if I have enough time to apply that knowledge somewhere (maybe binary exploitation?)
23:14:47 × JimL quits (~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 252 seconds)
23:14:54 <geekosaur> more like making trivially exploitable binaries, if you;re learningf from K&R
23:15:02 <geekosaur> it's a book from an earlier age
23:15:12 <zanyan> oh right
23:15:55 → JimL joins (~quassel@89-162-2-132.fiber.signal.no)
23:16:24 <zanyan> it's going to be pretty weird using it on Windows though. Heard Linux is a very C-friendly OS
23:16:39 <zanyan> I suppose WSL exists for a reason though
23:16:46 <erisco> C is the 101 at my uni
23:17:01 <qrpnxz> erisco: what uni?
23:17:04 <qrpnxz> nice
23:17:17 <erisco> university of windsor (canada)
23:17:20 <zanyan> nice
23:17:35 <qrpnxz> zanyan: linux is generally programming friendly. I consider windows to be generally not technical user friendly
23:18:11 <zanyan> I want to apply to Oxford, Imperial, UCL, St Andrews and Durham if I'll be applying for CS. For economics, probably Cambridge, LSE, UCL, Imperial and Kings
23:18:27 <zanyan> qrpnxz Gotchu
23:19:22 → wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com)
23:19:22 × wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
23:19:22 → wroathe joins (~wroathe@user/wroathe)
23:20:57 → matthewmosior joins (~matthewmo@173.170.253.91)
23:22:37 <erisco> I wonder if schools should update C to Rust
23:24:01 <qrpnxz> i doubt it. C is much simpler, and the direct memory manipulation is very informative. But I would be in support of doing Rust shortly after C
23:26:26 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds)
23:30:05 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
23:30:57 × zanyan quits (~zanyan@2a02:6b64:f194:0:d0c7:84be:16ed:9f2a) (Quit: Client closed)
23:33:19 <erisco> the memory manipulation with Assembly is better
23:38:25 <qrpnxz> i disagree
23:38:44 <qrpnxz> math is too much of a pain in assembly
23:39:07 <qrpnxz> C at least have expressions
23:40:28 <erisco> math in assembly is alright if you are good at towers of honoi :P
23:40:38 <qrpnxz> lmao
23:41:28 <monochrom> Schools will not update C to Rust if Unix does not update C to Rust.
23:43:13 <erisco> the number of profs for who C was a breakthrough will only decrease, and I think that will lead to its academic extinction... but likely no sooner
23:44:03 <monochrom> No. As long as all OSes are written in C, C will not go extinct. The standard OS course must still use C.
23:44:51 <monochrom> Show me an OS written in Rust or C++ or Go, and maybe you will have marginally a case of using it for an OS course.
23:45:05 <erisco> Chrome OS
23:45:15 <monochrom> Until then your anti-C ideology does not matter.
23:45:45 <erisco> apparently is Linux-based... that was my best shot
23:45:49 <monochrom> And I don't see why "breakthrough" is relevant.
23:46:32 <monochrom> Undergrad curricula are not about teaching breakthroughs in the first place.
23:46:56 <monochrom> Binary search trees are no longer a breakthrough, that's why it's taught. Similarly for C.
23:47:19 <monochrom> If anything it's the real breakthroughs such as Clojure or Lean that is not taught.
23:47:52 <monochrom> Or the polynomial-time primality algorithm.
23:48:43 <qrpnxz> well, ocaml does have a "app as operating system" thing, which is pretty bloody sick actually, but idk how that's entirely relevant to your point mono :)
23:50:18 × kyborg2011 quits (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Quit: Leaving)
23:50:33 <monochrom> I teach a Unix course and I have a lot of ideological friends who are fascinated by C++ or Rust and ask me why I am still sticking to C in that course.
23:50:38 <erisco> I don't know if an OS course needs to be mandatory
23:50:39 <monochrom> Dude, it's a Unix course.
23:50:39 → kyborg2011 joins (~kyborg201@host-176-36-215-61.b024.la.net.ua)
23:51:46 <erisco> and I know some profs teach based on what they personally find cool
23:51:54 <qrpnxz> Unix course should be mandatory imo
23:52:17 <qrpnxz> where unix means linux of course, but if you stick to posix i'm ok too
23:52:18 <erisco> so, that is why I think, over time, as profs contemporary with the advent and rise of C retire, that particular bias will diminish
23:53:02 × jgeerds quits (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 240 seconds)
23:53:33 × kyborg2011 quits (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Remote host closed the connection)
23:53:58 <erisco> I think C is Crappy compared to some more modern languages
23:53:59 <qrpnxz> if there are no more unix profs left, we are in dire straits
23:54:04 <monochrom> If it's any consolation for you, in an alternate universe where Unix loses to the Mac Classic, their MacOS course uses Pascal, because that's how you make MacOS syscalls there.
23:54:40 → kyborg2011 joins (~kyborg201@host-176-36-215-61.b024.la.net.ua)
23:54:44 <geekosaur> or original windows
23:55:08 <qrpnxz> idk much about pascal except it's about same level as C and that it does some possibly cringy call by name, but really i'm ignorant
23:55:12 <geekosaur> C API for syscalls dodn't come along until win32
23:55:48 <monochrom> Algol had call by name, Pascal doesn't.
23:56:14 <monochrom> Pascal has call by reference. But C++ does too. And less cringy than C's "pass me your pointer".
23:58:28 <monochrom> If you want to make C irrelevant, you must first make Unix irrelevant.
23:58:35 <monochrom> But good luck with that.
23:58:51 <erisco> I already think it can be made irrelevant
23:59:14 <monochrom> Seeing that no data centre runs PalmOS or something.
23:59:26 × kyborg2011 quits (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Ping timeout: 268 seconds)
23:59:56 <geekosaur> even Microsoft failed to make Unix irrelevant
23:59:58 <erisco> OSes are a specialisation... once upon a time, they were an intimate partner for any programming activity

All times are in UTC on 2022-08-06.