Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-05-10 13:00:40 <siers> it typechecked [a] -> b against a -> Int
2021-05-10 13:00:55 <tomsmeding> you can try using parList but I believe that will just create N sparks where N is the length of the list; that may work but it might be more efficient to explicitly split it into a number of jobs that is equal to the number of processors you have
2021-05-10 13:01:08 <tomsmeding> depending on the runtime system performance
2021-05-10 13:01:52 <dminuoso> pagnol: Compile everything with profiling, and then use `+RTC -xc` ?
2021-05-10 13:02:11 <tomsmeding> siers: well your ($|| parList rseq) can take any value of type ([a] -> b) for any a and b, and the argument you're giving it, 'tl', has type c -> Int for any c. So c ~ [a] and b ~ Int and it unifies?
2021-05-10 13:02:37 nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 13:03:03 <siers> yikes, you're right
2021-05-10 13:03:23 <tomsmeding> (just talking about types, not about what anything of this means)
2021-05-10 13:04:00 rj joins (~x@gateway/tor-sasl/rj)
2021-05-10 13:04:15 poljar joins (~poljar@78-1-38-154.adsl.net.t-com.hr)
2021-05-10 13:05:11 × poljar1 quits (~poljar@78-1-55-96.adsl.net.t-com.hr) (Ping timeout: 240 seconds)
2021-05-10 13:06:06 <siers> parInNThreads might work
2021-05-10 13:06:51 × nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds)
2021-05-10 13:08:14 nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 13:09:28 stree joins (~stree@68.36.8.116)
2021-05-10 13:10:58 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds)
2021-05-10 13:12:29 × nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds)
2021-05-10 13:13:03 nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 13:15:51 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-10 13:16:15 × tsaka__ quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds)
2021-05-10 13:16:51 tsaka__ joins (~torstein@178-147-206-209.haap.dm.cosmote.net)
2021-05-10 13:17:15 × nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds)
2021-05-10 13:18:21 × sphi quits (~sphi@unaffiliated/sphi) (Ping timeout: 265 seconds)
2021-05-10 13:18:40 × shailangsa quits (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) (Ping timeout: 252 seconds)
2021-05-10 13:19:26 ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-10 13:21:06 <pagnol> I just wasted 4 hours because I assumed cabal retrieves the most recent version of a package if no version contraint is specified
2021-05-10 13:21:57 frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-10 13:22:44 <tomsmeding> siers: I also wrote this at some point: https://paste.tomsmeding.com/dFmuEgZ7
2021-05-10 13:22:46 nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 13:23:15 <tomsmeding> it uses explicit (haskell-)threads using forkIO in order to be a bit more deterministic (in my experience)
2021-05-10 13:23:33 poljar1 joins (~poljar@93-143-148-135.adsl.net.t-com.hr)
2021-05-10 13:23:50 <tomsmeding> if you don't understand what the (a -> b) projection function is for, just pass 'id'
2021-05-10 13:23:51 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-10 13:24:20 <tomsmeding> also note that it explicitly uses one _less_ than getNumCapabilities because in my experience, using all doesn't work and blocks some of the threads from even spawning
2021-05-10 13:25:09 <siers> what does the projection function do? :)
2021-05-10 13:25:13 × poljar quits (~poljar@78-1-38-154.adsl.net.t-com.hr) (Ping timeout: 240 seconds)
2021-05-10 13:25:28 ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-10 13:26:35 <tomsmeding> it allows you to evaluate a _component_ of the structure
2021-05-10 13:26:57 <tomsmeding> e.g. by passing 'fst', you can have of list of pairs where you evaluate the first components in parallel, not touching the second components at all
2021-05-10 13:27:05 <siers> ah
2021-05-10 13:27:13 × nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds)
2021-05-10 13:27:33 <tomsmeding> 'parSeq b f l' is equivalent to 'parSeq b id (map f l)' I think
2021-05-10 13:28:04 Iceland_jack joins (~user@95.147.45.92)
2021-05-10 13:29:18 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds)
2021-05-10 13:30:18 xkapastel joins (uid17782@gateway/web/irccloud.com/x-porhvditswtjxxbh)
2021-05-10 13:30:20 nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 13:32:21 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 13:32:39 × nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-10 13:32:56 nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 13:33:20 carlomagno joins (~cararell@148.87.23.4)
2021-05-10 13:33:39 × nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Remote host closed the connection)
2021-05-10 13:34:15 nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 13:34:47 × st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9)
2021-05-10 13:35:03 <dminuoso> pagnol: it does.
2021-05-10 13:35:16 <siers> tomsmeding, are sparks cooperative?
2021-05-10 13:35:25 <dminuoso> pagnol: or rather, the most recent version for which cabal can find a suitable build plan, according to all existing constraints.
2021-05-10 13:36:30 <tomsmeding> siers: I _think_ sparks and forkIO threads are both cooperative, but only at point where they allocate -- so if you have a busy loop on unboxed values that doesn't allocate anything, you might block the thread
2021-05-10 13:36:36 <tomsmeding> but don't take my word for it
2021-05-10 13:36:56 × notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer)
2021-05-10 13:37:35 rj joins (~x@gateway/tor-sasl/rj)
2021-05-10 13:37:54 <siers> should parallel work in ghci -threaded -with-rtsopts='-N8'?
2021-05-10 13:38:00 <siers> or must I compile it?
2021-05-10 13:38:29 × nineonine quits (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds)
2021-05-10 13:39:28 × ram19890 quits (~ram@49.205.84.15) (Quit: Konversation terminated!)
2021-05-10 13:43:43 wei2912 joins (~wei2912@unaffiliated/wei2912)
2021-05-10 13:44:47 elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-10 13:46:52 × son0p quits (~ff@181.136.122.143) (Remote host closed the connection)
2021-05-10 13:48:13 × drbean_ quits (~drbean@TC210-63-209-88.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-10 13:48:28 drbean_ joins (~drbean@TC210-63-209-34.static.apol.com.tw)
2021-05-10 13:48:57 hackage mnist-idx-conduit 0.1.0.0 - conduit utilities for MNIST IDX files https://hackage.haskell.org/package/mnist-idx-conduit-0.1.0.0 (ocramz)
2021-05-10 13:49:20 vite joins (~vite@185.204.1.185)
2021-05-10 13:50:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-05-10 13:52:56 guriya joins (a0ee4b7f@unaffiliated/guriya)
2021-05-10 13:54:28 poljar joins (~poljar@93-143-128-70.adsl.net.t-com.hr)
2021-05-10 13:55:19 × drbean_ quits (~drbean@TC210-63-209-34.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-10 13:56:42 Sheilong joins (uid293653@gateway/web/irccloud.com/x-uarnrolikdibusqq)
2021-05-10 13:57:22 × poljar1 quits (~poljar@93-143-148-135.adsl.net.t-com.hr) (Ping timeout: 268 seconds)
2021-05-10 13:59:27 hackage mnist-idx-conduit 0.2.0.0 - conduit utilities for MNIST IDX files https://hackage.haskell.org/package/mnist-idx-conduit-0.2.0.0 (ocramz)
2021-05-10 14:01:05 × Xraell quits (~xraell@45.157.15.145) (Remote host closed the connection)
2021-05-10 14:01:10 <pagnol> dminuoso: what you're saying seems to be at odds with my most recent experience, but it's possible there's something I'm missing
2021-05-10 14:01:15 vgtw_ joins (~vgtw@gateway/tor-sasl/vgtw)
2021-05-10 14:01:21 alx741 joins (~alx741@186.178.108.184)
2021-05-10 14:01:27 hackage pseudo-boolean 0.1.10.0 - Reading/Writing OPB/WBO files used in pseudo boolean competition https://hackage.haskell.org/package/pseudo-boolean-0.1.10.0 (MasahiroSakai)
2021-05-10 14:01:33 × vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds)
2021-05-10 14:01:40 vgtw_ is now known as vgtw
2021-05-10 14:02:54 Shuppiluliuma joins (~shuppilul@153.33.68.161)
2021-05-10 14:03:08 shailangsa joins (~shailangs@host86-186-196-136.range86-186.btcentralplus.com)
2021-05-10 14:04:07 son0p joins (~ff@181.136.122.143)
2021-05-10 14:07:06 × elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-10 14:10:52 zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-10 14:11:06 <dminuoso> pagnol: Feel free to present an example here or at an issue tracker, should have one.
2021-05-10 14:12:30 mrchampion joins (~mrchampio@38.18.109.23)
2021-05-10 14:13:51 nineonine joins (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 14:14:45 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 14:15:19 <tomsmeding> pagnol: at the very least the claim relies on you having run 'cabal update' recently
2021-05-10 14:15:49 poljar1 joins (~poljar@93-143-164-44.adsl.net.t-com.hr)
2021-05-10 14:16:03 × zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-10 14:16:49 <dminuoso> Of course, there could be the odd example of where downgrading `foo` would allow cabal to use newer versions of other packages..
2021-05-10 14:17:14 <dminuoso> But cabal cant find that out, because it doesn't actually do an exhaustive search of all combinations
2021-05-10 14:17:42 × poljar quits (~poljar@93-143-128-70.adsl.net.t-com.hr) (Ping timeout: 252 seconds)

All times are in UTC.