Logs on 2025-07-27 (liberachat/#haskell)
| 00:05:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:06:20 | → | cowboy8625 joins (~cowboy@23.92.1.129) |
| 00:06:56 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:09:28 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 00:11:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 00:21:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:23:37 | trickard_ | is now known as trickard |
| 00:25:26 | → | ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com) |
| 00:26:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 00:37:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:41:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:46:59 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 00:49:51 | × | cowboy8625 quits (~cowboy@23.92.1.129) (Quit: WeeChat 3.5) |
| 00:51:36 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 00:52:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:58:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:10:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:13:05 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 01:14:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:16:58 | × | phma quits (~phma@host-67-44-208-80.hnremote.net) (Read error: Connection reset by peer) |
| 01:18:06 | → | phma joins (~phma@2001:5b0:210d:dd28:1500:e6:95ce:ca1b) |
| 01:19:15 | trickard_ | is now known as trickard |
| 01:22:26 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 01:22:46 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 01:26:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:28:46 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:31:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:41:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:45:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:55:13 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 01:57:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:02:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:05:02 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 02:05:37 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 02:09:04 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:09:17 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 02:12:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:16:42 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 02:16:59 | → | tavare joins (~tavare@user/tavare) |
| 02:17:08 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 02:17:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:19:29 | → | poscat joins (~poscat@user/poscat) |
| 02:23:04 | → | Square joins (~Square4@user/square) |
| 02:25:58 | × | Square2 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 02:27:56 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:28:09 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 02:28:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:33:16 | → | califax joins (~califax@user/califx) |
| 02:33:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:35:02 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:35:38 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 02:38:36 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 02:38:59 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 02:44:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:45:32 | → | jackdk joins (uid373013@cssa/life/jackdk) |
| 02:49:50 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 02:50:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:01:06 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:02:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:03:03 | → | harveypwca joins (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 03:07:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:17:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:21:18 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 03:22:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:25:59 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 03:32:56 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 03:33:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:37:02 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 03:37:22 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 03:37:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:48:44 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 03:48:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:50:21 | → | dutchie joins (~dutchie@user/dutchie) |
| 03:53:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:55:53 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 04:00:39 | → | sp1ff`` joins (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 04:02:42 | × | sp1ff` quits (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 276 seconds) |
| 04:04:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:07:15 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 04:09:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:20:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:20:15 | → | euphores joins (~SASL_euph@user/euphores) |
| 04:26:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:38:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:42:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:42:48 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 04:43:24 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 04:48:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 04:48:48 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Client Quit) |
| 04:51:54 | trickard_ | is now known as trickard |
| 04:53:58 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 04:58:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:03:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:09:46 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 05:10:14 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 05:14:15 | → | Axman6 joins (~Axman6@user/axman6) |
| 05:14:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:15:05 | <Axman6> | @hoogle Double -> Float |
| 05:15:05 | <lambdabot> | GHC.Float double2Float :: Double -> Float |
| 05:15:05 | <lambdabot> | Extra doubleToFloat :: Double -> Float |
| 05:15:05 | <lambdabot> | Numeric.Extra doubleToFloat :: Double -> Float |
| 05:17:37 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 05:17:59 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 05:19:20 | <monochrom> | realToFrac |
| 05:20:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:23:29 | <probie> | > sqrt (-1) :: Float |
| 05:23:30 | <lambdabot> | NaN |
| 05:23:45 | <probie> | > realToFrac (sqrt (-1) :: Double) :: Float |
| 05:23:46 | <lambdabot> | -Infinity |
| 05:25:05 | <probie> | > [realToFrac ((-0) :: Double) :: Float, -0] |
| 05:25:07 | <lambdabot> | [0.0,-0.0] |
| 05:30:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:34:42 | trickard_ | is now known as trickard |
| 05:34:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:38:31 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:38:45 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 05:43:50 | × | harveypwca quits (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 05:45:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:46:07 | → | Square2 joins (~Square@user/square) |
| 05:48:18 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 05:49:29 | × | inline quits (~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 05:49:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:49:58 | × | Square quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 05:53:19 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:53:33 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 06:06:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:11:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 06:18:58 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 06:22:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:27:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:37:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:41:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:42:38 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 06:46:14 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 06:52:46 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 06:53:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:54:53 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:55:06 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 06:57:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:00:01 | × | caconym74 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:41 | → | caconym74 joins (~caconym@user/caconym) |
| 07:07:25 | → | dhil joins (~dhil@5.151.29.139) |
| 07:08:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:14:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 07:16:54 | → | trickard__ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 07:17:30 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 07:26:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:31:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 07:34:58 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 07:40:24 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 260 seconds) |
| 07:40:39 | trickard__ | is now known as trickard |
| 07:42:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:46:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:52:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:55:09 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:56:29 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 07:57:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:59:45 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 08:06:07 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 08:06:17 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 08:07:45 | × | dhil quits (~dhil@5.151.29.139) (Ping timeout: 276 seconds) |
| 08:07:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:10:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:12:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 08:19:15 | × | yegor quits (~yegor@user/yegorc) (Excess Flood) |
| 08:19:44 | → | yegor joins (~yegor@user/yegorc) |
| 08:23:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:27:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 08:27:31 | → | acidjnk joins (~acidjnk@p200300d6e70b6641f5079f6a9f0d0688.dip0.t-ipconnect.de) |
| 08:38:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:43:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 08:45:02 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 08:45:38 | → | sprotte24 joins (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) |
| 08:53:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:58:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 09:09:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:14:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 09:25:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:27:21 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 09:30:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 09:39:00 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 09:40:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:40:59 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:41:12 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 09:44:14 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:45:05 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 09:45:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 09:51:28 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 09:54:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:54:25 | × | dumptruckman quits (~dumptruck@66-175-211-75.ip.linodeusercontent.com) (Ping timeout: 248 seconds) |
| 09:54:55 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 276 seconds) |
| 10:01:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:02:37 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 10:03:52 | × | sprotte24 quits (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 10:11:07 | × | jackdk quits (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 10:14:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:18:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 10:19:42 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 10:19:44 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 10:22:32 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:24:10 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 10:30:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:31:51 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 10:34:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:42:28 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 245 seconds) |
| 10:45:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:49:34 | × | tureba quits (~tureba@tureba.org) (Ping timeout: 260 seconds) |
| 10:50:28 | trickard_ | is now known as trickard |
| 10:50:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 10:54:10 | <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? |
| 10:56:21 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:58:22 | <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`. |
| 11:01:09 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:01:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:02:09 | <lxsameer> | Apparently, I'm blind, I struggled with this for an hour, and at the end, it was a typo |
| 11:02:12 | <lxsameer> | sorry about that |
| 11:03:24 | × | bramh quits (~bramh@user/bramh) (Quit: Ping timeout (120 seconds)) |
| 11:03:36 | → | bramh joins (~bramh@user/bramh) |
| 11:05:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 11:06:58 | × | jespada quits (~jespada@2800:a4:2202:8500:b4de:f080:b655:a33c) (Ping timeout: 248 seconds) |
| 11:09:43 | → | jespada joins (~jespada@2800:a4:2217:a700:b07d:130b:9052:aae1) |
| 11:09:58 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
| 11:10:09 | → | reb0und joins (~reb0und@c-67-180-190-84.hsd1.ca.comcast.net) |
| 11:16:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:18:58 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 11:19:04 | → | qqe joins (~qqq@185.54.23.14) |
| 11:19:37 | × | reb0und quits (~reb0und@c-67-180-190-84.hsd1.ca.comcast.net) (Quit: reb0und) |
| 11:19:49 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 11:20:16 | Lord_of_Life_ | is now known as Lord_of_Life |
| 11:21:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 11:26:58 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 11:29:07 | → | sprotte24 joins (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) |
| 11:32:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:35:41 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 11:37:14 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 11:37:36 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 11:37:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 11:40:59 | → | axeman joins (~quassel@2a02:908:5c3:ad80:6ba4:5ad2:a240:fa7e) |
| 11:42:23 | → | ethereal_ joins (~ethereal@user/ethereal-:30935) |
| 11:45:38 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:47:03 | <[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 |
| 11:47:50 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 11:47:51 | <ethereal_> | what? 0_0 |
| 11:48:14 | <[exa]> | like, I'm nitpicking for sure |
| 11:48:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:48:41 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:48:42 | <[exa]> | but I have a lot of such mixed calls here and didn't find anything obvious so I thought I'd ask |
| 11:49:56 | × | axeman quits (~quassel@2a02:908:5c3:ad80:6ba4:5ad2:a240:fa7e) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 11:50:18 | <Leary> | @hoogle Functor f => f (a -> b) -> a -> f b |
| 11:50:19 | <lambdabot> | Control.Lens.Lens (??) :: Functor f => f (a -> b) -> a -> f b |
| 11:50:19 | <lambdabot> | Control.Lens.Operators (??) :: Functor f => f (a -> b) -> a -> f b |
| 11:50:19 | <lambdabot> | Diagrams.Prelude (??) :: Functor f => f (a -> b) -> a -> f b |
| 11:51:09 | <[exa]> | oh stupid me, I was hoogling it with :: instead of =>....... |
| 11:51:17 | <[exa]> | Leary: thanks! |
| 11:52:27 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 11:53:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 11:53:36 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 11:55:09 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:00:17 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 12:04:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:06:04 | × | ethereal_ quits (~ethereal@user/ethereal-:30935) (Ping timeout: 252 seconds) |
| 12:06:10 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 12:08:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 12:16:29 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:16:43 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 12:17:33 | trickard_ | is now known as trickard |
| 12:19:30 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:19:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:24:08 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 12:24:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 12:34:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:41:16 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 12:41:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 12:47:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:52:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:53:59 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 12:54:18 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 12:54:30 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 12:55:03 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 12:57:51 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 13:00:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 13:01:06 | → | poscat0x04 joins (~poscat@user/poscat) |
| 13:01:45 | × | poscat quits (~poscat@user/poscat) (Quit: Bye) |
| 13:06:01 | → | dumptruckman joins (~dumptruck@66-175-211-75.ip.linodeusercontent.com) |
| 13:06:12 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:06:26 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 13:11:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:13:01 | → | ethereal_ joins (~ethereal@user/ethereal-:30935) |
| 13:13:09 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:14:06 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 13:16:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 13:17:14 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 13:20:23 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 13:22:20 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 13:23:34 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 13:23:35 | ljdarj1 | is now known as ljdarj |
| 13:27:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:31:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:33:31 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 13:33:34 | × | ethereal_ quits (~ethereal@user/ethereal-:30935) (Quit: leaving) |
| 13:37:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 13:38:06 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 13:40:20 | trickard_ | is now known as trickard |
| 13:41:41 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 13:42:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:45:12 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 13:45:13 | ljdarj1 | is now known as ljdarj |
| 13:46:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 13:50:08 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:50:21 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 13:57:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:02:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 14:09:57 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 14:13:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:18:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 14:21:44 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 14:28:27 | → | jjanzen joins (~user@user/jjanzen) |
| 14:29:01 | × | jjanzen quits (~user@user/jjanzen) (Remote host closed the connection) |
| 14:29:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:32:52 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:33:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:42:53 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 14:44:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:49:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 14:51:05 | → | ethereal_ joins (~ethereal@user/ethereal-:30935) |
| 14:52:17 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 14:52:17 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 14:52:17 | → | haritz joins (~hrtz@user/haritz) |
| 14:53:46 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 14:55:54 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 14:57:18 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 14:57:45 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 15:00:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:00:48 | <drlkf> | ~ |
| 15:02:27 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 276 seconds) |
| 15:05:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 15:05:55 | → | f-a joins (ff2a@joined.irc.for-some.fun) |
| 15:07:32 | <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. |
| 15:11:54 | <Leary> | f-a: Try the 'bitstring' package? I haven't used it before, but I did have success with 'bitarray' from the same author. |
| 15:12:47 | <f-a> | thanks. It is bitrot, but I can get it up in shape, I think |
| 15:14:02 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 15:15:02 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 15:15:31 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 15:15:34 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 15:15:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:20:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 15:23:15 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 15:23:43 | <EvanR> | f-a, list of data Bit = O | I |
| 15:23:50 | <EvanR> | enjoy |
| 15:24:01 | <f-a> | EvanR: that is what I was doing :P But I guess it has been done many times |
| 15:24:31 | <EvanR> | it's pretty nice, if you don't care about memory |
| 15:24:50 | <EvanR> | the overhead is egregious |
| 15:26:36 | → | jjanzen joins (~user@user/jjanzen) |
| 15:29:48 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 15:30:29 | <lxsameer> | is there any typeclass for composibility of values of a data type? |
| 15:31:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:37:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:37:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 15:39:54 | × | jjanzen quits (~user@user/jjanzen) (Ping timeout: 260 seconds) |
| 15:42:12 | <geekosaur> | what's "composability" here? I mean, Semigroup would qualify at first thought |
| 15:43:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:45:54 | → | michalz joins (~michalz@185.246.207.221) |
| 15:46:10 | → | tureba joins (~tureba@tureba.org) |
| 15:48:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 15:51:59 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 15:52:07 | <Leary> | Yeah; `Semigroup`, `Monoid`, `Category`, `Applicative`, `Monad`, ... |
| 15:54:26 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 15:56:56 | <mauke> | magma |
| 15:58:26 | <EvanR> | a typeclass for flobnostication of values of the same type |
| 15:58:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 15:58:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:59:09 | <EvanR> | Semigroupoid if you're nasty |
| 16:00:09 | <Lycurgus> | r u Ms. Jackson? |
| 16:01:10 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:03:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:11:30 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 16:12:00 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 16:14:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:18:53 | × | ethereal_ quits (~ethereal@user/ethereal-:30935) (Quit: leaving) |
| 16:19:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 16:24:08 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 16:26:55 | → | LainIwakura50 joins (~LainIwaku@user/LainIwakura) |
| 16:28:09 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 16:29:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:31:11 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:31:24 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 16:34:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:35:43 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 16:41:27 | → | jjanzen joins (~user@user/jjanzen) |
| 16:42:03 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 16:42:22 | × | sprotte24 quits (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 16:45:08 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 16:45:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:47:41 | → | infinity0 joins (~infinity0@pwned.gg) |
| 16:48:50 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 16:50:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 16:59:45 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:01:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:05:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:07:08 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 17:09:07 | × | acidjnk quits (~acidjnk@p200300d6e70b6641f5079f6a9f0d0688.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 17:16:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:16:41 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:18:47 | → | visilii joins (~visilii@213.24.127.253) |
| 17:20:57 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 252 seconds) |
| 17:21:24 | × | visilii_ quits (~visilii@213.24.126.48) (Ping timeout: 252 seconds) |
| 17:21:26 | → | olivial joins (~benjaminl@user/benjaminl) |
| 17:21:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 17:25:49 | → | hseg joins (~gesh@46.120.20.122) |
| 17:27:47 | <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? |
| 17:28:13 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 17:28:49 | <geekosaur> | both will reject the installed versions while generating the build plan and build appropriate versions |
| 17:29:42 | <hseg> | excellent, thanks |
| 17:30:09 | <hseg> | (just discovered python's setuptools doesn't do this, and in fact is entirely silent) |
| 17:30:36 | <hseg> | (which given it's so popular, means that a certain packaging issue has gotten much less pressure than it should've) |
| 17:30:39 | <geekosaur> | right, they don't have a full constraint-solving installation plan generator |
| 17:30:54 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:32:01 | <geekosaur> | note that a full implementation of this requires management of a package store like cabal and stack do, whereas python only has sandboxes |
| 17:32:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:33:50 | <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 |
| 17:36:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 17:37:26 | <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"? |
| 17:38:35 | <geekosaur> | correct |
| 17:38:44 | <geekosaur> | this is also why cabal sandboxes went away |
| 17:39:14 | <geekosaur> | it's the sandbox mechanic that imposes that requirement, multiple version management requires a more complex mechanic |
| 17:39:39 | <hseg> | but otoh, once you have it, it obsoletes the need for sandboxes? |
| 17:43:30 | <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 |
| 17:44:43 | <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 |
| 17:46:04 | → | alhazrod joins (uid662262@user/alhazrod) |
| 17:47:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:52:28 | <[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 |
| 17:52:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 17:56:45 | <hseg> | OK, will do |
| 18:03:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:04:40 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 18:06:39 | <monochrom> | IMO I don't describe cabal-v2 as full management, I describe it as sandbox with CSE. |
| 18:07:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:08:36 | <monochrom> | or s/CSE/flyweight/ if you don't know CSE but you know the flyweight design pattern. |
| 18:09:36 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 18:10:20 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:18:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:24:06 | <EvanR> | to make quick experimentation easy regardless of environment setup |
| 18:24:40 | <EvanR> | write the "quick experimentation" script which puts you in the holodeck program ready to do the experiment, then put that in your PATH |
| 18:25:21 | <EvanR> | "quickly write that script" not included, nor "save that script each time I reinstall my linux distro" |
| 18:25:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 18:27:30 | [exa] | yet has to see an experiment that went quick |
| 18:28:04 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 18:30:40 | → | turlando joins (~turlando@user/turlando) |
| 18:30:49 | × | turlando_ quits (~turlando@user/turlando) (Ping timeout: 260 seconds) |
| 18:31:59 | <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 |
| 18:34:22 | <hseg> | [exa]: btw, I reported this as https://github.com/pypa/setuptools/issues/5054 |
| 18:36:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:41:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:41:58 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
| 18:47:28 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 18:50:28 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:50:29 | × | Square2 quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 18:52:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:52:25 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 18:54:13 | → | acidjnk joins (~acidjnk@p200300d6e70b6692a4921e45644e17d7.dip0.t-ipconnect.de) |
| 18:56:51 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) |
| 18:56:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 19:00:03 | × | caconym74 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:04 | × | jjanzen quits (~user@user/jjanzen) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 19:00:44 | → | caconym74 joins (~caconym@user/caconym) |
| 19:03:45 | × | hseg quits (~gesh@46.120.20.122) (Ping timeout: 248 seconds) |
| 19:07:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:08:23 | × | LainIwakura50 quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 19:11:38 | → | sprotte24 joins (~sprotte24@p200300d16f1c2800a4c46ead6c309f0b.dip0.t-ipconnect.de) |
| 19:12:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 19:21:16 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 19:21:24 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 19:23:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:27:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:28:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:36:49 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 19:38:22 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:39:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:39:39 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:43:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:47:27 | → | arandombit joins (~arandombi@user/arandombit) |
| 19:49:27 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 19:54:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:57:35 | → | PineOvercoat34 joins (~PineOverc@2401:4900:882f:356d:4039:f6cb:8f4:343c) |
| 19:59:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:05:14 | → | Square2 joins (~Square@user/square) |
| 20:08:33 | ← | PineOvercoat34 parts (~PineOverc@2401:4900:882f:356d:4039:f6cb:8f4:343c) () |
| 20:09:49 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 20:10:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:11:38 | → | pavonia joins (~user@user/siracusa) |
| 20:14:01 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 20:14:45 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 20:14:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:25:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:27:46 | → | dhil joins (~dhil@5.151.29.138) |
| 20:30:20 | → | humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 20:30:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:31:04 | × | dhil quits (~dhil@5.151.29.138) (Client Quit) |
| 20:32:07 | → | AVA joins (~AVA@213.230.82.75) |
| 20:32:09 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 20:32:13 | humasect_ | is now known as humasect |
| 20:33:46 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 20:36:58 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 240 seconds) |
| 20:41:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:45:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 20:50:12 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 20:54:45 | × | AVA quits (~AVA@213.230.82.75) (Quit: Leaving) |
| 20:55:17 | → | AVA joins (~AVA@213.230.82.75) |
| 20:56:15 | × | AVA quits (~AVA@213.230.82.75) (Max SendQ exceeded) |
| 20:56:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:56:59 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 21:03:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:06:01 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:09:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:14:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:20:01 | → | VictorHugenay joins (~VictorHug@user/VictorHugenay) |
| 21:20:29 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 21:25:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:26:34 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 21:29:16 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
| 21:29:34 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 21:29:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:30:51 | × | VictorHugenay quits (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 21:31:07 | Feuermagier | is now known as Guest5061 |
| 21:31:07 | → | Feuermagier_ joins (~Feuermagi@user/feuermagier) |
| 21:31:08 | × | Guest5061 quits (~Feuermagi@user/feuermagier) (Killed (copper.libera.chat (Nickname regained by services))) |
| 21:31:08 | Feuermagier_ | is now known as Feuermagier |
| 21:33:11 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Client Quit) |
| 21:35:51 | → | VictorHugenay joins (~VictorHug@user/VictorHugenay) |
| 21:40:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:44:07 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 21:45:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:46:09 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc37:ddbb:3dbd:472f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:50:15 | trickard_ | is now known as trickard |
| 21:53:51 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 21:55:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:01:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:03:39 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 22:04:09 | × | VictorHugenay quits (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 22:11:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:12:49 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:13:03 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 22:15:39 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 22:16:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:16:48 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 22:25:24 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
| 22:25:25 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 22:25:34 | × | sprotte24 quits (~sprotte24@p200300d16f1c2800a4c46ead6c309f0b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 22:27:03 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 22:27:15 | → | xff0x_ joins (~xff0x@2405:6580:b080:900:ff32:5dd2:60a2:c4df) |
| 22:27:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:28:39 | × | xff0x quits (~xff0x@2405:6580:b080:900:70b3:c113:bfb8:1e1b) (Ping timeout: 252 seconds) |
| 22:28:44 | → | poscat joins (~poscat@user/poscat) |
| 22:30:14 | → | jreicher joins (~user@user/jreicher) |
| 22:30:16 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 22:32:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 22:33:21 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 22:33:50 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 22:34:39 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 22:43:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:44:17 | × | xff0x_ quits (~xff0x@2405:6580:b080:900:ff32:5dd2:60a2:c4df) (Quit: xff0x_) |
| 22:45:17 | × | Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection) |
| 22:45:48 | → | Axman6 joins (~Axman6@user/axman6) |
| 22:48:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:52:50 | <byorgey> | Axman6: Cool, glad you enjoyed my ZuriHac talk. Yes, it is odd to see the face of someone you've known online for a while. =) |
| 22:53:30 | <byorgey> | Axman6: I did post a solution to the last problem in a blog post: https://byorgey.github.io/blog/posts/2025/06/10/comprog-hs-intro.html |
| 22:55:39 | × | alhazrod quits (uid662262@user/alhazrod) (Quit: Connection closed for inactivity) |
| 22:58:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:03:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:13:30 | → | jmorris joins (uid604645@id-604645.hampstead.irccloud.com) |
| 23:14:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:16:01 | → | xff0x joins (~xff0x@2405:6580:b080:900:3967:7ad2:29cb:37c1) |
| 23:17:17 | × | jespada quits (~jespada@2800:a4:2217:a700:b07d:130b:9052:aae1) (Ping timeout: 244 seconds) |
| 23:18:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:19:56 | → | jespada joins (~jespada@2800:a4:22c0:5b00:c0b3:a2ed:9f22:74f1) |
| 23:29:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:31:57 | → | jackdk joins (uid373013@cssa/life/jackdk) |
| 23:33:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:38:49 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 23:44:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:51:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
All times are in UTC on 2025-07-27.