IRCBrowse

2026/01/05

2026-01-05 00:00:03 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2026-01-05 00:00:42 +0100gorignak(~gorignak@user/gorignak) gorignak
2026-01-05 00:03:36 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 00:04:06 +0100gorignak(~gorignak@user/gorignak) (Client Quit)
2026-01-05 00:05:31 +0100gorignak(~gorignak@user/gorignak) gorignak
2026-01-05 00:05:42 +0100gorignak(~gorignak@user/gorignak) (Remote host closed the connection)
2026-01-05 00:10:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-05 00:17:16 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) ()
2026-01-05 00:17:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 00:17:39 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2026-01-05 00:22:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-05 00:30:26 +0100olivial(~benjaminl@user/benjaminl) (Remote host closed the connection)
2026-01-05 00:32:10 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2026-01-05 00:33:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 00:33:02 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2026-01-05 00:35:33 +0100mange(~mange@user/mange) mange
2026-01-05 00:36:29 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-01-05 00:38:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-05 00:43:08 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-05 00:47:40 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds)
2026-01-05 00:49:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 00:50:27 +0100ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2026-01-05 00:53:00 +0100pavonia(~user@user/siracusa) siracusa
2026-01-05 00:53:34 +0100Square3(~Square@user/square) Square
2026-01-05 00:54:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-05 01:02:59 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2026-01-05 01:04:02 +0100 <haskellbridge> <maerwald> sm: what is sad about a stable and well working GHC release?
2026-01-05 01:04:40 +0100 <haskellbridge> <maerwald> Should we switch to 9.8 which is abandoned or to 9.10 which has two minor broken releases (including the last one)?
2026-01-05 01:05:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 01:05:17 +0100 <haskellbridge> <maerwald> 'recommended' isn't for people who want to follow the latest releases.
2026-01-05 01:06:57 +0100 <haskellbridge> <maerwald> Sorry, 9.12 is the one that's broken... I'm starting to mix up all the broken releases
2026-01-05 01:10:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-05 01:10:11 +0100 <haskellbridge> <sm> @maerwald that's a fine thing of course. I acknowledged the no doubt excellent reasons in the linked discussion with my thumbs up. I called it sad mainly because as an experienced haskeller I expect many difficulties building current projects or using tools, and many known limitations, with those older ghc versions.
2026-01-05 01:10:15 +0100 <haskellbridge> <maerwald> 9.6 is documented as suitable for use: https://gitlab.haskell.org/ghc/ghc/-/wikis/GHC-status
2026-01-05 01:10:41 +0100 <haskellbridge> <maerwald> sm: What difficulties?
2026-01-05 01:12:15 +0100 <haskellbridge> <sm> i don't have a list handy. But in my time as a maintainer and packager I've worked around a ton of ghc version and platform specific bugs or limitations
2026-01-05 01:14:21 +0100 <haskellbridge> <maerwald> What limitations?
2026-01-05 01:14:38 +0100 <haskellbridge> <maerwald> Why is 9.6 more limited than 9.10?
2026-01-05 01:15:58 +0100 <haskellbridge> <sm> I did not prepare a list in advance of this chat have forgotten them for the moment. I could go digging in my issue tracker but it's not important
2026-01-05 01:18:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 01:19:24 +0100 <haskellbridge> <maerwald> If you make this claim then I think it's important
2026-01-05 01:20:18 +0100 <haskellbridge> <sm> I mean, I would make the effort if you are truly considering bumping the recommendation. I assume you've seen them all though and will bump when you judge best
2026-01-05 01:20:30 +0100 <haskellbridge> <maerwald> My experience in 10 years of Haskell shows that the difficulties and limitations lie within NEW GHC versions.
2026-01-05 01:20:41 +0100 <haskellbridge> <maerwald> There's a whole github repo dedicated to it
2026-01-05 01:21:07 +0100 <haskellbridge> <sm> of course those exist too
2026-01-05 01:21:23 +0100 <haskellbridge> <maerwald> https://github.com/tomjaguarpaw/tilapia
2026-01-05 01:21:34 +0100 <haskellbridge> <maerwald> And tooling works fine with 9.6
2026-01-05 01:21:46 +0100 <haskellbridge> <maerwald> It doesn't work as fine with new GHC versions
2026-01-05 01:21:50 +0100 <haskellbridge> <maerwald> That's a fact
2026-01-05 01:22:24 +0100 <haskellbridge> <maerwald> So I think your claim is wrong
2026-01-05 01:23:22 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-05 01:23:27 +0100 <haskellbridge> <sm> fair enough, I won't argue with you
2026-01-05 01:25:16 +0100 <haskellbridge> <sm> and as always, thank you for your work, it's appreciated
2026-01-05 01:27:36 +0100 <haskellbridge> <maerwald> But going forward, GHCup will follow GHCs official LTS releases most likely
2026-01-05 01:27:53 +0100 <haskellbridge> <maerwald> Once they've matured, that is
2026-01-05 01:28:11 +0100 <haskellbridge> <sm> that'll be great, I'm looking forward to it
2026-01-05 01:28:52 +0100 <haskellbridge> <maerwald> An LTS release is decided beforehand with no knowledge about its quality. So we'll probably wait until the micro version is at 3 or higher
2026-01-05 01:30:35 +0100 <haskellbridge> <sm> or if it's so good there's no minor release for a year, you might make an exception ?
2026-01-05 01:32:08 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds)
2026-01-05 01:32:15 +0100 <haskellbridge> <sm> rather unlikely I suppose
2026-01-05 01:32:49 +0100zlqrvx(~zlqrvx@user/zlqrvx) (Quit: connection reset by purr)
2026-01-05 01:32:57 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-01-05 01:33:54 +0100zlqrvx(~zlqrvx@user/zlqrvx) zlqrvx
2026-01-05 01:34:23 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 01:38:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-05 01:40:17 +0100spew(~spew@user/spew) (Quit: nyaa~)
2026-01-05 01:50:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 01:55:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-05 02:05:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 02:06:30 +0100omidmash1(~omidmash@user/omidmash) omidmash
2026-01-05 02:08:47 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 256 seconds)
2026-01-05 02:08:47 +0100omidmash1omidmash
2026-01-05 02:09:49 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-01-05 02:11:02 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-05 02:20:10 +0100Tuplanolla(~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.)
2026-01-05 02:20:37 +0100 <oats> why does so much code in base and ghc use `case` for binding instead of `let` or `where`? like here: https://hackage-content.haskell.org/package/ghc-internal-9.1401.0/docs/src/GHC.Internal.Arr.html#n…
2026-01-05 02:21:14 +0100 <c_wraith> let/where create a thunk when they match on a pattern. case forces evaluation.
2026-01-05 02:21:38 +0100 <c_wraith> > let Just x = Nothing in ()
2026-01-05 02:21:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 02:22:25 +0100 <c_wraith> huh. lambdabot isn't in here right now
2026-01-05 02:22:53 +0100 <EvanR> let x = whatever in y, a thunk makes sense
2026-01-05 02:23:15 +0100 <EvanR> but let Pattern x y z = hopefullyPattern in e ?
2026-01-05 02:23:30 +0100 <EvanR> doesn't immediately evaluate?
2026-01-05 02:23:32 +0100 <c_wraith> Well, anyway. (let Just x = Nothing in ()) evaluates to (). (case Nothing of Just x -> ()) is a pattern match error.
2026-01-05 02:24:09 +0100 <EvanR> % let Just x = Nothing in ()
2026-01-05 02:24:09 +0100 <yahb2> <interactive>:153:5: warning: [GHC-53633] [-Woverlapping-patterns] ; Pattern match is redundant ; In a pattern binding: Just x = ... ; ; ()
2026-01-05 02:24:21 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2026-01-05 02:24:21 +0100ChanServ+v lambdabot
2026-01-05 02:24:49 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-01-05 02:24:57 +0100 <c_wraith> EvanR: Irrefutable matches just create thunks. and in a let/where, matches are irrefutable by default.
2026-01-05 02:25:00 +0100divlamir(~divlamir@user/divlamir) divlamir
2026-01-05 02:26:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-05 02:26:26 +0100 <EvanR> wow
2026-01-05 02:27:34 +0100 <c_wraith> > case undefined of ~(a, b) -> () -- you can use ~ to make a match in a case irrefutable
2026-01-05 02:27:35 +0100 <lambdabot> ()
2026-01-05 02:27:59 +0100jj_(~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) omentic
2026-01-05 02:28:00 +0100 <oats> % case undefined of (a,b) -> ()
2026-01-05 02:28:00 +0100 <yahb2> *** Exception: Prelude.undefined ; ; HasCallStack backtrace: ; undefined, called at <interactive>:155:6 in interactive:Ghci16
2026-01-05 02:28:11 +0100 <int-e> it probably got blocked by +r
2026-01-05 02:28:39 +0100jj(~apropos@d154-20-120-135.bchsia.telus.net) (Ping timeout: 244 seconds)
2026-01-05 02:28:39 +0100jj_jj
2026-01-05 02:28:40 +0100 <int-e> (lamdbabot was perfectly alive, just not joined here)
2026-01-05 02:28:50 +0100 <c_wraith> int-e: ah, you're still running lambdabot? I wasn't sure.
2026-01-05 02:29:09 +0100 <oats> and irrefutable patterns are lazy?
2026-01-05 02:29:40 +0100 <oats> % case undefined of ~(a,b) -> b
2026-01-05 02:29:40 +0100 <yahb2> *** Exception: Prelude.undefined ; ; HasCallStack backtrace: ; undefined, called at <interactive>:157:6 in interactive:Ghci16
2026-01-05 02:29:49 +0100 <oats> t'would appear
2026-01-05 02:29:56 +0100 <c_wraith> Yeah. "irrefutable" is a slightly weird way of saying "trust the programmer, you don't need to check this immediately"
2026-01-05 02:30:33 +0100 <int-e> c_wraith: yes
2026-01-05 02:31:47 +0100 <haskellbridge> <loonycyborg> How can you make patterns in let and where refutable?
2026-01-05 02:31:49 +0100 <haskellbridge> <loonycyborg> Like you said they're irrefutable "by default"
2026-01-05 02:32:14 +0100 <c_wraith> loonycyborg: You need the BangPatterns extension, then you mark the match with !
2026-01-05 02:33:17 +0100 <haskellbridge> <loonycyborg> Ah makes sense I guess
2026-01-05 02:33:33 +0100 <haskellbridge> <loonycyborg> and what happens in case of non-exhaustive match at runtime?
2026-01-05 02:33:45 +0100 <haskellbridge> <loonycyborg> Same thing as usual?
2026-01-05 02:34:02 +0100 <c_wraith> yeah, just the usual error about a pattern match failure
2026-01-05 02:34:16 +0100 <haskellbridge> <loonycyborg> Sometimes should be converted into "fail"
2026-01-05 02:34:30 +0100 <c_wraith> If it's on the left side of <- in a do block, yes
2026-01-05 02:34:47 +0100 <oats> %let Just x = (Nothing :: Maybe Int) in x
2026-01-05 02:35:01 +0100 <oats> % let Just x = (Nothing :: Maybe Int) in x
2026-01-05 02:35:01 +0100 <yahb2> <interactive>:159:5: warning: [GHC-53633] [-Woverlapping-patterns] ; Pattern match is redundant ; In a pattern binding: Just x = ... ; ; *** Exception: <interactive>:159:5-35: Non-exhausti...
2026-01-05 02:35:13 +0100 <haskellbridge> <loonycyborg> but ye, irrefutable and lazy are connected.
2026-01-05 02:37:06 +0100 <haskellbridge> <loonycyborg> Those seem to be really different things though, so it smells like some theoretical insight here could be made..
2026-01-05 02:37:12 +0100 <int-e> oats: as recently as GHC 8.8.4, ghc would choke on `let i = 1#` (with or without bang)
2026-01-05 02:37:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 02:38:10 +0100 <c_wraith> there are also things like GADT matching, where GHC just won't compile code that matches a GADT constructor in a let/where
2026-01-05 02:38:11 +0100 <int-e> So up to that point, `case` was the only way to do this. `case` is also clearer about the order of operations.
2026-01-05 02:38:49 +0100 <haskellbridge> <loonycyborg> case is one of few constructs that aren't syntactic sugar for something else.
2026-01-05 02:39:13 +0100 <oats> % do { x <- [1..10]; if (x == 5) then fail "bleh" else pure (); pure x }
2026-01-05 02:39:13 +0100 <yahb2> [1,2,3,4,6,7,8,9,10]
2026-01-05 02:40:33 +0100 <oats> % do { Just x <- [Just 1, Nothing]; pure x }
2026-01-05 02:40:33 +0100 <yahb2> [1]
2026-01-05 02:41:05 +0100 <oats> wonder what that desugars to
2026-01-05 02:41:31 +0100 <c_wraith> the report actually specifies that.
2026-01-05 02:41:37 +0100 <int-e> @undo do { Just x <- [Just 1, Nothing]; pure x }
2026-01-05 02:41:37 +0100 <lambdabot> [Just 1, Nothing] >>= \ a -> case a of { Just x -> pure x; _ -> fail ""}
2026-01-05 02:41:45 +0100 <oats> int-e: I'm not super clear on #, that's an unboxed integer right?
2026-01-05 02:42:25 +0100 <Axman6> and fail str = [] for []
2026-01-05 02:42:34 +0100 <oats> @undo [x | Just x <- [Just 1, Nothing] ]
2026-01-05 02:42:34 +0100 <lambdabot> concatMap (\ a -> case a of { Just x -> [x]; _ -> []}) [Just 1, Nothing]
2026-01-05 02:42:43 +0100 <int-e> oats: Int (machine word sized), yes.
2026-01-05 02:42:53 +0100 <oats> interesting, I thought list comprehensions were special in some way
2026-01-05 02:42:56 +0100 <oats> don't remember who told me that
2026-01-05 02:43:22 +0100 <c_wraith> You don't have to write pure. :)
2026-01-05 02:43:53 +0100 <oats> ?
2026-01-05 02:43:57 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-05 02:44:16 +0100 <c_wraith> [ x | x <- foo ] as opposed to do { x <- foo ; pure x }
2026-01-05 02:44:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-05 02:45:00 +0100 <oats> oh I was just trying out desugaring list comprehensions, because I thought I remembered someone telling me they were special to ghc in some way
2026-01-05 02:45:37 +0100 <c_wraith> technically they are, but not in a way that influences semantics. There are some performance optimizations.
2026-01-05 02:46:10 +0100 <c_wraith> and @undo doesn't give you what GHC does. It is an independent reimplementation of the rules from the Haskell report.
2026-01-05 02:46:43 +0100ChanServ+o geekosaur
2026-01-05 02:46:51 +0100 <oats> gotcha, thanks
2026-01-05 02:47:03 +0100geekosaur-r
2026-01-05 02:47:19 +0100geekosaur-o geekosaur
2026-01-05 02:48:33 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
2026-01-05 02:50:54 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2026-01-05 02:51:31 +0100arandombit(~arandombi@2603:7000:4600:ffbe:e018:2291:d659:5626)
2026-01-05 02:51:32 +0100arandombit(~arandombi@2603:7000:4600:ffbe:e018:2291:d659:5626) (Changing host)
2026-01-05 02:51:32 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-01-05 02:54:29 +0100foul_owl(~kerry@71-212-2-112.tukw.qwest.net) foul_owl
2026-01-05 02:55:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 03:00:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-05 03:10:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 03:13:54 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds)
2026-01-05 03:15:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-05 03:20:37 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2026-01-05 03:24:25 +0100jmcantrell_jmcantrell
2026-01-05 03:25:31 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2026-01-05 03:26:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 03:31:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-05 03:35:55 +0100Square3(~Square@user/square) (Ping timeout: 240 seconds)
2026-01-05 03:41:22 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 03:43:20 +0100omidmash(~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
2026-01-05 03:45:10 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-01-05 03:45:51 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2026-01-05 03:46:27 +0100omidmash(~omidmash@user/omidmash) omidmash
2026-01-05 03:46:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-01-05 03:47:28 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-05 03:57:10 +0100karenw(~karenw@user/karenw) karenw
2026-01-05 03:57:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 03:58:12 +0100karenw(~karenw@user/karenw) (Remote host closed the connection)
2026-01-05 03:59:48 +0100karenw(~karenw@user/karenw) karenw
2026-01-05 04:01:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-05 04:03:10 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-05 04:03:26 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-01-05 04:13:02 +0100merijn(~merijn@62.45.136.136) merijn
2026-01-05 04:13:03 +0100housemate(~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-01-05 04:15:50 +0100housemate(~housemate@202.7.247.155) housemate
2026-01-05 04:19:54 +0100merijn(~merijn@62.45.136.136) (Ping timeout: 252 seconds)
2026-01-05 04:20:19 +0100trickard_(~trickard@cpe-51-98-47-163.wireline.com.au)
2026-01-05 04:23:43 +0100foul_owl(~kerry@71-212-2-112.tukw.qwest.net) (Ping timeout: 240 seconds)
2026-01-05 04:31:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 04:35:27 +0100DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-01-05 04:35:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-05 04:36:11 +0100synchrom1(~john@2406:5a00:2412:2c00:c18e:f5b0:111e:69da) synchromesh
2026-01-05 04:36:19 +0100acidjnk(~acidjnk@p200300d6e7171903898692e61c742058.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2026-01-05 04:36:42 +0100kdlv3(~kdlv@user/kdlv) kdlv
2026-01-05 04:38:16 +0100gabiruh_(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2026-01-05 04:38:17 +0100sajith(~sajith@user/sajith) sajith
2026-01-05 04:38:45 +0100foul_owl(~kerry@94.156.149.97) foul_owl
2026-01-05 04:39:15 +0100tomku|two(~tomku@user/tomku) tomku
2026-01-05 04:39:19 +0100distopico_(~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) distopico
2026-01-05 04:39:22 +0100carbolymer_(~carbolyme@delirium.systems) carbolymer
2026-01-05 04:39:28 +0100Fijxu_(~Fijxu@user/fijxu) fijxu
2026-01-05 04:39:30 +0100ringo__(~ringo@157.230.117.128) ringo_
2026-01-05 04:39:54 +0100Miroboru_(~myrvoll@188.113.115.67) Miroboru
2026-01-05 04:40:07 +0100notzmv(~umar@user/notzmv) (Ping timeout: 240 seconds)
2026-01-05 04:40:07 +0100distopico(~cerdolibr@xvm-111-150.dc2.ghst.net) (Ping timeout: 240 seconds)
2026-01-05 04:40:08 +0100ringo_(~ringo@157.230.117.128) (Ping timeout: 240 seconds)
2026-01-05 04:40:08 +0100distopico_distopico
2026-01-05 04:40:08 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 240 seconds)
2026-01-05 04:40:08 +0100tomku(~tomku@user/tomku) (Ping timeout: 240 seconds)
2026-01-05 04:40:08 +0100Miroboru(~myrvoll@188.113.115.67) (Ping timeout: 240 seconds)
2026-01-05 04:40:08 +0100carbolymer(carbolymer@delirium.systems) (Ping timeout: 240 seconds)
2026-01-05 04:40:08 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) (Ping timeout: 240 seconds)
2026-01-05 04:40:09 +0100igemnace(~igemnace@user/igemnace) (Ping timeout: 240 seconds)
2026-01-05 04:40:09 +0100Fijxu(~Fijxu@user/fijxu) (Ping timeout: 240 seconds)
2026-01-05 04:40:09 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 240 seconds)
2026-01-05 04:40:09 +0100sajith_(~sajith@user/sajith) (Ping timeout: 240 seconds)
2026-01-05 04:40:09 +0100kdlv(~kdlv@user/kdlv) (Ping timeout: 240 seconds)
2026-01-05 04:40:09 +0100synchromesh(~john@115.69.186.131) (Ping timeout: 240 seconds)
2026-01-05 04:40:10 +0100kdlv3kdlv
2026-01-05 04:40:10 +0100DetourNe-DetourNetworkUK
2026-01-05 04:40:57 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2026-01-05 04:41:15 +0100haskellbridge(~hackager@96.28.224.214) (Ping timeout: 240 seconds)
2026-01-05 04:41:54 +0100igemnace(~igemnace@user/igemnace) igemnace
2026-01-05 04:44:18 +0100haskellbridge(~hackager@96.28.224.214) hackager
2026-01-05 04:44:18 +0100ChanServ+v haskellbridge
2026-01-05 04:45:19 +0100tomku|two(~tomku@user/tomku) (Ping timeout: 246 seconds)
2026-01-05 04:45:19 +0100jj(~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) (Ping timeout: 246 seconds)
2026-01-05 04:45:19 +0100weary-traveler(~user@user/user363627) (Ping timeout: 246 seconds)
2026-01-05 04:45:38 +0100weary-traveler(~user@user/user363627) user363627
2026-01-05 04:45:40 +0100CloneOfNone_(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-01-05 04:45:56 +0100kimiamania991(~67ff9c12@user/kimiamania) kimiamania
2026-01-05 04:46:04 +0100vetkat5(~vetkat@user/vetkat) vetkat
2026-01-05 04:46:04 +0100emergence3(~emergence@vm0.max-p.me) emergence
2026-01-05 04:46:34 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2026-01-05 04:46:55 +0100DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-01-05 04:47:17 +0100ycp_(~znc@user/dragestil) dragestil
2026-01-05 04:47:22 +0100tomku(~tomku@user/tomku) tomku
2026-01-05 04:48:30 +0100yin_(~zero@user/zero) zero
2026-01-05 04:48:32 +0100larsivi2(~larsivi@user/larsivi) larsivi
2026-01-05 04:48:58 +0100preflex_(~preflex@user/mauke/bot/preflex) preflex
2026-01-05 04:49:14 +0100omidmash4(~omidmash@user/omidmash) omidmash
2026-01-05 04:49:27 +0100distopico_(~cerdolibr@xvm-111-150.dc2.ghst.net) distopico
2026-01-05 04:49:29 +0100hololeap_(~quassel@user/hololeap) hololeap
2026-01-05 04:49:33 +0100Fijxu(~Fijxu@user/fijxu) fijxu
2026-01-05 04:49:36 +0100opqdonut1_(opqdonut@pseudo.fixme.fi)
2026-01-05 04:49:40 +0100byorgey_(~byorgey@155.138.238.211)
2026-01-05 04:49:40 +0100byorgey_(~byorgey@155.138.238.211) (Changing host)
2026-01-05 04:49:40 +0100byorgey_(~byorgey@user/byorgey) byorgey
2026-01-05 04:49:44 +0100elarks_(~elarks@user/yerrii) yerrii
2026-01-05 04:50:14 +0100finstern1s(~X@23.226.237.192) finsternis
2026-01-05 04:50:27 +0100fgarcia_(~lei@user/fgarcia) fgarcia
2026-01-05 04:50:39 +0100jreicher(~user@user/jreicher) (Ping timeout: 246 seconds)
2026-01-05 04:50:39 +0100vetkat(~vetkat@user/vetkat) (Ping timeout: 246 seconds)
2026-01-05 04:50:39 +0100kimiamania99(~67ff9c12@user/kimiamania) (Ping timeout: 246 seconds)
2026-01-05 04:50:39 +0100hololeap(~quassel@user/hololeap) (Ping timeout: 246 seconds)
2026-01-05 04:50:40 +0100Fijxu_(~Fijxu@user/fijxu) (Ping timeout: 246 seconds)
2026-01-05 04:50:40 +0100elarks(~elarks@user/yerrii) (Ping timeout: 246 seconds)
2026-01-05 04:50:40 +0100preflex(~preflex@user/mauke/bot/preflex) (Ping timeout: 246 seconds)
2026-01-05 04:50:40 +0100byorgey(~byorgey@user/byorgey) (Ping timeout: 246 seconds)
2026-01-05 04:50:40 +0100opqdonut__(opqdonut@pseudo.fixme.fi) (Ping timeout: 246 seconds)
2026-01-05 04:50:40 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Ping timeout: 246 seconds)
2026-01-05 04:50:40 +0100larsivi(~larsivi@user/larsivi) (Ping timeout: 246 seconds)
2026-01-05 04:50:40 +0100yin(~zero@user/zero) (Ping timeout: 246 seconds)
2026-01-05 04:50:40 +0100CloneOfNone(~CloneOfNo@user/CloneOfNone) (Ping timeout: 246 seconds)
2026-01-05 04:50:40 +0100emergence(emergence@vm0.max-p.me) (Ping timeout: 246 seconds)
2026-01-05 04:50:40 +0100ycp(~znc@user/dragestil) (Ping timeout: 246 seconds)
2026-01-05 04:50:40 +0100arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-01-05 04:50:41 +0100omidmash(~omidmash@user/omidmash) (Quit: Ping timeout (120 seconds))
2026-01-05 04:50:41 +0100finsternis(~X@23.226.237.192) (Ping timeout: 246 seconds)
2026-01-05 04:50:41 +0100fgarcia(~lei@user/fgarcia) (Ping timeout: 246 seconds)
2026-01-05 04:50:41 +0100distopico(~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) (Read error: Connection reset by peer)
2026-01-05 04:50:41 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds)
2026-01-05 04:50:41 +0100gabiruh_(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 246 seconds)
2026-01-05 04:50:41 +0100stefan-__(~m-yh2rcc@42dots.de) (Ping timeout: 246 seconds)
2026-01-05 04:50:41 +0100distopico_distopico
2026-01-05 04:50:41 +0100omidmash4omidmash
2026-01-05 04:50:41 +0100kimiamania991kimiamania99
2026-01-05 04:50:41 +0100emergence3emergence
2026-01-05 04:50:41 +0100ycp_ycp
2026-01-05 04:50:41 +0100vetkat5vetkat
2026-01-05 04:50:41 +0100yin_yin
2026-01-05 04:50:41 +0100DetourNe-DetourNetworkUK
2026-01-05 04:50:44 +0100fgarcia_(~lei@user/fgarcia) (Max SendQ exceeded)
2026-01-05 04:50:51 +0100finstern1sfinsternis
2026-01-05 04:50:52 +0100preflex_preflex
2026-01-05 04:50:57 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-01-05 04:51:02 +0100arandombit(~arandombi@2603:7000:4600:ffbe:e018:2291:d659:5626)
2026-01-05 04:51:03 +0100arandombit(~arandombi@2603:7000:4600:ffbe:e018:2291:d659:5626) (Changing host)
2026-01-05 04:51:03 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-01-05 04:51:18 +0100jreicher(~user@user/jreicher) jreicher
2026-01-05 04:51:20 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-01-05 04:51:28 +0100notzmv(~umar@user/notzmv) notzmv
2026-01-05 04:51:40 +0100fgarcia(~lei@user/fgarcia) (Max SendQ exceeded)
2026-01-05 04:52:15 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-01-05 04:52:36 +0100fgarcia(~lei@user/fgarcia) (Max SendQ exceeded)
2026-01-05 04:52:50 +0100stefan-__(~m-yh2rcc@42dots.de) stefan-__
2026-01-05 04:53:15 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-01-05 04:53:52 +0100fgarcia(~lei@user/fgarcia) (Max SendQ exceeded)
2026-01-05 04:54:29 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-01-05 04:54:46 +0100fgarcia(~lei@user/fgarcia) (Max SendQ exceeded)
2026-01-05 04:55:33 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-01-05 04:56:07 +0100fgarcia(~lei@user/fgarcia) (Client Quit)
2026-01-05 04:59:26 +0100vetkat6(~vetkat@user/vetkat) vetkat
2026-01-05 05:00:07 +0100pabs3(~pabs3@user/pabs3) (Ping timeout: 240 seconds)
2026-01-05 05:00:18 +0100jj(~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) omentic
2026-01-05 05:03:08 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds)
2026-01-05 05:03:08 +0100notzmv(~umar@user/notzmv) (Ping timeout: 240 seconds)
2026-01-05 05:03:09 +0100igemnace(~igemnace@user/igemnace) (Ping timeout: 240 seconds)
2026-01-05 05:03:09 +0100vetkat(~vetkat@user/vetkat) (Ping timeout: 240 seconds)
2026-01-05 05:03:09 +0100yin(~zero@user/zero) (Ping timeout: 240 seconds)
2026-01-05 05:03:16 +0100igemnace(~igemnace@user/igemnace) igemnace
2026-01-05 05:03:33 +0100enikar(~enikar@user/enikar) (*.net *.split)
2026-01-05 05:03:33 +0100elenril(~elenril@tutturu.khirnov.net) (*.net *.split)
2026-01-05 05:03:45 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-05 05:03:58 +0100yin(~zero@user/zero) zero
2026-01-05 05:04:36 +0100enikar(~enikar@user/enikar) enikar
2026-01-05 05:04:36 +0100elenril(~elenril@tutturu.khirnov.net) elenril
2026-01-05 05:06:23 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) (Ping timeout: 246 seconds)
2026-01-05 05:07:22 +0100vetkat6(~vetkat@user/vetkat) (Ping timeout: 246 seconds)
2026-01-05 05:07:53 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-01-05 05:08:01 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2026-01-05 05:08:01 +0100ChanServ+v lambdabot
2026-01-05 05:09:15 +0100pabs3(~pabs3@user/pabs3) pabs3
2026-01-05 05:18:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 05:21:30 +0100gorignak(~gorignak@user/gorignak) gorignak
2026-01-05 05:21:48 +0100fgarcia(~lei@user/fgarcia) fgarcia
2026-01-05 05:22:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-05 05:26:36 +0100mange(~mange@user/mange) (Quit: Quittin' time!)
2026-01-05 05:34:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 05:38:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-01-05 05:49:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 05:55:38 +0100sp1ff(~user@2601:1c2:4701:900::327f) sp1ff
2026-01-05 05:59:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-05 06:01:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 06:06:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-01-05 06:17:02 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 06:20:13 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-01-05 06:22:49 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2026-01-05 06:23:28 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-05 06:24:04 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-01-05 06:25:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-01-05 06:29:31 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-05 06:30:25 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-01-05 06:34:21 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-01-05 06:34:41 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-05 06:39:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 06:43:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-05 06:50:58 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2026-01-05 06:56:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 07:00:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-05 07:03:28 +0100michalz(~michalz@185.246.207.221)
2026-01-05 07:12:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 07:16:51 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-01-05 07:21:36 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-01-05 07:30:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 07:36:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-05 07:36:57 +0100annamalai(~annamalai@157.32.116.118) annamalai
2026-01-05 07:43:41 +0100AlexZenon(~alzenon@178.34.150.138)
2026-01-05 07:51:37 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2026-01-05 08:02:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 08:07:02 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-01-05 08:07:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-01-05 08:12:15 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-01-05 08:20:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 08:22:03 +0100CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-01-05 08:22:07 +0100CloneOfNone_(~CloneOfNo@user/CloneOfNone) (Ping timeout: 240 seconds)
2026-01-05 08:22:55 +0100annamalai(~annamalai@157.32.116.118) (Ping timeout: 240 seconds)
2026-01-05 08:25:02 +0100trickard_trickard
2026-01-05 08:26:36 +0100annamalai(~annamalai@157.32.116.118) annamalai
2026-01-05 08:27:16 +0100jreicher(~user@user/jreicher) (Quit: In transit)
2026-01-05 08:29:11 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-01-05 08:31:31 +0100annamalai(~annamalai@157.32.116.118) (Ping timeout: 264 seconds)
2026-01-05 08:36:32 +0100annamalai(~annamalai@157.32.133.19) annamalai
2026-01-05 08:43:04 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-01-05 08:44:02 +0100synchrom1(~john@2406:5a00:2412:2c00:c18e:f5b0:111e:69da) (Read error: Connection reset by peer)
2026-01-05 08:44:30 +0100synchromesh(~john@2406:5a00:2412:2c00:c18e:f5b0:111e:69da) synchromesh
2026-01-05 08:46:26 +0100 <haskellbridge> <Liamzee> this is really interesting as an intellectual exercise
2026-01-05 08:48:54 +0100 <haskellbridge> <Liamzee> i'm currently trying to specify a program as a type, such that the type of this value can be generated by AI; the initial plan is to bootstrap itself, by creating a harness that can, given a spec file, be able to use AI to generate a program that satisfies the type&test constraints
2026-01-05 08:49:37 +0100 <haskellbridge> <Liamzee> ironically it feels like a free monad interpreter is the only sane way to actually type it, because i don't want the AI generating arbitrary effects
2026-01-05 08:56:35 +0100chele(~chele@user/chele) chele
2026-01-05 09:02:48 +0100annamalai(~annamalai@157.32.133.19) (Remote host closed the connection)
2026-01-05 09:03:13 +0100annamalai(~annamalai@157.32.133.19) annamalai
2026-01-05 09:05:22 +0100tromp(~textual@2001:1c00:3487:1b00:ad7d:11db:9b25:5b85)
2026-01-05 09:06:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-05 09:06:44 +0100wickedjargon(~user@64.114.24.74) wickedjargon
2026-01-05 09:07:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-05 09:23:34 +0100tromp(~textual@2001:1c00:3487:1b00:ad7d:11db:9b25:5b85) (Ping timeout: 246 seconds)
2026-01-05 09:28:32 +0100 <merijn> Liamzee: That sounds like you're just trying to reinvent Epigram but with AI :p
2026-01-05 09:29:40 +0100kuribas(~user@2a02-1810-2825-6000-a122-c68a-b511-6946.ip6.access.telenet.be) kuribas
2026-01-05 09:29:44 +0100tv(~tv@user/tv) (Ping timeout: 244 seconds)
2026-01-05 09:36:23 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds)
2026-01-05 09:38:56 +0100trickard(~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-05 09:39:09 +0100trickard_(~trickard@cpe-51-98-47-163.wireline.com.au)
2026-01-05 09:39:18 +0100 <hc> What's the stateless way to wish you all a happy new year?
2026-01-05 09:41:57 +0100fgarcia(~lei@user/fgarcia) (Quit: Remote host closed the connection)
2026-01-05 09:42:30 +0100 <Vq> There are none, wishes are treated as to be effectful (even when they are not).
2026-01-05 09:43:00 +0100tv(~tv@user/tv) tv
2026-01-05 09:45:05 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2026-01-05 09:48:40 +0100 <gentauro> hc: you are "broadcasting" hereby you are performing multiple effects ;)
2026-01-05 09:51:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-05 09:53:24 +0100karenw(~karenw@user/karenw) (Ping timeout: 244 seconds)
2026-01-05 09:55:56 +0100__monty__(~toonn@user/toonn) toonn
2026-01-05 09:59:21 +0100 <hc> Vq: haha :)
2026-01-05 10:07:16 +0100Inline(~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection)
2026-01-05 10:12:30 +0100trickard_(~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-05 10:12:43 +0100trickard_(~trickard@cpe-51-98-47-163.wireline.com.au)
2026-01-05 10:15:04 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-01-05 10:16:03 +0100Inline(~User@cgn-195-14-221-74.nc.de) Inline
2026-01-05 10:27:40 +0100carbolymer_carbolymer
2026-01-05 10:28:46 +0100trickard_trickard