IRCBrowse

2025/10/17

2025-10-17 00:07:02 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving)
2025-10-17 00:08:30 +0200synchromesh(~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) (Read error: Connection reset by peer)
2025-10-17 00:08:56 +0200omnifunctor(~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-10-17 00:08:56 +0200semifunctor(~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-10-17 00:09:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 00:10:02 +0200synchromesh(~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) synchromesh
2025-10-17 00:10:24 +0200semifunctor(~omnifunct@user/semifunctor) omnifunctor
2025-10-17 00:10:53 +0200omnifunctor(~omnifunct@user/semifunctor) omnifunctor
2025-10-17 00:14:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 00:18:07 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-17 00:20:43 +0200 <dcpagan> I cannot use a monoid instance of (Ord a) => Max (Maybe a)
2025-10-17 00:21:07 +0200 <dcpagan> The following monoid instances are defined in the standard library:
2025-10-17 00:21:10 +0200 <dcpagan> instance (Ord a, Bounded a) => Monoid (Max a)
2025-10-17 00:21:35 +0200 <dcpagan> instance Semigroup a => Monoid (Maybe a)
2025-10-17 00:22:03 +0200 <dcpagan> instance Ord a => Semigroup (Max a)
2025-10-17 00:22:48 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds)
2025-10-17 00:23:41 +0200 <dcpagan> This is the type error I'm getting: "Could not deduce (Bounded (Maybe Int))"
2025-10-17 00:24:35 +0200 <monochrom> IIUC that just means you have a Semigroup, you just don't have a Monoid.
2025-10-17 00:24:57 +0200 <dcpagan> Here's the code with the type error: "fromMaybe 0 . getMax . foldMap (Max . Just . length)"
2025-10-17 00:25:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 00:25:23 +0200 <dcpagan> I imported Data.Semigroup and Data.Monoid.
2025-10-17 00:26:00 +0200 <dolio> I think you might want `Maybe (Max a)`
2025-10-17 00:26:29 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-10-17 00:27:05 +0200 <dolio> `Max a` is the semigroup taking the maximum in `a`, and then `Maybe` adds a unit to a semigroup.
2025-10-17 00:28:14 +0200 <dcpagan> Oh, I see it. Transposing Max and Just works.
2025-10-17 00:28:31 +0200 <dolio> Technically the `(Ord a, Bounded a) => Monoid (Max a)` only needs one bound, but the classes aren't that refined.
2025-10-17 00:28:47 +0200 <dcpagan> I saw other monoids in Data.Monoid that wrapped a Maybe, like First and Last.
2025-10-17 00:29:17 +0200 <dcpagan> MinBounded and MaxBounded type classes would be nice.
2025-10-17 00:29:24 +0200 <dcpagan> Natural has a minBound, but no maxBound.
2025-10-17 00:29:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 00:30:13 +0200 <dolio> Yeah, First/Last could be reworked to be semigroups without the Maybe, but probably no one cares enough to fix the historical design.
2025-10-17 00:30:30 +0200 <dolio> They were written before Semigroup existed as a class.
2025-10-17 00:34:56 +0200 <geekosaur> weren't some others rewritten, though?
2025-10-17 00:35:23 +0200 <dolio> Dunno. I kind of thought Min/Max were the same way, so maybe they were changed.
2025-10-17 00:35:27 +0200gustrb(~gustrb@200.132.2.8)
2025-10-17 00:35:34 +0200 <dolio> I don't know why only some would have been fixed, though.
2025-10-17 00:36:29 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-17 00:37:20 +0200AlexZenon_2(~alzenon@85.174.180.124)
2025-10-17 00:37:31 +0200emmanuelux_(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-17 00:38:27 +0200mesaoptimizer0mesaoptimizer
2025-10-17 00:38:27 +0200AlexZenon(~alzenon@85.174.180.124) (Read error: Connection reset by peer)
2025-10-17 00:40:39 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds)
2025-10-17 00:40:39 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 256 seconds)
2025-10-17 00:41:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 00:41:02 +0200emmanuelux_(~emmanuelu@user/emmanuelux) (Client Quit)
2025-10-17 00:41:42 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-10-17 00:43:08 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-17 00:44:10 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds)
2025-10-17 00:45:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-17 00:46:55 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-17 00:48:04 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-10-17 00:48:46 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-17 00:51:06 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 00:55:19 +0200Psychotic1(~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Quit: Leaving)
2025-10-17 00:55:45 +0200Psychotic1(~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a)
2025-10-17 00:56:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 00:59:19 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds)
2025-10-17 01:01:25 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 01:01:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 01:03:45 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-17 01:06:31 +0200karenw_(~karenw@user/karenw) karenw
2025-10-17 01:09:55 +0200n0um3n4(~n0um3n4@104.28.199.133) (Remote host closed the connection)
2025-10-17 01:12:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 01:17:00 +0200xff0x(~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) (Ping timeout: 245 seconds)
2025-10-17 01:17:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 01:21:12 +0200n0um3n4(~n0um3n4@104.28.199.133)
2025-10-17 01:28:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 01:31:52 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2025-10-17 01:32:14 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 01:34:29 +0200Zemy(~Zemy@76.184.41.21) (Ping timeout: 256 seconds)
2025-10-17 01:35:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 01:35:54 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2025-10-17 01:35:55 +0200yegor_yegor
2025-10-17 01:36:58 +0200Googulator42Googulator
2025-10-17 01:40:09 +0200xff0x(~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989)
2025-10-17 01:40:13 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 01:43:02 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 01:46:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 01:47:37 +0200acidjnk(~acidjnk@p200300d6e71719750129677a31b7bc88.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-10-17 01:54:37 +0200gustrb(~gustrb@200.132.2.8) (Ping timeout: 246 seconds)
2025-10-17 01:55:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 01:58:55 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-17 02:06:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 02:07:02 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-17 02:10:22 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 246 seconds)
2025-10-17 02:11:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 02:11:47 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-10-17 02:14:50 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2025-10-17 02:15:32 +0200zfnmxt(~m-gkkevi@user/zfnmxt) (Remote host closed the connection)
2025-10-17 02:16:06 +0200Zemy(~Zemy@2600:100c:b0a4:d984:e881:2dff:fe8d:7adc)
2025-10-17 02:16:23 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-17 02:18:34 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds)
2025-10-17 02:18:43 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 02:20:14 +0200zfnmxt(~m-gkkevi@209.209.10.107)
2025-10-17 02:20:28 +0200divya(divya@140.238.251.170) divya
2025-10-17 02:20:44 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 244 seconds)
2025-10-17 02:22:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 02:24:55 +0200zfnmxt(~m-gkkevi@209.209.10.107) (Ping timeout: 256 seconds)
2025-10-17 02:25:30 +0200Psychotic1(~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Ping timeout: 248 seconds)
2025-10-17 02:26:37 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds)
2025-10-17 02:27:44 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 02:27:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 02:29:01 +0200gustrb(~gustrb@200.132.2.8)
2025-10-17 02:30:51 +0200zfnmxt(~m-gkkevi@209.209.10.107)
2025-10-17 02:34:52 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds)
2025-10-17 02:35:41 +0200zfnmxt(~m-gkkevi@209.209.10.107) (Ping timeout: 256 seconds)
2025-10-17 02:38:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 02:39:39 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 256 seconds)
2025-10-17 02:43:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 02:45:32 +0200otto_s_(~user@p4ff27814.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-10-17 02:47:18 +0200otto_s(~user@p5de2f2fc.dip0.t-ipconnect.de)
2025-10-17 02:54:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 02:54:49 +0200Square2(~Square@user/square) (Ping timeout: 246 seconds)
2025-10-17 02:55:23 +0200Square(~Square4@user/square) Square
2025-10-17 02:57:30 +0200xff0x(~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) (Ping timeout: 248 seconds)
2025-10-17 02:59:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-17 03:00:07 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-17 03:05:43 +0200FANTOM(~fantom@90.244.183.5) (Ping timeout: 256 seconds)
2025-10-17 03:09:38 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-10-17 03:09:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 03:10:02 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-17 03:13:05 +0200gustrb(~gustrb@200.132.2.8) (Ping timeout: 256 seconds)
2025-10-17 03:14:56 +0200Pixi(~Pixi@user/pixi) (Read error: Connection reset by peer)
2025-10-17 03:15:20 +0200Pixi(~Pixi@user/pixi) Pixi
2025-10-17 03:16:01 +0200FANTOM(~fantom@90.244.168.178)
2025-10-17 03:16:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 03:18:25 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-10-17 03:18:51 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-17 03:19:58 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-10-17 03:20:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 03:20:13 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-17 03:20:43 +0200zfnmxt(~m-gkkevi@209.209.10.107)
2025-10-17 03:24:10 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 248 seconds)
2025-10-17 03:24:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 03:28:46 +0200gustrb(~gustrb@191.243.134.87)
2025-10-17 03:33:14 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 248 seconds)
2025-10-17 03:35:11 +0200 <jackdk> dolio: Apparently that work ran into roadblocks and is not planned any more: https://gitlab.haskell.org/ghc/ghc/-/issues/15028. This libraries@ post lists the main problems: https://mail.haskell.org/pipermail/libraries/2020-April/030357.html . Most seem fixable, but the syntactic noise seems really annoying and the strictness change more fundamentally difficult.
2025-10-17 03:35:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 03:38:08 +0200trickard_trickard
2025-10-17 03:40:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 03:51:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 03:54:43 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-17 03:56:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 04:06:42 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-10-17 04:07:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 04:12:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 04:20:19 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-17 04:23:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 04:24:32 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving)
2025-10-17 04:27:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 04:28:35 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-10-17 04:33:00 +0200td_(~td@i5387093E.versanet.de) (Ping timeout: 244 seconds)
2025-10-17 04:35:07 +0200td_(~td@i5387090B.versanet.de) td_
2025-10-17 04:38:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 04:39:27 +0200 <dcpagan> Is there a way to either undo an import or hide a variable from an existing import?
2025-10-17 04:39:37 +0200 <dcpagan> I keep getting ambiguous occurrence errors.
2025-10-17 04:39:47 +0200 <dcpagan> I mean in the interactive shell.
2025-10-17 04:40:07 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-10-17 04:40:47 +0200 <geekosaur> probably have to unimport and re-import with `hiding`
2025-10-17 04:41:06 +0200 <geekosaur> (unimporting is done with the old `:m` command: `:m -Module.Name`
2025-10-17 04:41:12 +0200 <geekosaur> )
2025-10-17 04:43:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 04:44:11 +0200 <ski> import Prelude hiding (length)
2025-10-17 04:44:43 +0200 <fgidim> something like import Prelude hiding tail or import Prelude hiding( head, tail )
2025-10-17 04:54:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 05:01:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 05:09:49 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds)
2025-10-17 05:12:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 05:13:15 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 05:17:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 05:21:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 05:25:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 05:28:22 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-10-17 05:29:31 +0200karenw_(~karenw@user/karenw) (Ping timeout: 246 seconds)
2025-10-17 05:29:50 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
2025-10-17 05:30:28 +0200haskellbridge(~hackager@96.28.224.214) hackager
2025-10-17 05:30:29 +0200ChanServ+v haskellbridge
2025-10-17 05:32:59 +0200n0um3n4(~n0um3n4@104.28.199.133) (Remote host closed the connection)
2025-10-17 05:36:10 +0200karenw_(~karenw@user/karenw) karenw
2025-10-17 05:36:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 05:36:32 +0200karenw_(~karenw@user/karenw) (Client Quit)
2025-10-17 05:41:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 05:52:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 05:56:22 +0200aforemny(~aforemny@2001:9e8:6cf1:8200:5418:7e22:c389:aad3) aforemny
2025-10-17 05:56:49 +0200aforemny_(~aforemny@2001:9e8:6cd3:9e00:ec6c:33df:2ec4:2c9f) (Ping timeout: 246 seconds)
2025-10-17 05:57:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-17 05:59:51 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-10-17 06:08:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 06:11:13 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) superbil
2025-10-17 06:12:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 06:19:55 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds)
2025-10-17 06:22:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 06:22:31 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 06:27:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 06:35:23 +0200peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-17 06:37:12 +0200michalz(~michalz@185.246.207.201)
2025-10-17 06:37:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 06:41:34 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-10-17 06:43:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-17 06:54:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 06:59:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-17 07:08:46 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-17 07:10:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 07:13:21 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-10-17 07:14:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 07:17:03 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-10-17 07:17:48 +0200poscat(~poscat@user/poscat) poscat
2025-10-17 07:19:35 +0200poscat0x04(~poscat@user/poscat) (Ping timeout: 256 seconds)
2025-10-17 07:20:43 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 07:20:56 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 07:23:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 07:24:44 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-10-17 07:24:47 +0200fgidim(~lei@user/fgarcia) (Read error: Connection reset by peer)
2025-10-17 07:25:29 +0200fgarciafgidim
2025-10-17 07:27:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 07:37:26 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-10-17 07:38:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 07:43:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 07:44:31 +0200ubert(~Thunderbi@77.119.165.5.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2025-10-17 07:54:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 07:57:43 +0200jreicher(~user@user/jreicher) (Quit: NIN (via TRON))
2025-10-17 07:59:21 +0200craunts795335385(~craunts@175.176.17.164)
2025-10-17 07:59:38 +0200rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in)
2025-10-17 08:00:52 +0200rembo10(~rembo10@main.remulis.com) rembo10
2025-10-17 08:01:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 08:10:28 +0200halloy7365(~halloy736@2404:4400:5446:4e00:9554:c574:8d58:cb38)
2025-10-17 08:12:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 08:15:45 +0200elenril(~elenril@tutturu.khirnov.net) (Ping timeout: 245 seconds)
2025-10-17 08:15:46 +0200peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds)
2025-10-17 08:18:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-17 08:19:51 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 08:20:04 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 08:21:57 +0200ft(~ft@p4fc2a207.dip0.t-ipconnect.de) (Quit: leaving)
2025-10-17 08:24:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 08:25:42 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-10-17 08:25:42 +0200synchromesh(~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) (Read error: Connection reset by peer)
2025-10-17 08:26:47 +0200synchromesh(~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) synchromesh
2025-10-17 08:26:52 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-10-17 08:29:22 +0200elenril(~elenril@tutturu.khirnov.net) elenril
2025-10-17 08:29:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-17 08:31:16 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-10-17 08:40:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 08:42:03 +0200halloy7365(~halloy736@2404:4400:5446:4e00:9554:c574:8d58:cb38) (Quit: halloy7365)
2025-10-17 08:45:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 08:55:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 08:59:57 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-17 09:00:03 +0200caconym7478798(~caconym@user/caconym) (Quit: bye)
2025-10-17 09:00:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-17 09:00:36 +0200trickard_trickard
2025-10-17 09:00:44 +0200caconym7478798(~caconym@user/caconym) caconym
2025-10-17 09:01:05 +0200n0um3n4(~n0um3n4@104.30.133.59)
2025-10-17 09:02:29 +0200Googulator(~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-10-17 09:05:33 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2025-10-17 09:07:06 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-10-17 09:10:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 09:11:18 +0200dtman34_(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-10-17 09:11:25 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2025-10-17 09:14:01 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-17 09:14:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-17 09:15:51 +0200annamalai(~annamalai@2409:4042:4e3c:ee1e::9e4a:2910) (Ping timeout: 250 seconds)
2025-10-17 09:18:05 +0200rubin55_(sid666180@id-666180.ilkley.irccloud.com) ()
2025-10-17 09:18:34 +0200rubin55(sid666180@id-666180.ilkley.irccloud.com) rubin55
2025-10-17 09:19:53 +0200craunts795335385(~craunts@175.176.17.164) (Quit: The Lounge - https://thelounge.chat)
2025-10-17 09:23:41 +0200Square(~Square4@user/square) (Ping timeout: 256 seconds)
2025-10-17 09:23:47 +0200karenw_(~karenw@user/karenw) karenw
2025-10-17 09:25:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 09:31:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 09:32:12 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 260 seconds)
2025-10-17 09:33:54 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb)
2025-10-17 09:34:00 +0200craunts795335385(~craunts@175.176.17.164)
2025-10-17 09:37:00 +0200kukimik(~kukimik@93-159-13-148.cgnat.inetia.pl)
2025-10-17 09:38:23 +0200n0um3n4(~n0um3n4@104.30.133.59) (Remote host closed the connection)
2025-10-17 09:40:16 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 09:40:30 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 09:41:03 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2025-10-17 09:42:43 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-10-17 09:44:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 09:45:19 +0200tomsmeding_tomsmeding
2025-10-17 09:45:59 +0200trickard_trickard
2025-10-17 09:48:37 +0200FANTOM(~fantom@90.244.168.178) (Ping timeout: 256 seconds)
2025-10-17 09:49:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 09:49:47 +0200FANTOM(~fantom@90.244.165.37)
2025-10-17 09:50:09 +0200 <[exa]> just curious, did anyone do some rigorous analysis of what's packed in the ghc-produced binaries (i.e., what's making them big?)
2025-10-17 09:50:45 +0200 <[exa]> not that they'd be super big, esp. not w.r.t. to the other pop compilers, but still curious
2025-10-17 09:51:05 +0200a_fantom(~fantom@90.244.165.37)
2025-10-17 09:52:51 +0200annamalai(~annamalai@157.32.220.158) annamalai
2025-10-17 09:52:52 +0200 <tomsmeding> I have no idea, but libHSbase.so is 12 MB
2025-10-17 09:54:51 +0200FANTOM(~fantom@90.244.165.37) (Ping timeout: 256 seconds)
2025-10-17 09:55:47 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-10-17 10:00:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 10:01:34 +0200phma(~phma@2605:59c8:6211:ff08::6d1)
2025-10-17 10:02:07 +0200chele(~chele@user/chele) chele
2025-10-17 10:04:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-17 10:08:49 +0200annamalai(~annamalai@157.32.220.158) (Remote host closed the connection)
2025-10-17 10:09:09 +0200annamalai(~annamalai@157.32.220.158) annamalai
2025-10-17 10:12:04 +0200kenran(~void@user/kenran) kenran
2025-10-17 10:15:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 10:18:02 +0200Zemy(~Zemy@2600:100c:b0a4:d984:e881:2dff:fe8d:7adc) (Ping timeout: 248 seconds)
2025-10-17 10:21:49 +0200kenran(~void@user/kenran) (Remote host closed the connection)
2025-10-17 10:27:36 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 10:27:49 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 10:30:44 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-17 10:31:56 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 10:38:26 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 10:43:17 +0200chenjf(~chenjf@68.64.178.54)
2025-10-17 10:43:20 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-17 10:46:50 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-17 10:47:34 +0200n0um3n4(~n0um3n4@104.30.133.59)
2025-10-17 10:48:00 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds)
2025-10-17 10:49:33 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-17 10:50:09 +0200craunts795335385(~craunts@175.176.17.164) (Quit: The Lounge - https://thelounge.chat)
2025-10-17 10:57:09 +0200srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-10-17 10:57:21 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2025-10-17 11:05:11 +0200chenjf(~chenjf@68.64.178.54) (Quit: WeeChat 4.7.1)
2025-10-17 11:05:43 +0200acidjnk(~acidjnk@p200300d6e71719070129677a31b7bc88.dip0.t-ipconnect.de) acidjnk
2025-10-17 11:23:32 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-10-17 11:23:32 +0200petrichor(~jez@user/petrichor) (Read error: Connection reset by peer)
2025-10-17 11:25:39 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 11:25:53 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 11:26:43 +0200petrichor(~jez@user/petrichor) petrichor
2025-10-17 11:41:49 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-10-17 11:43:00 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-10-17 11:43:06 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-10-17 11:43:39 +0200kukimik(~kukimik@93-159-13-148.cgnat.inetia.pl) (Remote host closed the connection)
2025-10-17 11:44:03 +0200yappy(~adi@86.123.72.40)
2025-10-17 11:44:29 +0200yappy(~adi@86.123.72.40) (Remote host closed the connection)
2025-10-17 11:47:26 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-17 11:50:02 +0200 <[exa]> tomsmeding: ah well that might be a part of it :)
2025-10-17 11:50:04 +0200 <[exa]> ok
2025-10-17 11:50:16 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 11:51:38 +0200 <[exa]> just wondering, is there any semantic difference between doing a function with normal guards and going for the `case () { _ | theGuard -> ...}` shortcut? I've fixed a bug that shouldn't have been fixed by rewriting that, which is weird.
2025-10-17 11:54:58 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-10-17 11:55:33 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-10-17 12:00:33 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2025-10-17 12:01:47 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-10-17 12:07:49 +0200karenw_(~karenw@user/karenw) (Ping timeout: 246 seconds)
2025-10-17 12:09:45 +0200srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-10-17 12:13:54 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 12:20:55 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-10-17 12:23:12 +0200Googulator(~Googulato@team.broadbit.hu)
2025-10-17 12:23:22 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-10-17 12:28:20 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-10-17 12:29:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-17 12:30:36 +0200craunts795335385(~craunts@136.158.7.194)
2025-10-17 12:33:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 12:36:59 +0200jreicher(~user@user/jreicher) jreicher
2025-10-17 12:39:52 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 12:40:06 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 12:44:38 +0200trickard_trickard
2025-10-17 13:00:51 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-10-17 13:01:51 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2025-10-17 13:02:35 +0200gustrb(~gustrb@191.243.134.87)
2025-10-17 13:03:47 +0200pie__(~pie_bnc@user/pie/x-2818909) (Ping timeout: 250 seconds)
2025-10-17 13:11:51 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-17 13:12:38 +0200pie_(~pie_bnc@user/pie/x-2818909) __
2025-10-17 13:31:59 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-17 13:36:42 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-17 13:36:43 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2025-10-17 13:38:02 +0200Lord_of_Life_Lord_of_Life
2025-10-17 13:41:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 13:45:50 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds)
2025-10-17 13:46:18 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-17 13:51:42 +0200AlexZenon_2AlexZenon
2025-10-17 13:52:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 13:56:42 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds)
2025-10-17 13:59:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-17 14:01:43 +0200Jackneill_(~Jackneill@94-21-95-227.pool.digikabel.hu)
2025-10-17 14:03:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 14:03:38 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-17 14:04:28 +0200jackneill__(~Jackneill@94-21-46-168.pool.digikabel.hu) (Ping timeout: 256 seconds)
2025-10-17 14:08:31 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-17 14:08:51 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-17 14:08:55 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-10-17 14:10:02 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds)
2025-10-17 14:10:14 +0200img(~img@user/img) img
2025-10-17 14:11:51 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-17 14:13:31 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-10-17 14:23:16 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2025-10-17 14:26:06 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-10-17 14:26:06 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-10-17 14:26:07 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-10-17 14:26:09 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 14:26:31 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-17 14:26:47 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-10-17 14:26:51 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-10-17 14:30:16 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds)
2025-10-17 14:33:51 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 14:41:40 +0200ft(~ft@p4fc2a207.dip0.t-ipconnect.de) ft
2025-10-17 14:42:34 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds)
2025-10-17 14:42:43 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 14:44:46 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 14:44:59 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 14:57:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer)
2025-10-17 14:57:31 +0200comerijn(~merijn@77.242.116.146) merijn
2025-10-17 14:57:42 +0200divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-10-17 14:59:04 +0200Psychotic1(~Psychotic@2600:1007:b032:c0d4:c18:bfd9:c413:f780)
2025-10-17 14:59:50 +0200Psychotic1_(~Psychotic@2600:1007:b032:c0d4:c18:bfd9:c413:f780)
2025-10-17 15:01:24 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 15:01:39 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 15:06:34 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-10-17 15:08:31 +0200xff0x(~xff0x@2405:6580:b080:900:d8fa:98a4:1ba0:2054)
2025-10-17 15:08:58 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-10-17 15:11:41 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 15:17:40 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 15:20:56 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-10-17 15:22:00 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 15:23:14 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 265 seconds)
2025-10-17 15:26:22 +0200trickard_trickard
2025-10-17 15:29:25 +0200gehmehgeh(~user@user/gehmehgeh) gehmehgeh
2025-10-17 15:30:10 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-17 15:30:21 +0200opencircuit(~quassel@user/opencircuit) (Remote host closed the connection)
2025-10-17 15:30:30 +0200opencircuit(~quassel@user/opencircuit) opencircuit
2025-10-17 15:31:36 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 272 seconds)
2025-10-17 15:31:36 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
2025-10-17 15:33:24 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-17 15:36:02 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds)
2025-10-17 15:37:33 +0200ec(~ec@gateway/tor-sasl/ec) ec
2025-10-17 15:43:00 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 272 seconds)
2025-10-17 15:45:55 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-10-17 15:50:47 +0200Psychotic1_(~Psychotic@2600:1007:b032:c0d4:c18:bfd9:c413:f780) (Ping timeout: 260 seconds)
2025-10-17 15:50:47 +0200Psychotic1(~Psychotic@2600:1007:b032:c0d4:c18:bfd9:c413:f780) (Ping timeout: 260 seconds)
2025-10-17 15:51:00 +0200kimiamania99(~92460e22@user/kimiamania) kimiamania
2025-10-17 15:53:13 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 246 seconds)
2025-10-17 15:55:04 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 15:59:06 +0200Zemy(~Zemy@76.184.190.146)
2025-10-17 16:04:07 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds)
2025-10-17 16:06:01 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 16:09:48 +0200Guest305(jinsun@here.and.ready-to.party) (Changing host)
2025-10-17 16:09:48 +0200Guest305(jinsun@user/jinsun) jinsun
2025-10-17 16:09:48 +0200Guest305jinsun
2025-10-17 16:13:08 +0200ouilemur(~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1)
2025-10-17 16:15:20 +0200Zemy(~Zemy@76.184.190.146) (Ping timeout: 240 seconds)
2025-10-17 16:21:46 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 248 seconds)
2025-10-17 16:25:49 +0200gustrb(~gustrb@191.243.134.87)
2025-10-17 16:38:15 +0200satler(~satler@user/satler) satler
2025-10-17 16:39:38 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-17 16:42:23 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-17 16:43:00 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-17 16:43:14 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-17 16:43:18 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
2025-10-17 16:43:39 +0200synchromesh(~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) (Read error: Connection reset by peer)
2025-10-17 16:44:27 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 260 seconds)
2025-10-17 16:45:07 +0200synchromesh(~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) synchromesh
2025-10-17 16:45:14 +0200gustrb(~gustrb@191.243.134.87)
2025-10-17 16:50:31 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds)
2025-10-17 16:53:54 +0200satler(~satler@user/satler) (Quit: satler)
2025-10-17 16:54:30 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb)
2025-10-17 16:56:16 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 17:00:32 +0200trickard_trickard
2025-10-17 17:02:51 +0200MelodyOwO(~MelodyOwO@user/MelodyOwO) MelodyOwO
2025-10-17 17:06:01 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 246 seconds)
2025-10-17 17:09:46 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds)
2025-10-17 17:14:58 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 17:23:48 +0200OftenFaded81(~OftenFade@user/tisktisk) OftenFaded
2025-10-17 17:25:52 +0200OftenFaded81(~OftenFade@user/tisktisk) (Client Quit)
2025-10-17 17:32:06 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-10-17 17:37:55 +0200vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-10-17 17:38:18 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-10-17 17:42:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 17:43:12 +0200 <ski> [exa] : failure in `case' can't fall back to alternate defining clauses, if that's what you're thinking of. so, if there's only one defining equation, you should be fine
2025-10-17 17:43:55 +0200 <ski> (of course, can't fall back to another `case', either)
2025-10-17 17:44:54 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-10-17 17:46:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-17 17:48:42 +0200AlexZenon(~alzenon@85.174.180.124) (Ping timeout: 248 seconds)
2025-10-17 17:49:53 +0200tabaqui(~tabaqui@167.71.80.236) (Quit: WeeChat 4.7.1)
2025-10-17 17:55:36 +0200AlexZenon(~alzenon@85.174.180.124)
2025-10-17 17:57:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 17:57:42 +0200yabobay(~pizza@2a02:85f:fcd5:1601:439e:d9b3:6a5d:d567) yabobay
2025-10-17 17:59:19 +0200 <yabobay> what was the 'opposite' of `pure` where you get, for example, Nothing when casting to Maybe
2025-10-17 17:59:45 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-10-17 17:59:49 +0200Googulator(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-17 18:01:27 +0200gustrb(~gustrb@191.243.134.87)
2025-10-17 18:04:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-17 18:06:18 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 248 seconds)
2025-10-17 18:07:29 +0200 <ski> huh ?
2025-10-17 18:08:11 +0200MelodyOwO(~MelodyOwO@user/MelodyOwO) (Quit: Leaving.)
2025-10-17 18:08:12 +0200 <ski> maybe you should show some example(s) ?
2025-10-17 18:14:27 +0200 <yabobay> like if there was a function called foo and i could go `foo :: Maybe a` and i'd get Nothing
2025-10-17 18:15:19 +0200 <int-e> :t empty
2025-10-17 18:15:20 +0200 <lambdabot> Alternative f => f a
2025-10-17 18:15:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 18:15:29 +0200 <int-e> :t mempty
2025-10-17 18:15:30 +0200 <lambdabot> Monoid a => a
2025-10-17 18:16:00 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-10-17 18:16:04 +0200 <int-e> (`empty` is closer to Applicative)
2025-10-17 18:16:23 +0200gustrb(~gustrb@191.243.134.87)
2025-10-17 18:18:06 +0200 <yabobay> my ghc doesn't have empty. is it in a module or something?
2025-10-17 18:19:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-17 18:19:58 +0200 <Leary> @hoogle empty
2025-10-17 18:19:58 +0200 <lambdabot> Control.Applicative empty :: Alternative f => f a
2025-10-17 18:19:58 +0200 <lambdabot> GHC.Base empty :: Alternative f => f a
2025-10-17 18:19:58 +0200 <lambdabot> Data.ByteString empty :: ByteString
2025-10-17 18:20:16 +0200 <yabobay> ok sorry i hoogled it myself
2025-10-17 18:20:17 +0200 <yabobay> thanks!
2025-10-17 18:20:19 +0200yabobay(~pizza@2a02:85f:fcd5:1601:439e:d9b3:6a5d:d567) (bye)
2025-10-17 18:21:32 +0200ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-10-17 18:22:23 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-17 18:23:25 +0200 <ski> @index empty
2025-10-17 18:23:25 +0200 <lambdabot> Control.Applicative, Data.Binary.Builder, Data.ByteString.Lazy, Data.ByteString.Lazy.Char8, Data.ByteString, Data.ByteString.Char8, Data.ByteString.Short, Data.IntMap.Strict, Data.IntMap.Lazy, Data.
2025-10-17 18:23:25 +0200 <lambdabot> IntMap, Data.IntSet, Data.Map.Lazy, Data.Map.Strict, Data.Map, Data.Set, Data.Sequence, Text.PrettyPrint.HughesPJ, Text.PrettyPrint.HughesPJClass, Text.PrettyPrint, Language.Haskell.TH.PprLib
2025-10-17 18:23:46 +0200 <ski> oh, they left
2025-10-17 18:30:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 18:35:03 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds)
2025-10-17 18:35:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 18:41:27 +0200yobhel(~yobhel@85-238-68-165.pool.digikabel.hu)
2025-10-17 18:46:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 18:46:49 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving)
2025-10-17 18:50:44 +0200yobhel(~yobhel@85-238-68-165.pool.digikabel.hu) (Quit: yobhel)
2025-10-17 18:51:33 +0200yobhel(~yobhel@85-238-68-165.pool.digikabel.hu)
2025-10-17 18:51:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-17 18:54:55 +0200yobhel(~yobhel@85-238-68-165.pool.digikabel.hu) (Client Quit)
2025-10-17 18:56:45 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-17 19:02:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 19:04:37 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds)
2025-10-17 19:05:03 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-17 19:05:39 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 256 seconds)
2025-10-17 19:05:40 +0200Googulator(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-17 19:07:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 19:11:19 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds)
2025-10-17 19:11:59 +0200fp(~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) fp
2025-10-17 19:12:22 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-17 19:13:01 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 256 seconds)
2025-10-17 19:18:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 19:20:01 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb)
2025-10-17 19:20:33 +0200fp(~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) (Ping timeout: 265 seconds)
2025-10-17 19:22:38 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1)
2025-10-17 19:23:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 19:23:55 +0200Psychotic1_(~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1)
2025-10-17 19:25:37 +0200fp(~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp
2025-10-17 19:26:18 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-17 19:26:37 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-10-17 19:33:03 +0200n0um3n4(~n0um3n4@104.30.133.59) (Remote host closed the connection)
2025-10-17 19:34:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 19:34:50 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds)
2025-10-17 19:39:57 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-10-17 19:40:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-17 19:42:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 19:45:02 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-17 19:45:05 +0200Square2(~Square@user/square) Square
2025-10-17 19:45:47 +0200Zemy(~Zemy@2600:100c:b0a4:d984:58e9:bff:fe07:fef6)
2025-10-17 19:46:22 +0200Zemy_(~Zemy@72.178.108.235)
2025-10-17 19:47:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-17 19:50:32 +0200Zemy(~Zemy@2600:100c:b0a4:d984:58e9:bff:fe07:fef6) (Ping timeout: 260 seconds)
2025-10-17 19:58:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 19:58:44 +0200fp(~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 265 seconds)
2025-10-17 20:01:25 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-17 20:03:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 20:03:17 +0200 <dcpagan> Is a function with only two pattern guards, the second guard consisting only of "otherwise" just as efficient as implementing the function as an if statement?
2025-10-17 20:05:16 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb)
2025-10-17 20:10:36 +0200 <mauke> that sounds like a guard, not a pattern guard
2025-10-17 20:10:46 +0200 <mauke> but yes, I don't think there's any performance difference
2025-10-17 20:12:08 +0200driib318(~driib@vmi931078.contaboserver.net) (Ping timeout: 240 seconds)
2025-10-17 20:14:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 20:16:47 +0200Psychotic1_(~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Ping timeout: 260 seconds)
2025-10-17 20:16:47 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Ping timeout: 260 seconds)
2025-10-17 20:19:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 20:19:13 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 264 seconds)
2025-10-17 20:19:43 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 20:26:29 +0200 <monochrom> Unless it is positively proven that I really need fast code, I write code to express what I think, not to micromanage what the machine code looks like.
2025-10-17 20:28:08 +0200 <EvanR> please turn in your control freak license and weapon
2025-10-17 20:28:17 +0200driib318(~driib@vmi931078.contaboserver.net) driib
2025-10-17 20:28:20 +0200 <EvanR> your don't deserve to wear that uniform
2025-10-17 20:29:05 +0200 <monochrom> I never got that license and uniform in the first place because I never learned VHDL. >:)
2025-10-17 20:29:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 20:31:31 +0200fp(~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp
2025-10-17 20:34:01 +0200driib318(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2025-10-17 20:35:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 20:35:08 +0200Googulator(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
2025-10-17 20:35:22 +0200Googulator(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-17 20:37:10 +0200driib318(~driib@vmi931078.contaboserver.net) driib
2025-10-17 20:42:18 +0200 <fgidim> i think for pattern guards, those are desugared to a case expression. though i don't know if there is a speed difference between that and if statements
2025-10-17 20:44:08 +0200 <EvanR> the airspeed velocity of an if statement
2025-10-17 20:44:48 +0200 <EvanR> "if statement" isn't actually a thing, it's compiled into a case expression
2025-10-17 20:45:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 20:46:40 +0200 <mauke> if x then y else z = case x of { True -> y; _ -> z }
2025-10-17 20:50:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-17 21:00:05 +0200caconym7478798(~caconym@user/caconym) (Quit: bye)
2025-10-17 21:00:46 +0200caconym7478798(~caconym@user/caconym) caconym
2025-10-17 21:01:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 21:01:56 +0200gustrb(~gustrb@191.243.134.87)
2025-10-17 21:04:47 +0200driib318(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2025-10-17 21:05:40 +0200driib318(~driib@vmi931078.contaboserver.net) driib
2025-10-17 21:06:01 +0200williu5(~williu5@user/williu5) (Quit: WeeChat 4.1.1)
2025-10-17 21:06:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 21:10:54 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-17 21:12:05 +0200Digit(~user@user/digit) (Remote host closed the connection)
2025-10-17 21:15:44 +0200Digit(~user@user/digit) Digit
2025-10-17 21:17:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 21:17:58 +0200fp(~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Quit: fp)
2025-10-17 21:20:11 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-10-17 21:20:32 +0200 <fgidim> there is more on page 20 https://www.haskell.org/definition/haskell2010.pdf
2025-10-17 21:20:46 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit)
2025-10-17 21:24:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-17 21:30:13 +0200 <EvanR> case x of { False -> z; _ -> y } would also work
2025-10-17 21:33:14 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-10-17 21:35:19 +0200fgidim(~lei@user/fgarcia) (Quit: Remote host closed the connection)
2025-10-17 21:35:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 21:37:43 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-10-17 21:39:16 +0200michalz(~michalz@185.246.207.201) (Remote host closed the connection)
2025-10-17 21:40:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 21:42:07 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-10-17 21:45:35 +0200 <ggVGc> case isn't a real thing because it's compiled to...
2025-10-17 21:45:42 +0200 <ggVGc> goto?
2025-10-17 21:46:10 +0200 <monochrom> It's syntax sugar all the way down.
2025-10-17 21:47:07 +0200 <monochrom> goto isn't a real thing because it's code for "mov foo, programCounter"
2025-10-17 21:47:09 +0200pavonia(~user@user/siracusa) siracusa
2025-10-17 21:47:40 +0200 <ggVGc> the program counter isn't a real thing because your CPU microcode doesn't execute things the way you imagine anyway.
2025-10-17 21:48:30 +0200 <monochrom> CPU isn't a real thing because it's either a social construct or a quantum wave function.
2025-10-17 21:49:39 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-10-17 21:49:40 +0200 <ggVGc> monochrom: fwiw I did learn VHDL (even took a proper university course in it), and I also don't want to micromanage the machine.
2025-10-17 21:50:21 +0200 <monochrom> You have still earned the license to. :)
2025-10-17 21:50:32 +0200 <ggVGc> but, I mean, file IO is always the issue anyway, so it's nice that in Haskell we don't ever interact with the real world and can ignore that.
2025-10-17 21:50:54 +0200 <monochrom> Hot take: Jobs that require licenses are precisely jobs that no one wants apart from the money. >:)
2025-10-17 21:50:59 +0200annamalai(~annamalai@157.32.220.158) (Remote host closed the connection)
2025-10-17 21:51:58 +0200 <ggVGc> sounds accurate
2025-10-17 21:52:36 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2025-10-17 21:52:40 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds)
2025-10-17 21:56:11 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1)
2025-10-17 21:56:12 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-10-17 21:56:16 +0200Psychotic1_(~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1)
2025-10-17 21:57:57 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-10-17 22:02:02 +0200Psychotic1_(~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Read error: Connection reset by peer)
2025-10-17 22:02:02 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Read error: Connection reset by peer)
2025-10-17 22:02:22 +0200 <haskellbridge> <slack1256> Bad take. Lots of people go into medicine thinking of grey's anatomy or doctor house.
2025-10-17 22:02:22 +0200 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/uXERyEzaexCoaTxYnLuoPBUn/1MBTkuiYsZk (3 lines)
2025-10-17 22:02:32 +0200 <haskellbridge> <slack1256> Has*
2025-10-17 22:06:56 +0200fp(~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp
2025-10-17 22:07:35 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:4878:6537:6fa3:5fbc)
2025-10-17 22:09:07 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 246 seconds)
2025-10-17 22:10:41 +0200Googulator(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
2025-10-17 22:10:43 +0200Googulator37(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-17 22:20:30 +0200fp(~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Remote host closed the connection)
2025-10-17 22:24:40 +0200Unicorn_Princes-(~Unicorn_P@89.143.18.181)
2025-10-17 22:27:28 +0200 <[exa]> ski: if I got it right, the "case" match is more committed there than the guard?
2025-10-17 22:29:29 +0200 <[exa]> no wait that makes no sense :D
2025-10-17 22:30:35 +0200Googulator37(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
2025-10-17 22:30:41 +0200Googulator47(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-17 22:32:07 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-17 22:36:36 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-17 22:42:02 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:4878:6537:6fa3:5fbc) (Ping timeout: 248 seconds)
2025-10-17 22:46:35 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2025-10-17 22:50:39 +0200Googulator8(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-17 22:50:42 +0200Googulator47(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
2025-10-17 22:53:08 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-10-17 22:53:12 +0200bggd(~bgg@2a01:e0a:819:1510:8541:de44:31ff:4da2) (Remote host closed the connection)
2025-10-17 22:59:35 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a)
2025-10-17 23:00:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds)
2025-10-17 23:00:41 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) (Remote host closed the connection)
2025-10-17 23:00:41 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-10-17 23:02:08 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds)
2025-10-17 23:02:16 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 23:03:02 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a)
2025-10-17 23:04:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 23:06:20 +0200Inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-17 23:08:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-17 23:10:18 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds)
2025-10-17 23:10:27 +0200wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-10-17 23:10:37 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2025-10-17 23:10:52 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-10-17 23:11:08 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Client Quit)
2025-10-17 23:11:24 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-10-17 23:15:44 +0200Googulator16(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-17 23:15:44 +0200Googulator8(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
2025-10-17 23:16:08 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Client Quit)
2025-10-17 23:16:25 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-10-17 23:19:07 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) (Ping timeout: 246 seconds)
2025-10-17 23:20:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 23:23:03 +0200AlexNoo(~AlexNoo@85.174.180.124) (Quit: Leaving)
2025-10-17 23:23:53 +0200AlexZenon(~alzenon@85.174.180.124) (Quit: ;-)
2025-10-17 23:23:56 +0200peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-17 23:24:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-17 23:26:14 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2025-10-17 23:26:37 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a)
2025-10-17 23:34:08 +0200Psychotic1(~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) (Quit: Leaving)
2025-10-17 23:35:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 23:37:50 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-10-17 23:40:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-17 23:42:01 +0200gustrb(~gustrb@191.243.134.87)
2025-10-17 23:51:16 +0200AlexNoo(~AlexNoo@85.174.180.124)
2025-10-17 23:51:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-17 23:56:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-17 23:56:30 +0200AlexZenon(~alzenon@85.174.180.124)
2025-10-17 23:57:59 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-17 23:59:03 +0200 <ski> [exa] : not if the guard is in that `case'. but there could be another level of pattern-matching and guards
2025-10-17 23:59:21 +0200 <ski> (hard to say more, without seeing the before & after code)
2025-10-17 23:59:45 +0200poxel(~poxel@user/poxel) (Quit: WeeChat 4.6.3)