Logs: freenode/#haskell
| 2020-11-16 12:23:33 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-76-220.revip7.asianet.co.th) (Ping timeout: 256 seconds) |
| 2020-11-16 12:24:32 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2020-11-16 12:25:17 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-11-16 12:28:10 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2020-11-16 12:29:12 | × | Yumasi quits (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) (Read error: Connection reset by peer) |
| 2020-11-16 12:32:44 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@ppp-223-24-151-50.revip6.asianet.co.th) |
| 2020-11-16 12:34:40 | → | Yumasi joins (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) |
| 2020-11-16 12:38:01 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2020-11-16 12:43:30 | hackage | vulkan 3.6.15 - Bindings to the Vulkan graphics API. https://hackage.haskell.org/package/vulkan-3.6.15 (jophish) |
| 2020-11-16 12:46:08 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-16 12:47:52 | × | carlomagno quits (~cararell@148.87.23.8) (Remote host closed the connection) |
| 2020-11-16 12:48:30 | hackage | hpqtypes-extras 1.10.3.0 - Extra utilities for hpqtypes library https://hackage.haskell.org/package/hpqtypes-extras-1.10.3.0 (arybczak) |
| 2020-11-16 12:49:15 | → | ulidtko joins (~ulidtko@193.111.48.79) |
| 2020-11-16 12:50:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-11-16 12:52:51 | × | Sanchayan quits (~Sanchayan@171.61.102.109) (Quit: leaving) |
| 2020-11-16 12:53:14 | × | plutoniix quits (~q@175.176.222.7) (Quit: Leaving) |
| 2020-11-16 12:54:39 | → | texasmynsted joins (~texasmyns@212.102.45.103) |
| 2020-11-16 12:58:03 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-16 13:01:52 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2020-11-16 13:04:28 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2020-11-16 13:07:56 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@ppp-223-24-151-50.revip6.asianet.co.th) (Ping timeout: 272 seconds) |
| 2020-11-16 13:09:36 | × | Yumasi quits (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) (Read error: Connection reset by peer) |
| 2020-11-16 13:10:58 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 260 seconds) |
| 2020-11-16 13:13:26 | × | LKoen quits (~LKoen@9.253.88.92.rev.sfr.net) (Ping timeout: 256 seconds) |
| 2020-11-16 13:14:05 | → | LKoen joins (~LKoen@9.253.88.92.rev.sfr.net) |
| 2020-11-16 13:14:18 | → | whatisRT joins (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) |
| 2020-11-16 13:15:01 | → | Yumasi joins (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) |
| 2020-11-16 13:17:07 | → | knupfer joins (~Thunderbi@dynamic-046-114-148-109.46.114.pool.telefonica.de) |
| 2020-11-16 13:17:12 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-16 13:19:44 | <tomjaguarpaw> | Can I disable the garbage collector temporarily at run time and then re-enable by running some IO action? |
| 2020-11-16 13:20:03 | <merijn> | tomjaguarpaw: Not really |
| 2020-11-16 13:20:09 | <merijn> | tomjaguarpaw: Why? |
| 2020-11-16 13:20:15 | <tomjaguarpaw> | For benchmarking |
| 2020-11-16 13:20:30 | <tomjaguarpaw> | or at least to determine whether it's GC that's taking time in my benchmarks |
| 2020-11-16 13:20:35 | <merijn> | tomjaguarpaw: You can *force* a collection ahead of time |
| 2020-11-16 13:20:45 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-11-16 13:20:53 | <tomjaguarpaw> | Hmm, OK, that will be a good start |
| 2020-11-16 13:21:01 | <merijn> | tomjaguarpaw: That's what criterion does. Fully evaluate all data structures before benchmark, then trigger GC explicitly, then benchmark |
| 2020-11-16 13:21:09 | <merijn> | Which should make major collections unlikely |
| 2020-11-16 13:21:23 | <tomjaguarpaw> | How do I do that? |
| 2020-11-16 13:21:29 | <merijn> | @Hoogle performGC |
| 2020-11-16 13:21:30 | <lambdabot> | Maybe you meant: hoogle google |
| 2020-11-16 13:21:33 | <merijn> | @hoogle performGC |
| 2020-11-16 13:21:33 | <lambdabot> | System.Mem performGC :: IO () |
| 2020-11-16 13:21:33 | <lambdabot> | BasePrelude performGC :: IO () |
| 2020-11-16 13:21:33 | <lambdabot> | Pipes.Concurrent performGC :: IO () |
| 2020-11-16 13:23:15 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-16 13:23:30 | <tomjaguarpaw> | merijn: Cool, thanks! I will give it a go. |
| 2020-11-16 13:23:41 | <merijn> | tomjaguarpaw: You can study how criterion works too |
| 2020-11-16 13:23:49 | <merijn> | (or just use criterion if possible :p) |
| 2020-11-16 13:26:16 | × | vjoki quits (vjoki@2a00:d880:3:1::fea1:9ae) (Quit: ...) |
| 2020-11-16 13:26:57 | → | vjoki joins (vjoki@2a00:d880:3:1::fea1:9ae) |
| 2020-11-16 13:27:08 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-11-16 13:27:38 | × | rdivacky quits (~rdivacky@212.96.173.4) (Read error: Connection reset by peer) |
| 2020-11-16 13:27:54 | → | rdivacky joins (~rdivacky@212.96.173.4) |
| 2020-11-16 13:27:54 | × | lockshaw quits (~lockshaw@165.22.163.71) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2020-11-16 13:29:04 | → | Guest2830 joins (~geekosaur@84.39.117.57) |
| 2020-11-16 13:33:31 | → | lockshaw joins (~lockshaw@165.22.163.71) |
| 2020-11-16 13:34:03 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-nsgilupshvjjyzul) |
| 2020-11-16 13:34:09 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 2020-11-16 13:38:17 | lep-delete | is now known as test |
| 2020-11-16 13:38:36 | test | is now known as lep-delete |
| 2020-11-16 13:40:30 | hackage | git-annex 8.20201116 - manage files with git, without checking their contents into git https://hackage.haskell.org/package/git-annex-8.20201116 (JoeyHess) |
| 2020-11-16 13:41:22 | × | toorevitimirp quits (~tooreviti@117.182.180.118) (Ping timeout: 246 seconds) |
| 2020-11-16 13:41:34 | → | raichoo joins (~raichoo@dslb-088-077-025-015.088.077.pools.vodafone-ip.de) |
| 2020-11-16 13:41:52 | → | toorevitimirp joins (~tooreviti@117.182.180.118) |
| 2020-11-16 13:47:45 | × | knupfer quits (~Thunderbi@dynamic-046-114-148-109.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2020-11-16 13:48:36 | → | ggole joins (~ggole@2001:8003:8119:7200:a813:5a33:e96f:8fc6) |
| 2020-11-16 13:49:25 | × | Yumasi quits (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) (Ping timeout: 264 seconds) |
| 2020-11-16 13:49:53 | → | Yumasi joins (~guillaume@static-176-175-104-214.ftth.abo.bbox.fr) |
| 2020-11-16 13:52:21 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-11-16 13:53:27 | × | RandIter quits (~RandIter@178.162.212.214) (Remote host closed the connection) |
| 2020-11-16 13:53:43 | → | Sanchayan joins (~Sanchayan@171.61.102.109) |
| 2020-11-16 13:56:32 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-11-16 14:00:58 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 246 seconds) |
| 2020-11-16 14:02:41 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 265 seconds) |
| 2020-11-16 14:02:58 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-76-220.revip7.asianet.co.th) |
| 2020-11-16 14:03:23 | → | servo joins (~servo@41.92.32.131) |
| 2020-11-16 14:03:24 | × | servo quits (~servo@41.92.32.131) (Max SendQ exceeded) |
| 2020-11-16 14:03:33 | → | cinimod_ joins (uid93893@gateway/web/irccloud.com/x-jjuixteopossqepf) |
| 2020-11-16 14:03:47 | → | servo joins (~servo@41.92.32.131) |
| 2020-11-16 14:03:48 | × | servo quits (~servo@41.92.32.131) (Max SendQ exceeded) |
| 2020-11-16 14:04:12 | → | servo joins (~servo@41.92.32.131) |
| 2020-11-16 14:04:13 | × | servo quits (~servo@41.92.32.131) (Max SendQ exceeded) |
| 2020-11-16 14:04:34 | → | servo joins (~servo@41.92.97.254) |
| 2020-11-16 14:04:35 | × | servo quits (~servo@41.92.97.254) (Max SendQ exceeded) |
| 2020-11-16 14:04:56 | → | servo joins (~servo@41.92.97.254) |
| 2020-11-16 14:04:57 | × | servo quits (~servo@41.92.97.254) (Max SendQ exceeded) |
| 2020-11-16 14:05:00 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-16 14:05:16 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8491:5fed:8d7f:daad) |
| 2020-11-16 14:05:20 | → | servo joins (~servo@41.92.97.254) |
| 2020-11-16 14:05:21 | × | servo quits (~servo@41.92.97.254) (Max SendQ exceeded) |
| 2020-11-16 14:05:46 | → | servo joins (~servo@41.92.32.131) |
| 2020-11-16 14:05:47 | × | servo quits (~servo@41.92.32.131) (Max SendQ exceeded) |
| 2020-11-16 14:06:09 | → | servo joins (~servo@41.92.97.254) |
| 2020-11-16 14:06:10 | × | servo quits (~servo@41.92.97.254) (Max SendQ exceeded) |
| 2020-11-16 14:06:32 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2020-11-16 14:06:36 | → | servo joins (~servo@41.92.32.131) |
| 2020-11-16 14:06:37 | × | servo quits (~servo@41.92.32.131) (Max SendQ exceeded) |
| 2020-11-16 14:07:00 | → | servo joins (~servo@41.92.97.254) |
All times are in UTC.