| 2023-08-31 00:00:30 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
| 2023-08-31 00:01:05 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-31 00:01:51 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-31 00:06:30 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 244 seconds) |
| 2023-08-31 00:10:06 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 00:11:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) |
| 2023-08-31 00:11:56 +0200 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-08-31 00:12:56 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-31 00:14:22 +0200 | danza_ | (~francesco@151.19.244.206) (Read error: Connection reset by peer) |
| 2023-08-31 00:14:35 +0200 | danza_ | (~francesco@151.43.229.34) |
| 2023-08-31 00:15:17 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-08-31 00:18:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) (Remote host closed the connection) |
| 2023-08-31 00:18:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) |
| 2023-08-31 00:20:36 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-31 00:21:17 +0200 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Quit: beteigeuze) |
| 2023-08-31 00:22:56 +0200 | Square2 | (~Square4@user/square) |
| 2023-08-31 00:24:58 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-31 00:28:19 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 00:30:19 +0200 | thelounge793 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Quit: Ping timeout (120 seconds)) |
| 2023-08-31 00:30:36 +0200 | thelounge793 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) |
| 2023-08-31 00:30:59 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-31 00:53:54 +0200 | pavonia | (~user@user/siracusa) |
| 2023-08-31 00:55:39 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-31 01:02:18 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-31 01:02:23 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-31 01:05:56 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-31 01:10:28 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-31 01:10:36 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-08-31 01:15:26 +0200 | fserucas__ | (~fserucas@46.50.115.39) (Ping timeout: 245 seconds) |
| 2023-08-31 01:20:36 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-31 01:20:57 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-31 01:21:07 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 01:25:47 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-31 01:26:41 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-31 01:34:16 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-31 01:37:09 +0200 | falafel_ | (~falafel@233.68.6.51.dyn.plus.net) |
| 2023-08-31 01:37:58 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 255 seconds) |
| 2023-08-31 01:38:44 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-31 01:39:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-31 01:41:49 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::bd68) |
| 2023-08-31 01:43:35 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-08-31 01:46:20 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-08-31 01:46:41 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-31 01:47:15 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-08-31 01:47:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2023-08-31 01:48:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-31 01:48:29 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-31 01:48:54 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-31 01:52:52 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-08-31 01:54:18 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-31 01:55:31 +0200 | mima | (~mmh@net-93-67-213-89.cust.vodafonedsl.it) (Ping timeout: 244 seconds) |
| 2023-08-31 01:57:51 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-31 01:57:52 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-31 01:57:52 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-31 02:07:26 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-08-31 02:07:57 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-31 02:18:28 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:fdd5:1482:7428:6489) (Ping timeout: 246 seconds) |
| 2023-08-31 02:19:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-08-31 02:19:54 +0200 | vglfr | (~vglfr@cli-188-239-241-89.bbn.slav.dn.ua) |
| 2023-08-31 02:25:39 +0200 | falafel | (~falafel@181.68.6.51.dyn.plus.net) |
| 2023-08-31 02:27:02 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-31 02:27:29 +0200 | falafel_ | (~falafel@233.68.6.51.dyn.plus.net) (Ping timeout: 246 seconds) |
| 2023-08-31 02:28:07 +0200 | <Inst> | new ways to procrastinate, must resist |
| 2023-08-31 02:28:13 +0200 | <Inst> | add pure' to base |
| 2023-08-31 02:28:27 +0200 | <Inst> | well, too much trouble to write it to CLC |
| 2023-08-31 02:35:26 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-31 02:40:10 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 02:43:56 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-08-31 02:43:59 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-08-31 02:44:53 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-31 02:50:33 +0200 | <jackdk> | https://hackage.haskell.org/package/base-4.18.0.0/docs/Prelude.html#v:pure ????? |
| 2023-08-31 02:51:04 +0200 | <jackdk> | I'm not sure what you mean here. |
| 2023-08-31 02:51:39 +0200 | <int-e> | I think they are thinking about pure' x = pure $! x which I'm pretty sure will never happen |
| 2023-08-31 02:52:32 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2023-08-31 02:52:43 +0200 | <Inst> | deepseq in prelude though, what about that? |
| 2023-08-31 02:52:52 +0200 | <Inst> | force, at least |
| 2023-08-31 02:52:58 +0200 | <int-e> | lol |
| 2023-08-31 02:53:10 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-31 02:54:20 +0200 | <Inst> | conflicts with vector |
| 2023-08-31 02:54:39 +0200 | <int-e> | (lol because `force` is defined in terms of `deepseq`) |
| 2023-08-31 02:54:52 +0200 | <Inst> | i know |
| 2023-08-31 02:55:06 +0200 | <Inst> | or, at least i did, but it doesn't really matter because I don't use deepseq, I use force, like everyone else? |
| 2023-08-31 02:55:20 +0200 | <EvanR> | need a function which just primes any function. (a -> b) -> a -> b |
| 2023-08-31 02:55:22 +0200 | <int-e> | There will be strong resistance to adding anything to Prelude. |
| 2023-08-31 02:55:26 +0200 | <EvanR> | :t ($!) |
| 2023-08-31 02:55:27 +0200 | <lambdabot> | (a -> b) -> a -> b |
| 2023-08-31 02:55:31 +0200 | <int-e> | or against, rather |
| 2023-08-31 02:55:40 +0200 | <Inst> | bleh, w/e, just idle procrastination |
| 2023-08-31 02:55:47 +0200 | <EvanR> | try ($!) pure |
| 2023-08-31 02:56:00 +0200 | <Inst> | :t ($!) pure |
| 2023-08-31 02:56:01 +0200 | <lambdabot> | Applicative f => a -> f a |
| 2023-08-31 02:56:41 +0200 | <Inst> | i'd much rather XNoImplicitPrelude be added to GHC2025 or 2030 or something like that |
| 2023-08-31 02:57:21 +0200 | <int-e> | breaks too much |
| 2023-08-31 03:09:21 +0200 | <c_wraith> | Why would you want that? NoImplicitPrelude is for incredibly narrow use cases - when you want to change the desugaring of do notation, or something. |
| 2023-08-31 03:09:59 +0200 | <EvanR> | Inst, shirley you can't be serious |
| 2023-08-31 03:10:56 +0200 | <Inst> | i'm just nuts, thanks for taking me seriously |
| 2023-08-31 03:11:01 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-31 03:11:19 +0200 | <Inst> | NoImplicitPrelude just encourages everyone to roll their own prelude or use some prelude alternative |
| 2023-08-31 03:11:28 +0200 | <c_wraith> | If you really want to break stuff, add -XOverloadedStrings to GHC2025 |
| 2023-08-31 03:11:28 +0200 | <Inst> | it's a bad idea because it'll encourage community fragmentation |
| 2023-08-31 03:11:56 +0200 | <EvanR> | haskell is pretty amazing at how much useful stuff is used by most everybody |
| 2023-08-31 03:12:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-08-31 03:12:31 +0200 | dolio | (~dolio@130.44.134.54) (Ping timeout: 245 seconds) |
| 2023-08-31 03:12:35 +0200 | <c_wraith> | You don't need -XNoImplicitPrelude to use a custom Prelude. You only need it if you want to change how syntactic constructs that are compiled to calls to Prelude functions work. |
| 2023-08-31 03:13:07 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-08-31 03:13:24 +0200 | <c_wraith> | Like, it changes do notation from desugaring to (Prelude.>>) and (Prelude.>>=) into calling whatever (>>) and (>>=) are in scope. |
| 2023-08-31 03:13:37 +0200 | <geekosaur> | no, that's RebindableSyntax |
| 2023-08-31 03:13:50 +0200 | <c_wraith> | Hmm. Shoot. |
| 2023-08-31 03:14:41 +0200 | <c_wraith> | Oh. Right. NoImplicitPrelude just is the hard way to make your own Prelude. |
| 2023-08-31 03:15:11 +0200 | <c_wraith> | fun fact! the implicit import of Prelude doesn't specify that it has to come from base! |
| 2023-08-31 03:16:16 +0200 | <c_wraith> | (though if you want to make use of that, you need to make sure only one module named Prelude is in scope...) |
| 2023-08-31 03:16:22 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2023-08-31 03:17:09 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-31 03:17:53 +0200 | <dolio> | So if you don't depend directly on base, you can depend on some other package with a Prelude module? |
| 2023-08-31 03:18:10 +0200 | <c_wraith> | or if you use mixin support to rename base's Prelude module |
| 2023-08-31 03:18:24 +0200 | <dolio> | Oh. |
| 2023-08-31 03:18:42 +0200 | dove | (~irc@2600:3c00:e000:287::1) (Ping timeout: 244 seconds) |
| 2023-08-31 03:18:55 +0200 | <Inst> | does anyone actually use par monad? |
| 2023-08-31 03:18:56 +0200 | <c_wraith> | But yeah, GHC treats the invisible "import Prelude" identically to how it treats any other import |
| 2023-08-31 03:19:28 +0200 | dove | (~irc@2600:3c00:e000:287::1) |
| 2023-08-31 03:21:42 +0200 | <c_wraith> | Though I suppose for completeness, I should mention that if you *do* want to override do notation, QualifiedDo seems pretty nice. |
| 2023-08-31 03:22:05 +0200 | <c_wraith> | and is much clearer in terms of scope and function. |
| 2023-08-31 03:23:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-31 03:24:13 +0200 | <Inst> | btw, seriously, no one uses par monad here? |
| 2023-08-31 03:24:29 +0200 | <Inst> | i'm getting zero sparks from it, but performance benchmarks as parallelized |
| 2023-08-31 03:24:57 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2023-08-31 03:26:58 +0200 | <EvanR> | now I don't know if I can take you seriously anymore! |
| 2023-08-31 03:28:13 +0200 | <int-e> | https://hackage.haskell.org/package/monad-par-0.3.5/docs/Control-Monad-Par.html "The default implementation is based on a work-stealing scheduler that divides the work as evenly as possible between the available processors at runtime." |
| 2023-08-31 03:28:21 +0200 | <int-e> | No sparks. |
| 2023-08-31 03:28:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-31 03:28:31 +0200 | falafel | (~falafel@181.68.6.51.dyn.plus.net) (Ping timeout: 244 seconds) |
| 2023-08-31 03:28:38 +0200 | <int-e> | But you can switch to a sparks-based implementation by changing the import. |
| 2023-08-31 03:28:42 +0200 | int-e | yawns. |
| 2023-08-31 03:29:03 +0200 | <int-e> | Inst: Documentation, when available, is your friend. |
| 2023-08-31 03:29:07 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-08-31 03:29:29 +0200 | <int-e> | (No I haven't used that package.) |
| 2023-08-31 03:29:56 +0200 | <Axman6> | Alex, what is RTFM? |
| 2023-08-31 03:30:06 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-31 03:30:12 +0200 | <int-e> | Read The Fine Manual |
| 2023-08-31 03:30:36 +0200 | <Axman6> | Fine AF |
| 2023-08-31 03:31:32 +0200 | chromoblob | (~user@37.113.172.116) (Ping timeout: 246 seconds) |
| 2023-08-31 03:31:42 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::4) |
| 2023-08-31 03:35:11 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (Quit: Ping timeout (120 seconds)) |
| 2023-08-31 03:35:29 +0200 | <dolio> | Why are sparks bad but work stealing is okay? |
| 2023-08-31 03:36:48 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-08-31 03:39:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-31 03:39:56 +0200 | <Inst> | can I be reasonably expected to manage work stealing? sparks are more under my control, though |
| 2023-08-31 03:40:45 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-08-31 03:44:21 +0200 | <Inst> | like, to screw with sparks, i'll deliberately control chunk size, etc |
| 2023-08-31 03:47:46 +0200 | <hololeap> | curious if anyone has experience with the prettyprinter packge. I'd like to use it to generate a type of file that uses tabs instead of spaces for indentation |
| 2023-08-31 03:48:35 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds) |
| 2023-08-31 03:49:31 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2023-08-31 03:51:24 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 03:55:40 +0200 | otto_s | (~user@p5de2f1e6.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-08-31 03:56:53 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-31 03:57:15 +0200 | otto_s | (~user@p5de2fd75.dip0.t-ipconnect.de) |
| 2023-08-31 04:00:15 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-31 04:00:15 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-31 04:00:15 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-31 04:00:31 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-08-31 04:00:48 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-08-31 04:01:54 +0200 | <Inst> | and sorry about not reading the docs, I just assumed Par was an easier interface than Eval, because that's what the book suggested, i.e, it was intended to be simpler and less flexible |
| 2023-08-31 04:07:56 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2023-08-31 04:08:09 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-08-31 04:15:06 +0200 | danza__ | (~francesco@151.43.246.29) |
| 2023-08-31 04:15:09 +0200 | danza_ | (~francesco@151.43.229.34) (Read error: Connection reset by peer) |
| 2023-08-31 04:16:50 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-31 04:16:51 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-31 04:18:22 +0200 | img | (~img@user/img) |
| 2023-08-31 04:19:59 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-31 04:21:19 +0200 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 255 seconds) |
| 2023-08-31 04:23:17 +0200 | td_ | (~td@i53870906.versanet.de) |
| 2023-08-31 04:24:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9c90:a654:eded:3f9a) (Ping timeout: 245 seconds) |
| 2023-08-31 04:24:28 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-08-31 04:31:27 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-31 04:33:06 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2023-08-31 04:33:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-31 04:33:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-31 04:38:01 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::bd68) (Remote host closed the connection) |
| 2023-08-31 04:38:17 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-08-31 04:38:19 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::4272) |
| 2023-08-31 04:45:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-31 04:46:20 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::4272) (Ping timeout: 246 seconds) |
| 2023-08-31 04:50:30 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-08-31 04:54:25 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::4) (Remote host closed the connection) |
| 2023-08-31 04:56:12 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-31 05:03:20 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-31 05:06:32 +0200 | <int-e> | well that was what it was originally - check out version 0.1 to see |
| 2023-08-31 05:07:51 +0200 | <int-e> | Err, no, it already had its own scheduler then. I'm confused. |
| 2023-08-31 05:11:18 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-31 05:16:55 +0200 | simpleauthority | (~simpleaut@user/simpleauthority) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-31 05:17:16 +0200 | simpleauthority | (~simpleaut@user/simpleauthority) |
| 2023-08-31 05:17:17 +0200 | kitzman | (~kitzman@user/dekenevs) (Quit: C-x C-c) |
| 2023-08-31 05:17:17 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2023-08-31 05:17:28 +0200 | manwithluck | (~manwithlu@52.197.234.151) (Read error: Connection reset by peer) |
| 2023-08-31 05:17:36 +0200 | manwithl- | (manwithluc@ec2-52-197-234-151.ap-northeast-1.compute.amazonaws.com) |
| 2023-08-31 05:17:37 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:f15e:5a48:ddbc:fdbc) |
| 2023-08-31 05:18:16 +0200 | kitzman | (~kitzman@user/dekenevs) |
| 2023-08-31 05:19:22 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-08-31 05:24:19 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2023-08-31 05:24:33 +0200 | aforemny_ | (~aforemny@i59F516DD.versanet.de) |
| 2023-08-31 05:25:17 +0200 | aforemny | (~aforemny@2001:9e8:6cd7:9700:69c9:4833:ea9a:b62d) (Ping timeout: 244 seconds) |
| 2023-08-31 05:27:23 +0200 | razetime | (~quassel@49.207.192.55) |
| 2023-08-31 05:36:07 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-31 05:38:37 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-31 05:40:39 +0200 | libertyprime | (~libertypr@203.96.203.44) (Client Quit) |
| 2023-08-31 05:41:26 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 05:52:20 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-08-31 05:54:28 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-31 05:57:06 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 245 seconds) |
| 2023-08-31 06:05:29 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-31 06:09:00 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-08-31 06:11:44 +0200 | thegeekinside | (~thegeekin@189.180.81.59) (Ping timeout: 246 seconds) |
| 2023-08-31 06:15:40 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2023-08-31 06:16:04 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-31 06:17:32 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-08-31 06:25:25 +0200 | vglfr | (~vglfr@cli-188-239-241-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 2023-08-31 06:25:38 +0200 | vglfr | (~vglfr@cli-188-239-241-89.bbn.slav.dn.ua) |
| 2023-08-31 06:27:48 +0200 | danza__ | (~francesco@151.43.246.29) (Ping timeout: 244 seconds) |
| 2023-08-31 06:35:46 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2023-08-31 06:35:59 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::bd68) |
| 2023-08-31 06:37:42 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-08-31 06:39:25 +0200 | danza | (~francesco@151.57.245.63) |
| 2023-08-31 06:46:26 +0200 | acidjnk | (~acidjnk@p200300d6e7072f2058700104fa95aa5c.dip0.t-ipconnect.de) |
| 2023-08-31 06:48:30 +0200 | Vajb | (~Vajb@85-76-128-178-nat.elisa-mobile.fi) |
| 2023-08-31 06:56:22 +0200 | <Inst> | what is the joke? |
| 2023-08-31 06:56:23 +0200 | <Inst> | https://hackage.haskell.org/package/acme-all-monad |
| 2023-08-31 06:56:31 +0200 | <Inst> | does Proxy compose? |
| 2023-08-31 06:56:38 +0200 | <Inst> | *ProxyT |
| 2023-08-31 06:57:09 +0200 | <Inst> | ah, so this is used in pipes unironically |
| 2023-08-31 06:57:46 +0200 | <dolio> | This is the terminal monad. So all other monads 'interpret' into it. |
| 2023-08-31 06:58:04 +0200 | <Inst> | oh wait, not the same thing |
| 2023-08-31 06:59:52 +0200 | <dolio> | Like, you can make () an instance of all the numeric classes. |
| 2023-08-31 07:00:32 +0200 | <dolio> | fromInteger _ = (); _ + _ = (); _ / _ = (); pi = (); ... |
| 2023-08-31 07:02:41 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-31 07:03:39 +0200 | <monochrom> | Also the simplest compression algorithm is to compress to () or write to /dev/null if no one asks you to uncompress. |
| 2023-08-31 07:03:49 +0200 | <dolio> | Yep. |
| 2023-08-31 07:04:46 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-31 07:06:11 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-31 07:12:36 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::bd68) (Remote host closed the connection) |
| 2023-08-31 07:12:59 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::4272) |
| 2023-08-31 07:13:21 +0200 | <Inst> | also, I did a bit of thinking, but tbh, I can see why you guys prefer spark-based parallelism to other forums |
| 2023-08-31 07:13:26 +0200 | <Inst> | *forms |
| 2023-08-31 07:13:37 +0200 | <Inst> | Spark is perhaps the wrong term, it's closer to rain |
| 2023-08-31 07:14:13 +0200 | <Inst> | I built a program using Haskell parallelism on sparks a while back, and I just tried multi-threading in other languages. Like you said, theirs is usually a form of concurrency. |
| 2023-08-31 07:14:40 +0200 | <dolio> | I don't use that stuff enough to have a strong opinion on what is nicest to use. I just didn't understand why your earlier complaints about sparks didn't apply to managing a bunch of work-stealing entries. |
| 2023-08-31 07:14:51 +0200 | <Inst> | The thing is, the spark system, while often wasteful, can be immensely fine-grained in a way more conventional parallelism is hard pressed to be |
| 2023-08-31 07:15:03 +0200 | <Inst> | maybe Go or Erlang's green threads |
| 2023-08-31 07:15:15 +0200 | <Inst> | i had hundreds of thousands of sparks operating at one time |
| 2023-08-31 07:15:22 +0200 | <EvanR> | that... is what forkIO threads are |
| 2023-08-31 07:15:27 +0200 | <EvanR> | not sparks |
| 2023-08-31 07:15:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-31 07:15:56 +0200 | <Inst> | no, i mean, i had a bunch of data structures with hundreds of thousands to millions of items to evaluate |
| 2023-08-31 07:16:15 +0200 | <Inst> | i could just spark them all and forget about the details |
| 2023-08-31 07:17:30 +0200 | <Inst> | am I wrong? |
| 2023-08-31 07:17:37 +0200 | <Inst> | the way I understand it, sparks work on unevaluated data |
| 2023-08-31 07:18:09 +0200 | <EvanR> | I mean green threads |
| 2023-08-31 07:18:21 +0200 | <Inst> | I know forkIO threads are green, I forget how they compare to Erlang's |
| 2023-08-31 07:18:38 +0200 | <EvanR> | erlang = processes |
| 2023-08-31 07:18:56 +0200 | <EvanR> | good for concurrency but not parallelism |
| 2023-08-31 07:19:33 +0200 | <Inst> | the one shame I think is that you can't spark on GPU... or was accelerate capable of doing that? |
| 2023-08-31 07:20:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-08-31 07:24:58 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-31 07:29:03 +0200 | chromoblob | (~user@37.113.172.116) |
| 2023-08-31 07:32:32 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 07:33:12 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-08-31 07:33:57 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-08-31 07:37:24 +0200 | fr33domlover | (~fr33domlo@towards.vision) (Remote host closed the connection) |
| 2023-08-31 07:38:05 +0200 | fr33domlover | (~fr33domlo@towards.vision) |
| 2023-08-31 07:38:41 +0200 | michalz | (~michalz@185.246.207.201) |
| 2023-08-31 07:39:08 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-31 07:39:12 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-31 07:43:40 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-08-31 07:43:40 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::4272) (Ping timeout: 248 seconds) |
| 2023-08-31 07:44:24 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-08-31 07:46:11 +0200 | Vajb | (~Vajb@85-76-128-178-nat.elisa-mobile.fi) (Ping timeout: 245 seconds) |
| 2023-08-31 07:47:39 +0200 | Vajb | (~Vajb@2001:999:50d:84d9:7bf6:f6be:1ebe:85c8) |
| 2023-08-31 07:53:26 +0200 | briandaed | (~briandaed@185.234.210.211) |
| 2023-08-31 07:57:59 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-31 07:58:11 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-31 08:00:00 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::4272) |
| 2023-08-31 08:01:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 08:06:13 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::4272) (Read error: Connection reset by peer) |
| 2023-08-31 08:06:14 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-08-31 08:06:34 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-08-31 08:06:35 +0200 | paul_j | (~user@67.26.169.217.in-addr.arpa) (Quit: Asta la vista) |
| 2023-08-31 08:06:45 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-31 08:06:49 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::4272) |
| 2023-08-31 08:09:04 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-31 08:09:16 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2023-08-31 08:13:45 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 250 seconds) |
| 2023-08-31 08:13:59 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::4272) (Ping timeout: 246 seconds) |
| 2023-08-31 08:14:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 08:19:47 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-31 08:22:53 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-08-31 08:22:56 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-08-31 08:25:33 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-31 08:25:35 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2023-08-31 08:25:56 +0200 | <mjrosenb> | Did ghc change the RNG algorithm recently? |
| 2023-08-31 08:27:26 +0200 | <mjrosenb> | and by 'RNG algorithm', I mean the thing you get with System.Random.mkStdGen 100000 |
| 2023-08-31 08:31:56 +0200 | <Axman6> | https://hackage.haskell.org/package/random-1.2.1.1/changelog has quite a lot of detail, including what looks like significant changes in 1.2.0 |
| 2023-08-31 08:32:35 +0200 | <Axman6> | "Fixed: changed algorithm to SplitMix, which provides a robust split operation" |
| 2023-08-31 08:34:06 +0200 | <Axman6> | monochrom: I'm going to file a bug, when I cxompress to () it still takes up 8 bytes! I might submit a PR to target Void to avoid the pointer |
| 2023-08-31 08:37:02 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-31 08:37:47 +0200 | neuroevolutus | (~neuroevol@2a02:6ea0:d20c:2::b71e) |
| 2023-08-31 08:41:47 +0200 | neuroevolutus | (~neuroevol@2a02:6ea0:d20c:2::b71e) (Client Quit) |
| 2023-08-31 08:58:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 09:03:18 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-31 09:06:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) (Remote host closed the connection) |
| 2023-08-31 09:09:35 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 09:13:48 +0200 | fendor | (~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) |
| 2023-08-31 09:14:19 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-31 09:14:32 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 245 seconds) |
| 2023-08-31 09:16:52 +0200 | <probie> | Axman6: It has to take up at least 8 bytes, since `()` is a lifted type |
| 2023-08-31 09:17:24 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-31 09:23:58 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-31 09:24:16 +0200 | pavonia | (~user@user/siracusa) |
| 2023-08-31 09:28:06 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-08-31 09:30:07 +0200 | fserucas__ | (~fserucas@46.50.115.39) |
| 2023-08-31 09:40:01 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Remote host closed the connection) |
| 2023-08-31 09:42:22 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) |
| 2023-08-31 09:44:00 +0200 | <Axman6> | yeah exactly |
| 2023-08-31 09:44:10 +0200 | <Axman6> | what a waste |
| 2023-08-31 09:53:16 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-08-31 09:54:40 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::bd68) |
| 2023-08-31 09:55:13 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::bd68) (Remote host closed the connection) |
| 2023-08-31 10:02:21 +0200 | robosexual | (~spaceoyst@5.165.11.54) |
| 2023-08-31 10:03:06 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-31 10:04:57 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-31 10:09:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:673c:157c:a5e6:b41c) |
| 2023-08-31 10:10:49 +0200 | mima | (~mmh@net-93-148-95-167.cust.dsl.teletu.it) |
| 2023-08-31 10:12:28 +0200 | danza | (~francesco@151.57.245.63) (Ping timeout: 248 seconds) |
| 2023-08-31 10:13:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 10:13:55 +0200 | ubert | (~Thunderbi@178.115.48.122.wireless.dyn.drei.com) |
| 2023-08-31 10:15:12 +0200 | fendor | (~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) (Remote host closed the connection) |
| 2023-08-31 10:16:33 +0200 | fendor | (~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) |
| 2023-08-31 10:17:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 10:20:14 +0200 | danse-nr3 | (~francesco@151.57.245.63) |
| 2023-08-31 10:24:53 +0200 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-08-31 10:29:32 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2023-08-31 10:30:21 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-08-31 10:36:26 +0200 | razetime | (~quassel@49.207.192.55) (Remote host closed the connection) |
| 2023-08-31 10:36:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 10:39:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 10:39:55 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-31 10:40:55 +0200 | danse-nr3_ | (~francesco@151.43.239.145) |
| 2023-08-31 10:42:55 +0200 | danse-nr3 | (~francesco@151.57.245.63) (Read error: Connection reset by peer) |
| 2023-08-31 10:43:32 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-31 10:43:46 +0200 | arahael | (~arahael@1.145.98.65) |
| 2023-08-31 10:52:47 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-31 10:57:40 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-31 11:03:42 +0200 | acidjnk | (~acidjnk@p200300d6e7072f2058700104fa95aa5c.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-31 11:10:16 +0200 | acidjnk | (~acidjnk@p200300d6e7072f20209f8ab558853b4c.dip0.t-ipconnect.de) |
| 2023-08-31 11:14:20 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-31 11:17:13 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-31 11:17:57 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-31 11:19:05 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 11:19:09 +0200 | mmhat | (~mmh@p200300f1c70419fdee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-31 11:22:22 +0200 | mmhat | (~mmh@p200300f1c70419fdee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-08-31 11:22:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-08-31 11:23:25 +0200 | ripspin | (~chatzilla@1.145.161.49) |
| 2023-08-31 11:25:35 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-31 11:28:38 +0200 | ripspin | (~chatzilla@1.145.161.49) (Remote host closed the connection) |
| 2023-08-31 11:31:23 +0200 | ft | (~ft@p508db658.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-08-31 11:42:06 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-31 11:47:56 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 11:53:00 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-31 11:58:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 12:03:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 12:08:45 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2023-08-31 12:09:51 +0200 | arahael | (~arahael@1.145.98.65) (Read error: Connection reset by peer) |
| 2023-08-31 12:13:49 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 2023-08-31 12:18:14 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-31 12:23:35 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 12:26:23 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-08-31 12:28:20 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-31 12:29:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-08-31 12:33:56 +0200 | acidjnk | (~acidjnk@p200300d6e7072f20209f8ab558853b4c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-31 12:41:48 +0200 | vglfr | (~vglfr@cli-188-239-241-89.bbn.slav.dn.ua) (Ping timeout: 248 seconds) |
| 2023-08-31 12:42:24 +0200 | vglfr | (~vglfr@cli-188-239-241-89.bbn.slav.dn.ua) |
| 2023-08-31 12:43:03 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-31 12:43:56 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 2023-08-31 12:54:10 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-31 12:58:17 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 13:00:55 +0200 | acidjnk | (~acidjnk@p200300d6e7072f20209f8ab558853b4c.dip0.t-ipconnect.de) |
| 2023-08-31 13:04:02 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-31 13:06:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:eead:bb9a:e028:3953) |
| 2023-08-31 13:07:14 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-08-31 13:08:24 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-31 13:13:53 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-31 13:14:32 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-31 13:15:42 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 13:19:47 +0200 | danse-nr3_ | (~francesco@151.43.239.145) (Ping timeout: 246 seconds) |
| 2023-08-31 13:21:09 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-31 13:33:06 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 13:33:19 +0200 | lzszt | (~lzszt@ip-037-024-119-189.um08.pools.vodafone-ip.de) |
| 2023-08-31 13:34:05 +0200 | danse-nr3_ | (~francesco@151.43.239.145) |
| 2023-08-31 13:35:04 +0200 | <bwe> | how to snake case SumType with Aeson? aeson-casing doesn't do the job. |
| 2023-08-31 13:37:18 +0200 | <tomsmeding> | bwe: if all else fails you could try writing a custom fieldLabelModifier |
| 2023-08-31 13:37:35 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-31 13:39:21 +0200 | <bwe> | tomsmeding: done. |
| 2023-08-31 13:43:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 13:50:01 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 250 seconds) |
| 2023-08-31 13:50:12 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-08-31 13:50:41 +0200 | kenran | (~user@user/kenran) |
| 2023-08-31 13:55:12 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 240 seconds) |
| 2023-08-31 13:55:22 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-08-31 14:03:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 14:08:09 +0200 | acidjnk | (~acidjnk@p200300d6e7072f20209f8ab558853b4c.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-08-31 14:11:52 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 14:17:08 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-31 14:20:48 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-08-31 14:21:12 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 245 seconds) |
| 2023-08-31 14:21:13 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-08-31 14:22:31 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-31 14:29:43 +0200 | mima | (~mmh@net-93-148-95-167.cust.dsl.teletu.it) (Ping timeout: 255 seconds) |
| 2023-08-31 14:30:46 +0200 | crazazy | (~user@130.89.171.133) |
| 2023-08-31 14:40:48 +0200 | danse-nr3__ | (~francesco@151.19.232.83) |
| 2023-08-31 14:41:04 +0200 | danse-nr3_ | (~francesco@151.43.239.145) (Read error: Connection reset by peer) |
| 2023-08-31 14:46:04 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-31 14:46:31 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-31 14:46:48 +0200 | acidjnk | (~acidjnk@p200300d6e7072f20209f8ab558853b4c.dip0.t-ipconnect.de) |
| 2023-08-31 15:00:42 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-31 15:04:04 +0200 | gralp | (~gralp@198.188.198.146.dyn.plus.net) |
| 2023-08-31 15:04:47 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds) |
| 2023-08-31 15:05:24 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-08-31 15:06:37 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-08-31 15:06:53 +0200 | danse-nr3__ | (~francesco@151.19.232.83) (Remote host closed the connection) |
| 2023-08-31 15:07:16 +0200 | danse-nr3__ | (~francesco@151.19.232.83) |
| 2023-08-31 15:08:10 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-31 15:08:10 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-31 15:08:10 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-31 15:18:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-31 15:19:27 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-31 15:20:50 +0200 | yoyofreeman | (~yoyofreem@176.97.76.178) |
| 2023-08-31 15:24:28 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-08-31 15:24:46 +0200 | CiaoSen | (~Jura@2a05:5800:29a:4600:664b:f0ff:fe37:9ef) |
| 2023-08-31 15:28:14 +0200 | Vajb | (~Vajb@2001:999:50d:84d9:7bf6:f6be:1ebe:85c8) (Ping timeout: 246 seconds) |
| 2023-08-31 15:28:39 +0200 | <bwe> | how do I map over a list concurrently? I want the equivalent to mapConcurrently for non-IO ops. |
| 2023-08-31 15:32:53 +0200 | <lortabac> | bwe: there are various libraries for parallelism, all different from each other |
| 2023-08-31 15:33:27 +0200 | <lortabac> | @hackage monad-par |
| 2023-08-31 15:33:27 +0200 | <lambdabot> | https://hackage.haskell.org/package/monad-par |
| 2023-08-31 15:33:29 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Quit: WeeChat 3.8) |
| 2023-08-31 15:34:22 +0200 | <lortabac> | @hackage parallel |
| 2023-08-31 15:34:22 +0200 | <lambdabot> | https://hackage.haskell.org/package/parallel |
| 2023-08-31 15:34:36 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 248 seconds) |
| 2023-08-31 15:37:26 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-08-31 15:37:37 +0200 | <lortabac> | Control.Parallel.Strategies.parMap should do what you are looking for |
| 2023-08-31 15:37:48 +0200 | <lortabac> | @hackage repa |
| 2023-08-31 15:37:48 +0200 | <lambdabot> | https://hackage.haskell.org/package/repa |
| 2023-08-31 15:37:52 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-31 15:38:39 +0200 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) |
| 2023-08-31 15:40:38 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-31 15:41:59 +0200 | yoyofreeman | (~yoyofreem@176.97.76.178) (Remote host closed the connection) |
| 2023-08-31 15:42:14 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-31 15:50:38 +0200 | gralp | (~gralp@198.188.198.146.dyn.plus.net) (Ping timeout: 246 seconds) |
| 2023-08-31 15:50:41 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-31 15:51:38 +0200 | fserucas_ | (~fserucas@89.214.155.193) |
| 2023-08-31 15:53:20 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-31 15:54:11 +0200 | fserucas__ | (~fserucas@46.50.115.39) (Ping timeout: 245 seconds) |
| 2023-08-31 15:58:10 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-31 16:01:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-31 16:01:39 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2023-08-31 16:02:01 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 16:02:17 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-31 16:05:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2023-08-31 16:06:05 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-31 16:07:53 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-31 16:08:25 +0200 | lzszt | (~lzszt@ip-037-024-119-189.um08.pools.vodafone-ip.de) (Quit: Client closed) |
| 2023-08-31 16:15:04 +0200 | gralp | (~gralp@198.188.198.146.dyn.plus.net) |
| 2023-08-31 16:15:07 +0200 | gralp | (~gralp@198.188.198.146.dyn.plus.net) (Client Quit) |
| 2023-08-31 16:15:54 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2023-08-31 16:16:09 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-31 16:16:49 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-08-31 16:17:34 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2023-08-31 16:17:46 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-31 16:18:57 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-31 16:20:31 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Client Quit) |
| 2023-08-31 16:22:07 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-31 16:26:12 +0200 | thegeekinside | (~thegeekin@189.180.81.59) |
| 2023-08-31 16:26:17 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2023-08-31 16:28:26 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-31 16:28:29 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2023-08-31 16:28:59 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-31 16:30:58 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2023-08-31 16:33:12 +0200 | phma | (~phma@2001:5b0:211b:8ab8:276e:326e:f44c:81b4) (Read error: Connection reset by peer) |
| 2023-08-31 16:33:46 +0200 | phma | (~phma@host-67-44-208-170.hnremote.net) |
| 2023-08-31 16:40:23 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-08-31 16:40:49 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-31 16:44:08 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 16:45:12 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-31 16:48:41 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-31 16:50:31 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-08-31 16:50:53 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-08-31 16:52:58 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Remote host closed the connection) |
| 2023-08-31 16:54:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 16:55:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-31 16:59:03 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-31 17:03:50 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 2023-08-31 17:07:30 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-08-31 17:10:14 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-31 17:14:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) (Remote host closed the connection) |
| 2023-08-31 17:14:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) |
| 2023-08-31 17:18:17 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-31 17:21:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:673c:157c:a5e6:b41c) (Ping timeout: 245 seconds) |
| 2023-08-31 17:23:43 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-08-31 17:23:44 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-31 17:29:10 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 2023-08-31 17:31:11 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-31 17:31:27 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-31 17:32:13 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 17:32:19 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-08-31 17:33:16 +0200 | thegeekinside | (~thegeekin@189.180.81.59) (Ping timeout: 244 seconds) |
| 2023-08-31 17:38:41 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-31 17:39:18 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-31 17:40:48 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-08-31 17:41:31 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-08-31 17:51:05 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-31 17:51:43 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-31 17:56:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) (Remote host closed the connection) |
| 2023-08-31 17:58:12 +0200 | thegeekinside | (~thegeekin@189.180.81.59) |
| 2023-08-31 17:58:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) |
| 2023-08-31 17:59:41 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 2023-08-31 18:05:05 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 18:07:04 +0200 | danse-nr3__ | (~francesco@151.19.232.83) (Ping timeout: 255 seconds) |
| 2023-08-31 18:18:07 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2023-08-31 18:20:10 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-31 18:22:03 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-31 18:22:17 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-31 18:22:33 +0200 | dobblego | dibblego |
| 2023-08-31 18:27:22 +0200 | Vajb | (~Vajb@85-76-82-193-nat.elisa-mobile.fi) |
| 2023-08-31 18:28:58 +0200 | shapr | hops quietly |
| 2023-08-31 18:35:51 +0200 | Vajb | (~Vajb@85-76-82-193-nat.elisa-mobile.fi) (Ping timeout: 245 seconds) |
| 2023-08-31 18:36:52 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-08-31 18:37:00 +0200 | Vajb | (~Vajb@2001:999:60c:faff:dfbb:4d75:ed38:18d2) |
| 2023-08-31 18:39:35 +0200 | thegeekinside | (~thegeekin@189.180.81.59) (Ping timeout: 258 seconds) |
| 2023-08-31 18:40:18 +0200 | thegeekinside | (~thegeekin@189.180.94.136) |
| 2023-08-31 18:42:50 +0200 | vglfr | (~vglfr@cli-188-239-241-89.bbn.slav.dn.ua) (Ping timeout: 246 seconds) |
| 2023-08-31 18:43:10 +0200 | <Vq> | shapr: I barely heard you hopping |
| 2023-08-31 18:43:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 18:43:25 +0200 | <shapr> | yay, it was quiet! |
| 2023-08-31 18:43:39 +0200 | <Vq> | Sure was :) |
| 2023-08-31 18:44:00 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 246 seconds) |
| 2023-08-31 18:44:51 +0200 | danza | (~francesco@151.43.231.74) |
| 2023-08-31 18:45:09 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-08-31 18:49:38 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 18:54:11 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-31 18:55:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-08-31 18:58:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) (Remote host closed the connection) |
| 2023-08-31 19:09:05 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-31 19:15:15 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-08-31 19:15:22 +0200 | Me-me | (~me-me@user/me-me) (Ping timeout: 245 seconds) |
| 2023-08-31 19:15:32 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-31 19:17:01 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-08-31 19:17:30 +0200 | mima | (~mmh@net-93-148-95-167.cust.dsl.teletu.it) |
| 2023-08-31 19:19:11 +0200 | ski | (~ski@88.131.7.247) |
| 2023-08-31 19:20:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-31 19:21:27 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) |
| 2023-08-31 19:24:01 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) (Ping timeout: 255 seconds) |
| 2023-08-31 19:25:53 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-31 19:25:54 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) |
| 2023-08-31 19:30:55 +0200 | dobblego | (~dibblego@220.233.36.19) |
| 2023-08-31 19:30:55 +0200 | dobblego | (~dibblego@220.233.36.19) (Changing host) |
| 2023-08-31 19:30:55 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-31 19:31:56 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 2023-08-31 19:31:57 +0200 | dobblego | dibblego |
| 2023-08-31 19:36:20 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-08-31 19:36:20 +0200 | jinsun | Guest951 |
| 2023-08-31 19:36:20 +0200 | Guest951 | (~jinsun@user/jinsun) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 2023-08-31 19:36:20 +0200 | jinsun_ | jinsun |
| 2023-08-31 19:42:30 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-31 19:42:41 +0200 | chromoblob | (~user@37.113.172.116) (Ping timeout: 246 seconds) |
| 2023-08-31 19:46:38 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-31 19:47:53 +0200 | <monochrom> | Axman6: Belated but (# #) may be preferable to Void :) |
| 2023-08-31 19:48:57 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-31 19:52:06 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 246 seconds) |
| 2023-08-31 19:52:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 19:57:50 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 19:59:04 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-31 19:59:58 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-31 20:02:06 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-31 20:06:03 +0200 | <Lycurgus> | glguy, I take it ur not working on an hs irc daemon if ur doin solanum; looks like chris done abandonned one |
| 2023-08-31 20:07:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-31 20:07:08 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 2023-08-31 20:07:29 +0200 | <glguy> | I've got a Haskell client, I contribute to solanum, and I've got a C++/Lua client/tool |
| 2023-08-31 20:10:07 +0200 | <Lycurgus> | the Done thing is a sketch he abandoned more than a decade ago as said took 4hrs |
| 2023-08-31 20:10:35 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-31 20:10:45 +0200 | califax | (~califax@user/califx) |
| 2023-08-31 20:10:48 +0200 | <Lycurgus> | *and said |
| 2023-08-31 20:12:16 +0200 | mima | (~mmh@net-93-148-95-167.cust.dsl.teletu.it) (Ping timeout: 260 seconds) |
| 2023-08-31 20:12:54 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-08-31 20:13:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 20:15:00 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-31 20:15:43 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2023-08-31 20:17:11 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-31 20:18:17 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-31 20:19:01 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-31 20:23:25 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2023-08-31 20:23:38 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-08-31 20:23:52 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-08-31 20:24:40 +0200 | chromoblob | (~user@37.113.172.116) |
| 2023-08-31 20:24:43 +0200 | califax | (~califax@user/califx) |
| 2023-08-31 20:26:47 +0200 | CiaoSen | (~Jura@2a05:5800:29a:4600:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds) |
| 2023-08-31 20:27:14 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2023-08-31 20:28:14 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-31 20:29:34 +0200 | briandaed | (~briandaed@185.234.210.211) (Remote host closed the connection) |
| 2023-08-31 20:30:24 +0200 | califax | (~califax@user/califx) (Ping timeout: 246 seconds) |
| 2023-08-31 20:31:16 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-31 20:31:36 +0200 | califax | (~califax@user/califx) |
| 2023-08-31 20:32:53 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2023-08-31 20:33:12 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-08-31 20:33:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) (Remote host closed the connection) |
| 2023-08-31 20:33:16 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-31 20:34:23 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-31 20:34:27 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-31 20:35:10 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2023-08-31 20:36:11 +0200 | <ncf> | hey glguy can your toml parser decode `foo = { "bar" = "baz" }` to a `data Config = { foo :: Map Text Text } deriving Generic` without me having to fill any paperwork and without leaving the quotes in "bar" unstripped |
| 2023-08-31 20:36:19 +0200 | <ncf> | because that is apparently too much to ask of tomland |
| 2023-08-31 20:37:57 +0200 | <glguy> | Leaving quotes in bar? |
| 2023-08-31 20:38:10 +0200 | <ncf> | yeah it parses the key as "\"bar\"" |
| 2023-08-31 20:38:39 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-31 20:39:06 +0200 | <glguy> | And if you remove the ""s in the toml input it changes the output?? |
| 2023-08-31 20:39:29 +0200 | <ncf> | yes |
| 2023-08-31 20:39:34 +0200 | <ncf> | i've reported the issue |
| 2023-08-31 20:39:37 +0200 | <glguy> | Oh, you should |
| 2023-08-31 20:39:39 +0200 | <glguy> | Yeah |
| 2023-08-31 20:40:23 +0200 | <glguy> | I think toml-parser handles this, testing |
| 2023-08-31 20:40:51 +0200 | ski | (~ski@88.131.7.247) (Ping timeout: 260 seconds) |
| 2023-08-31 20:41:36 +0200 | califax | (~califax@user/califx) (Ping timeout: 246 seconds) |
| 2023-08-31 20:42:36 +0200 | briandaed | (~briandaed@185.234.210.211) |
| 2023-08-31 20:43:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 20:43:27 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.0.4) |
| 2023-08-31 20:44:15 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2023-08-31 20:44:47 +0200 | califax | (~califax@user/califx) |
| 2023-08-31 20:44:48 +0200 | <glguy> | ncf: https://gist.github.com/glguy/03fb16d7ad91d0d294d857459168e9a7 |
| 2023-08-31 20:45:45 +0200 | <ncf> | fantastic |
| 2023-08-31 20:47:25 +0200 | <nyc> | What does it mean for ExitSuccess to be raised as an exception & how do I find where it came from? |
| 2023-08-31 20:48:42 +0200 | <geekosaur> | it's an exception because there's no other way for a Haskell program to transfer control non-locally. The RTS catches it, does cleanup, and `exit(0)` |
| 2023-08-31 20:49:30 +0200 | <geekosaur> | it should be possible to use +RTS -xc to see where it is raised (this requires compiling with profiling) |
| 2023-08-31 20:50:50 +0200 | <EvanR> | if you find the library throwing that, name names |
| 2023-08-31 20:50:56 +0200 | <geekosaur> | (well, the RTS could just grab it directly but then nothing else gets to do cleanup) |
| 2023-08-31 20:51:33 +0200 | <monochrom> | System.Exit.exitWith is implemented by throwing an exception, even if it's success. |
| 2023-08-31 20:51:38 +0200 | <geekosaur> | and yes, regardless of language it's very bad form for a library to exit instead of returning some kind of "I'm done" code |
| 2023-08-31 20:51:40 +0200 | <monochrom> | exitSuccess likewise. |
| 2023-08-31 20:51:58 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-08-31 20:52:02 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-31 20:52:05 +0200 | <monochrom> | But normally you wouldn't observe the difference unless in ghci |
| 2023-08-31 20:52:12 +0200 | <EvanR> | I exit my own success thank you very much |
| 2023-08-31 20:53:02 +0200 | <monochrom> | OK yeah libraries deciding to terminate your program are a little bit too presumptive. |
| 2023-08-31 20:53:13 +0200 | <monochrom> | But programmers are control freaks. |
| 2023-08-31 20:54:19 +0200 | <monochrom> | When I was on BBSes, every childish programmer were like "I want to write a program that reboots the user's computer". |
| 2023-08-31 20:54:29 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-31 20:54:29 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-31 20:54:30 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-31 20:56:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 20:57:53 +0200 | <geekosaur> | anyway, if you do catch it the correct thing to do is re-throw after doing any resource cleanup you might need to do (e.g. rollback and close a database) |
| 2023-08-31 20:58:17 +0200 | <nyc> | I think what I'm seeing is a rendered form of the exception coming in over a socket that a thread of whatever's on the other end of it. |
| 2023-08-31 20:58:37 +0200 | robosexual | (~spaceoyst@5.165.11.54) (Quit: Konversation terminated!) |
| 2023-08-31 20:58:47 +0200 | <EvanR> | rebooting is weak. Have the CD-ROM drive tray randomly deploy and retract |
| 2023-08-31 20:59:02 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-08-31 20:59:17 +0200 | kenran | (~user@user/kenran) |
| 2023-08-31 20:59:28 +0200 | <geekosaur> | not sure about monochrom's age, but when I was on BBSes there were no CDROMs |
| 2023-08-31 20:59:41 +0200 | <EvanR> | ok laserdisc |
| 2023-08-31 20:59:43 +0200 | <nyc> | Some layer is catching it & rendering it & now I have to go chase down where it happened. |
| 2023-08-31 20:59:49 +0200 | <geekosaur> | or laserdiscs |
| 2023-08-31 21:00:59 +0200 | <monochrom> | Yeah BBSes and CDROMs were pretty much mutually exclusive :) |
| 2023-08-31 21:01:13 +0200 | <monochrom> | haha laserdisc OK |
| 2023-08-31 21:02:02 +0200 | <nyc> | I was never on BBS's, though I was vaguely aware of their existence. I saw TRS-80's & Atari 2600's & Commodore PET's etc. |
| 2023-08-31 21:02:41 +0200 | <nyc> | Apples were out there but I didn't see them as much for no obvious reason. |
| 2023-08-31 21:02:44 +0200 | <monochrom> | Well at least you didn't say "why were people on BBSes instead of Facebook" hehe |
| 2023-08-31 21:02:47 +0200 | <erisco> | so, punch cards, right? well what if we made the holes really small and spun it around real fast |
| 2023-08-31 21:03:31 +0200 | <erisco> | a true faster horse |
| 2023-08-31 21:04:09 +0200 | <nyc> | I was aware of FidoNet & UUCPNET but also didn't personally use them when they were live. |
| 2023-08-31 21:04:13 +0200 | <geekosaur> | my parents' entertainment center had an 8-track player |
| 2023-08-31 21:05:18 +0200 | <ncf> | glguy: i think toml-parser is missing a function of type FromValue a => Value -> Result String a ? |
| 2023-08-31 21:05:19 +0200 | <geekosaur> | with that charming KerCHUNK! when it switched tracks |
| 2023-08-31 21:05:36 +0200 | <monochrom> | Floppy diskettes also had a whole for the drive to optically know it is hitting sector 0. (Later, it was no longer used, but still stayed for a while.) |
| 2023-08-31 21:05:47 +0200 | <monochrom> | s/whole/hole/ |
| 2023-08-31 21:05:50 +0200 | <ncf> | (i want to parse values from a bunch of places, merge them, and then deserialise the result) |
| 2023-08-31 21:06:18 +0200 | <ncf> | also, maybe a Monad instance for Result e? |
| 2023-08-31 21:06:22 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c431:f4c7:e475:d84d) |
| 2023-08-31 21:06:25 +0200 | <geekosaur> | oh, those newfangled ones? (unlike hard-sectored floppies which had a hole for each sector) |
| 2023-08-31 21:06:36 +0200 | <geekosaur> | I apparently just missed those |
| 2023-08-31 21:06:39 +0200 | <monochrom> | haha |
| 2023-08-31 21:06:39 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 21:07:02 +0200 | <monochrom> | Yeah now I remember someone said there used to be like 8 holes for 8 sectors. |
| 2023-08-31 21:07:17 +0200 | <nyc> | geekosaur: I remember 8-tracks too. My dad's Plymouth Gran Fury station wagon originally had an 8-track player in it, but I think he got it changed out for an aftermarket cassette player before he ended up trading it in for something else. |
| 2023-08-31 21:09:08 +0200 | <glguy> | ncf: isn't that something like runMatcher . fromValue ? |
| 2023-08-31 21:09:36 +0200 | <ncf> | plus error printing |
| 2023-08-31 21:09:42 +0200 | <monochrom> | When I started using computers, it was already Apple IIe and 5.25-inch floppies, so there is a lot of history of 8-inch floppies that I have only heard of then forgot. |
| 2023-08-31 21:10:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-08-31 21:11:01 +0200 | <monochrom> | OK ObHaskell: Haskell is why I don't root for travelling back to the past. How am I supposed to run Haskell on an Apple II ???!!!! |
| 2023-08-31 21:11:02 +0200 | <glguy> | ncf: the Matcher is the place that error routing happens |
| 2023-08-31 21:11:15 +0200 | <ncf> | i'm thinking there should be a ToValue class that parses Strings or Texts and does nothing to Values, à la Aeson |
| 2023-08-31 21:11:17 +0200 | <geekosaur> | I'd been working with TRS-80 Model I and 3 which had 5¼ inch floppies, then became involved with "big iron" — a TRS-80 Model 16 running Xenix. WIth 8" floppies |
| 2023-08-31 21:11:21 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-08-31 21:11:26 +0200 | <geekosaur> | I got to do backups for it for a while |
| 2023-08-31 21:11:50 +0200 | <geekosaur> | lots of floppy shuffling, since for all their physical size they didn't hold much |
| 2023-08-31 21:11:54 +0200 | <glguy> | ncf: there is a ToValue class |
| 2023-08-31 21:11:59 +0200 | <nyc> | Hmm, something else is saying it blocked indefinitely in an MVar operation. |
| 2023-08-31 21:12:12 +0200 | <ncf> | oh |
| 2023-08-31 21:12:23 +0200 | <[exa]> | geekosaur: as a kid I was puzzled how come the 3.5" hold like 5x more data than 8", all math failed |
| 2023-08-31 21:12:26 +0200 | <glguy> | ncf: I'm open to extensions if you can build an example use case I've not covered |
| 2023-08-31 21:12:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 21:12:36 +0200 | <ncf> | ok |
| 2023-08-31 21:13:14 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-08-31 21:13:20 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-31 21:14:28 +0200 | <nyc> | I don't remember ever seeing Xenix back in the day. At that point in time I didn't see them as much more than sort of overgrown combinations of typewriters & calculators. |
| 2023-08-31 21:14:41 +0200 | <erisco> | [exa], I am puzzled today how 1TB can fit in a piece of plastic the size of my pinky nail |
| 2023-08-31 21:14:44 +0200 | <glguy> | I think the library can do the things you've said so far, but perhaps not as seemlessly as we might want or maybe the documentation just needs to be elaborated |
| 2023-08-31 21:15:10 +0200 | <[exa]> | erisco: atoms are many |
| 2023-08-31 21:15:31 +0200 | <EvanR> | avagadro's number |
| 2023-08-31 21:15:33 +0200 | <monochrom> | geekosaur: Does the computer also offer saving files to an audio jack (intended for cassette tapes)? Because you could connect that to a modern computer and save it on any modern medium. Even a WAV file on a 512GB USB stick beats fiddling with old floppies. |
| 2023-08-31 21:15:46 +0200 | <erisco> | apparently atoms are getting too large for modern electronicals though :P |
| 2023-08-31 21:16:01 +0200 | <geekosaur> | the Mod 16 didn't. my personal machine back then did though, and that was explicit |
| 2023-08-31 21:16:01 +0200 | <EvanR> | avagardos number is an integer expressed as a float, chew on that for a minute |
| 2023-08-31 21:16:02 +0200 | <ncf> | yeah runMatch returns a Result MatchMessage but i want a Result String |
| 2023-08-31 21:16:03 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-31 21:16:06 +0200 | <ncf> | runMatcher* |
| 2023-08-31 21:16:23 +0200 | <EvanR> | ok, it could fit in a double, not that weird |
| 2023-08-31 21:16:44 +0200 | <monochrom> | I still have to resume my hobby project of decoding (demodulating) such an audio file. |
| 2023-08-31 21:16:45 +0200 | <geekosaur> | except I didn't have a case, just a bare motherboard, so in fact it was just a pair of bell wires I stuck in holes 🙂 |
| 2023-08-31 21:17:15 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-08-31 21:17:16 +0200 | <monochrom> | haha |
| 2023-08-31 21:17:53 +0200 | <geekosaur> | TRS-80 Model I at school, OSI SuperBoard II at home, TRS-80 Mod 16 downtown that I used via modem and helped out with occasionally in person |
| 2023-08-31 21:17:59 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2023-08-31 21:18:27 +0200 | <monochrom> | ObHaskell I did wrote my own FFT in Haskell using the vector library. |
| 2023-08-31 21:18:50 +0200 | <monochrom> | Not fast or optimized. I just felt like writing my own. |
| 2023-08-31 21:19:14 +0200 | <geekosaur> | cassette interface on the SUperBoard was none too reliable, the system clock tick took noticeable amounts of time that interfered with audio encoding/decoding |
| 2023-08-31 21:19:45 +0200 | <glguy> | ncf: you can get one today with: https://hackage.haskell.org/package/toml-parser-1.3.0.0/docs/Toml-Pretty.html#v:prettyMatchMessage |
| 2023-08-31 21:20:17 +0200 | <glguy> | that doesn't preclude us from adding new helper functions, but you can do what you want with the current version |
| 2023-08-31 21:20:22 +0200 | <nyc> | It would be easier to debug this if it weren't being caught & reported over some network socket. |
| 2023-08-31 21:21:02 +0200 | <dolio> | EvanR: Quite a lot of floating point numbers are integers. |
| 2023-08-31 21:22:10 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-31 21:23:19 +0200 | <glguy> | ncf: what are you doing that has you stitching together TOML documents before you process them? |
| 2023-08-31 21:23:34 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-31 21:25:26 +0200 | <ncf> | glguy: trying to split my config into a public part i can commit into git and a secret part i can store encrypted and decrypt with sops-nix |
| 2023-08-31 21:25:43 +0200 | <ncf> | probably should just use environment variables for the secrets |
| 2023-08-31 21:25:56 +0200 | <ncf> | i feel like i'm reinventing the wheel ;_; |
| 2023-08-31 21:26:11 +0200 | <glguy> | ncf: I would have expected you to parse those two separately and get a PublicConfig and a PrivateConfig, or something |
| 2023-08-31 21:26:24 +0200 | <glguy> | rather than merging them as TOML first and then processing them |
| 2023-08-31 21:26:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 21:26:32 +0200 | <ncf> | idk that seems like a distinction my software shouldn't have to care about |
| 2023-08-31 21:26:37 +0200 | <ncf> | the user decides what is private |
| 2023-08-31 21:27:42 +0200 | <glguy> | order matters in toml, so it just seems tricky to stitch |
| 2023-08-31 21:27:47 +0200 | <ncf> | yeah |
| 2023-08-31 21:28:45 +0200 | <ncf> | i think yaml is "concatenative" in that way, but i really don't like yaml :| |
| 2023-08-31 21:30:51 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-08-31 21:31:34 +0200 | <glguy> | You could do the merger at a single Config type? |
| 2023-08-31 21:31:53 +0200 | <ncf> | i don't want to Maybe every field |
| 2023-08-31 21:34:32 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-08-31 21:36:09 +0200 | <monochrom> | Hrm, docker docs have some discussion on how to do private secret contains-password-must-not-leak configs. |
| 2023-08-31 21:38:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 246 seconds) |
| 2023-08-31 21:38:25 +0200 | ubert1 | (~Thunderbi@91.141.56.232.wireless.dyn.drei.com) |
| 2023-08-31 21:38:30 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-31 21:39:14 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-08-31 21:39:30 +0200 | <glguy> | ncf: well the Value stitching ought to work, it just wasn't an application I'd considered |
| 2023-08-31 21:39:43 +0200 | ubert | (~Thunderbi@178.115.48.122.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
| 2023-08-31 21:39:43 +0200 | ubert1 | ubert |
| 2023-08-31 21:40:20 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-31 21:42:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 21:43:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b3dc:713f:9844:da8d) |
| 2023-08-31 21:46:01 +0200 | Square | (~Square@user/square) |
| 2023-08-31 21:54:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 2023-08-31 21:54:53 +0200 | thegeekinside | (~thegeekin@189.180.94.136) (Remote host closed the connection) |
| 2023-08-31 21:55:32 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-08-31 21:55:52 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 2023-08-31 22:00:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 22:02:10 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-08-31 22:02:40 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-08-31 22:08:43 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b3dc:713f:9844:da8d) (Quit: WeeChat 2.8) |
| 2023-08-31 22:09:48 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-31 22:10:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 22:15:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-08-31 22:15:43 +0200 | briandaed | (~briandaed@185.234.210.211) (Remote host closed the connection) |
| 2023-08-31 22:15:54 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-31 22:19:22 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-31 22:20:09 +0200 | ft | (~ft@p508db658.dip0.t-ipconnect.de) |
| 2023-08-31 22:22:36 +0200 | kjak | (~kjak@pool-108-28-157-148.washdc.fios.verizon.net) |
| 2023-08-31 22:24:38 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-08-31 22:25:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 22:33:48 +0200 | acidjnk | (~acidjnk@p200300d6e7072f20209f8ab558853b4c.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-08-31 22:35:50 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-31 22:37:16 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
| 2023-08-31 22:37:35 +0200 | hanabi | (~hanabi@dhcp-077-251-039-086.chello.nl) |
| 2023-08-31 22:43:00 +0200 | shapr | (~user@2600:1700:c640:3100:c5b6:6d9c:4fa1:59ed) (Remote host closed the connection) |
| 2023-08-31 22:45:06 +0200 | danza_ | (~francesco@151.43.252.134) |
| 2023-08-31 22:46:11 +0200 | danza | (~francesco@151.43.231.74) (Read error: Connection reset by peer) |
| 2023-08-31 22:55:32 +0200 | ubert | (~Thunderbi@91.141.56.232.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2023-08-31 22:56:10 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-31 22:56:24 +0200 | fendor | (~fendor@2a02:8388:1640:be00:29b8:807b:7fa6:1bcf) (Remote host closed the connection) |
| 2023-08-31 23:01:08 +0200 | <phma> | I think I should submit a bug about the speed of a particular kind of operation on unboxed arrays. |
| 2023-08-31 23:01:58 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-08-31 23:02:29 +0200 | <phma> | I've found the GitLab site with the issues. Do I put all the code needed to reproduce it in one file, then create an issue? |
| 2023-08-31 23:02:49 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-31 23:02:58 +0200 | <geekosaur> | probably you want to ask in #ghc, but generally yes |
| 2023-08-31 23:03:04 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-08-31 23:03:24 +0200 | <phma> | okay |
| 2023-08-31 23:03:52 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-31 23:06:23 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-08-31 23:09:43 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 246 seconds) |
| 2023-08-31 23:10:13 +0200 | sh1n | (~sh1n@181.229.244.247) |
| 2023-08-31 23:13:17 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-31 23:17:57 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Quit: WeeChat 3.8) |
| 2023-08-31 23:22:28 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-31 23:22:29 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-08-31 23:23:15 +0200 | phma | (~phma@host-67-44-208-170.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-31 23:24:03 +0200 | phma | (~phma@2001:5b0:211f:6e78:7432:d3ee:7ec9:c3b) |
| 2023-08-31 23:28:16 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-31 23:29:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 23:30:17 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-08-31 23:31:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-31 23:32:08 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-31 23:34:33 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-08-31 23:35:38 +0200 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-08-31 23:35:54 +0200 | phma | phma_ |
| 2023-08-31 23:36:26 +0200 | phma_ | phma |
| 2023-08-31 23:36:34 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-31 23:37:01 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-31 23:37:41 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-31 23:41:01 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2023-08-31 23:43:21 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-08-31 23:44:42 +0200 | shapr | (~user@2600:1700:c640:3100:3675:4cc6:3e07:2d29) |
| 2023-08-31 23:49:28 +0200 | hanabi | (~hanabi@dhcp-077-251-039-086.chello.nl) (Read error: Connection reset by peer) |
| 2023-08-31 23:51:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-31 23:51:44 +0200 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2023-08-31 23:51:50 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |