2025-06-30 00:00:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-30 00:04:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-30 00:05:46 +0200 | <probie> | What's a good way to make an IO function run once. e.g. `myFunction >> myFunction = myFunction`. All that immediately comes to mind is using `unsafePerformIO` to make a top-level IORef. (context: binding to a C library that needs exactly 1 init call) |
2025-06-30 00:05:57 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 00:06:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-30 00:06:27 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-30 00:06:27 +0200 | benkard | mulk |
2025-06-30 00:07:56 +0200 | <glguy> | probie: Basically what you're thinking: https://github.com/haskell-cryptography/HsOpenSSL/blob/master/OpenSSL.hs#L82-L108 |
2025-06-30 00:08:18 +0200 | <glguy> | some libraries already detect if their init functions are called multiple times |
2025-06-30 00:10:51 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-30 00:11:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-30 00:12:06 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 00:12:15 +0200 | <EvanR> | a top level IORef which can only be written once ... aka an IVar might help |
2025-06-30 00:12:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-30 00:15:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-30 00:15:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-30 00:18:12 +0200 | <probie> | I'd consider an IVar if they were in base. But this is just some minor-book keeping so that any potential user of my library doesn't have to care that the original c library crashes if init is called twice |
2025-06-30 00:18:37 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-30 00:19:00 +0200 | <glguy> | They'll only care in the rare chance that something else links in the original C library |
2025-06-30 00:19:09 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-30 00:19:44 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 00:21:48 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-06-30 00:26:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-30 00:29:36 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 00:30:02 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-06-30 00:30:23 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-06-30 00:30:24 +0200 | benkard | mulk |
2025-06-30 00:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-06-30 00:31:27 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-06-30 00:31:56 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-30 00:33:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-06-30 00:36:20 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-30 00:36:33 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-06-30 00:42:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-30 00:42:28 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-06-30 00:42:32 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-30 00:43:14 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 00:45:38 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-30 00:47:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-30 00:47:23 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-30 00:49:48 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-30 00:49:55 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-06-30 00:51:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-30 00:51:07 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 00:54:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-30 00:54:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-30 00:55:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-30 00:55:35 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 00:55:40 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-30 00:55:42 +0200 | benkard | mulk |
2025-06-30 00:58:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-30 01:00:03 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-30 01:01:40 +0200 | sprotte24 | (~sprotte24@p200300d16f2eb8002500640e39f42dff.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-06-30 01:04:24 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 01:04:35 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-30 01:04:58 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-06-30 01:05:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-30 01:05:34 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-06-30 01:05:59 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-30 01:07:08 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2025-06-30 01:08:25 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 01:08:51 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-30 01:08:51 +0200 | benkard | mulk |
2025-06-30 01:12:26 +0200 | trickard_ | trickard |
2025-06-30 01:14:28 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 01:15:53 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2025-06-30 01:15:53 +0200 | benkard | mulk |
2025-06-30 01:16:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-30 01:19:35 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-30 01:20:01 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2025-06-30 01:21:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-30 01:22:15 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 01:24:40 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
2025-06-30 01:26:12 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 01:26:45 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-30 01:26:45 +0200 | benkard | mulk |
2025-06-30 01:31:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-30 01:33:42 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
2025-06-30 01:35:03 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 01:35:37 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-30 01:35:37 +0200 | benkard | mulk |
2025-06-30 01:35:57 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-30 01:36:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-30 01:39:11 +0200 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
2025-06-30 01:40:38 +0200 | acidjnk | (~acidjnk@p200300d6e70b669525dec1312200b270.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-06-30 01:41:59 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 01:42:09 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-30 01:42:09 +0200 | benkard | mulk |
2025-06-30 01:43:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-30 01:46:32 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 01:46:49 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2025-06-30 01:46:49 +0200 | benkard | mulk |
2025-06-30 01:47:33 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-30 01:47:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-30 01:51:17 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 01:51:39 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
2025-06-30 01:51:39 +0200 | benkard | mulk |
2025-06-30 01:51:47 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-30 01:52:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-30 01:56:05 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-06-30 01:58:01 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 02:02:48 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-06-30 02:02:57 +0200 | jespada | (~jespada@r179-25-68-191.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
2025-06-30 02:03:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-30 02:03:36 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 02:04:58 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2025-06-30 02:08:05 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 02:08:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-30 02:08:52 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-06-30 02:11:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-30 02:12:43 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-06-30 02:13:01 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-30 02:13:34 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-30 02:13:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-30 02:14:35 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 02:19:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-30 02:19:54 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 02:19:55 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-06-30 02:19:58 +0200 | Jeanne-Kamikaze | (~jeannekam@static-23-234-92-147.cust.tzulo.com) Jeanne-Kamikaze |
2025-06-30 02:20:01 +0200 | benkard | mulk |
2025-06-30 02:20:33 +0200 | mud | (~mud@user/kadoban) kadoban |
2025-06-30 02:21:18 +0200 | kadobanana | (~mud@user/kadoban) (Ping timeout: 276 seconds) |
2025-06-30 02:23:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-30 02:24:23 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-30 02:25:04 +0200 | jetchisel | (~jetchisel@user/jetchisel) (Quit: Unfortunately time is always against us -- [Morpheus]) |
2025-06-30 02:26:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-30 02:27:24 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6c6f:d601:8f7b:365d) (Ping timeout: 244 seconds) |
2025-06-30 02:27:52 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 02:29:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-30 02:32:55 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-06-30 02:33:11 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-30 02:33:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-06-30 02:34:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-30 02:35:41 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 02:38:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-06-30 02:40:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-30 02:41:08 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 02:41:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-30 02:42:02 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-30 02:42:20 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-30 02:42:43 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-06-30 02:43:21 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) jmorris |
2025-06-30 02:45:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-30 02:45:41 +0200 | benkard | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-06-30 02:46:22 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
2025-06-30 02:48:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-30 02:50:40 +0200 | inline | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-06-30 02:50:57 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2025-06-30 02:52:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-30 02:54:50 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-30 02:55:46 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-30 02:55:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-30 02:56:51 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |