Logs: freenode/#haskell
| 2021-03-25 01:26:36 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 2021-03-25 01:27:03 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-03-25 01:31:05 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-03-25 01:31:37 | × | azure2 quits (~azure@103.154.230.130) (Ping timeout: 260 seconds) |
| 2021-03-25 01:31:58 | → | azure2 joins (~azure@103.154.230.130) |
| 2021-03-25 01:35:05 | <koz_> | :t for_ |
| 2021-03-25 01:35:07 | <lambdabot> | (Foldable t, Applicative f) => t a -> (a -> f b) -> f () |
| 2021-03-25 01:35:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-25 01:35:21 | <koz_> | :t replicateM |
| 2021-03-25 01:35:23 | <lambdabot> | Applicative m => Int -> m a -> m [a] |
| 2021-03-25 01:35:26 | <koz_> | :t replicateM_ |
| 2021-03-25 01:35:28 | <lambdabot> | Applicative m => Int -> m a -> m () |
| 2021-03-25 01:35:32 | <koz_> | Perfect. |
| 2021-03-25 01:36:52 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 260 seconds) |
| 2021-03-25 01:38:04 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 268 seconds) |
| 2021-03-25 01:38:46 | <L29Ah> | my heap is set to exhaust at 500MB, and the program is terminated when it gets past that, yet +RTS -hC only shows around 250MB max; what's wrong? |
| 2021-03-25 01:38:55 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-03-25 01:40:10 | <Axman6> | with the default GC, total heap usage will be double what the program uses because it's a opying collected, afaiui |
| 2021-03-25 01:41:50 | <L29Ah> | bgamari: and with your patch it's 40MB |
| 2021-03-25 01:42:12 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) (Remote host closed the connection) |
| 2021-03-25 01:42:22 | <L29Ah> | bgamari: compare https://tinystash.undef.im/il/25rSpereKHk3NkC9T5Xag3StKF3x6X18yp5iApbdiVi35Epi47ZsNA4MPCEJ2P4PTnQGTCbodnwHhZFDBvxtEkuo and https://tinystash.undef.im/il/oY5YwjdhU7t8sf3La33LF5Zu9NxKnJDHu1suutkb79orZLV3xs8srhVPjYxFEDkw64HZ5Bcxdq4THTteEwG82KJ |
| 2021-03-25 01:42:27 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-25 01:42:37 | <L29Ah> | am i accidentally omitting something by not providing some magic flag? |
| 2021-03-25 01:42:56 | <L29Ah> | that's using +RTS -M500M -hC -xt -L500 |
| 2021-03-25 01:47:36 | × | jutep quits (5f5bdd59@ip5f5bdd59.dynamic.kabel-deutschland.de) (Quit: Connection closed) |
| 2021-03-25 01:56:42 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-25 01:59:21 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-03-25 01:59:36 | → | mp___ joins (mp@hell.cx) |
| 2021-03-25 02:00:42 | → | azure3 joins (~azure@103.154.230.130) |
| 2021-03-25 02:03:42 | × | azure2 quits (~azure@103.154.230.130) (Ping timeout: 260 seconds) |
| 2021-03-25 02:04:14 | → | drbean joins (~drbean@TC210-63-209-180.static.apol.com.tw) |
| 2021-03-25 02:04:20 | → | nuncanada joins (~dude@179.235.160.168) |
| 2021-03-25 02:04:24 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-25 02:04:26 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 265 seconds) |
| 2021-03-25 02:05:37 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-25 02:05:45 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-25 02:06:03 | × | nuncanada quits (~dude@179.235.160.168) (Client Quit) |
| 2021-03-25 02:06:37 | × | xff0x quits (~xff0x@2001:1a81:53c9:9f00:1ee:8e19:4d6b:903d) (Ping timeout: 260 seconds) |
| 2021-03-25 02:06:37 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-25 02:06:57 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-25 02:08:11 | → | xff0x joins (~xff0x@2001:1a81:53ea:3700:a159:1aba:82af:c891) |
| 2021-03-25 02:08:48 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-03-25 02:10:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-03-25 02:13:09 | → | toorevitimirp joins (~tooreviti@117.182.181.200) |
| 2021-03-25 02:13:10 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-25 02:13:22 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-25 02:13:33 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-25 02:15:13 | → | renato joins (18506ba7@S0106a0ff70395707.vc.shawcable.net) |
| 2021-03-25 02:15:30 | renato | is now known as Guest2127 |
| 2021-03-25 02:16:58 | × | Guest2127 quits (18506ba7@S0106a0ff70395707.vc.shawcable.net) (Client Quit) |
| 2021-03-25 02:17:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-25 02:19:28 | × | azure3 quits (~azure@103.154.230.130) (Ping timeout: 256 seconds) |
| 2021-03-25 02:19:33 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-25 02:19:59 | × | DataComputist quits (~lumeng@50.43.26.251) (Ping timeout: 256 seconds) |
| 2021-03-25 02:19:59 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-25 02:20:08 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-25 02:20:09 | → | azure3 joins (~azure@103.154.230.130) |
| 2021-03-25 02:20:22 | <d34df00d> | Oh hi L29Ah |
| 2021-03-25 02:21:24 | <d34df00d> | > [19:38:31] L29Ah: i hope haskell will write code for me someday, given the type signatures ;) |
| 2021-03-25 02:21:26 | <lambdabot> | <hint>:1:64: error: <hint>:1:64: error: parse error on input ‘,’ |
| 2021-03-25 02:21:30 | <d34df00d> | Generic and DeriveVia all the things! |
| 2021-03-25 02:22:07 | × | azure3 quits (~azure@103.154.230.130) (Read error: Connection reset by peer) |
| 2021-03-25 02:23:00 | → | dcoutts_ joins (~dcoutts@unaffiliated/dcoutts) |
| 2021-03-25 02:25:18 | × | dcoutts quits (~dcoutts@unaffiliated/dcoutts) (Ping timeout: 246 seconds) |
| 2021-03-25 02:25:26 | → | cheater1 joins (~user@unaffiliated/cheater) |
| 2021-03-25 02:25:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-25 02:25:42 | × | dcoutts__ quits (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 256 seconds) |
| 2021-03-25 02:25:50 | <Axman6> | and djinn all the things |
| 2021-03-25 02:25:57 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 2021-03-25 02:26:18 | → | dcoutts joins (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-03-25 02:26:46 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 258 seconds) |
| 2021-03-25 02:26:48 | × | kini quits (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-03-25 02:26:51 | cheater1 | is now known as cheater |
| 2021-03-25 02:27:49 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-03-25 02:28:08 | → | kini joins (~kini@unaffiliated/kini) |
| 2021-03-25 02:28:18 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-25 02:28:39 | → | azure3 joins (~azure@103.154.230.130) |
| 2021-03-25 02:30:41 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:8e5:4383:183d:afed) |
| 2021-03-25 02:30:54 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-03-25 02:33:01 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds) |
| 2021-03-25 02:33:04 | × | Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 256 seconds) |
| 2021-03-25 02:33:40 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 258 seconds) |
| 2021-03-25 02:35:21 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-25 02:38:41 | × | average quits (uid473595@gateway/web/irccloud.com/x-jidrtzqhvfslyggr) (Quit: Connection closed for inactivity) |
| 2021-03-25 02:39:37 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-tsrnritnmsiiiwsr) (Quit: Connection closed for inactivity) |
| 2021-03-25 02:42:11 | × | jul1u5 quits (~julius@85.206.103.207) (Remote host closed the connection) |
| 2021-03-25 02:42:34 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-25 02:48:13 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-25 02:50:22 | → | azure4 joins (~azure@103.154.230.130) |
| 2021-03-25 02:53:21 | × | azure3 quits (~azure@103.154.230.130) (Ping timeout: 264 seconds) |
| 2021-03-25 02:54:20 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-25 02:55:37 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-25 02:56:02 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-25 02:56:23 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-25 03:00:00 | → | brandly joins (~brandly@c-73-68-15-46.hsd1.ma.comcast.net) |
| 2021-03-25 03:01:46 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-03-25 03:02:42 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-03-25 03:03:10 | × | azure4 quits (~azure@103.154.230.130) (Ping timeout: 268 seconds) |
| 2021-03-25 03:03:25 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-25 03:03:28 | → | azure4 joins (~azure@103.154.230.130) |
All times are in UTC.