2025/07/27

2025-07-27 00:02:25 +0200__monty__(~toonn@user/toonn) (Quit: Lost terminal)
2025-07-27 00:04:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 00:04:25 +0200tromp(~textual@2001:1c00:3487:1b00:2505:b2a2:5b46:790c) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-27 00:08:12 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-07-27 00:09:08 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-07-27 00:13:01 +0200malte(~malte@mal.tc) malte
2025-07-27 00:14:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 00:18:39 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 00:18:53 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 00:18:55 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-07-27 00:19:27 +0200sp1ff`(~user@c-67-160-173-55.hsd1.wa.comcast.net)
2025-07-27 00:20:09 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2025-07-27 00:21:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-07-27 00:25:04 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 00:32:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 00:37:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 00:38:02 +0200Square2(~Square@user/square) Square
2025-07-27 00:48:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 00:48:35 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds)
2025-07-27 00:49:57 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-07-27 00:51:32 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-07-27 00:51:57 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 00:52:34 +0200trickard_trickard
2025-07-27 00:53:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 00:53:35 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-07-27 00:55:07 +0200tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Remote host closed the connection)
2025-07-27 00:56:53 +0200jespada(~jespada@2800:a4:2202:b900:10f7:85db:6b74:bb85) (Ping timeout: 248 seconds)
2025-07-27 00:59:46 +0200jespada(~jespada@2800:a4:2202:8500:b4de:f080:b655:a33c) jespada
2025-07-27 01:03:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 01:04:03 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-07-27 01:05:18 +0200olivial(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2025-07-27 01:05:34 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-07-27 01:08:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-27 01:13:27 +0200sprotte24_(~sprotte24@p200300d16f126000e5c0bbb54d175ee7.dip0.t-ipconnect.de)
2025-07-27 01:17:16 +0200sprotte24(~sprotte24@p200300d16f126000e5c0bbb54d175ee7.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-07-27 01:18:48 +0200acidjnk(~acidjnk@p200300d6e70b6626e19a90befcd24efc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-07-27 01:19:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 01:22:25 +0200emmanuelux_(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-27 01:22:39 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-07-27 01:23:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 01:30:02 +0200hiredman(~hiredman@frontier1.downey.family) (Quit: Lost terminal)
2025-07-27 01:34:04 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-07-27 01:34:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 01:39:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 01:39:54 +0200emmanuelux_(~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds)
2025-07-27 01:42:06 +0200sprotte24_(~sprotte24@p200300d16f126000e5c0bbb54d175ee7.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-07-27 01:43:50 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-27 01:50:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 01:52:38 +0200emmanuelux_(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-27 01:53:08 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-07-27 01:54:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-27 02:05:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 02:06:20 +0200cowboy8625(~cowboy@23.92.1.129)
2025-07-27 02:06:56 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 02:09:28 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 02:11:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-27 02:21:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 02:23:37 +0200trickard_trickard
2025-07-27 02:25:26 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com) ryanbooker
2025-07-27 02:26:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 02:37:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 02:41:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 02:46:59 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-07-27 02:49:51 +0200cowboy8625(~cowboy@23.92.1.129) (Quit: WeeChat 3.5)
2025-07-27 02:51:36 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 02:52:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 02:58:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 03:10:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 03:13:05 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-07-27 03:14:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 03:16:58 +0200phma(~phma@host-67-44-208-80.hnremote.net) (Read error: Connection reset by peer)
2025-07-27 03:18:06 +0200phma(~phma@2001:5b0:210d:dd28:1500:e6:95ce:ca1b)
2025-07-27 03:19:15 +0200trickard_trickard
2025-07-27 03:22:26 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 03:22:46 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-07-27 03:26:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 03:28:46 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-07-27 03:31:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 03:41:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 03:45:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 03:55:13 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-07-27 03:57:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 04:02:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 04:05:02 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-07-27 04:05:37 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2025-07-27 04:09:04 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 04:09:17 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 04:12:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 04:16:42 +0200poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-07-27 04:16:59 +0200tavare(~tavare@user/tavare) tavare
2025-07-27 04:17:08 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-07-27 04:17:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 04:19:29 +0200poscat(~poscat@user/poscat) poscat
2025-07-27 04:23:04 +0200Square(~Square4@user/square) Square
2025-07-27 04:25:58 +0200Square2(~Square@user/square) (Ping timeout: 240 seconds)
2025-07-27 04:27:56 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 04:28:09 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 04:28:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 04:33:16 +0200califax(~califax@user/califx) califx
2025-07-27 04:33:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 04:35:02 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-07-27 04:35:38 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-07-27 04:38:36 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 04:38:59 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 04:44:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 04:45:32 +0200jackdk(uid373013@cssa/life/jackdk) jackdk
2025-07-27 04:49:50 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-07-27 04:50:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-27 05:01:06 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-27 05:02:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 05:03:03 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-07-27 05:07:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-27 05:17:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 05:21:18 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-07-27 05:22:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-27 05:25:59 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-07-27 05:32:56 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 05:33:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 05:37:02 +0200emmanuelux_(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-07-27 05:37:22 +0200emmanuelux_(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-27 05:37:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 05:48:44 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-07-27 05:48:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 05:50:21 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-07-27 05:53:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-27 05:55:53 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-07-27 06:00:39 +0200sp1ff``(~user@c-67-160-173-55.hsd1.wa.comcast.net)
2025-07-27 06:02:42 +0200sp1ff`(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 276 seconds)
2025-07-27 06:04:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 06:07:15 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-07-27 06:09:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-27 06:20:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 06:20:15 +0200euphores(~SASL_euph@user/euphores) euphores
2025-07-27 06:26:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 06:38:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 06:42:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 06:42:48 +0200emmanuelux_(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-07-27 06:43:24 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-27 06:48:43 +0200tromp(~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f)
2025-07-27 06:48:48 +0200tromp(~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Client Quit)
2025-07-27 06:51:54 +0200trickard_trickard
2025-07-27 06:53:58 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds)
2025-07-27 06:58:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 07:03:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 07:09:46 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-07-27 07:10:14 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-27 07:14:15 +0200Axman6(~Axman6@user/axman6) Axman6
2025-07-27 07:14:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 07:15:05 +0200 <Axman6> @hoogle Double -> Float
2025-07-27 07:15:05 +0200 <lambdabot> GHC.Float double2Float :: Double -> Float
2025-07-27 07:15:05 +0200 <lambdabot> Extra doubleToFloat :: Double -> Float
2025-07-27 07:15:05 +0200 <lambdabot> Numeric.Extra doubleToFloat :: Double -> Float
2025-07-27 07:17:37 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-07-27 07:17:59 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 07:19:20 +0200 <monochrom> realToFrac
2025-07-27 07:20:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 07:23:29 +0200 <probie> > sqrt (-1) :: Float
2025-07-27 07:23:30 +0200 <lambdabot> NaN
2025-07-27 07:23:45 +0200 <probie> > realToFrac (sqrt (-1) :: Double) :: Float
2025-07-27 07:23:46 +0200 <lambdabot> -Infinity
2025-07-27 07:25:05 +0200 <probie> > [realToFrac ((-0) :: Double) :: Float, -0]
2025-07-27 07:25:07 +0200 <lambdabot> [0.0,-0.0]
2025-07-27 07:30:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 07:34:42 +0200trickard_trickard
2025-07-27 07:34:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 07:38:31 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 07:38:45 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 07:43:50 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-07-27 07:45:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 07:46:07 +0200Square2(~Square@user/square) Square
2025-07-27 07:48:18 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 245 seconds)
2025-07-27 07:49:29 +0200inline(~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2025-07-27 07:49:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 07:49:58 +0200Square(~Square4@user/square) (Ping timeout: 240 seconds)
2025-07-27 07:53:19 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 07:53:33 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 08:06:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 08:11:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-27 08:18:58 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-27 08:22:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 08:27:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 08:37:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 08:41:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 08:42:38 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-07-27 08:46:14 +0200tromp(~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f)
2025-07-27 08:52:46 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-07-27 08:53:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 08:54:53 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 08:55:06 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 08:57:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 09:00:01 +0200caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-27 09:00:41 +0200caconym74(~caconym@user/caconym) caconym
2025-07-27 09:07:25 +0200dhil(~dhil@5.151.29.139) dhil
2025-07-27 09:08:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 09:14:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-27 09:16:54 +0200trickard__(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 09:17:30 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-07-27 09:26:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 09:31:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 09:34:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
2025-07-27 09:40:24 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-27 09:40:39 +0200trickard__trickard
2025-07-27 09:42:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 09:46:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 09:52:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 09:55:09 +0200tromp(~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-27 09:56:29 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-07-27 09:57:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 09:59:45 +0200tromp(~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f)
2025-07-27 10:06:07 +0200tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2025-07-27 10:06:17 +0200tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-07-27 10:07:45 +0200dhil(~dhil@5.151.29.139) (Ping timeout: 276 seconds)
2025-07-27 10:07:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 10:10:19 +0200tromp(~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-27 10:12:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 10:19:15 +0200yegor(~yegor@user/yegorc) (Excess Flood)
2025-07-27 10:19:44 +0200yegor(~yegor@user/yegorc) yegorc
2025-07-27 10:23:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 10:27:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-27 10:27:31 +0200acidjnk(~acidjnk@p200300d6e70b6641f5079f6a9f0d0688.dip0.t-ipconnect.de) acidjnk
2025-07-27 10:38:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 10:43:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 10:45:02 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-07-27 10:45:38 +0200sprotte24(~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de)
2025-07-27 10:53:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 10:58:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 11:09:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 11:14:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 11:25:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 11:27:21 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-07-27 11:30:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 11:39:00 +0200tromp(~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f)
2025-07-27 11:40:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 11:40:59 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 11:41:12 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 11:44:14 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 11:45:05 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 11:45:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 11:51:28 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 11:54:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 11:54:25 +0200dumptruckman(~dumptruck@66-175-211-75.ip.linodeusercontent.com) (Ping timeout: 248 seconds)
2025-07-27 11:54:55 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 276 seconds)
2025-07-27 12:01:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 12:02:37 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-07-27 12:03:52 +0200sprotte24(~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-07-27 12:11:07 +0200jackdk(uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity)
2025-07-27 12:14:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 12:18:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-27 12:19:42 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-07-27 12:19:44 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-07-27 12:22:32 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-07-27 12:24:10 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-07-27 12:30:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 12:31:51 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-07-27 12:34:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 12:42:28 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 245 seconds)
2025-07-27 12:45:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 12:49:34 +0200tureba(~tureba@tureba.org) (Ping timeout: 260 seconds)
2025-07-27 12:50:28 +0200trickard_trickard
2025-07-27 12:50:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 12:54:10 +0200 <lxsameer> hey folks, I defined a typeclass A and type B in the same module, when i try to instanciate class A for type B, ghc reports back and error saying that method 'foo' of typeclass A is not a visible method of class A. any idea why?
2025-07-27 12:56:21 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 12:58:22 +0200 <Leary> lxsameer: Presumably, what it says. Either `foo` isn't visible (in scope where you declare the instance) or isn't a method of `A`.
2025-07-27 13:01:09 +0200tromp(~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-27 13:01:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 13:02:09 +0200 <lxsameer> Apparently, I'm blind, I struggled with this for an hour, and at the end, it was a typo
2025-07-27 13:02:12 +0200 <lxsameer> sorry about that
2025-07-27 13:03:24 +0200bramh(~bramh@user/bramh) (Quit: Ping timeout (120 seconds))
2025-07-27 13:03:36 +0200bramh(~bramh@user/bramh) bramh
2025-07-27 13:05:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-27 13:06:58 +0200jespada(~jespada@2800:a4:2202:8500:b4de:f080:b655:a33c) (Ping timeout: 248 seconds)
2025-07-27 13:09:43 +0200jespada(~jespada@2800:a4:2217:a700:b07d:130b:9052:aae1) jespada
2025-07-27 13:09:58 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds)
2025-07-27 13:10:09 +0200reb0und(~reb0und@c-67-180-190-84.hsd1.ca.comcast.net)
2025-07-27 13:16:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 13:18:58 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-07-27 13:19:04 +0200qqe(~qqq@185.54.23.14)
2025-07-27 13:19:37 +0200reb0und(~reb0und@c-67-180-190-84.hsd1.ca.comcast.net) (Quit: reb0und)
2025-07-27 13:19:49 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-07-27 13:20:16 +0200Lord_of_Life_Lord_of_Life
2025-07-27 13:21:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-07-27 13:26:58 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-07-27 13:29:07 +0200sprotte24(~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de)
2025-07-27 13:32:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 13:35:41 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-07-27 13:37:14 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-07-27 13:37:36 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 13:37:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 13:40:59 +0200axeman(~quassel@2a02:908:5c3:ad80:6ba4:5ad2:a240:fa7e) axeman
2025-07-27 13:42:23 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-27 13:45:38 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 13:47:03 +0200 <[exa]> is there some convenient operator (or syntax idea or so) that could remove the "pure" from applicative calls like: f <$> arg1 <*> arg2 <*> pure pureArg3 <*> arg4
2025-07-27 13:47:50 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 13:47:51 +0200 <ethereal_> what? 0_0
2025-07-27 13:48:14 +0200 <[exa]> like, I'm nitpicking for sure
2025-07-27 13:48:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 13:48:41 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 13:48:42 +0200 <[exa]> but I have a lot of such mixed calls here and didn't find anything obvious so I thought I'd ask
2025-07-27 13:49:56 +0200axeman(~quassel@2a02:908:5c3:ad80:6ba4:5ad2:a240:fa7e) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-07-27 13:50:18 +0200 <Leary> @hoogle Functor f => f (a -> b) -> a -> f b
2025-07-27 13:50:19 +0200 <lambdabot> Control.Lens.Lens (??) :: Functor f => f (a -> b) -> a -> f b
2025-07-27 13:50:19 +0200 <lambdabot> Control.Lens.Operators (??) :: Functor f => f (a -> b) -> a -> f b
2025-07-27 13:50:19 +0200 <lambdabot> Diagrams.Prelude (??) :: Functor f => f (a -> b) -> a -> f b
2025-07-27 13:51:09 +0200 <[exa]> oh stupid me, I was hoogling it with :: instead of =>.......
2025-07-27 13:51:17 +0200 <[exa]> Leary: thanks!
2025-07-27 13:52:27 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 13:53:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 13:53:36 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-07-27 13:55:09 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 14:00:17 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-07-27 14:04:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 14:06:04 +0200ethereal_(~ethereal@user/ethereal-:30935) (Ping timeout: 252 seconds)
2025-07-27 14:06:10 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-07-27 14:08:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 14:16:29 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 14:16:43 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 14:17:33 +0200trickard_trickard
2025-07-27 14:19:30 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 14:19:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 14:24:08 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-07-27 14:24:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 14:34:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 14:41:16 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-07-27 14:41:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 14:47:18 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 14:52:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 14:53:59 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds)
2025-07-27 14:54:18 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-27 14:54:30 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 14:55:03 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-07-27 14:57:51 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-07-27 15:00:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 15:01:06 +0200poscat0x04(~poscat@user/poscat) poscat
2025-07-27 15:01:45 +0200poscat(~poscat@user/poscat) (Quit: Bye)
2025-07-27 15:06:01 +0200dumptruckman(~dumptruck@66-175-211-75.ip.linodeusercontent.com)
2025-07-27 15:06:12 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 15:06:26 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 15:11:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 15:13:01 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-27 15:13:09 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 15:14:06 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2025-07-27 15:16:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-27 15:17:14 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 15:20:23 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 15:22:20 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-07-27 15:23:34 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-07-27 15:23:35 +0200ljdarj1ljdarj
2025-07-27 15:27:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 15:31:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 15:33:31 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-07-27 15:33:34 +0200ethereal_(~ethereal@user/ethereal-:30935) (Quit: leaving)
2025-07-27 15:37:01 +0200ljdarj(~Thunderbi@user/ljdarj) (Read error: Connection reset by peer)
2025-07-27 15:38:06 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 15:40:20 +0200trickard_trickard
2025-07-27 15:41:41 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 15:42:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 15:45:12 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2025-07-27 15:45:13 +0200ljdarj1ljdarj
2025-07-27 15:46:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 15:50:08 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 15:50:21 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 15:57:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 16:02:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-27 16:09:57 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-27 16:13:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 16:18:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 16:21:44 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-07-27 16:28:27 +0200jjanzen(~user@user/jjanzen) jjanzen
2025-07-27 16:29:01 +0200jjanzen(~user@user/jjanzen) (Remote host closed the connection)
2025-07-27 16:29:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 16:32:52 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 16:33:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 16:42:53 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-07-27 16:44:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 16:49:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 16:51:05 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-27 16:52:17 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-07-27 16:52:17 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-07-27 16:52:17 +0200haritz(~hrtz@user/haritz) haritz
2025-07-27 16:53:46 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-27 16:55:54 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 16:57:18 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-07-27 16:57:45 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 17:00:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 17:00:48 +0200 <drlkf> ~
2025-07-27 17:02:27 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 276 seconds)
2025-07-27 17:05:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 17:05:55 +0200f-a(ff2a@joined.irc.for-some.fun) f-a
2025-07-27 17:07:32 +0200 <f-a> Do we have bitstrings in Haskell? I am trying to implement this https://www.gnu.org/software/gnubg/manual/html_node/A-technical-description-of-the-Position-ID.html and it is a bit clunky with Data.Bits. I would prefer to concatenate bits, like a string.
2025-07-27 17:11:54 +0200 <Leary> f-a: Try the 'bitstring' package? I haven't used it before, but I did have success with 'bitarray' from the same author.
2025-07-27 17:12:47 +0200 <f-a> thanks. It is bitrot, but I can get it up in shape, I think
2025-07-27 17:14:02 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 17:15:02 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-07-27 17:15:31 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-27 17:15:34 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-07-27 17:15:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 17:20:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 17:23:15 +0200hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1))
2025-07-27 17:23:43 +0200 <EvanR> f-a, list of data Bit = O | I
2025-07-27 17:23:50 +0200 <EvanR> enjoy
2025-07-27 17:24:01 +0200 <f-a> EvanR: that is what I was doing :P But I guess it has been done many times
2025-07-27 17:24:31 +0200 <EvanR> it's pretty nice, if you don't care about memory
2025-07-27 17:24:50 +0200 <EvanR> the overhead is egregious
2025-07-27 17:26:36 +0200jjanzen(~user@user/jjanzen) jjanzen
2025-07-27 17:29:48 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-07-27 17:30:29 +0200 <lxsameer> is there any typeclass for composibility of values of a data type?
2025-07-27 17:31:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 17:37:39 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 17:37:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-27 17:39:54 +0200jjanzen(~user@user/jjanzen) (Ping timeout: 260 seconds)
2025-07-27 17:42:12 +0200 <geekosaur> what's "composability" here? I mean, Semigroup would qualify at first thought
2025-07-27 17:43:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 17:45:54 +0200michalz(~michalz@185.246.207.221)
2025-07-27 17:46:10 +0200tureba(~tureba@tureba.org) tureba
2025-07-27 17:48:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 17:51:59 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-07-27 17:52:07 +0200 <Leary> Yeah; `Semigroup`, `Monoid`, `Category`, `Applicative`, `Monad`, ...
2025-07-27 17:54:26 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2025-07-27 17:56:56 +0200 <mauke> magma
2025-07-27 17:58:26 +0200 <EvanR> a typeclass for flobnostication of values of the same type
2025-07-27 17:58:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-07-27 17:58:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 17:59:09 +0200 <EvanR> Semigroupoid if you're nasty
2025-07-27 18:00:09 +0200 <Lycurgus> r u Ms. Jackson?
2025-07-27 18:01:10 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 18:03:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 18:11:30 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-07-27 18:12:00 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-07-27 18:14:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 18:18:53 +0200ethereal_(~ethereal@user/ethereal-:30935) (Quit: leaving)
2025-07-27 18:19:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-27 18:24:08 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds)
2025-07-27 18:26:55 +0200LainIwakura50(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-27 18:28:09 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds)
2025-07-27 18:29:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 18:31:11 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-27 18:31:24 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 18:34:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 18:35:43 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-27 18:41:27 +0200jjanzen(~user@user/jjanzen) jjanzen
2025-07-27 18:42:03 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 245 seconds)
2025-07-27 18:42:22 +0200sprotte24(~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-07-27 18:45:08 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-07-27 18:45:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 18:47:41 +0200infinity0(~infinity0@pwned.gg) infinity0
2025-07-27 18:48:50 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-07-27 18:50:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 18:59:45 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-07-27 19:01:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 19:05:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 19:07:08 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-07-27 19:09:07 +0200acidjnk(~acidjnk@p200300d6e70b6641f5079f6a9f0d0688.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-07-27 19:16:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 19:16:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-27 19:18:47 +0200visilii(~visilii@213.24.127.253)
2025-07-27 19:20:57 +0200olivial(~benjaminl@user/benjaminl) (Ping timeout: 252 seconds)
2025-07-27 19:21:24 +0200visilii_(~visilii@213.24.126.48) (Ping timeout: 252 seconds)
2025-07-27 19:21:26 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-07-27 19:21:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 19:25:49 +0200hseg(~gesh@46.120.20.122) hseg
2025-07-27 19:27:47 +0200 <hseg> sanity-checking a feature request I'm making for another package manager -- given A depending on B>=b, B==b depending on C>=c, if you somehow accidentally manage to install B=b, C<c, will either cabal or stack notice that the transitive dependency is broken when generating their build plan?
2025-07-27 19:28:13 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-27 19:28:49 +0200 <geekosaur> both will reject the installed versions while generating the build plan and build appropriate versions
2025-07-27 19:29:42 +0200 <hseg> excellent, thanks
2025-07-27 19:30:09 +0200 <hseg> (just discovered python's setuptools doesn't do this, and in fact is entirely silent)
2025-07-27 19:30:36 +0200 <hseg> (which given it's so popular, means that a certain packaging issue has gotten much less pressure than it should've)
2025-07-27 19:30:39 +0200 <geekosaur> right, they don't have a full constraint-solving installation plan generator
2025-07-27 19:30:54 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-27 19:32:01 +0200 <geekosaur> note that a full implementation of this requires management of a package store like cabal and stack do, whereas python only has sandboxes
2025-07-27 19:32:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 19:33:50 +0200 <geekosaur> sandboxes really give you only one version of a package installed within it, cabal and stack can both handle multiple and expose the correct versions to the projects that need them
2025-07-27 19:36:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 19:37:26 +0200 <hseg> Right... which exposes the fact that since they don't really do multi-versioned installs, they expect an invariant of the form "if it installed, it's sane"?
2025-07-27 19:38:35 +0200 <geekosaur> correct
2025-07-27 19:38:44 +0200 <geekosaur> this is also why cabal sandboxes went away
2025-07-27 19:39:14 +0200 <geekosaur> it's the sandbox mechanic that imposes that requirement, multiple version management requires a more complex mechanic
2025-07-27 19:39:39 +0200 <hseg> but otoh, once you have it, it obsoletes the need for sandboxes?
2025-07-27 19:43:30 +0200 <geekosaur> sometimes you still want something sandbox-ish. but sandboxes are just a localized version of "one version installed system-wide", so you still have the "one version installed" problem
2025-07-27 19:44:43 +0200 <geekosaur> I had a discussion elsewhere with someone who insisted that we should switch to sandboxes because full package management makes quick experimentation difficult, but I don't think anyone has discovered something that both simplifies that and avoids the "must manage there being only a single version of a package visible" issue
2025-07-27 19:46:04 +0200alhazrod(uid662262@user/alhazrod) alhazrod
2025-07-27 19:47:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 19:52:28 +0200 <[exa]> hseg: for pythons this might actually be a feature required by the ecosystem (eg for conda), so good luck there :) if you see any success please share
2025-07-27 19:52:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 19:56:45 +0200 <hseg> OK, will do
2025-07-27 20:03:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 20:04:40 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-07-27 20:06:39 +0200 <monochrom> IMO I don't describe cabal-v2 as full management, I describe it as sandbox with CSE.
2025-07-27 20:07:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 20:08:36 +0200 <monochrom> or s/CSE/flyweight/ if you don't know CSE but you know the flyweight design pattern.
2025-07-27 20:09:36 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds)
2025-07-27 20:10:20 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-07-27 20:18:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 20:24:06 +0200 <EvanR> to make quick experimentation easy regardless of environment setup
2025-07-27 20:24:40 +0200 <EvanR> write the "quick experimentation" script which puts you in the holodeck program ready to do the experiment, then put that in your PATH
2025-07-27 20:25:21 +0200 <EvanR> "quickly write that script" not included, nor "save that script each time I reinstall my linux distro"
2025-07-27 20:25:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-27 20:27:30 +0200[exa]yet has to see an experiment that went quick
2025-07-27 20:28:04 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-07-27 20:30:40 +0200turlando(~turlando@user/turlando) turlando
2025-07-27 20:30:49 +0200turlando_(~turlando@user/turlando) (Ping timeout: 260 seconds)
2025-07-27 20:31:59 +0200 <geekosaur> neither have I, which is why I distrust "just use a sandbox" because you almost always in my experience end up changing versions of dependencies and then you're stuck
2025-07-27 20:34:22 +0200 <hseg> [exa]: btw, I reported this as https://github.com/pypa/setuptools/issues/5054
2025-07-27 20:36:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 20:41:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 20:41:58 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds)
2025-07-27 20:47:28 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds)
2025-07-27 20:50:28 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 20:50:29 +0200Square2(~Square@user/square) (Ping timeout: 248 seconds)
2025-07-27 20:52:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 20:52:25 +0200Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2025-07-27 20:54:13 +0200acidjnk(~acidjnk@p200300d6e70b6692a4921e45644e17d7.dip0.t-ipconnect.de) acidjnk
2025-07-27 20:56:51 +0200tromp(~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f)
2025-07-27 20:56:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 21:00:03 +0200caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-27 21:00:04 +0200jjanzen(~user@user/jjanzen) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1))
2025-07-27 21:00:44 +0200caconym74(~caconym@user/caconym) caconym
2025-07-27 21:03:45 +0200hseg(~gesh@46.120.20.122) (Ping timeout: 248 seconds)
2025-07-27 21:07:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 21:08:23 +0200LainIwakura50(~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds)
2025-07-27 21:11:38 +0200sprotte24(~sprotte24@p200300d16f1c2800a4c46ead6c309f0b.dip0.t-ipconnect.de)
2025-07-27 21:12:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-27 21:21:16 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-27 21:21:24 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2025-07-27 21:23:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 21:27:18 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 21:28:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-27 21:36:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-07-27 21:38:22 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 21:39:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 21:39:39 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-07-27 21:43:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 21:47:27 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-27 21:49:27 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-27 21:54:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 21:57:35 +0200PineOvercoat34(~PineOverc@2401:4900:882f:356d:4039:f6cb:8f4:343c)
2025-07-27 21:59:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 22:05:14 +0200Square2(~Square@user/square) Square
2025-07-27 22:08:33 +0200PineOvercoat34(~PineOverc@2401:4900:882f:356d:4039:f6cb:8f4:343c) ()
2025-07-27 22:09:49 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-07-27 22:10:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 22:11:38 +0200pavonia(~user@user/siracusa) siracusa
2025-07-27 22:14:01 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-07-27 22:14:45 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-07-27 22:14:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-07-27 22:25:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 22:27:46 +0200dhil(~dhil@5.151.29.138) dhil
2025-07-27 22:30:20 +0200humasect_(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-27 22:30:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-27 22:31:04 +0200dhil(~dhil@5.151.29.138) (Client Quit)
2025-07-27 22:32:07 +0200AVA(~AVA@213.230.82.75)
2025-07-27 22:32:09 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
2025-07-27 22:32:13 +0200humasect_humasect
2025-07-27 22:33:46 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit)
2025-07-27 22:36:58 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 240 seconds)