Logs: liberachat/#haskell
| 2025-08-26 05:27:43 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 2025-08-26 05:28:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 05:32:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 05:34:49 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-08-26 05:38:03 | <probie> | What is a good name for a class `class NameHere f where { empty :: f a }`? Does it have a canonical name? |
| 2025-08-26 05:39:55 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-26 05:41:43 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 2025-08-26 05:43:10 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-08-26 05:43:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 05:47:04 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-26 05:50:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-26 05:55:49 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-08-26 05:56:57 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2025-08-26 06:01:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 06:06:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 06:08:56 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 258 seconds) |
| 2025-08-26 06:17:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 06:17:33 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-26 06:17:34 | <Axman6> | what are the properties of f? |
| 2025-08-26 06:17:56 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2025-08-26 06:18:54 | <Axman6> | Looks a lot like either Alternative's empty of MonadPlus' mzero |
| 2025-08-26 06:21:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-26 06:26:05 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-26 06:30:07 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-26 06:32:01 | <haskellbridge> | <maerwald> geekosaur: Yeah, I'm super conservative with bumping the recommended version of cabal, since I don't have high confidence about release quality and regression testing. But that also means that sometimes people have to challenge the recommendations. That's good. |
| 2025-08-26 06:32:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 06:32:50 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-08-26 06:33:05 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-26 06:34:37 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-26 06:36:26 | → | tromp joins (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 2025-08-26 06:37:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-26 06:43:48 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-08-26 06:46:09 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-26 06:47:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 06:52:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-26 06:56:34 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-08-26 06:59:08 | × | zarakshR quits (~Thunderbi@0542a05a.skybroadband.com) (Ping timeout: 256 seconds) |
| 2025-08-26 06:59:20 | <Axman6> | This feels like an obvious question, but is there a better way to compute the cube root of a number than n**(1/3)? |
| 2025-08-26 07:00:00 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-08-26 07:00:42 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-08-26 07:02:05 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-26 07:03:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 07:06:32 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-26 07:07:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-26 07:08:46 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-26 07:08:58 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-26 07:10:18 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-08-26 07:11:48 | → | acidjnk joins (~acidjnk@p200300d6e7171935d5e5673b6843e553.dip0.t-ipconnect.de) |
| 2025-08-26 07:15:13 | <jreicher> | Axman6: what do you mean by "better"? |
| 2025-08-26 07:15:55 | <Axman6> | we have sqrt, wondering if there's anything more direct like that |
| 2025-08-26 07:18:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 07:20:07 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-26 07:20:20 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-26 07:22:19 | <jreicher> | Axman6: https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.Float.html#sqrt |
| 2025-08-26 07:22:57 | <lortabac> | numeric-prelude has a class with a 'root' method |
| 2025-08-26 07:23:34 | <lortabac> | but under the hood it probably still does n ** (1 / m) |
| 2025-08-26 07:24:40 | → | chele joins (~chele@user/chele) |
| 2025-08-26 07:24:47 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-08-26 07:25:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-26 07:25:45 | <jreicher> | lortabac: I'm not familiar with that but looking at the code I think it carries around the number as a surd? |
| 2025-08-26 07:27:29 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-26 07:28:49 | <lortabac> | jreicher: I'm not brave enough to read the code of a library where all the classes are named 'C' |
| 2025-08-26 07:29:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 07:30:22 | × | tromp quits (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-26 07:31:44 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-26 07:34:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-26 07:37:52 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-08-26 07:44:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 07:47:54 | → | Square3 joins (~Square4@user/square) |
| 2025-08-26 07:48:40 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-26 07:49:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-26 07:54:47 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-08-26 07:55:38 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 2025-08-26 07:56:04 | → | paul joins (~paul@p200300d0c724c972c1124819265dadf7.dip0.t-ipconnect.de) |
| 2025-08-26 07:56:08 | paul | is now known as Guest6666 |
| 2025-08-26 07:56:48 | trickard_ | is now known as trickard |
| 2025-08-26 08:00:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 08:03:36 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-08-26 08:04:02 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-08-26 08:04:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 08:06:22 | × | drdo quits (~drdo@2a01:4f8:1c1c:4976::1) (Server closed connection) |
| 2025-08-26 08:06:33 | → | drdo joins (~drdo@2a01:4f8:1c1c:4976::1) |
| 2025-08-26 08:09:32 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-26 08:09:41 | × | tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds) |
| 2025-08-26 08:15:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 08:19:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-26 08:23:43 | → | sprotte24 joins (~sprotte24@p200300d16f0e5a00a48daab63f7a3f4a.dip0.t-ipconnect.de) |
| 2025-08-26 08:30:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 08:34:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-26 08:43:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 08:47:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-26 08:58:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 09:02:49 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 2025-08-26 09:03:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-26 09:05:11 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-26 09:06:04 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-08-26 09:07:05 | × | mari-estel quits (~mari-este@user/mari-estel) (Client Quit) |
| 2025-08-26 09:07:22 | → | inline_ joins (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) |
| 2025-08-26 09:10:16 | × | inline quits (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2025-08-26 09:12:50 | × | trickard quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
All times are in UTC.