Logs: liberachat/#haskell
| 2021-05-27 15:14:23 | o | is now known as niko |
| 2021-05-27 15:14:55 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-05-27 15:16:17 | → | reumeth joins (~joakim@2001:4652:9745:0:72c9:4eff:fea7:32ab) |
| 2021-05-27 15:16:50 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-27 15:17:41 | → | haskman joins (~haskman@106.212.143.206) |
| 2021-05-27 15:18:52 | × | Toast52 quits (~Toast52@151.192.167.120) (Ping timeout: 264 seconds) |
| 2021-05-27 15:19:39 | × | hydroxonium quits (uid500654@stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-27 15:19:46 | → | SteelZeal joins (~SteelZeal@user/steelzeal) |
| 2021-05-27 15:20:27 | → | Dynom joins (~niels@80-114-12-206.cable.dynamic.v4.ziggo.nl) |
| 2021-05-27 15:20:56 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-27 15:20:59 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-05-27 15:21:15 | × | sondre quits (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 272 seconds) |
| 2021-05-27 15:21:58 | → | ryantrinkle joins (~ryan@static-108-30-103-121.nycmny.fios.verizon.net) |
| 2021-05-27 15:22:04 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-27 15:23:17 | → | coot joins (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-27 15:27:18 | → | smr joins (~smn@91-114-147-117.adsl.highway.telekom.at) |
| 2021-05-27 15:27:21 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-05-27 15:29:30 | × | reumeth quits (~joakim@2001:4652:9745:0:72c9:4eff:fea7:32ab) (Quit: reumeth) |
| 2021-05-27 15:29:55 | × | ikex quits (~ash@user/ikex) (Ping timeout: 272 seconds) |
| 2021-05-27 15:30:07 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-05-27 15:30:43 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-27 15:31:12 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-05-27 15:31:25 | × | smr quits (~smn@91-114-147-117.adsl.highway.telekom.at) (Client Quit) |
| 2021-05-27 15:31:40 | × | fabfianda quits (~fabfianda@net-93-148-125-174.cust.vodafonedsl.it) (Ping timeout: 265 seconds) |
| 2021-05-27 15:32:32 | → | fabfianda joins (~fabfianda@mob-5-90-250-59.net.vodafone.it) |
| 2021-05-27 15:33:34 | → | pe200012 joins (~pe200012@119.131.208.84) |
| 2021-05-27 15:33:55 | × | pe200012_ quits (~pe200012@119.131.208.84) (Ping timeout: 272 seconds) |
| 2021-05-27 15:35:17 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-27 15:35:43 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-27 15:38:05 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-05-27 15:38:21 | × | ddellaco_ quits (~ddellacos@86.106.121.30) (Ping timeout: 272 seconds) |
| 2021-05-27 15:38:26 | × | vicentius quits (~vicentius@user/vicentius) (Ping timeout: 265 seconds) |
| 2021-05-27 15:38:34 | → | turion joins (~turion@2a02:810d:8ac0:251e:e8a3:1701:9e78:7013) |
| 2021-05-27 15:39:12 | × | turion quits (~turion@2a02:810d:8ac0:251e:e8a3:1701:9e78:7013) (Client Quit) |
| 2021-05-27 15:40:02 | → | reumeth joins (~joakim@2001:4652:9745:0:72c9:4eff:fea7:32ab) |
| 2021-05-27 15:40:36 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 244 seconds) |
| 2021-05-27 15:41:33 | → | turion joins (~turion@2a02:810d:8ac0:251e:e8a3:1701:9e78:7013) |
| 2021-05-27 15:41:58 | × | turion quits (~turion@2a02:810d:8ac0:251e:e8a3:1701:9e78:7013) (Client Quit) |
| 2021-05-27 15:42:58 | → | sondre joins (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 2021-05-27 15:43:13 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-05-27 15:43:22 | × | imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-05-27 15:43:43 | → | ddellaco_ joins (~ddellacos@89.46.62.122) |
| 2021-05-27 15:44:23 | → | dr_spaceman joins (~dr_spacem@user/dr-spaceman/x-5682504) |
| 2021-05-27 15:45:53 | × | ccntrq quits (~ccntrq@business-90-187-183-141.pool2.vodafone-ip.de) (Remote host closed the connection) |
| 2021-05-27 15:46:17 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 244 seconds) |
| 2021-05-27 15:46:34 | × | qbt quits (~edun@user/edun) (Quit: WeeChat 3.1) |
| 2021-05-27 15:46:39 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-27 15:46:46 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 2021-05-27 15:47:16 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-27 15:48:52 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-05-27 15:49:01 | → | imdoor joins (~imdoor@balticom-142-78-50.balticom.lv) |
| 2021-05-27 15:49:16 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-27 15:49:45 | × | guest0123 quits (~aaron@2601:602:a080:fa0:3d68:2a1a:74b4:e9fa) (Ping timeout: 272 seconds) |
| 2021-05-27 15:49:57 | × | sedeki quits (~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-27 15:51:29 | <siers> | if I grow the heap to 1G more and then I don't need it later, will the process's used memory shrink later? |
| 2021-05-27 15:51:54 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-05-27 15:51:58 | → | z0k joins (~z0k@101.50.108.132) |
| 2021-05-27 15:52:12 | → | xkapastel joins (uid17782@id-17782.tinside.irccloud.com) |
| 2021-05-27 15:52:13 | × | imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Client Quit) |
| 2021-05-27 15:52:23 | <siers> | seems so, yes "By default, the heap will start small, and grow and shrink as necessary." https://downloads.haskell.org/~ghc/7.0.1/docs/html/users_guide/runtime-control.html |
| 2021-05-27 15:52:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-27 15:53:39 | <c_wraith> | shrinking can be hit-or-miss |
| 2021-05-27 15:54:03 | <c_wraith> | I know recent versions of GHC have done some work in how they arrange things to make it work more often |
| 2021-05-27 15:57:32 | <c_wraith> | on the other hand, recent versions of (64-bit linux) ghc will ask the OS to set aside 1TB for their heap at startup anyway |
| 2021-05-27 15:57:47 | × | Jon quits (jon@dow.land) (Remote host closed the connection) |
| 2021-05-27 15:58:10 | × | lisq quits (~quassel@lis.moe) (Remote host closed the connection) |
| 2021-05-27 15:58:21 | → | Jon joins (jon@dow.land) |
| 2021-05-27 15:58:34 | <c_wraith> | top is telling me ghci is using 1024.3 GB of virtual memory |
| 2021-05-27 15:59:05 | <Rembane> | Same here. I interpret that as a practical joke. |
| 2021-05-27 15:59:17 | → | lisq joins (~quassel@lis.moe) |
| 2021-05-27 15:59:33 | <c_wraith> | ghc takes advantage of linux overcommit to max effect |
| 2021-05-27 16:00:03 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Remote host closed the connection) |
| 2021-05-27 16:01:01 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Read error: Connection reset by peer) |
| 2021-05-27 16:01:17 | → | timsears_ joins (sid501726@id-501726.highgate.irccloud.com) |
| 2021-05-27 16:01:19 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-27 16:02:12 | <c_wraith> | I believe it uses that space for independent arenas for each size of small object, so that it never needs to deal with logically fragmenting its memory space with small objects. Large objects are another story. |
| 2021-05-27 16:02:18 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-05-27 16:02:18 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-05-27 16:02:18 | → | Deide joins (~Deide@user/deide) |
| 2021-05-27 16:02:38 | × | nsilv quits (~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1) |
| 2021-05-27 16:02:39 | × | timsears_ quits (sid501726@id-501726.highgate.irccloud.com) (Client Quit) |
| 2021-05-27 16:03:12 | → | T_S_ joins (sid501726@id-501726.highgate.irccloud.com) |
| 2021-05-27 16:03:17 | → | ScriptDevil joins (~ScriptDev@202.164.25.5) |
| 2021-05-27 16:03:18 | <monochrom> | resident size is a much better measure |
| 2021-05-27 16:03:23 | ← | ScriptDevil parts (~ScriptDev@202.164.25.5) () |
| 2021-05-27 16:04:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-27 16:05:35 | × | xff0x quits (~xff0x@2001:1a81:53be:400:e35f:b79:8fb6:e57a) (Ping timeout: 272 seconds) |
| 2021-05-27 16:06:03 | → | xff0x joins (~xff0x@2001:1a81:53be:400:1c90:d6e6:3f17:edb2) |
| 2021-05-27 16:06:39 | → | holy_ joins (~h01y_b4z0@103.244.176.36) |
| 2021-05-27 16:07:03 | <boxscape> | (Foo, Foo, [Foo]) or (Foo, NonEmpty Foo)? Or is there a better alternative? (Aside from Vec (S (S n)) Foo) |
| 2021-05-27 16:07:33 | × | timsears quits (uid501726@id-501726.highgate.irccloud.com) () |
| 2021-05-27 16:07:43 | <boxscape> | (to signify a list with at least 2 elements) |
| 2021-05-27 16:08:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-27 16:09:26 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-27 16:10:01 | → | Guest7447 joins (~Guest74@103.78.167.55) |
| 2021-05-27 16:10:38 | ac | is now known as alois |
| 2021-05-27 16:11:30 | alois | is now known as ac |
| 2021-05-27 16:12:50 | × | amk quits (~amk@176.61.106.150) (Read error: Connection reset by peer) |
| 2021-05-27 16:12:58 | × | T_S_ quits (sid501726@id-501726.highgate.irccloud.com) () |
| 2021-05-27 16:13:01 | → | amk joins (~amk@176.61.106.150) |
All times are in UTC.