| 2026-02-04 00:00:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 00:02:58 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-04 00:03:48 +0100 | <gentauro> | tomsmeding: did Haskell move to GitHub? I thought development was at GitLab |
| 2026-02-04 00:04:07 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-02-04 00:05:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 00:05:56 +0100 | <tomsmeding> | gentauro: GHC is on gitlab, various other things are on github |
| 2026-02-04 00:07:18 +0100 | <tomsmeding> | ghcup was originally on the haskell gitlab too, but moved to github a few years back |
| 2026-02-04 00:07:32 +0100 | <monochrom> | That's an interesting move. |
| 2026-02-04 00:07:48 +0100 | <tomsmeding> | I'm not sure what was the reasoning behind it |
| 2026-02-04 00:08:15 +0100 | <tomsmeding> | but it's maerwald so he probably had a good reason for it :p |
| 2026-02-04 00:13:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-04 00:14:13 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-02-04 00:14:41 +0100 | <tomsmeding> | gentauro: and in general, "haskell" is not a single person or a single project. :P |
| 2026-02-04 00:16:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 00:21:11 +0100 | Square2 | (~Square@user/square) Square |
| 2026-02-04 00:21:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 00:31:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 00:33:29 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-02-04 00:36:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-04 00:40:43 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 00:41:59 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-04 00:42:55 +0100 | _JusSx_ | (~jussx@78.211.92.21) (Ping timeout: 264 seconds) |
| 2026-02-04 00:42:59 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-04 00:44:20 +0100 | _JusSx_ | (~jussx@78.210.76.107) |
| 2026-02-04 00:47:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 00:51:25 +0100 | <haskellbridge> | <sm> current discussion of this: https://gitlab.haskell.org/ghc/ghc/-/issues/26824 |
| 2026-02-04 00:52:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-04 00:53:23 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 00:53:38 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 00:54:41 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 00:54:55 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-04 01:03:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 01:06:55 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-02-04 01:08:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-04 01:08:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2026-02-04 01:17:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e10b:1e35:aa5b:abb9) (Ping timeout: 246 seconds) |
| 2026-02-04 01:19:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 01:20:09 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-04 01:26:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 01:30:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e10b:1e35:aa5b:abb9) |
| 2026-02-04 01:31:09 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 01:31:16 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 01:34:45 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-04 01:37:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 01:38:35 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-04 01:42:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-04 01:47:06 +0100 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-04 01:50:30 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-04 01:50:36 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e10b:1e35:aa5b:abb9) (Ping timeout: 252 seconds) |
| 2026-02-04 01:50:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 01:51:13 +0100 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-04 01:55:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-04 01:59:11 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-02-04 01:59:29 +0100 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2026-02-04 02:00:56 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2026-02-04 02:06:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 02:09:18 +0100 | otto_s | (~user@p4ff273b1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-02-04 02:10:52 +0100 | otto_s | (~user@p5de2f01c.dip0.t-ipconnect.de) |
| 2026-02-04 02:10:59 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2026-02-04 02:11:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 02:16:06 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-04 02:16:45 +0100 | <yin> | > mempty :: Maybe Char |
| 2026-02-04 02:16:46 +0100 | <lambdabot> | No instance for ‘Semigroup Char’ arising from a use of ‘mempty’ |
| 2026-02-04 02:16:46 +0100 | <lambdabot> | In the expression: mempty :: Maybe Char |
| 2026-02-04 02:16:51 +0100 | <yin> | isn't this weird? |
| 2026-02-04 02:21:28 +0100 | mvk | (~mvk@2607:fea8:5c9d:ee00::5716) mvk |
| 2026-02-04 02:21:31 +0100 | mvk | (~mvk@2607:fea8:5c9d:ee00::5716) (Client Quit) |
| 2026-02-04 02:22:20 +0100 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-02-04 02:22:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 02:23:20 +0100 | <ncf> | that there's no Semigroup instance for Char? not particularly, no |
| 2026-02-04 02:23:47 +0100 | <ncf> | or that Monoid (Maybe a) requires Semigroup a? that one might be up for debate |
| 2026-02-04 02:26:53 +0100 | <yin> | the latter yeah, but i get it |
| 2026-02-04 02:27:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-04 02:29:13 +0100 | Digitteknohippie | Digit |
| 2026-02-04 02:29:14 +0100 | <EvanR> | maybe you're thinking of First |
| 2026-02-04 02:29:49 +0100 | omidmash6 | (~omidmash@user/omidmash) omidmash |
| 2026-02-04 02:29:56 +0100 | <EvanR> | > mempty :: First (Maybe Char) |
| 2026-02-04 02:29:57 +0100 | <lambdabot> | First {getFirst = Nothing} |
| 2026-02-04 02:31:02 +0100 | <EvanR> | > mempty :: Maybe (NonEmpty Char) |
| 2026-02-04 02:31:03 +0100 | <lambdabot> | Nothing |
| 2026-02-04 02:31:25 +0100 | trickard_ | trickard |
| 2026-02-04 02:31:42 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2026-02-04 02:31:42 +0100 | omidmash6 | omidmash |
| 2026-02-04 02:32:55 +0100 | Square2 | (~Square@user/square) Square |
| 2026-02-04 02:32:59 +0100 | <EvanR> | > First (Just 'a') <> First (Just 'b') |
| 2026-02-04 02:33:00 +0100 | <lambdabot> | First {getFirst = Just 'a'} |
| 2026-02-04 02:33:26 +0100 | <EvanR> | > Just 'a' <> Just 'b' -- what should happen |
| 2026-02-04 02:33:27 +0100 | <lambdabot> | No instance for ‘Semigroup Char’ arising from a use of ‘<>’ |
| 2026-02-04 02:33:27 +0100 | <lambdabot> | In the expression: Just 'a' <> Just 'b' |
| 2026-02-04 02:33:48 +0100 | <EvanR> | Just ('a' <> 'b') |
| 2026-02-04 02:38:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 02:42:35 +0100 | <probie> | I propose Just ('a' <> 'b') should be Just (chr ((ord 'a' + ord 'b') `mod` (ord maxBound))). It's a lawful instance |
| 2026-02-04 02:42:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-04 02:43:21 +0100 | <EvanR> | a C programmer would be impressed... except the modulo is by some oddball number 1114112 ? |
| 2026-02-04 02:43:52 +0100 | <EvanR> | to me it seems like adding the note B to the note F... makes sense if you assume MIDI but... |
| 2026-02-04 02:44:26 +0100 | <EvanR> | just seems like defining things for the sake of it so "they do something" (js style) |
| 2026-02-04 02:50:10 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-04 02:53:55 +0100 | <geekosaur> | we already do that (see `Foldable` and `Traversable` instances on tuples) |
| 2026-02-04 02:54:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 02:55:40 +0100 | <probie> | > sum (3,4) |
| 2026-02-04 02:55:41 +0100 | <lambdabot> | 4 |
| 2026-02-04 02:56:04 +0100 | <probie> | makes sense to me :p |
| 2026-02-04 02:56:33 +0100 | <probie> | embarrassing when trying to explain to someone just learning Haskell who expects 7 |
| 2026-02-04 02:59:19 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2026-02-04 02:59:39 +0100 | <EvanR> | insofaras Functor works on pairs, it makes sense |
| 2026-02-04 03:00:12 +0100 | <EvanR> | kind of a if it's a functor then it can be folded for better or worse |
| 2026-02-04 03:01:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 03:01:22 +0100 | <EvanR> | as it stands somebody can define a Semigroup for Char to carry out their version of great justice, whatever it is |
| 2026-02-04 03:01:49 +0100 | <probie> | Sure, but at that point why don't we add https://hackage.haskell.org/package/acme-default to base |
| 2026-02-04 03:01:49 +0100 | <EvanR> | without inflicting it on us... hopefully |
| 2026-02-04 03:02:04 +0100 | <EvanR> | how is that related |
| 2026-02-04 03:02:21 +0100 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2026-02-04 03:02:26 +0100 | <EvanR> | defining stuff in your program means it should be in base? |
| 2026-02-04 03:02:48 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-04 03:03:04 +0100 | <EvanR> | and I'm wrong about functor to foldable |
| 2026-02-04 03:03:28 +0100 | <EvanR> | in general |
| 2026-02-04 03:04:36 +0100 | <probie> | Since we'd moved to talking about Foldable/Traversable for tuples, I interpreted your Semigroup for Char to be implying it should be added to base (after all, it has to be, or it's an orphan instance) |
| 2026-02-04 03:06:19 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Ping timeout: 264 seconds) |
| 2026-02-04 03:12:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 03:17:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-04 03:29:45 +0100 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2026-02-04 03:30:07 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-04 03:44:41 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 265 seconds) |
| 2026-02-04 03:53:06 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-04 03:56:32 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-02-04 03:56:49 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2026-02-04 04:18:42 +0100 | <EvanR> | I heard orphans are impossible, then we have packages on hackage specifically advertising orphan instances |
| 2026-02-04 04:19:20 +0100 | <EvanR> | that it would be an Orphan is good, so that might go a ways to stop it from getting out of hand |
| 2026-02-04 04:31:05 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2026-02-04 04:31:44 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 04:31:58 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-04 04:37:19 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2026-02-04 04:41:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 04:43:52 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-04 04:47:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 04:49:59 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2026-02-04 04:50:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 04:50:35 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) DragonMaus |
| 2026-02-04 04:55:03 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-04 04:55:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 05:05:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 05:11:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-04 05:11:27 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 05:11:44 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 05:21:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 05:21:48 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2026-02-04 05:21:52 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-02-04 05:22:03 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) DragonMaus |
| 2026-02-04 05:27:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 05:28:56 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2026-02-04 05:29:32 +0100 | DragonMaus | (~DragonMau@user/dragonmaus) DragonMaus |
| 2026-02-04 05:37:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 05:42:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-04 05:46:13 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 264 seconds) |
| 2026-02-04 05:53:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 06:00:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-04 06:01:34 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-04 06:04:44 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-04 06:05:48 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2026-02-04 06:11:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 06:16:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-04 06:27:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 06:31:17 +0100 | jle` | (~jle`@23.240.67.73) (Quit: WeeChat 4.8.1) |
| 2026-02-04 06:31:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-04 06:41:15 +0100 | Square | (~Square4@user/square) Square |
| 2026-02-04 06:42:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 06:43:56 +0100 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-02-04 06:47:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-04 06:51:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 06:52:35 +0100 | trickard__ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2026-02-04 06:53:13 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2026-02-04 06:53:40 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2026-02-04 06:55:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-04 06:56:24 +0100 | mange | (~mange@user/mange) (Ping timeout: 260 seconds) |
| 2026-02-04 07:03:18 +0100 | mange | (~mange@user/mange) mange |
| 2026-02-04 07:05:53 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-04 07:06:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 07:11:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-04 07:21:24 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-04 07:21:24 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-04 07:21:24 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-04 07:21:24 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2026-02-04 07:21:36 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-04 07:21:38 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-04 07:21:43 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-04 07:21:46 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-04 07:21:47 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-04 07:22:18 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-04 07:22:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 07:24:02 +0100 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-02-04 07:24:22 +0100 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) |
| 2026-02-04 07:24:53 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-04 07:26:25 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-04 07:26:28 +0100 | xff0x_ | xff0x |
| 2026-02-04 07:27:44 +0100 | michalz | (~michalz@185.246.207.215) |
| 2026-02-04 07:29:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-04 07:31:12 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-04 07:31:12 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-04 07:31:12 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-04 07:32:28 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-04 07:32:35 +0100 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-02-04 07:34:07 +0100 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2026-02-04 07:35:37 +0100 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-02-04 07:37:00 +0100 | jle` | (~jle`@2603:8001:3b00:11:ceae:40d3:5f9b:7e4d) jle` |
| 2026-02-04 07:37:49 +0100 | trickard__ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2026-02-04 07:37:55 +0100 | trickard___ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 07:38:32 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-04 07:38:42 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-02-04 07:39:01 +0100 | trickard___ | trickard |
| 2026-02-04 07:39:13 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-04 07:40:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 07:42:12 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-04 07:45:19 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 07:45:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-04 07:48:42 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 07:49:12 +0100 | michalz | (~michalz@185.246.207.215) (Ping timeout: 252 seconds) |
| 2026-02-04 07:50:11 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2026-02-04 07:50:25 +0100 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2026-02-04 07:50:25 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Changing host) |
| 2026-02-04 07:50:25 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-04 07:50:38 +0100 | hakutaku | (~textual@user/hakutaku) (Client Quit) |
| 2026-02-04 07:51:01 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-04 07:52:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 07:57:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 07:57:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-04 08:02:43 +0100 | michalz | (~michalz@185.246.207.217) |
| 2026-02-04 08:05:20 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-04 08:08:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 08:09:19 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2026-02-04 08:11:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-04 08:12:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-04 08:12:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-04 08:14:10 +0100 | ft | (~ft@p508db4c0.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-02-04 08:23:09 +0100 | jle` | (~jle`@2603:8001:3b00:11:ceae:40d3:5f9b:7e4d) (Quit: WeeChat 4.8.1) |
| 2026-02-04 08:23:37 +0100 | <gentauro> | tomsmeding: got it. Thx for explanation |
| 2026-02-04 08:23:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 08:24:31 +0100 | michalz | (~michalz@185.246.207.217) (Ping timeout: 255 seconds) |
| 2026-02-04 08:25:55 +0100 | <[exa]> | is there some way to get an operation that would take a list (or so) of MVars and wait until any of them can be taken? Or do I generally have to do this with another synchronization tool (Chan)? |
| 2026-02-04 08:26:56 +0100 | michalz | (~michalz@185.246.207.218) |
| 2026-02-04 08:28:22 +0100 | ar3ph | (~ar3ph@user/ar3ph) (Quit: Ping timeout (120 seconds)) |
| 2026-02-04 08:28:33 +0100 | ar3ph | (~ar3ph@user/ar3ph) ar3ph |
| 2026-02-04 08:29:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-04 08:30:38 +0100 | <gentauro> | I've recently been following this persons task on removing F# from the boundries of the .NET platform to become trully native on bare metal: https://speakez.tech/blog/ |
| 2026-02-04 08:30:55 +0100 | <gentauro> | the blog post are really enjoyable to read |
| 2026-02-04 08:31:04 +0100 | gentauro | And I'm not the guy xD |
| 2026-02-04 08:31:38 +0100 | <gentauro> | however, as I understand it, it's a single person doing all the work (perhaps with the help of AI-tools?) |
| 2026-02-04 08:32:38 +0100 | <Leary> | [exa]: In principle you can `race` `takeMVar` across the list, but I suggest you just use `TMVar`s instead. |
| 2026-02-04 08:34:22 +0100 | <[exa]> | Leary: oh TMVars, that would work too |
| 2026-02-04 08:35:06 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-04 08:35:37 +0100 | <[exa]> | I'm currently thinking about just going with TChan, will see |
| 2026-02-04 08:36:56 +0100 | fp | (~Thunderbi@2001:708:150:10::9d7e) fp |
| 2026-02-04 08:38:12 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:6eef) (Read error: Connection reset by peer) |
| 2026-02-04 08:38:24 +0100 | yuuta | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-02-04 08:39:08 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-04 08:39:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 08:40:12 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-04 08:43:08 +0100 | <[exa]> | gentauro: the lookings of the blog don't spawn much confidence indeed |
| 2026-02-04 08:43:38 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-04 08:44:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-04 08:45:16 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-04 08:45:37 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-04 08:45:46 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-04 08:47:26 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2026-02-04 08:49:20 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-04 08:52:22 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-04 08:53:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 08:53:30 +0100 | monochrom | (trebla@216.138.220.146) monochrom |
| 2026-02-04 08:57:47 +0100 | Enrico63 | (~Enrico63@148.252.128.12) Enrico63 |
| 2026-02-04 09:00:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-04 09:01:10 +0100 | fp | (~Thunderbi@2001:708:150:10::9d7e) (Ping timeout: 245 seconds) |
| 2026-02-04 09:01:57 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-04 09:10:33 +0100 | kuribas | (~user@2a02-1810-2825-6000-16d8-7b7e-1bcd-b36.ip6.access.telenet.be) kuribas |
| 2026-02-04 09:11:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 09:13:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-02-04 09:16:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-04 09:17:19 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-02-04 09:19:16 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-04 09:20:39 +0100 | <[exa]> | hm I guess better ask about the original problem.. I have a few concurrent helpers for Streaming, and I want to have a parallel unfolding function. Example here: https://paste.tomsmeding.com/y8PLkSYh -- mapMForkNIO works, unfoldStream works, and I'd love to them combined, but I can't see a good data structure that would hold the temporary data for it together. Having a list queue there doesn't |
| 2026-02-04 09:20:41 +0100 | <[exa]> | sound very good to me (I'll have to scan it quite often to find new work items, so it might get quite slow) |
| 2026-02-04 09:21:52 +0100 | <[exa]> | (duck effect: I realized I might just place a limit on the queue size instead of the thread count, which would probably also limit the possible amount of stupid work done over the queue) |
| 2026-02-04 09:22:05 +0100 | <[exa]> | anyway any ideas welcome. :D |
| 2026-02-04 09:22:31 +0100 | _JusSx_ | (~jussx@78.210.76.107) (Ping timeout: 240 seconds) |
| 2026-02-04 09:23:36 +0100 | _JusSx_ | (~jussx@78.210.76.107) |
| 2026-02-04 09:30:36 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-04 09:32:55 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-04 09:40:29 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-04 09:40:42 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-04 09:52:28 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2026-02-04 09:53:05 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-04 09:57:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-04 10:02:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-04 10:05:27 +0100 | fp | (~Thunderbi@wireless-86-50-140-153.open.aalto.fi) fp |
| 2026-02-04 10:05:53 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 10:06:07 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 10:09:34 +0100 | fp | (~Thunderbi@wireless-86-50-140-153.open.aalto.fi) (Ping timeout: 246 seconds) |
| 2026-02-04 10:15:19 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-04 10:18:26 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2026-02-04 10:19:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2026-02-04 10:20:01 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-04 10:21:43 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 10:21:56 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 10:29:45 +0100 | qqq | (~qqq@185.54.21.178) |
| 2026-02-04 10:31:53 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 10:32:04 +0100 | fp | (~Thunderbi@wireless-86-50-140-153.open.aalto.fi) fp |
| 2026-02-04 10:32:34 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 10:37:02 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-04 10:51:40 +0100 | fp | (~Thunderbi@wireless-86-50-140-153.open.aalto.fi) (Ping timeout: 255 seconds) |
| 2026-02-04 10:59:39 +0100 | AlexNoo_ | (~AlexNoo@85.174.181.199) |
| 2026-02-04 11:00:25 +0100 | AlexNoo__ | (~AlexNoo@85.174.181.199) |
| 2026-02-04 11:01:49 +0100 | AlexZenon | (~alzenon@178.34.150.239) (Ping timeout: 264 seconds) |
| 2026-02-04 11:03:07 +0100 | AlexNoo | (~AlexNoo@178.34.150.239) (Ping timeout: 246 seconds) |
| 2026-02-04 11:03:33 +0100 | AlexNoo | (~AlexNoo@85.174.181.199) |
| 2026-02-04 11:04:19 +0100 | AlexNoo_ | (~AlexNoo@85.174.181.199) (Ping timeout: 260 seconds) |
| 2026-02-04 11:04:54 +0100 | AlexNoo__ | (~AlexNoo@85.174.181.199) (Ping timeout: 260 seconds) |
| 2026-02-04 11:05:16 +0100 | AlexZenon | (~alzenon@85.174.181.199) |
| 2026-02-04 11:05:18 +0100 | AlexNoo_ | (~AlexNoo@85.174.181.199) |
| 2026-02-04 11:07:49 +0100 | AlexNoo | (~AlexNoo@85.174.181.199) (Ping timeout: 260 seconds) |
| 2026-02-04 11:14:25 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-04 11:21:32 +0100 | <gentauro> | [exa]: if you search for "// F* specification for verified memory operation" it seems that he also will add somekind of `liquid F#/F*` support? https://speakez.tech/blog/doubling-down/ |
| 2026-02-04 11:22:05 +0100 | <gentauro> | I mean, all the things that he mentions are "extremely hard" to do on its own. |
| 2026-02-04 11:25:29 +0100 | <[exa]> | gentauro: given the amount of "complete" code they have on githubs I'd say this might be a case for poc||gtfo |
| 2026-02-04 11:31:43 +0100 | qqq | (~qqq@185.54.21.178) (Ping timeout: 244 seconds) |
| 2026-02-04 11:32:04 +0100 | AlexNoo_ | AlexNoo |
| 2026-02-04 11:37:18 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |