| 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 |
| 2026-02-04 11:38:57 +0100 | trickard_ | trickard |
| 2026-02-04 11:39:50 +0100 | qqq | (~qqq@185.54.21.178) |
| 2026-02-04 11:43:43 +0100 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2026-02-04 11:44:01 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-04 11:54:06 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2026-02-04 11:55:14 +0100 | <gentauro> | [exa]: could be. However, I would love to see F# removing all dependencies to MS, a bit like Java did with the openJDK |
| 2026-02-04 11:59:26 +0100 | <gentauro> | … and Oracle :) |
| 2026-02-04 12:06:26 +0100 | <[exa]> | doesn't it kinda become haskell by then? |
| 2026-02-04 12:08:34 +0100 | <[exa]> | (or ocaml, depending on which direction you take) |
| 2026-02-04 12:11:40 +0100 | <gentauro> | [exa]: but both Haskell and OCaml have garbage collectors. They seem to go the `C/C++/Rust` way -> https://speakez.tech/blog/gaining-closure/ |
| 2026-02-04 12:12:44 +0100 | <gentauro> | like I say, they are so many "complex and hard" topics that I really would like this to succeed, just to see the outcome :o |
| 2026-02-04 12:12:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-02-04 12:13:25 +0100 | gentauro | anyway, back to "old-school" coding |
| 2026-02-04 12:14:56 +0100 | <[exa]> | gentauro: I was trying to do similar some 10 years ago, the outcome is that converting any existing functional programming system to this behavior is either impossible or basically you end up with something like the compiled schemes or Rust |