Logs: freenode/#haskell
| 2021-05-12 12:51:16 | <statusfailed> | but it's paywalled |
| 2021-05-12 12:54:37 | pjb | is now known as Guest15098 |
| 2021-05-12 12:55:08 | <[exa]> | I got it from one nice website with ravens |
| 2021-05-12 12:55:28 | <statusfailed> | hehehe |
| 2021-05-12 12:55:31 | × | Guest15098 quits (~pjb@2a01cb04063ec50081adf5bfe676b3d2.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2021-05-12 12:55:40 | <merijn> | Google Scholar is good at turning up free pdfs too |
| 2021-05-12 12:56:23 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-icphufxyhvaabbaa) |
| 2021-05-12 12:56:42 | <statusfailed> | [exa]: I assume the O(p, r, NA, N) bit has to mean either maximum or sum of those, because N is "the number of nontrivial multiplications"- if it's product then surely this algorithm is like O(n^6) worst case |
| 2021-05-12 12:56:44 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-12 12:56:46 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-05-12 12:57:22 | <[exa]> | yeah sounds like + or `max` would fit there best in any cases |
| 2021-05-12 12:57:34 | <[exa]> | kinda like O(a,b,c) = O(a)+O(b)+O(c) |
| 2021-05-12 12:58:02 | → | pjb joins (~pjb@2a01cb04063ec50000c73363e6fc8935.ipv6.abo.wanadoo.fr) |
| 2021-05-12 12:58:19 | <[exa]> | but man, can't they just write + |
| 2021-05-12 13:00:51 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-12 13:00:59 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-05-12 13:02:41 | <statusfailed> | [exa]: ikr :D |
| 2021-05-12 13:02:48 | <statusfailed> | 1978 though, maybe it was the done thing :) |
| 2021-05-12 13:02:53 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9) |
| 2021-05-12 13:02:59 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9) |
| 2021-05-12 13:04:21 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-12 13:04:57 | → | alx741 joins (~alx741@186.178.109.110) |
| 2021-05-12 13:05:48 | → | hoppfull joins (55e07729@c-2977e055.19-9-64736c10.bbcust.telenor.se) |
| 2021-05-12 13:07:50 | × | hoppfull quits (55e07729@c-2977e055.19-9-64736c10.bbcust.telenor.se) (Client Quit) |
| 2021-05-12 13:08:26 | → | alexander joins (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 2021-05-12 13:08:55 | alexander | is now known as Guest4454 |
| 2021-05-12 13:10:37 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-12 13:11:25 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-05-12 13:12:04 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-12 13:15:35 | × | Guest4454 quits (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds) |
| 2021-05-12 13:15:50 | → | st8less joins (~st8less@2603:a060:11fd:0:e37e:d5f2:9e75:29eb) |
| 2021-05-12 13:16:40 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-12 13:18:03 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-12 13:18:45 | → | chomwitt joins (~alexander@ppp-2-85-245-254.home.otenet.gr) |
| 2021-05-12 13:20:31 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-05-12 13:21:31 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-12 13:22:36 | × | pjb quits (~pjb@2a01cb04063ec50000c73363e6fc8935.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-05-12 13:24:41 | → | chris__ joins (~chris@81.96.113.213) |
| 2021-05-12 13:25:06 | × | m1dnight_ quits (~m1dnight@188.ip-51-91-158.eu) (Quit: WeeChat 2.4) |
| 2021-05-12 13:25:26 | → | m1dnight_ joins (~m1dnight@188.ip-51-91-158.eu) |
| 2021-05-12 13:29:34 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-12 13:29:51 | × | TimesUp quits (57010b6e@host-87-1-11-110.retail.telecomitalia.it) (Quit: Connection closed) |
| 2021-05-12 13:30:47 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-12 13:31:09 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-12 13:33:15 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 2021-05-12 13:33:36 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-vnlzmngtivqzgqpc) |
| 2021-05-12 13:34:05 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 2021-05-12 13:34:14 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-mitaxlcfeovagyrl) |
| 2021-05-12 13:35:22 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-05-12 13:35:46 | × | hypercube quits (~hypercube@75.186.121.128) (Ping timeout: 240 seconds) |
| 2021-05-12 13:38:16 | × | st8less quits (~st8less@2603:a060:11fd:0:e37e:d5f2:9e75:29eb) (Ping timeout: 276 seconds) |
| 2021-05-12 13:39:20 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-12 13:40:43 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-12 13:44:33 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-05-12 13:45:36 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-12 13:46:22 | × | carlomagno quits (~cararell@148.87.23.8) (Ping timeout: 252 seconds) |
| 2021-05-12 13:46:43 | → | carlomagno joins (~cararell@148.87.23.8) |
| 2021-05-12 13:46:55 | × | bobbytables quits (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-12 13:48:47 | → | bobbytables joins (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) |
| 2021-05-12 13:49:07 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 252 seconds) |
| 2021-05-12 13:50:45 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-05-12 13:51:26 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-12 13:52:13 | <cheater> | i have a list of monadic values, [m a] and i'd like to force all of them to compute but i only want to keep the last a. how do i do that? |
| 2021-05-12 13:52:57 | <merijn> | :t foldl1 (>>) |
| 2021-05-12 13:52:58 | <lambdabot> | (Foldable t, Monad m) => t (m a) -> m a |
| 2021-05-12 13:53:20 | <cheater> | thanks |
| 2021-05-12 13:53:21 | <ski> | s/force/execute/ |
| 2021-05-12 13:54:11 | <ski> | (or perhaps s/force/cause/ with s/compute/execute/ ..) |
| 2021-05-12 13:54:41 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-12 13:55:24 | <cheater> | ski: i need to make sure they don't get wished away by the compiler. |
| 2021-05-12 13:55:37 | <cheater> | i need to make sure those computations actually run on the hardware. |
| 2021-05-12 13:56:03 | <merijn> | cheater: The compiler doesn't wish things away |
| 2021-05-12 13:56:14 | <cheater> | you know what i mean. laziness. |
| 2021-05-12 13:56:26 | → | Iceland_jack joins (~user@95.147.45.92) |
| 2021-05-12 13:56:34 | <merijn> | laziness is orthogonal to monadic effects |
| 2021-05-12 13:56:59 | <cheater> | :/ |
| 2021-05-12 13:57:00 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-12 13:57:17 | → | ddellac__ joins (~ddellacos@86.106.143.189) |
| 2021-05-12 13:57:35 | → | pjb joins (~pjb@2a01cb04063ec50010052b303219aac8.ipv6.abo.wanadoo.fr) |
| 2021-05-12 13:57:50 | <cheater> | confused |
| 2021-05-12 13:57:53 | <merijn> | You can only observe side-effects and >> for IO enforces their ordering and observability |
| 2021-05-12 13:58:22 | <cheater> | yeah that doesn't help me |
| 2021-05-12 13:58:30 | <merijn> | cheater: My point was: laziness is irrelevant for the observability of side-effects (unless you're using unsafeX, which is on you) |
| 2021-05-12 13:58:39 | <cheater> | i have a monadic value which i want to run 1000 times for a benchmark. |
| 2021-05-12 13:59:01 | <cheater> | i still have no idea what you're saying |
| 2021-05-12 13:59:03 | <merijn> | cheater: oh, that problem has an even simpler solution |
| 2021-05-12 13:59:07 | <merijn> | @hackage criterion |
| 2021-05-12 13:59:08 | <lambdabot> | https://hackage.haskell.org/package/criterion |
| 2021-05-12 13:59:11 | <cheater> | no |
| 2021-05-12 13:59:53 | <cheater> | that doesn't work for me |
| 2021-05-12 13:59:53 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-12 13:59:56 | <cheater> | i need to do this by hand |
| 2021-05-12 14:00:20 | <cheater> | this is inside the monad from the accelerate library |
| 2021-05-12 14:00:40 | <cheater> | it takes ages to upload data onto the gpu and then the computation happens. i want to measure the computation itself, not the upload time. |
| 2021-05-12 14:00:56 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-05-12 14:00:57 | <cheater> | however, all of that is performed as a single IO action. |
| 2021-05-12 14:01:11 | <merijn> | cheater: well, then you're hosed |
| 2021-05-12 14:01:22 | <cheater> | please be nice |
| 2021-05-12 14:01:23 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-12 14:01:26 | <cheater> | my day is crap as it is |
All times are in UTC.