| 2025-04-06 00:00:04 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-06 00:00:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-04-06 00:00:45 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-04-06 00:00:47 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-06 00:02:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 00:04:04 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 2025-04-06 00:07:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-06 00:09:25 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:696a:652d:93f2:5c60) (Ping timeout: 248 seconds) |
| 2025-04-06 00:11:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:44a6:f61b:e8c3:9514) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-06 00:13:20 +0200 | rini | (~rini@user/rini) (Remote host closed the connection) |
| 2025-04-06 00:13:33 +0200 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
| 2025-04-06 00:13:41 +0200 | connrs | (~connrs@user/connrs) connrs |
| 2025-04-06 00:19:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 00:25:23 +0200 | takuan_dozo | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-04-06 00:30:58 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:fa19:a3fb:34bb:67a4) hgolden |
| 2025-04-06 00:31:09 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-06 00:33:59 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1b03:b08c:d961:6530) (Ping timeout: 260 seconds) |
| 2025-04-06 00:41:34 +0200 | toby-bro | (~toby-bro@user/toby-bro) (Ping timeout: 260 seconds) |
| 2025-04-06 00:46:02 +0200 | jmcantrell | Guest4344 |
| 2025-04-06 00:46:02 +0200 | Guest4344 | (644f1bed9a@user/jmcantrell) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2025-04-06 00:46:02 +0200 | __jmcantrell__ | jmcantrell |
| 2025-04-06 00:46:10 +0200 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-04-06 00:49:59 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 00:52:58 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-04-06 00:55:18 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-06 01:06:42 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:fa19:a3fb:34bb:67a4) (Remote host closed the connection) |
| 2025-04-06 01:08:55 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:fa19:a3fb:34bb:67a4) hgolden |
| 2025-04-06 01:09:00 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-06 01:11:05 +0200 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-04-06 01:13:30 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-06 01:16:46 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-06 01:24:21 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-04-06 01:24:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-06 01:26:10 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:fa19:a3fb:34bb:67a4) (Ping timeout: 272 seconds) |
| 2025-04-06 01:26:26 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-06 01:32:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 01:34:10 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2025-04-06 01:34:34 +0200 | rawles | (~rawles@user/rawles) rawles |
| 2025-04-06 01:36:09 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 244 seconds) |
| 2025-04-06 01:36:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-06 01:40:18 +0200 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-04-06 01:44:59 +0200 | <haskellbridge> | <sm> ! we'll pretend we didn't hear that |
| 2025-04-06 01:45:18 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 01:47:10 +0200 | <EvanR> | ikr |
| 2025-04-06 01:47:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 01:49:37 +0200 | hgolden__ | (~hgolden@2603:8000:9d00:3ed1:2fa6:8257:2d41:b9b0) hgolden |
| 2025-04-06 01:50:33 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-06 01:51:30 +0200 | sprotte24_ | (~sprotte24@p200300d16f1fcd00fde87e4fa26f8820.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-06 01:52:15 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:d319:57ed:d2cb:68a5) hgolden |
| 2025-04-06 01:52:44 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Ping timeout: 260 seconds) |
| 2025-04-06 01:53:57 +0200 | hgolden__ | (~hgolden@2603:8000:9d00:3ed1:2fa6:8257:2d41:b9b0) (Ping timeout: 252 seconds) |
| 2025-04-06 01:56:20 +0200 | <monochrom> | The cause of concern is that you will not run your web app on your PC, you will run it on virtual hosting where your budget allows only 0.5GB RAM for example. |
| 2025-04-06 01:57:19 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-04-06 01:57:42 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-06 01:58:34 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:d319:57ed:d2cb:68a5) (Ping timeout: 260 seconds) |
| 2025-04-06 02:03:54 +0200 | <EvanR> | on web you have a cosmic struggle between needing to use less resources and just use more resources |
| 2025-04-06 02:04:21 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2fa6:8257:2d41:b9b0) hgolden |
| 2025-04-06 02:04:40 +0200 | <EvanR> | web apps used to be written in C! |
| 2025-04-06 02:05:26 +0200 | <monochrom> | It's not a struggle, it's a synergy! Use less resource on your server, offload it to using more resource on the customer web browser! |
| 2025-04-06 02:05:34 +0200 | otto_s | (~user@p5de2f9f0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-06 02:05:57 +0200 | <EvanR> | just send them the whole database and have them filter it |
| 2025-04-06 02:06:00 +0200 | <monochrom> | "less is more" = less burden on me is more burden on you! |
| 2025-04-06 02:07:14 +0200 | otto_s | (~user@p5de2fd95.dip0.t-ipconnect.de) |
| 2025-04-06 02:09:33 +0200 | hattckory | (~hattckory@70.27.118.207) |
| 2025-04-06 02:10:53 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-04-06 02:19:29 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 248 seconds) |
| 2025-04-06 02:30:13 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f099ca861e17b9ec3ec.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-06 02:31:01 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 02:41:34 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-04-06 02:53:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-06 02:53:42 +0200 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) |
| 2025-04-06 02:55:59 +0200 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) (Client Quit) |
| 2025-04-06 02:56:40 +0200 | amadaluzia | (~amadaluzi@host81-159-254-182.range81-159.btcentralplus.com) |
| 2025-04-06 03:01:52 +0200 | JuanDaugherty | ColinRobinson |
| 2025-04-06 03:01:58 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-04-06 03:02:21 +0200 | otto_s | (~user@p5de2fd95.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-04-06 03:04:11 +0200 | otto_s | (~user@p5de2fb60.dip0.t-ipconnect.de) |
| 2025-04-06 03:05:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 03:05:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-06 03:07:16 +0200 | amadaluzia | (~amadaluzi@host81-159-254-182.range81-159.btcentralplus.com) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
| 2025-04-06 03:07:38 +0200 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) |
| 2025-04-06 03:09:32 +0200 | hattckory | (~hattckory@70.27.118.207) |
| 2025-04-06 03:09:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-06 03:13:55 +0200 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
| 2025-04-06 03:15:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-06 03:19:40 +0200 | amadaluzia_ | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) |
| 2025-04-06 03:20:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 03:21:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-04-06 03:21:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-06 03:22:18 +0200 | amadaluzia | (~amadaluzi@host81-159-254-182.range81-159.btcentralplus.com) |
| 2025-04-06 03:23:51 +0200 | amadaluzia_ | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) (Client Quit) |
| 2025-04-06 03:23:51 +0200 | amadaluzia | (~amadaluzi@host81-159-254-182.range81-159.btcentralplus.com) (Client Quit) |
| 2025-04-06 03:24:10 +0200 | amadaluzia | (~amadaluzi@host81-159-254-182.range81-159.btcentralplus.com) |
| 2025-04-06 03:24:41 +0200 | amadaluzia_ | (~amadaluzi@host81-159-254-182.range81-159.btcentralplus.com) |
| 2025-04-06 03:25:37 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 248 seconds) |
| 2025-04-06 03:26:55 +0200 | amadaluzia_ | (~amadaluzi@host81-159-254-182.range81-159.btcentralplus.com) (Client Quit) |
| 2025-04-06 03:26:55 +0200 | amadaluzia | (~amadaluzi@host81-159-254-182.range81-159.btcentralplus.com) (Client Quit) |
| 2025-04-06 03:27:54 +0200 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) |
| 2025-04-06 03:29:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-06 03:29:42 +0200 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) (Client Quit) |
| 2025-04-06 03:29:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-06 03:30:13 +0200 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) |
| 2025-04-06 03:34:14 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2025-04-06 03:37:51 +0200 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
| 2025-04-06 03:37:59 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5d6b:27d2:3f72:9d18) |
| 2025-04-06 03:38:26 +0200 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) |
| 2025-04-06 03:40:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 03:44:48 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-04-06 03:45:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-06 03:53:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5d6b:27d2:3f72:9d18) (Ping timeout: 252 seconds) |
| 2025-04-06 03:54:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3e40:a734:5781:f378) |
| 2025-04-06 03:55:35 +0200 | <tabaqui> | While learning Elixir, I found that they have so called "pins" in pattern matching. Like, you can associate a variable with a value and then match to this variable. In Haskell, afaik, it is impossible. Is it some hard compiler restriction, or something? |
| 2025-04-06 03:56:22 +0200 | <tabaqui> | Like, in Elixir you can "x = 5; case y of ^x -> <something>". |
| 2025-04-06 03:56:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 03:56:40 +0200 | <tabaqui> | And it will match y to 5 without new bindings |
| 2025-04-06 03:56:46 +0200 | <geekosaur> | you use guards in Haskell |
| 2025-04-06 03:56:56 +0200 | <geekosaur> | just a quirk of the language |
| 2025-04-06 03:57:29 +0200 | <tabaqui> | Guards aren't quite the same, boolean blindness f.e. |
| 2025-04-06 03:57:54 +0200 | <geekosaur> | hypotheticslly thy could add that ability, although I suppose it would require some new pattern matching machinery; Haskell patters match structure , not values |
| 2025-04-06 03:58:06 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-04-06 03:59:16 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-04-06 04:00:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3e40:a734:5781:f378) (Quit: xff0x) |
| 2025-04-06 04:01:40 +0200 | <monochrom> | I don't know Elixir so there is no use telling me "it's called pin in Elixir". |
| 2025-04-06 04:01:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-06 04:02:16 +0200 | <monochrom> | But it sounds like for example "f xs@(x : xt) = (x, xs, xt)" |
| 2025-04-06 04:02:35 +0200 | <monochrom> | > case [0,1,2] of xs@(x : xt) -> (x, xs, xt) |
| 2025-04-06 04:02:37 +0200 | <lambdabot> | (0,[0,1,2],[1,2]) |
| 2025-04-06 04:04:55 +0200 | <tabaqui> | monochrom: here you bind variables xs, x and t with some new values. With "pins" you can declare some variables before and then match without bindings |
| 2025-04-06 04:05:04 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-04-06 04:05:35 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-04-06 04:06:52 +0200 | <tabaqui> | geekosaur: Yeah, I suspect it has to do with structural matchmaking. Just wanted to make sure it's not something that could be easily added with new sugar. |
| 2025-04-06 04:07:23 +0200 | <geekosaur> | sugar wouldn't do it, no |
| 2025-04-06 04:08:02 +0200 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2025-04-06 04:08:50 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 04:09:52 +0200 | cheater | (~Username@user/cheater) cheater |
| 2025-04-06 04:10:23 +0200 | <monochrom> | If it is just a cute way to say "x == y", then Haskell already has ==. If it is actually as profound as full-blown Prolog unification, then consider the Curry language. |
| 2025-04-06 04:10:25 +0200 | cheater | (~Username@user/cheater) (Client Quit) |
| 2025-04-06 04:12:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 04:13:01 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2d8c:c4f2:3458:8ce1) |
| 2025-04-06 04:13:54 +0200 | <geekosaur> | there's also an additional complication: if you match against a literal number, it desugars to a guard, so you lose anyway |
| 2025-04-06 04:16:02 +0200 | cheater | (~Username@user/cheater) cheater |
| 2025-04-06 04:17:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-06 04:17:53 +0200 | <monochrom> | Yeah matching against 5, whether that 5 was hardcoded or obtained during run time, is a very point-defeating example of speaking against boolean blindness. |
| 2025-04-06 04:19:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-06 04:20:11 +0200 | cheater | (~Username@user/cheater) (Client Quit) |
| 2025-04-06 04:20:22 +0200 | <EvanR> | the pin is like taking the value of the variable and using it as a pattern |
| 2025-04-06 04:20:32 +0200 | <EvanR> | which requires == |
| 2025-04-06 04:20:44 +0200 | <EvanR> | it's done for you in the case of a constant pattern |
| 2025-04-06 04:20:50 +0200 | <EvanR> | laskdjfasdkfj |
| 2025-04-06 04:20:59 +0200 | cheater | (~Username@user/cheater) cheater |
| 2025-04-06 04:21:24 +0200 | <EvanR> | in the case of numeric, char, string constants (anything else?) |
| 2025-04-06 04:22:10 +0200 | <EvanR> | not all data types in haskell have an == and so this wouldn't universally work like in elixir |
| 2025-04-06 04:22:21 +0200 | <monochrom> | I guess I gave Elixir way too much credit for entertaining the remote possibility that it may do something half as interesting as logic programming. |
| 2025-04-06 04:22:42 +0200 | <monochrom> | One more data point for being more cynical. |
| 2025-04-06 04:22:54 +0200 | <EvanR> | I found an interesting thing about elixir |
| 2025-04-06 04:22:57 +0200 | <geekosaur> | Char acts like an actual constructor, and String like a list of them. this guard business is specific to Num, and is why Num used to have Eq as a "superclass" |
| 2025-04-06 04:23:09 +0200 | <EvanR> | alright numeric constants |
| 2025-04-06 04:24:00 +0200 | <EvanR> | the interest thing about elixir is the === operator, which differs from == in that it doesn't convert numerics between int and float, and distinguishes -0.0 from 0.0 |
| 2025-04-06 04:24:05 +0200 | <EvanR> | it follows this law |
| 2025-04-06 04:24:21 +0200 | <EvanR> | if x === y then f(x) === f(y) (assuming f is a pure function) |
| 2025-04-06 04:25:15 +0200 | <EvanR> | elixir carefully prints out its values in such a way you can't violate that law |
| 2025-04-06 04:25:24 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-04-06 04:25:26 +0200 | <monochrom> | That's actually nice. |
| 2025-04-06 04:25:42 +0200 | <Leary> | tabaqui: There's no issue of "boolean blindness" in equality testing. Both `((== x) -> True) -> ...` and `y | x == y -> ...` are perfectly good Haskell equivalents. |
| 2025-04-06 04:25:48 +0200 | <EvanR> | as far as I could tell after an afternoon of trying |
| 2025-04-06 04:26:16 +0200 | <Leary> | Though it would be nice if we could write `pattern Is x = (== x) -> True`. |
| 2025-04-06 04:28:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 04:29:39 +0200 | <geekosaur> | oh, and the special handling of numeric literals is because they're functions in Haskell (wrapped in fromInteger or fromRational as appropriate) |
| 2025-04-06 04:32:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-06 04:38:48 +0200 | <geekosaur> | (I don't know if this is extended to IsString) |
| 2025-04-06 04:40:37 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 04:43:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 04:46:13 +0200 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2025-04-06 04:51:15 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-06 04:57:54 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-04-06 05:11:33 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 05:14:46 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-06 05:16:09 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-04-06 05:19:52 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 272 seconds) |
| 2025-04-06 05:24:02 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-04-06 05:26:38 +0200 | tomku | (~tomku@user/tomku) tomku |
| 2025-04-06 05:36:36 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-04-06 05:39:59 +0200 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:f802:c6e0:6002:2ef9) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-04-06 05:48:01 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 05:48:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-06 05:48:54 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:58e6:6428:d346:1de6) |
| 2025-04-06 05:53:00 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-06 05:59:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 06:04:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-06 06:15:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 06:18:38 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:58e6:6428:d346:1de6) (Read error: Connection reset by peer) |
| 2025-04-06 06:20:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-06 06:25:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8156:72e2:e83d:bafd) |
| 2025-04-06 06:27:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8156:72e2:e83d:bafd) (Client Quit) |
| 2025-04-06 06:28:06 +0200 | forell | (~forell@user/forell) (Ping timeout: 268 seconds) |
| 2025-04-06 06:29:06 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-06 06:31:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 06:33:25 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 06:38:10 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-06 06:56:43 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 07:08:18 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2025-04-06 07:08:39 +0200 | statusbot10 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 2025-04-06 07:09:54 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-04-06 07:26:42 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-06 07:40:24 +0200 | thuna` | (~thuna`@user/thuna/x-1480069) (Ping timeout: 244 seconds) |
| 2025-04-06 07:41:25 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 2025-04-06 07:41:25 +0200 | jmcantrell_ | jmcantrell |
| 2025-04-06 07:56:59 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-06 08:01:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-06 08:17:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-06 08:30:12 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.5.2) |
| 2025-04-06 08:38:13 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-04-06 08:39:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-06 08:39:27 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) Fangs |
| 2025-04-06 08:45:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-06 08:50:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 08:54:31 +0200 | rit | (~rit@2409:40e0:1c:121c:589e:a7ae:8d66:baae) |
| 2025-04-06 08:59:32 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-06 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-06 09:00:02 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2025-04-06 09:00:28 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-06 09:00:53 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-06 09:04:35 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-04-06 09:14:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:210a:3dd2:fb83:a589) |
| 2025-04-06 09:15:30 +0200 | tromp | (~textual@2001:1c00:3487:1b00:210a:3dd2:fb83:a589) (Client Quit) |
| 2025-04-06 09:17:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-04-06 09:18:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-06 09:18:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:210a:3dd2:fb83:a589) |
| 2025-04-06 09:19:37 +0200 | gadot | Gadot |
| 2025-04-06 09:19:47 +0200 | rit | (~rit@2409:40e0:1c:121c:589e:a7ae:8d66:baae) (Remote host closed the connection) |
| 2025-04-06 09:21:37 +0200 | rit | (~rit@152.58.177.31) |
| 2025-04-06 09:22:02 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-06 09:46:07 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f1475e75972aae4f669.dip0.t-ipconnect.de) acidjnk |
| 2025-04-06 09:48:21 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-06 09:57:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-06 10:00:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:210a:3dd2:fb83:a589) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-06 10:01:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 10:03:24 +0200 | tromp | (~textual@2001:1c00:3487:1b00:210a:3dd2:fb83:a589) |
| 2025-04-06 10:04:17 +0200 | sprotte24 | (~sprotte24@p200300d16f28a1000c1aac2cfe7f30d8.dip0.t-ipconnect.de) |
| 2025-04-06 10:06:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-06 10:15:13 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-06 10:18:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 10:20:16 +0200 | krei-se | (~krei-se@p200300f1cfff387fda9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-04-06 10:23:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-06 10:23:36 +0200 | krei-se | (~krei-se@p5dea1c1d.dip0.t-ipconnect.de) krei-se |
| 2025-04-06 10:30:40 +0200 | <haskellbridge> | <Liamzee> wait, this code depends on undefined behavior, right? |
| 2025-04-06 10:30:43 +0200 | <haskellbridge> | <Liamzee> https://web.archive.org/web/20200809232447/https://benchmarksgame-team.pages.debian.net/benchmarks… |
| 2025-04-06 10:31:06 +0200 | <haskellbridge> | <Liamzee> actually, you know what, i'll switch ghc versions and see if it works with 8.10 |
| 2025-04-06 10:35:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-06 10:39:17 +0200 | XZDX | (~xzdx@user/XZDX) (Remote host closed the connection) |
| 2025-04-06 10:39:44 +0200 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) |
| 2025-04-06 10:39:49 +0200 | krei-se | (~krei-se@p5dea1c1d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-06 10:40:44 +0200 | krei-se | (~krei-se@p200300f1cfff4b46da9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-06 10:41:44 +0200 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) (Changing host) |
| 2025-04-06 10:41:44 +0200 | XZDX | (~xzdx@user/XZDX) XZDX |
| 2025-04-06 10:42:35 +0200 | <haskellbridge> | <Liamzee> it sort of works, i don't have the optimization pass level right, and i can't figure out how ot set O2, not least because I lost access to llvm 10. Then it segfaults on the 110th digit. So, almost definitely undefined behavior |
| 2025-04-06 10:44:06 +0200 | hattckory | (~hattckory@70.27.118.207) |
| 2025-04-06 10:46:06 +0200 | rit | (~rit@152.58.177.31) (Ping timeout: 240 seconds) |
| 2025-04-06 10:46:44 +0200 | krei-se- | (~krei-se@p3ee0f5ab.dip0.t-ipconnect.de) krei-se |
| 2025-04-06 10:47:08 +0200 | krei-se | (~krei-se@p200300f1cfff4b46da9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-04-06 10:49:14 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 2025-04-06 10:53:16 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f1475e75972aae4f669.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-04-06 10:53:38 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-04-06 10:56:39 +0200 | AlexZenon | (~alzenon@178.34.162.245) (Quit: ;-) |
| 2025-04-06 10:59:18 +0200 | AlexNoo | (~AlexNoo@178.34.162.245) (Quit: Leaving) |
| 2025-04-06 11:04:34 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-06 11:11:29 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2025-04-06 11:11:40 +0200 | krei-se | (~krei-se@p5dea1cf8.dip0.t-ipconnect.de) krei-se |
| 2025-04-06 11:12:00 +0200 | krei-se- | (~krei-se@p3ee0f5ab.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-04-06 11:12:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-06 11:16:19 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |