Logs: freenode/#haskell
| 2021-03-23 05:31:30 | <edwardk> | but none of that should be super slow |
| 2021-03-23 05:31:36 | × | electricityZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Ping timeout: 265 seconds) |
| 2021-03-23 05:32:20 | <dmwit> | ...or just store a V2 in Static in the first place |
| 2021-03-23 05:32:20 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds) |
| 2021-03-23 05:32:27 | → | kam1 joins (~kam1@37.129.96.190) |
| 2021-03-23 05:32:27 | <edwardk> | or that, yes |
| 2021-03-23 05:32:58 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-23 05:33:13 | <dmwit> | How confident are you that this code is the bad code? |
| 2021-03-23 05:33:16 | → | v01d4lph_ joins (~v01d4lph4@223.233.79.215) |
| 2021-03-23 05:34:02 | <edwardk> | this code doesn't seem to do much to be remotely concerned about |
| 2021-03-23 05:34:17 | <dmwit> | kinda why I ask, yeah |
| 2021-03-23 05:34:20 | → | frankdmartinez joins (~frankdmar@62.182.99.65) |
| 2021-03-23 05:35:21 | × | v01d4lph4 quits (~v01d4lph4@223.233.89.82) (Ping timeout: 264 seconds) |
| 2021-03-23 05:35:36 | <chibi> | Intersting, I guess I'll have to fiddle with that a bunch more to see what exactly is causing the OOM crashing. I find it weird too, but thats what the output of +RTS -p is saying |
| 2021-03-23 05:35:54 | <edwardk> | i mean the worst thing you do is walk and grab halves of entpos/size separately rather than together, but thats only a factor of 2-4x on something that should do almost nothing |
| 2021-03-23 05:36:05 | <chibi> | 3>...or just store a V2 in Static in the first place |
| 2021-03-23 05:36:13 | <chibi> | That's what a good programmer would do :) |
| 2021-03-23 05:36:23 | <edwardk> | you could store a whole rectangle in there even |
| 2021-03-23 05:36:24 | <edwardk> | ;) |
| 2021-03-23 05:37:41 | <dmwit> | At this rate if you hang out a bit longer I think we can just delete all of your code. |
| 2021-03-23 05:37:47 | <edwardk> | anyways V2 isn't doing any appreciable work here |
| 2021-03-23 05:38:22 | <chibi> | Then maybe this code snippet is getting called too often? |
| 2021-03-23 05:38:26 | <chibi> | COST CENTRE MODULE SRC %time %alloc |
| 2021-03-23 05:38:29 | <chibi> | fmap Linear.V2 src/Linear/V2.hs:159:3-34 31.3 43.7 |
| 2021-03-23 05:38:30 | <edwardk> | i've found that deleting all my code especially before i release it is a great way to cut maintenance burden |
| 2021-03-23 05:38:58 | <edwardk> | chibi: keep in mind you aren't the only customer of V2. SDL is using it internally a bunch too |
| 2021-03-23 05:39:42 | × | z0k quits (~user@115.186.169.1) (Ping timeout: 256 seconds) |
| 2021-03-23 05:40:23 | <chibi> | Yeah, that's true as well. Time for the scientific method it seems. |
| 2021-03-23 05:40:30 | <chibi> | Thanks for the help. |
| 2021-03-23 05:40:33 | <edwardk> | https://github.com/ekmett/linear/blob/master/src/Linear/V2.hs#L162 is the fmap in question |
| 2021-03-23 05:40:42 | <edwardk> | it literally can't do anything less than it does |
| 2021-03-23 05:41:37 | <edwardk> | it is probably however being charged all the costs for all the f's that are being fmapped over it though |
| 2021-03-23 05:42:02 | × | Garbanzo quits (~Garbanzo@2602:304:6eac:dc10::2e) (Ping timeout: 264 seconds) |
| 2021-03-23 05:42:06 | <chibi> | Yeah, it's definitely not the fmap itself. |
| 2021-03-23 05:43:10 | <edwardk> | one reason wy fmap is probably showing up at the cost center is that V2 is strict in its args, and fmap is constructing the result V2, forcing the args as it goes. so its viewed as the thing that forces the results, not just something passing an unevaluated thunk into a structure to hit some later victim. |
| 2021-03-23 05:43:44 | <edwardk> | so all the work of every f being mapped anywhere by any user of V2 is being charged to that one cost center |
| 2021-03-23 05:43:48 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-23 05:44:05 | <edwardk> | unsurprisingly this might yield a large number |
| 2021-03-23 05:44:35 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
| 2021-03-23 05:44:48 | × | v01d4lph_ quits (~v01d4lph4@223.233.79.215) (Ping timeout: 256 seconds) |
| 2021-03-23 05:46:14 | → | v01d4lph4 joins (~v01d4lph4@171.76.7.228) |
| 2021-03-23 05:46:54 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2021-03-23 05:47:36 | <chibi> | Ahh okay, so that's just how strictness ends up looking to the profiler |
| 2021-03-23 05:47:42 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-23 05:49:02 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-03-23 05:50:54 | × | raym quits (~ray@115.187.32.14) (Remote host closed the connection) |
| 2021-03-23 05:54:17 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-nolohoourjcznqbc) (Quit: Connection closed for inactivity) |
| 2021-03-23 05:54:31 | → | knupfer joins (~Thunderbi@i59F7FF9C.versanet.de) |
| 2021-03-23 05:54:57 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
| 2021-03-23 05:55:28 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-23 05:56:33 | × | kam1 quits (~kam1@37.129.96.190) (Read error: Connection reset by peer) |
| 2021-03-23 06:00:38 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-23 06:01:44 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 2021-03-23 06:02:13 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-23 06:07:06 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-23 06:07:30 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-23 06:08:04 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-23 06:09:34 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-03-23 06:12:14 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-23 06:12:17 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-03-23 06:16:26 | × | slack1256 quits (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
| 2021-03-23 06:17:08 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-23 06:23:17 | → | average joins (uid473595@gateway/web/irccloud.com/x-npstzxdmagpahzvl) |
| 2021-03-23 06:24:08 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-03-23 06:26:25 | → | jluttine_ joins (~jluttine@85-23-66-6.bb.dnainternet.fi) |
| 2021-03-23 06:27:25 | → | graf_blutwurst joins (~user@2001:171b:226e:adc0:78b0:5183:4ef7:68f) |
| 2021-03-23 06:27:52 | × | knupfer quits (~Thunderbi@i59F7FF9C.versanet.de) (Ping timeout: 256 seconds) |
| 2021-03-23 06:29:48 | → | Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-23 06:34:13 | × | Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2021-03-23 06:35:08 | → | _flow_ joins (~none@salem.informatik.uni-erlangen.de) |
| 2021-03-23 06:35:11 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-hdzjfjotgayyuqwv) (Quit: Connection closed for inactivity) |
| 2021-03-23 06:40:10 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-23 06:40:48 | → | ddellacosta joins (~ddellacos@86.106.143.245) |
| 2021-03-23 06:41:13 | × | frankdmartinez quits (~frankdmar@62.182.99.65) (Quit: frankdmartinez) |
| 2021-03-23 06:41:30 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-03-23 06:44:16 | × | minoru_shiraeesh quits (~shiraeesh@46.34.206.238) (Ping timeout: 276 seconds) |
| 2021-03-23 06:44:31 | → | linarcx joins (~user@151.241.50.25) |
| 2021-03-23 06:44:42 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-03-23 06:45:26 | × | ddellacosta quits (~ddellacos@86.106.143.245) (Ping timeout: 256 seconds) |
| 2021-03-23 06:45:45 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Remote host closed the connection) |
| 2021-03-23 06:46:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-23 06:46:28 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) |
| 2021-03-23 06:51:19 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2021-03-23 06:52:21 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:ed16:1da2:9478:b2b4) |
| 2021-03-23 06:52:32 | × | linarcx quits (~user@151.241.50.25) (Ping timeout: 260 seconds) |
| 2021-03-23 06:54:47 | → | malumore joins (~malumore@151.62.117.161) |
| 2021-03-23 06:55:31 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection) |
| 2021-03-23 06:57:02 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:ed16:1da2:9478:b2b4) (Ping timeout: 264 seconds) |
| 2021-03-23 06:57:27 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-03-23 07:01:27 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-03-23 07:01:55 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-03-23 07:02:16 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-23 07:02:21 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-03-23 07:04:33 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-03-23 07:06:21 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-txtivmvabmjkksay) (Quit: Connection closed for inactivity) |
| 2021-03-23 07:08:18 | → | raym joins (~ray@115.187.32.14) |
| 2021-03-23 07:08:33 | × | v01d4lph4 quits (~v01d4lph4@171.76.7.228) (Remote host closed the connection) |
| 2021-03-23 07:09:16 | → | v01d4lph4 joins (~v01d4lph4@171.76.7.228) |
| 2021-03-23 07:09:26 | × | v01d4lph4 quits (~v01d4lph4@171.76.7.228) (Remote host closed the connection) |
| 2021-03-23 07:10:02 | → | v01d4lph4 joins (~v01d4lph4@171.76.7.228) |
All times are in UTC.