Logs on 2025-06-24 (liberachat/#haskell)
| 00:02:25 | × | jespada quits (~jespada@r179-25-200-182.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 00:04:37 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:04:50 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 00:06:12 | → | Nosrep joins (~jimothy@user/nosrep) |
| 00:06:24 | × | finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 00:07:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:12:37 | <Nosrep> | anyone notice IntMap being noticeably slower than HashMap Int? |
| 00:13:14 | <Nosrep> | for context i've got a very large (maxes out at a million but i dont actually know how big it is) being added (and removed from if it hits a million) and looked up constantly |
| 00:13:25 | <Nosrep> | very large map* |
| 00:13:34 | <Nosrep> | seems weird because i'd expect intmap to be more specialized |
| 00:14:18 | <EvanR> | noticeably slower |
| 00:14:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:14:51 | <EvanR> | in the sense that 999999 is noticably less than a million, or what |
| 00:15:22 | <EvanR> | 10% slower? |
| 00:16:22 | <EvanR> | the cool part of IntMap is the theoretical constant costs |
| 00:17:19 | <Nosrep> | uhhh |
| 00:17:22 | <Nosrep> | let me check |
| 00:17:54 | <Nosrep> | 16% slower if using the hashmap int as a baseline |
| 00:18:56 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 00:19:01 | <geekosaur> | I've heard that claim a few times and I think the docs warn of it as well. IntMap is actually a different tree structure as well as having the key specialization, and for some (many?) use cases it may work out slower; you're supposed to benchmark both as needed |
| 00:19:28 | <geekosaur> | oh, yuou're comparing to HashMap. IntMap is a fingertree. hashing will usually be faster |
| 00:19:59 | <geekosaur> | you use IntMap when you want things a tree can do but hashes can't, specifically ordered access |
| 00:20:46 | <Nosrep> | oh ok |
| 00:22:11 | <Nosrep> | i guess ill stick with hashmaps then ordered isnt really a factor |
| 00:22:26 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:23:10 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:25:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:26:06 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 00:30:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 00:41:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:46:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:46:41 | → | kadobanana joins (~mud@user/kadoban) |
| 00:47:13 | × | mud quits (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 00:48:35 | → | RageD joins (~unk@user/RageD) |
| 00:53:09 | × | xff0x quits (~xff0x@2405:6580:b080:900:55ec:c9f:e8b1:7eb5) (Ping timeout: 252 seconds) |
| 00:55:44 | × | RageD quits (~unk@user/RageD) () |
| 00:56:10 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:56:24 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 00:57:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:59:13 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 01:00:34 | → | RageD joins (~unk@user/RageD) |
| 01:00:46 | × | RageD quits (~unk@user/RageD) (Client Quit) |
| 01:02:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 01:02:11 | <EvanR> | .oO( patricia / radix tree is also a finger tree ?) |
| 01:03:00 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 01:03:12 | → | mud joins (~mud@user/kadoban) |
| 01:03:45 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 276 seconds) |
| 01:05:04 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 01:06:07 | → | RageD joins (~unk@user/RageD) |
| 01:06:46 | × | RageD quits (~unk@user/RageD) (Client Quit) |
| 01:07:58 | → | RageD joins (~unk@2600:8800:b4c0:1c:7125:4d80:491c:152a) |
| 01:08:34 | × | RageD quits (~unk@2600:8800:b4c0:1c:7125:4d80:491c:152a) (Client Quit) |
| 01:09:10 | → | RageD joins (~unk@user/RageD) |
| 01:10:50 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 01:12:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:14:48 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds) |
| 01:15:29 | × | RageD quits (~unk@user/RageD) (Ping timeout: 248 seconds) |
| 01:17:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:18:38 | × | FANTOM quits (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 01:19:21 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 01:23:00 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 01:25:09 | → | mange joins (~mange@user/mange) |
| 01:27:34 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 01:28:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:28:58 | → | FANTOM joins (~fantom@33be818f.skybroadband.com) |
| 01:29:49 | × | FANTOM quits (~fantom@33be818f.skybroadband.com) (Read error: No route to host) |
| 01:33:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 01:35:04 | → | FANTOM joins (~fantom@33be818f.skybroadband.com) |
| 01:35:30 | × | mud quits (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 01:35:35 | → | kadobanana joins (~mud@user/kadoban) |
| 01:39:33 | <int-e> | EvanR: yeah that was wrong |
| 01:41:03 | <int-e> | tries do have digits though |
| 01:44:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:50:37 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 01:50:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:51:26 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:54:58 | → | prdak joins (~Thunderbi@user/prdak) |
| 01:58:21 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:59:13 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 02:02:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:07:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 02:11:33 | × | ft quits (~ft@p3e9bcab0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 02:13:24 | → | ft joins (~ft@p3e9bc4ba.dip0.t-ipconnect.de) |
| 02:17:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:23:19 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 02:23:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 02:23:50 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 02:29:19 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 02:33:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:34:38 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 02:35:04 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:35:17 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 02:37:58 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 02:38:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 02:49:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:54:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 02:56:17 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 248 seconds) |
| 03:05:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:10:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:16:21 | → | aforemny_ joins (~aforemny@2001:9e8:6cc0:300:cecc:24db:2c1b:968d) |
| 03:18:00 | × | aforemny quits (~aforemny@i577B12AC.versanet.de) (Ping timeout: 268 seconds) |
| 03:18:27 | trickard_ | is now known as trickard |
| 03:20:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:25:03 | → | lol_ joins (~lol@2603:3016:1e01:b960:bc51:80a4:4f7b:b6fb) |
| 03:27:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 03:29:16 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b960:99e3:ef0a:3cb8:6763) (Ping timeout: 276 seconds) |
| 03:30:49 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:31:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:33:36 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:33:50 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 03:36:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 03:40:06 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 03:40:24 | → | califax joins (~califax@user/califx) |
| 03:42:21 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 03:43:25 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 03:44:39 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 03:45:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 03:45:23 | × | sim590 quits (~simon@2001:18c0:a82:2400::9fb) (Quit: WeeChat 4.6.3) |
| 03:47:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:49:16 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:50:29 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 03:52:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 03:58:07 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 03:58:22 | → | Bad_K4rMa joins (uid452915@user/Bad-K4rMa:28376) |
| 03:59:32 | × | dutchie quits (~dutchie@user/dutchie) (Ping timeout: 265 seconds) |
| 03:59:51 | → | dutchie joins (~dutchie@user/dutchie) |
| 04:00:41 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:00:56 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 04:02:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:07:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:10:10 | lol_ | is now known as jcarpenter2 |
| 04:11:18 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:12:39 | → | img joins (~img@user/img) |
| 04:18:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:23:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:27:46 | → | prdak joins (~Thunderbi@user/prdak) |
| 04:33:23 | ← | Bad_K4rMa parts (uid452915@user/Bad-K4rMa:28376) () |
| 04:34:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:37:15 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 04:37:44 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 04:38:48 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 04:39:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:41:59 | → | poscat joins (~poscat@user/poscat) |
| 04:50:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:50:16 | → | michalz joins (~michalz@185.246.207.201) |
| 04:52:44 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 04:54:18 | → | puke joins (~puke@user/puke) |
| 04:55:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 04:58:40 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:05:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:07:39 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:10:09 | × | Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 248 seconds) |
| 05:17:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:21:13 | → | soverysour joins (~soverysou@84.232.150.142) |
| 05:21:14 | × | soverysour quits (~soverysou@84.232.150.142) (Changing host) |
| 05:21:14 | → | soverysour joins (~soverysou@user/soverysour) |
| 05:28:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:31:29 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 248 seconds) |
| 05:33:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:37:55 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 05:46:56 | → | prdak joins (~Thunderbi@user/prdak) |
| 05:51:13 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 05:57:04 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 06:05:25 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 06:20:26 | → | shaeto joins (~Shaeto@94.25.234.84) |
| 06:22:41 | <[exa]> | is there a common pattern/recommendation for the "usual" concurrent haskell on how to communicate with a worker thread that is processing&answering requests asynchronously? |
| 06:23:16 | <[exa]> | I thought I'd make some kind of a Chan as an input, and people would also push in an empty MVar (or such) into the request as a channel for the answer. |
| 06:31:44 | <Leary> | [exa]: I have this lying around: https://gist.github.com/LSLeary/e139dfe025e2ed5a47040106b321dbc3 |
| 06:32:40 | <[exa]> | Leary: you're best, thanks! |
| 06:33:08 | <[exa]> | any particular reason for choosing TMVar for sending the results back? |
| 06:34:19 | <[exa]> | (I assume that's for stm capability + put semantics?) |
| 06:35:05 | <Leary> | Just so you can leverage STM when waiting on multiple results. You can replace it with `MVar` and `Chan` if you prefer. |
| 06:35:52 | <[exa]> | ok perfect, thanks for confirm! |
| 06:51:19 | → | soverysour joins (~soverysou@84.232.150.142) |
| 06:51:19 | × | soverysour quits (~soverysou@84.232.150.142) (Changing host) |
| 06:51:19 | → | soverysour joins (~soverysou@user/soverysour) |
| 06:54:50 | → | prdak joins (~Thunderbi@user/prdak) |
| 06:55:36 | <[exa]> | Leary: the "try work" part is underrated |
| 06:56:18 | hsw_ | is now known as hsw |
| 06:56:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:00:01 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:41 | → | caconym7 joins (~caconym@user/caconym) |
| 07:01:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 07:02:07 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:03:53 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 07:04:39 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:06:27 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 07:08:29 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 07:21:27 | → | Square2 joins (~Square@user/square) |
| 07:22:27 | → | Katarushisu joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 07:24:28 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 07:27:29 | → | acidjnk joins (~acidjnk@p200300d6e70b6636cdb308402753529f.dip0.t-ipconnect.de) |
| 07:29:41 | trickard_ | is now known as trickard |
| 07:33:47 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:35:04 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 07:35:43 | <tomsmeding> | magic_rb: this Thursday I'll be here, sorry https://conf.researchr.org/home/dfdm-2025 |
| 07:36:01 | <tomsmeding> | same city though |
| 07:37:19 | <tomsmeding> | magic_rb: what time and where? If it's close by I may sneak out (if you want to send that privately, my email is here https://tomsmeding.com/ ) |
| 07:37:29 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 245 seconds) |
| 07:40:29 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 07:42:50 | <tomsmeding> | magic_rb: for similar results as monochrom's example but a little more complex, expand the LogicT newtype in the type of embedLogicT https://hackage-content.haskell.org/package/logict-0.8.2.0/docs/Control-Monad-Logic.html#v:embedLogicT |
| 07:43:36 | <tomsmeding> | the name is also not too shabby for such an example ("embedLogicT") |
| 07:48:09 | → | merijn joins (~merijn@77.242.116.146) |
| 07:50:10 | → | alexherbo2 joins (~alexherbo@2a02-8440-3605-68d5-9ce1-6c41-bae0-8a0f.rev.sfr.net) |
| 07:51:57 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 07:52:13 | <[exa]> | Leary: still kinda wondering about the design space; why not send through a response-sending function instead of the TMVar? |
| 07:55:25 | <tomsmeding> | [exa]: I guess that depends on whether you will be making use of that additional flexibility |
| 07:55:47 | <[exa]> | yeah, currently wondering what would that additional flexibility be |
| 07:55:49 | <[exa]> | :D |
| 07:56:07 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 07:56:28 | <tomsmeding> | what monad would that response-sending function run in? If STM then as a consumer you're limited to STM stuff, i.e. you can't send the response onto the network immediately |
| 07:56:46 | <tomsmeding> | If IO, then you can't use it as part of a larger STM transaction, like Leary's usecase of waiting on multiple results simultaneously |
| 07:57:14 | → | prdak joins (~Thunderbi@user/prdak) |
| 07:59:11 | AlexNoo_ | is now known as AlexNoo |
| 08:00:33 | <[exa]> | ha, multiple results, good |
| 08:00:35 | <[exa]> | didn't notice that |
| 08:01:13 | <[exa]> | anyway there's probably scotty on the other side so I assume I might need to pull in ActionT, which ain't super cool |
| 08:01:14 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 08:01:16 | <[exa]> | MVar it is. |
| 08:01:51 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 08:02:18 | [exa] | suddenly becomes ultrafunctional |
| 08:02:26 | [exa] | will send through a function that sets the mvar |
| 08:02:37 | [exa] | hides back to his cellar |
| 08:04:24 | <tomsmeding> | [exa]: so you choose the IO option? :P |
| 08:05:20 | <tomsmeding> | [exa]: ActionT is just a ReaderT, so if it's ActionT IO then you can unlift it to normal IO |
| 08:05:35 | <[exa]> | like, the worker is a totally IO so doesn't make much sense to do anything else in there |
| 08:05:51 | <tomsmeding> | make sense |
| 08:05:51 | <[exa]> | on the other side folks have the choice to adapt it |
| 08:06:03 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 08:06:22 | × | ft quits (~ft@p3e9bc4ba.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:06:26 | <tomsmeding> | well it means that you can't do the simultaneous STM waiting trick |
| 08:06:33 | <tomsmeding> | but if you don't need that then it doesn't matter |
| 08:06:36 | <[exa]> | yeah that I don't need |
| 08:19:32 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 08:20:42 | → | soverysour joins (~soverysou@84.232.150.142) |
| 08:20:43 | × | soverysour quits (~soverysou@84.232.150.142) (Changing host) |
| 08:20:43 | → | soverysour joins (~soverysou@user/soverysour) |
| 08:23:52 | × | alexherbo2 quits (~alexherbo@2a02-8440-3605-68d5-9ce1-6c41-bae0-8a0f.rev.sfr.net) (Remote host closed the connection) |
| 08:24:20 | → | alexherbo2 joins (~alexherbo@2a02-8440-3605-68d5-9ce1-6c41-bae0-8a0f.rev.sfr.net) |
| 08:25:21 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 08:29:05 | → | merijn joins (~merijn@77.242.116.146) |
| 08:30:00 | × | alexherbo2 quits (~alexherbo@2a02-8440-3605-68d5-9ce1-6c41-bae0-8a0f.rev.sfr.net) (Remote host closed the connection) |
| 08:32:29 | trickard_ | is now known as trickard |
| 08:34:25 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 248 seconds) |
| 08:40:03 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b960:bc51:80a4:4f7b:b6fb) (Ping timeout: 276 seconds) |
| 08:41:32 | → | jcarpenter2 joins (~lol@96.78.87.197) |
| 08:45:09 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 08:49:22 | × | AlexZenon quits (~alzenon@178.34.163.228) (Quit: ;-) |
| 08:51:15 | × | AlexNoo quits (~AlexNoo@178.34.163.228) (Quit: Leaving) |
| 08:56:03 | → | merijn joins (~merijn@77.242.116.146) |
| 08:58:00 | → | chele joins (~chele@user/chele) |
| 09:10:36 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 09:14:21 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 09:14:58 | → | kuribas joins (~user@ptr-17d51eov50enbadnzpg.18120a2.ip6.access.telenet.be) |
| 09:15:15 | <Leary> | [exa]: You could do that, but I don't see any nice way to deal with the exceptions. The `T/MVar` approach ensures they go precisely where they should. |
| 09:29:22 | → | AlexNoo joins (~AlexNoo@178.34.163.228) |
| 09:37:50 | → | __monty__ joins (~toonn@user/toonn) |
| 09:40:31 | → | AlexZenon joins (~alzenon@178.34.163.228) |
| 09:50:06 | → | dhil joins (~dhil@5.151.29.138) |
| 09:51:28 | × | acidjnk quits (~acidjnk@p200300d6e70b6636cdb308402753529f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 09:55:46 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 10:00:16 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:00:29 | → | trickard joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 10:21:39 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 10:22:06 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 10:22:06 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
| 10:24:29 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:29:00 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 10:31:10 | → | acidjnk joins (~acidjnk@p200300d6e70b66369d18a7843707d3cd.dip0.t-ipconnect.de) |
| 10:32:11 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 10:32:19 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 10:33:03 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 10:33:34 | Lord_of_Life_ | is now known as Lord_of_Life |
| 10:34:09 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:34:23 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:34:38 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 10:37:41 | → | merijn joins (~merijn@77.242.116.146) |
| 10:41:40 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 10:44:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:45:31 | → | lianhuayu joins (~lianhuayu@81.28.13.99) |
| 10:45:40 | × | lianhuayu quits (~lianhuayu@81.28.13.99) (Client Quit) |
| 10:52:22 | → | merijn joins (~merijn@77.242.116.146) |
| 10:55:26 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 10:55:39 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 10:57:17 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:58:23 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:59:22 | trickard_ | is now known as trickard |
| 11:00:05 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 11:01:37 | → | jespada joins (~jespada@r179-25-200-182.dialup.adsl.anteldata.net.uy) |
| 11:02:18 | → | caconym7 joins (~caconym@user/caconym) |
| 11:07:12 | <[exa]> | Leary: ha, good point |
| 11:07:14 | <[exa]> | thanks |
| 11:07:33 | × | nacation quits (~m-3l4s76@user/nacation) (Ping timeout: 248 seconds) |
| 11:13:57 | → | nacation joins (~m-3l4s76@user/nacation) |
| 11:14:04 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:16:46 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 11:19:57 | × | jespada quits (~jespada@r179-25-200-182.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 11:22:14 | → | xff0x joins (~xff0x@2405:6580:b080:900:14cc:cd6:9b7c:5d0) |
| 11:22:33 | → | jespada joins (~jespada@r179-24-17-8.dialup.adsl.anteldata.net.uy) |
| 11:28:52 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 11:31:55 | × | divya- quits (divya@140.238.251.170) (Ping timeout: 244 seconds) |
| 11:44:59 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 11:46:51 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 11:51:20 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:10:21 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 12:11:48 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:18:47 | → | divya joins (~divya@140.238.251.170) |
| 12:20:17 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 12:20:18 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 12:20:18 | → | haritz joins (~hrtz@user/haritz) |
| 12:20:35 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 12:20:35 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 12:21:07 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 12:21:07 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 12:21:07 | → | haritz joins (~hrtz@user/haritz) |
| 12:26:05 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 12:27:12 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:27:26 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 12:29:19 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 12:31:07 | × | shaeto quits (~Shaeto@94.25.234.84) (Quit: WeeChat 4.1.1) |
| 12:40:51 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 12:46:29 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:48:43 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 13:02:55 | → | ubert joins (~Thunderbi@2a02:8109:abb3:7000:85d8:5197:27ae:e46d) |
| 13:10:18 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:10:32 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 13:18:17 | → | shaeto joins (~Shaeto@94.25.234.84) |
| 13:21:21 | × | piele quits (~piele@eiseth.creativeserver.net) (Ping timeout: 248 seconds) |
| 13:22:42 | × | shaeto quits (~Shaeto@94.25.234.84) (Ping timeout: 244 seconds) |
| 13:24:35 | → | shaeto joins (~Shaeto@94.25.234.84) |
| 13:27:55 | → | piele joins (~piele@eiseth.creativeserver.net) |
| 13:41:14 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 13:51:08 | × | shaeto quits (~Shaeto@94.25.234.84) (Ping timeout: 265 seconds) |
| 13:56:30 | → | shaeto joins (~Shaeto@94.25.234.84) |
| 13:59:00 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 14:01:01 | → | ystael joins (~ystael@user/ystael) |
| 14:03:13 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 14:07:48 | × | shaeto quits (~Shaeto@94.25.234.84) (Ping timeout: 252 seconds) |
| 14:13:57 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:14:09 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 14:14:10 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 14:14:32 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 14:16:06 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 14:18:03 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 14:19:45 | → | shaeto joins (~Shaeto@94.25.234.84) |
| 14:20:08 | → | gmg joins (~user@user/gehmehgeh) |
| 14:21:53 | → | gp joins (~gp@net-188-217-43-7.cust.vodafonedsl.it) |
| 14:24:17 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 14:25:12 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 14:26:52 | ← | pounce parts (~pounce@user/cute/pounce) (WeeChat 4.6.3) |
| 14:28:45 | → | weary-traveler joins (~user@user/user363627) |
| 14:32:30 | → | cawfee joins (root@2401:c080:3800:3460::babe) |
| 14:33:39 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 276 seconds) |
| 14:34:34 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 14:35:20 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 14:38:57 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 252 seconds) |
| 14:47:04 | → | sam113101 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 14:53:04 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 14:55:45 | × | gp quits (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 248 seconds) |
| 15:04:25 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 15:08:20 | trickard_ | is now known as trickard |
| 15:09:43 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 15:22:04 | × | weary-traveler quits (~user@user/user363627) (Read error: Connection reset by peer) |
| 15:22:20 | → | weary-traveler joins (~user@user/user363627) |
| 15:23:20 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:27:10 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 15:29:08 | → | weary-traveler joins (~user@user/user363627) |
| 15:30:36 | × | acidjnk quits (~acidjnk@p200300d6e70b66369d18a7843707d3cd.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 15:31:16 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:31:29 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 15:37:21 | → | j1n37 joins (~j1n37@user/j1n37) |
| 15:38:39 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 15:41:15 | → | SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky) |
| 15:43:30 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 15:43:30 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 15:43:30 | ljdarj1 | is now known as ljdarj |
| 15:49:28 | → | soverysour joins (~soverysou@84.232.150.142) |
| 15:49:28 | × | soverysour quits (~soverysou@84.232.150.142) (Changing host) |
| 15:49:28 | → | soverysour joins (~soverysou@user/soverysour) |
| 15:49:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 15:54:06 | → | merijn joins (~merijn@77.242.116.146) |
| 15:58:57 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 16:00:40 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 16:01:35 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 16:03:21 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 276 seconds) |
| 16:06:41 | → | soverysour joins (~soverysou@84.232.150.142) |
| 16:06:41 | × | soverysour quits (~soverysou@84.232.150.142) (Changing host) |
| 16:06:41 | → | soverysour joins (~soverysou@user/soverysour) |
| 16:07:15 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:12:02 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 16:12:42 | → | Nosrep joins (~jimothy@user/nosrep) |
| 16:16:35 | → | comerijn joins (~merijn@77.242.116.146) |
| 16:17:39 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 16:20:13 | → | acidjnk joins (~acidjnk@p200300d6e70b6633447f0ca591f12fea.dip0.t-ipconnect.de) |
| 16:21:16 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 16:27:15 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 16:29:10 | → | soverysour joins (~soverysou@84.232.150.142) |
| 16:29:11 | × | soverysour quits (~soverysou@84.232.150.142) (Changing host) |
| 16:29:11 | → | soverysour joins (~soverysou@user/soverysour) |
| 16:29:37 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 16:33:45 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 16:35:28 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 265 seconds) |
| 16:36:17 | → | hseg joins (~gesh@46.120.20.122) |
| 16:36:33 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 16:38:05 | × | shaeto quits (~Shaeto@94.25.234.84) (Quit: WeeChat 4.1.1) |
| 16:38:19 | → | shaeto joins (~Shaeto@94.25.234.84) |
| 16:39:56 | → | poscat joins (~poscat@user/poscat) |
| 16:45:11 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:52:05 | trickard_ | is now known as trickard |
| 16:52:49 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:53:12 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:58:05 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:00:52 | × | ubert quits (~Thunderbi@2a02:8109:abb3:7000:85d8:5197:27ae:e46d) (Remote host closed the connection) |
| 17:04:15 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:05:37 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 17:05:52 | → | ft joins (~ft@p3e9bc4ba.dip0.t-ipconnect.de) |
| 17:09:19 | × | cawfee quits (root@2401:c080:3800:3460::babe) (Quit: WeeChat 4.6.3) |
| 17:11:44 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 17:12:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:12:33 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:17:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 17:19:46 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 17:24:34 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 17:27:46 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 276 seconds) |
| 17:27:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:29:46 | → | soverysour joins (~soverysou@user/soverysour) |
| 17:30:49 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 245 seconds) |
| 17:31:45 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 17:32:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 17:41:12 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 265 seconds) |
| 17:42:17 | × | SlackCoder quits (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 17:43:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:51:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 17:55:47 | × | enikar quits (~enikar@user/enikar) (Quit: WeeChat 3.0) |
| 18:01:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:05:09 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 18:05:47 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 18:06:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:07:43 | × | stilgart quits (~Christoph@chezlefab.net) (Remote host closed the connection) |
| 18:17:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:17:52 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 18:22:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:28:30 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 18:33:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:36:40 | → | ira-peach joins (~ira-peach@c-73-88-12-87.hsd1.mn.comcast.net) |
| 18:36:52 | × | deriamis quits (nobody@2600:3c0a::f03c:95ff:fee8:f335) (Ping timeout: 252 seconds) |
| 18:38:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:38:03 | × | kuribas quits (~user@ptr-17d51eov50enbadnzpg.18120a2.ip6.access.telenet.be) (Ping timeout: 276 seconds) |
| 18:38:15 | → | deriamis joins (nobody@2600:3c0a::f03c:95ff:fee8:f335) |
| 18:40:25 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 18:40:50 | → | caubert joins (~caubert@user/caubert) |
| 18:42:52 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 18:43:14 | × | hseg quits (~gesh@46.120.20.122) (Ping timeout: 272 seconds) |
| 18:43:58 | → | cawfee joins (root@2401:c080:3800:3460::babe) |
| 18:44:55 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:47:04 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 18:48:18 | → | SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky) |
| 18:49:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:49:49 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 18:50:29 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 248 seconds) |
| 18:51:59 | → | sprotte24 joins (~sprotte24@p200300d16f2c9d00c1a0dcfcfe8beebe.dip0.t-ipconnect.de) |
| 18:54:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 18:55:08 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 18:58:57 | rvalue- | is now known as rvalue |
| 18:59:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:59:53 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 19:00:02 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:41 | → | caconym7 joins (~caconym@user/caconym) |
| 19:04:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:09:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 19:10:12 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds) |
| 19:11:20 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 19:15:58 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:15:59 | × | shaeto quits (~Shaeto@94.25.234.84) (Quit: WeeChat 4.1.1) |
| 19:18:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:25:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:26:06 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 19:32:01 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 19:35:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 19:36:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:41:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:52:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:55:58 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 19:56:00 | → | weary-traveler joins (~user@user/user363627) |
| 19:56:36 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 19:57:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:04:40 | → | nek0 joins (~nek0@user/nek0) |
| 20:08:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:10:50 | → | caubert joins (~caubert@user/caubert) |
| 20:13:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 20:17:40 | × | Ekho quits (~Ekho@user/ekho) (Ping timeout: 260 seconds) |
| 20:19:12 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 268 seconds) |
| 20:19:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:24:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:26:08 | → | Ekho joins (~Ekho@user/ekho) |
| 20:32:41 | → | caubert joins (~caubert@user/caubert) |
| 20:35:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:37:22 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:37:36 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 20:38:02 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 20:38:05 | → | pavonia joins (~user@user/siracusa) |
| 20:40:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:42:32 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 20:44:12 | → | caubert joins (~caubert@user/caubert) |
| 20:45:04 | × | ira-peach quits (~ira-peach@c-73-88-12-87.hsd1.mn.comcast.net) (Quit: leaving) |
| 20:50:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:55:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 20:57:41 | × | ttybitnik quits (~ttybitnik@user/wolper) (Read error: Connection reset by peer) |
| 20:58:59 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 21:00:58 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 21:02:10 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:02:23 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 21:06:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:11:38 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 21:12:27 | → | Square2 joins (~Square@user/square) |
| 21:12:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:24:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:29:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:30:03 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:32:54 | × | acidjnk quits (~acidjnk@p200300d6e70b6633447f0ca591f12fea.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 21:33:53 | → | acidjnk joins (~acidjnk@p200300d6e70b6633f9ef2c2f945967a1.dip0.t-ipconnect.de) |
| 21:39:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:40:58 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 21:41:29 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 21:41:36 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Client Quit) |
| 21:42:10 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 21:44:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:45:21 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 248 seconds) |
| 21:53:50 | × | dhil quits (~dhil@5.151.29.138) (Ping timeout: 252 seconds) |
| 21:55:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:00:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:01:55 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 22:09:58 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
| 22:11:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:12:20 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:16:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:18:28 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:23:40 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 22:27:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:28:55 | × | sprotte24 quits (~sprotte24@p200300d16f2c9d00c1a0dcfcfe8beebe.dip0.t-ipconnect.de) (Quit: Leaving) |
| 22:29:22 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 22:29:48 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 22:30:29 | × | Square2 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 22:31:37 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 22:31:52 | → | califax joins (~califax@user/califx) |
| 22:32:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 22:35:40 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 22:37:13 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 22:39:39 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 22:39:45 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 22:40:27 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 22:42:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:44:35 | → | kadobanana joins (~mud@user/kadoban) |
| 22:46:08 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:47:31 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:47:44 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 22:50:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 22:52:58 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 22:53:13 | → | califax joins (~califax@user/califx) |
| 22:54:49 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 22:59:50 | × | wbooze quits (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 23:00:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:02:31 | → | wbooze joins (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) |
| 23:02:42 | → | poliquin joins (~poliquin@access-63-249-67-94.static.cruzio.net) |
| 23:05:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:06:01 | → | mud joins (~mud@user/kadoban) |
| 23:06:29 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 265 seconds) |
| 23:06:55 | × | acidjnk quits (~acidjnk@p200300d6e70b6633f9ef2c2f945967a1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:10:28 | × | wbooze quits (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 23:13:19 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 23:13:37 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 23:15:36 | × | perro quits (~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 276 seconds) |
| 23:16:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:21:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:23:25 | <poliquin> | I'm having trouble with a space leak. I have solved them before but this (these) have been problematic. I have a boolean network sim using an evolutionary Ai (PSO) for training (lots of individuals being 'rewritten' .. So two potential culprits .. Sim and PSO .. |
| 23:23:39 | <poliquin> | I've tried profiling, hc, hm, force, bangs, not brave enough for NFData etc .. They imply almost every function is leaking. I just need some sane direction as to what to do next .. I've been shotgunning it I'd like to try something more deterministic. Thanks |
| 23:29:54 | × | jespada quits (~jespada@r179-24-17-8.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 23:32:24 | → | jespada joins (~jespada@r186-48-29-79.dialup.adsl.anteldata.net.uy) |
| 23:32:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:33:58 | → | tavare joins (~tavare@150.129.88.189) |
| 23:33:58 | × | tavare quits (~tavare@150.129.88.189) (Changing host) |
| 23:33:58 | → | tavare joins (~tavare@user/tavare) |
| 23:34:39 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 23:37:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:43:34 | × | tabaqui quits (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
| 23:44:59 | → | inline joins (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) |
| 23:48:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:52:44 | <c_wraith> | The only really systematic approach is to consider how every function should work in terms of space invaraints, and rewrite them to work that way. |
| 23:52:49 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 23:52:56 | <c_wraith> | ... invariants |
| 23:53:15 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:53:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:57:27 | <haskellbridge> | <magic_rb> my thesis is reaching a conclusion, final benchmarks running now, spoiler: im getting about 40% of linux kernel performance |
| 23:58:52 | <haskellbridge> | <magic_rb> this is the haskell filesystem thing |
All times are in UTC on 2025-06-24.