Logs: freenode/#haskell
| 2021-03-24 21:18:41 | × | average quits (uid473595@gateway/web/irccloud.com/x-mlwtnyrsvtyoarjl) (Quit: Connection closed for inactivity) |
| 2021-03-24 21:21:32 | × | frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 268 seconds) |
| 2021-03-24 21:22:54 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 246 seconds) |
| 2021-03-24 21:23:06 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-24 21:24:10 | × | scaryGarry quits (~tato@201.209.92.147) (Quit: leaving) |
| 2021-03-24 21:24:10 | <bgamari> | L29Ah, I'm about to post a test which you can use to validate your patch |
| 2021-03-24 21:24:14 | <bgamari> | it works for me on master |
| 2021-03-24 21:24:17 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
| 2021-03-24 21:24:56 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-24 21:25:35 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-24 21:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 2021-03-24 21:28:13 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-24 21:30:36 | → | average joins (uid473595@gateway/web/irccloud.com/x-jidrtzqhvfslyggr) |
| 2021-03-24 21:30:37 | × | fendor_ quits (~fendor@91.141.1.9.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-03-24 21:32:02 | → | fendor joins (~fendor@91.141.1.9.wireless.dyn.drei.com) |
| 2021-03-24 21:33:03 | <bgamari> | L29Ah, https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5361 |
| 2021-03-24 21:33:03 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-03-24 21:33:23 | <bgamari> | L29Ah, try compiling T7275.hs with |
| 2021-03-24 21:33:38 | <bgamari> | ghc testsuite/tests/profiling/should_run/T7275.hs -prof -rtsopts |
| 2021-03-24 21:33:54 | <bgamari> | and then running the executable with `+RTS -hc -i0` |
| 2021-03-24 21:33:59 | <bgamari> | and examine the .hp file |
| 2021-03-24 21:34:07 | <bgamari> | you should see counts from suzanne |
| 2021-03-24 21:35:36 | <bgamari> | they should constitute the majority of the heap |
| 2021-03-24 21:37:50 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-24 21:38:11 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 2021-03-24 21:39:20 | <L29Ah> | yeah it works, thanks |
| 2021-03-24 21:39:51 | <L29Ah> | shows PINNED w/ vanilla /usr/lib64/ghc-9.0.1/rts and suzanne/robert w/ patched |
| 2021-03-24 21:39:55 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) |
| 2021-03-24 21:41:31 | <L29Ah> | apparently profiling is broken in 9.0.1 or smth |
| 2021-03-24 21:41:31 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-03-24 21:42:38 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-24 21:42:54 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-03-24 21:42:54 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 2021-03-24 21:42:54 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-03-24 21:44:03 | <L29Ah> | http://0x0.st/-qVm.hp typical result, with non-monotonic time |
| 2021-03-24 21:44:21 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Ping timeout: 268 seconds) |
| 2021-03-24 21:45:43 | <L29Ah> | at least the PINNED section is sensible |
| 2021-03-24 21:45:51 | × | wonko7 quits (~wonko7@45.15.17.60) (Ping timeout: 265 seconds) |
| 2021-03-24 21:46:04 | <solidus-river> | hmm, im in waters i'm not used to and having trouble finding good resources on. I need to specifically pack a Int value as a UInt64 in network byte order into a Bytestring |
| 2021-03-24 21:46:38 | <L29Ah> | solidus-river: Data.Binary? |
| 2021-03-24 21:47:02 | <L29Ah> | UInt64 is called "Word64" |
| 2021-03-24 21:47:37 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 260 seconds) |
| 2021-03-24 21:48:13 | <monochrom> | Data.Binary.Put has putWord64be and putInt64be |
| 2021-03-24 21:48:23 | <L29Ah> | ok apparently the negative samples appear somewhat at the end of the profiling process: http://0x0.st/-qVa.hp |
| 2021-03-24 21:48:28 | × | Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-24 21:48:36 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-03-24 21:49:13 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-24 21:49:35 | <L29Ah> | and some of positive ones become garbled |
| 2021-03-24 21:49:47 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-03-24 21:49:56 | <solidus-river> | flush . putWord64be ! |
| 2021-03-24 21:50:03 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-24 21:50:04 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-24 21:50:05 | <L29Ah> | https://tinystash.undef.im/il/49NPXJTB4GNbAse1cNm4KKMgCVEhnFyKzXuJTDUFyP6KUYpA2omL6fYMKftSDupRhFBuNcvbf21RkxPuXSGP3oYp |
| 2021-03-24 21:50:09 | <solidus-river> | but all the docs for Int are signed representations |
| 2021-03-24 21:51:09 | <solidus-river> | oh, a word is a uint |
| 2021-03-24 21:51:13 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-03-24 21:51:13 | <solidus-river> | huh? |
| 2021-03-24 21:51:32 | <solidus-river> | thats a wierd naming, i associate word's with raw meaningless chunks of memory |
| 2021-03-24 21:52:45 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-24 21:53:08 | <solidus-river> | oh, sorry L29Ah i missed your second message :[ |
| 2021-03-24 21:53:59 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 2021-03-24 21:55:18 | → | madjestic joins (~Android@86-88-72-244.fixed.kpn.net) |
| 2021-03-24 21:55:50 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-24 21:56:36 | → | Tops21 joins (~Tobias@dyndsl-095-033-092-175.ewe-ip-backbone.de) |
| 2021-03-24 21:56:56 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-24 21:57:40 | × | alx741 quits (~alx741@186.178.108.164) (Ping timeout: 256 seconds) |
| 2021-03-24 21:57:46 | <monochrom> | I am surprised that DeriveFunctor works fine with "newtype M a = M (forall m. m -> (a->m) -> m)" |
| 2021-03-24 21:58:45 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Ping timeout: 256 seconds) |
| 2021-03-24 22:00:19 | <hololeap> | ski, after letting it sink in, i think i understand now |
| 2021-03-24 22:00:27 | <hololeap> | lose :: Decidable f => (a -> Void) -> f a ; lose toVoid = ... |
| 2021-03-24 22:00:33 | × | Tops2 quits (~Tobias@dyndsl-095-033-092-175.ewe-ip-backbone.de) (Ping timeout: 264 seconds) |
| 2021-03-24 22:00:37 | <hololeap> | toVoid is proof that 'a' has no elements. that is, it is proof that it is isomorphic to Void. |
| 2021-03-24 22:00:48 | <hololeap> | 'Either Void a -> r' and 'Either a Void -> r' are isomporphic to 'a -> r', which makes 'Op r Void' the identity to 'choose @(Op r)' |
| 2021-03-24 22:01:03 | <hololeap> | ... or something like that. it's a bit hard to explain, but i think i get it :) |
| 2021-03-24 22:01:38 | × | ubert quits (~Thunderbi@p200300ecdf25d975e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-24 22:01:48 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 265 seconds) |
| 2021-03-24 22:02:11 | <L29Ah> | ok, +RTS -N breaks profiling |
| 2021-03-24 22:02:28 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-03-24 22:02:31 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-03-24 22:03:50 | → | borne joins (~fritjof@200116b8644f8c00bc09546e2ac68572.dip.versatel-1u1.de) |
| 2021-03-24 22:05:22 | → | knupfer joins (~Thunderbi@i59F7FF52.versanet.de) |
| 2021-03-24 22:05:34 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-24 22:06:28 | ← | tempate parts (~tempate@unaffiliated/tempate) () |
| 2021-03-24 22:07:15 | <bgamari> | L29Ah, sorry, had to run out or a moment |
| 2021-03-24 22:07:16 | <bgamari> | L29Ah, oh? |
| 2021-03-24 22:07:47 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 268 seconds) |
| 2021-03-24 22:07:52 | <bgamari> | L29Ah, sorry, had to run out or a moment |
| 2021-03-24 22:07:54 | <bgamari> | L29Ah, oh? |
| 2021-03-24 22:07:56 | <bgamari> | L29Ah, I'm a tad surprised to hear that |
| 2021-03-24 22:08:18 | <L29Ah> | bgamari: has nothing to do with the patchset tho |
| 2021-03-24 22:08:31 | L29Ah | fills a bug report |
| 2021-03-24 22:08:38 | <bgamari> | right, I would have been surprised if it had |
| 2021-03-24 22:08:40 | <bgamari> | L29Ah, thanks! |
| 2021-03-24 22:08:48 | × | codygman` quits (~user@209.251.131.98) (Ping timeout: 245 seconds) |
| 2021-03-24 22:08:57 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 256 seconds) |
| 2021-03-24 22:10:01 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-03-24 22:10:27 | <solidus-river> | do i have to use Put with binary? i'm trying to use Builders but i'm getting type errors everywhere |
| 2021-03-24 22:11:21 | <Uniaika> | I should explore other ways to serialise to binary without a type-class |
| 2021-03-24 22:12:02 | Lycurgus | concludes, hastily perhaps there is no usable topoi hs thing yet |
| 2021-03-24 22:12:08 | → | alx741 joins (~alx741@186.178.108.68) |
All times are in UTC.