2024/10/31

Newest at the top

2024-10-31 15:26:26 +0100sprotte24(~sprotte24@p200300d16f082d0065f7ad60c6902390.dip0.t-ipconnect.de)
2024-10-31 15:15:27 +0100caubert(~caubert@user/caubert) caubert
2024-10-31 15:15:13 +0100caubert(~caubert@user/caubert) (Quit: WeeChat 4.4.2)
2024-10-31 15:14:42 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-31 15:14:26 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2024-10-31 15:13:30 +0100Guest61ahhhhhh(~Guest61ah@103.3.81.69) (Client Quit)
2024-10-31 15:10:59 +0100Guest61ahhhhhh(~Guest61ah@103.3.81.69)
2024-10-31 15:06:38 +0100Nixkernal(~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-10-31 15:05:55 +0100misterfish(~misterfis@31-161-39-137.biz.kpn.net) misterfish
2024-10-31 14:58:45 +0100merijn(~merijn@77.242.116.146) merijn
2024-10-31 14:57:39 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-10-31 14:55:16 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2024-10-31 14:54:36 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-10-31 14:52:18 +0100euleritian(~euleritia@176.2.142.161)
2024-10-31 14:51:13 +0100euleritian(~euleritia@ip-185-104-138-49.ptr.icomera.net) (Ping timeout: 248 seconds)
2024-10-31 14:49:14 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2024-10-31 14:48:52 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-31 14:42:50 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-31 14:41:52 +0100myxos(~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale
2024-10-31 14:37:32 +0100arthurvl(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy
2024-10-31 14:31:27 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-31 14:29:34 +0100mari-estel(~mari-este@user/mari-estel) ()
2024-10-31 14:22:31 +0100 <jackdk> Wow, it's almost as cursed as https://github.com/mxswd/flip-plus/blob/fe8a7e26423e03e3540b646c513054fd03189901/Control/FlipPlus.hs . It's a shame that it doesn't generate distinct type variables for each functor - that limits its utility
2024-10-31 14:15:25 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-10-31 14:13:08 +0100mulk(~mulk@pd95146e9.dip0.t-ipconnect.de) mulk
2024-10-31 14:12:55 +0100mulk(~mulk@pd95146e9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-10-31 14:08:55 +0100 <SrPx> ty
2024-10-31 14:06:42 +0100 <tomsmeding> that's funny
2024-10-31 14:06:40 +0100 <tomsmeding> oh it tries to render stuff between dollars with MathJax?
2024-10-31 14:06:10 +0100 <tomsmeding> haddock can't even render the names
2024-10-31 14:04:49 +0100 <slack1256> https://hackage.haskell.org/package/functor-infix-0.0.5/docs/Data-Functor-Infix.html cursed...
2024-10-31 14:04:19 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-10-31 14:00:16 +0100 <Leary> SrPx: I haven't tried it myself, but this^ package looks good.
2024-10-31 14:00:03 +0100 <lambdabot> https://hackage.haskell.org/package/radix-tree
2024-10-31 14:00:02 +0100 <Leary> @hackage radix-tree
2024-10-31 13:57:57 +0100CiaoSen(~Jura@2a05:5800:484:d00:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds)
2024-10-31 13:57:54 +0100jimbob88(~jimbob88@dyn082212.shef.ac.uk) (Ping timeout: 252 seconds)
2024-10-31 13:54:37 +0100 <SrPx> oops, that's right, mb
2024-10-31 13:54:26 +0100 <tomsmeding> there are no Map-like containers in base; they are in 'containers', and the relevant one is indeed IntMap
2024-10-31 13:54:08 +0100 <tomsmeding> SrPx: what do you mean with "on Prelude"?
2024-10-31 13:53:49 +0100slack1256(~slack1256@2803:c600:5111:8696:d97c:cbc8:139:bdb3) slack1256
2024-10-31 13:53:38 +0100jimbob88(~jimbob88@dyn082212.shef.ac.uk)
2024-10-31 13:53:09 +0100Leonard26(~Leonard26@49.236.10.26) (Quit: Client closed)
2024-10-31 13:50:41 +0100 <SrPx> is there an equivalent of IntMap but for Word64 keys on Prelude? I see there is something on GHC but not on Prelude?
2024-10-31 13:50:32 +0100weary-traveler(~user@user/user363627) user363627
2024-10-31 13:50:09 +0100slack1256(~slack1256@2803:c600:5111:8696:36fc:8f2b:4dcb:2f34) (Ping timeout: 276 seconds)
2024-10-31 13:48:03 +0100euleritian(~euleritia@ip-185-104-138-49.ptr.icomera.net)
2024-10-31 13:43:33 +0100arthurvl(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 248 seconds)
2024-10-31 13:43:02 +0100Nixkernal(~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) Nixkernal
2024-10-31 13:41:45 +0100morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)