Logs on 2024-08-31 (liberachat/#haskell)
| 00:00:39 | <geekosaur> | …and you miss them 🙂 |
| 00:01:24 | <ski> | was just about to reply, when they headed back out into the void |
| 00:16:10 | → | neuroevolutus joins (~neuroevol@37.19.200.161) |
| 00:32:09 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:35:53 | → | califax joins (~califax@user/califx) |
| 00:38:07 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 00:42:59 | <d34df00d> | I've asked about optimizing a not-TCO'd-function that does NFA matching with backtracking a few days ago. |
| 00:43:05 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 00:43:30 | <d34df00d> | So turns out having an explicit mutable vector with a stack of things to visit cuts the run time down from ~ 400 ms to ~ 230 ms. |
| 00:44:18 | <d34df00d> | That is, these two versions: https://bpa.st/G3XA |
| 00:44:48 | <d34df00d> | (sure, I'll need a proper vector with a not-hardcoded capacity, but as a PoC that's good enough). |
| 00:50:05 | × | neuroevolutus quits (~neuroevol@37.19.200.161) (Ping timeout: 256 seconds) |
| 00:59:53 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:03:08 | → | dolio joins (~dolio@130.44.140.168) |
| 01:12:26 | <haskellbridge> | <Bowuigi> d34df00d : Does detecting DFAs and PEGs cut the run time? Those have more efficient execution AFAIK |
| 01:15:38 | <mauke> | how do I do fmod() in Haskell? |
| 01:16:05 | <mauke> | (floating-point modulo) |
| 01:17:18 | <d34df00d> | Bowuigi: DFAs might suffer exponential state explosion, so I'm not even trying those. |
| 01:17:45 | <haskellbridge> | <Bowuigi> Well, what about PEGs? |
| 01:18:08 | <d34df00d> | Although lazy DFA construction, where you basically keep a set of states reachable at each point in the string as you scan the string, have AFAIR the same asympthotics as DFAs, but without the explosion. |
| 01:18:28 | <d34df00d> | Although you lose exact backtracking, which is important for some of the features I'm planning to implement later (like lookahead and atomic grouping). |
| 01:19:02 | <d34df00d> | Haven't looked at PEGs :) My aim is to implement https://arxiv.org/abs/2401.12639 in haskell. |
| 01:21:38 | × | aforemny_ quits (~aforemny@2001:9e8:6cc8:4500:8afd:cf35:f7f8:813a) (Ping timeout: 245 seconds) |
| 01:22:18 | → | aforemny joins (~aforemny@2001:9e8:6ce2:6c00:9ee7:8194:4522:87ac) |
| 01:23:02 | <geekosaur> | mauke: it's hidden in Data.Fixed for some reason (https://downloads.haskell.org/ghc/latest/docs/libraries/base-4.20.0.0-1f57/Data-Fixed.html#v:mod-39-) |
| 01:24:20 | <mauke> | geekosaur: thanks |
| 01:28:20 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 01:30:41 | → | benjaminl_ joins (~benjaminl@c-76-144-12-233.hsd1.or.comcast.net) |
| 01:31:47 | <mauke> | basic parser skeleton is working: https://paste.tomsmeding.com/foU0kJNk |
| 01:31:51 | × | benjaminl quits (~benjaminl@user/benjaminl) (Ping timeout: 276 seconds) |
| 01:32:14 | <mauke> | associativity isn't working yet, though |
| 01:32:18 | <mauke> | and unary operators are missing |
| 01:40:59 | <Leary> | [exa], tomsmeding: `\p f g xs -> join . getCompose $ for xs \x -> Compose $ if p x then pure <$> f x else pure (g x)`? |
| 01:43:04 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 01:47:33 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 01:48:20 | × | yin quits (~z@user/zero) (Quit: quit) |
| 01:49:59 | → | zero joins (~z@user/zero) |
| 01:58:31 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:02:32 | × | zero quits (~z@user/zero) (Quit: quit) |
| 02:03:21 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 02:05:14 | → | zero joins (~z@user/zero) |
| 02:14:27 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:18:46 | × | ZharMeny quits (~ZharMeny@user/ZharMeny) (Quit: '`) |
| 02:18:57 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 02:29:42 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:29:51 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:34:29 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 02:35:58 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-109.cust.tzulo.com) |
| 02:38:07 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-109.cust.tzulo.com) (Client Quit) |
| 02:45:22 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 02:45:36 | × | nitrix quits (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:47:21 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 02:49:50 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:59:33 | × | td_ quits (~td@i5387090B.versanet.de) (Ping timeout: 248 seconds) |
| 03:00:49 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:01:35 | → | td_ joins (~td@i53870912.versanet.de) |
| 03:05:18 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 03:10:30 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:14:46 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:24:17 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 03:24:18 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 03:24:31 | → | hgolden_ joins (~hgolden@146.70.173.229) |
| 03:25:37 | Lord_of_Life_ | is now known as Lord_of_Life |
| 03:25:51 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:26:06 | zero | is now known as yin |
| 03:26:51 | × | hgolden__ quits (~hgolden@23.162.40.69) (Ping timeout: 252 seconds) |
| 03:28:26 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 03:28:51 | × | youthlic quits (~Thunderbi@user/youthlic) (Client Quit) |
| 03:30:26 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 03:31:21 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 03:32:50 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 03:41:17 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:45:57 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 03:56:41 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 03:57:50 | → | aforemny_ joins (~aforemny@2001:9e8:6cf1:7a00:ddbb:e255:c0ea:74ea) |
| 03:59:14 | × | aforemny quits (~aforemny@2001:9e8:6ce2:6c00:9ee7:8194:4522:87ac) (Ping timeout: 260 seconds) |
| 04:01:20 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:12:08 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:16:17 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 248 seconds) |
| 04:16:53 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 04:18:13 | → | troojg joins (~troojg@user/troojg) |
| 04:18:57 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 04:26:00 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 04:26:29 | × | xff0x quits (~xff0x@2405:6580:b080:900:15aa:6ce:9db7:891e) (Ping timeout: 248 seconds) |
| 04:27:33 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:28:04 | → | xff0x joins (~xff0x@2405:6580:b080:900:15aa:6ce:9db7:891e) |
| 04:32:08 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:35:58 | × | troojg quits (~troojg@user/troojg) (Ping timeout: 272 seconds) |
| 04:42:58 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 04:47:54 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:48:50 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 04:58:21 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:03:24 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 05:08:47 | → | rosco joins (~rosco@175.136.158.234) |
| 05:11:26 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:16:08 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:16:37 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 248 seconds) |
| 05:19:02 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 05:24:01 | → | euphores joins (~SASL_euph@user/euphores) |
| 05:25:05 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 248 seconds) |
| 05:26:13 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 05:26:51 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:31:49 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 05:32:20 | × | rosco quits (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 05:41:45 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 05:42:17 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:46:56 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:48:09 | → | ddellacosta joins (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 05:48:38 | → | euphores joins (~SASL_euph@user/euphores) |
| 05:57:43 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 05:58:47 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 06:02:23 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 06:11:01 | → | hgolden__ joins (~hgolden@146.70.173.37) |
| 06:12:26 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:12:36 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 06:13:15 | × | hgolden_ quits (~hgolden@146.70.173.229) (Ping timeout: 246 seconds) |
| 06:16:59 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:17:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:27:51 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:32:20 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 06:43:17 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 06:48:24 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 06:58:43 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:03:32 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 07:04:19 | → | CrunchyFlakes joins (~CrunchyFl@ip-109-42-115-64.web.vodafone.de) |
| 07:13:26 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:16:34 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 07:17:03 | → | rvalue joins (~rvalue@user/rvalue) |
| 07:17:52 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:23:38 | → | acidjnk_new joins (~acidjnk@p200300d6e72cfb6904e5b367ab9b2182.dip0.t-ipconnect.de) |
| 07:25:16 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:28:52 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:33:09 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 07:36:23 | → | misterfish joins (~misterfis@84.53.85.146) |
| 07:44:17 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 07:44:17 | × | xff0x quits (~xff0x@2405:6580:b080:900:15aa:6ce:9db7:891e) (Ping timeout: 248 seconds) |
| 07:49:09 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 07:49:24 | → | sourcetarius joins (~sourcetar@user/sourcetarius) |
| 07:56:38 | → | gmg joins (~user@user/gehmehgeh) |
| 07:58:44 | → | srazkvt joins (~sarah_@2a01:e0a:483:6900:b6d5:d9cd:2f20:2e49) |
| 07:59:42 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:04:10 | × | srazkvt quits (~sarah_@2a01:e0a:483:6900:b6d5:d9cd:2f20:2e49) (Quit: Leaving) |
| 08:04:27 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 08:04:35 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:07:52 | <tomsmeding> | Leary: does not quite conform to the original type: in your version, f and g are invoked for each element in the two partitions in turn, whereas [exa]'s original type required f and g to be invoked _once_ on the full partition |
| 08:08:43 | <tomsmeding> | but it's definitely a clever construction that I _almost_ understand :p |
| 08:11:32 | <Leary> | Yeah, it's hard to know how much of that type is X and how much is Y. I'm guessing that access to each partition as a whole isn't actually necessary. |
| 08:11:49 | <tomsmeding> | fair |
| 08:12:34 | → | oo_miguel joins (~Thunderbi@78.10.207.45) |
| 08:14:25 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:16:18 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 08:16:47 | <Leary> | Re understanding, a moderate fleshing-out would look like `type TwoPhase f = Compose f f; runTwoPhase = join . getCompose; now = Compose . fmap pure; later = Compose . pure`. Then it's `\p f g -> runTwoPhase . traverse \x -> if p x then now (f x) else later (g x)`. |
| 08:17:51 | <tomsmeding> | yes I got that far, essentially |
| 08:18:08 | <tomsmeding> | I kind of understand the data flow, but it's not quite intuitive enough that I'd easily be able to come up with it |
| 08:18:34 | <tomsmeding> | thanks :) |
| 08:19:22 | <tomsmeding> | it's starting to make more sense already |
| 08:19:24 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 08:20:56 | → | xff0x joins (~xff0x@2405:6580:b080:900:482e:12f2:d9e4:60fe) |
| 08:26:31 | → | ctrl joins (~ctrl@syn-098-151-160-141.res.spectrum.com) |
| 08:29:51 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:31:04 | × | ctrl quits (~ctrl@syn-098-151-160-141.res.spectrum.com) (Ping timeout: 260 seconds) |
| 08:33:51 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 08:34:18 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 08:45:17 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 08:49:53 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 08:53:19 | → | rvalue- joins (~rvalue@user/rvalue) |
| 08:53:54 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 08:57:27 | rvalue- | is now known as rvalue |
| 09:00:42 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:05:05 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 09:13:39 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Ping timeout: 260 seconds) |
| 09:15:25 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:19:58 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:22:30 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:26:55 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:28:45 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 09:33:16 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 09:37:55 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:43:08 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 09:46:11 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:53:21 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 09:56:17 | → | __monty__ joins (~toonn@user/toonn) |
| 09:57:47 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 09:57:58 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 09:58:30 | → | ctrlcrshr joins (~ctrlcrshr@syn-098-151-160-141.res.spectrum.com) |
| 10:00:03 | × | ctrlcrshr quits (~ctrlcrshr@syn-098-151-160-141.res.spectrum.com) (Client Quit) |
| 10:00:22 | → | ctrlcrshr joins (~ctrlcrshr@syn-098-151-160-141.res.spectrum.com) |
| 10:02:08 | × | youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 10:05:04 | × | ctrlcrshr quits (~ctrlcrshr@syn-098-151-160-141.res.spectrum.com) (Ping timeout: 252 seconds) |
| 10:08:06 | × | nyc quits (~nyc@user/nyc) (Ping timeout: 252 seconds) |
| 10:08:46 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:09:26 | → | sroso joins (~sroso@user/SrOso) |
| 10:09:53 | × | sroso quits (~sroso@user/SrOso) (Max SendQ exceeded) |
| 10:11:52 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 10:13:18 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 10:15:41 | → | sroso joins (~sroso@user/SrOso) |
| 10:16:31 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:21:54 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 10:25:17 | → | Square joins (~Square@user/square) |
| 10:32:45 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:37:15 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:40:57 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:42:22 | → | ZharMeny joins (~ZharMeny@user/ZharMeny) |
| 10:48:10 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 10:53:49 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 11:04:39 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:09:14 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:13:38 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Ping timeout: 252 seconds) |
| 11:17:26 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:23:12 | × | sroso quits (~sroso@user/SrOso) (Quit: Leaving :)) |
| 11:24:17 | × | nnm- quits (nnm-@user/nnm-) (Quit: ZNC 1.9.x-git-165-6f28db4a - https://znc.in) |
| 11:26:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 11:31:39 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:33:36 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:35:44 | × | Inst quits (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 11:36:48 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:41:30 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:43:06 | × | youthlic quits (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 11:52:13 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 11:56:24 | × | sprout quits (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 11:58:20 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 12:09:25 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:13:45 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 12:18:25 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:21:29 | × | m1dnight quits (~christoph@78-20-63-126.access.telenet.be) (Ping timeout: 260 seconds) |
| 12:22:46 | <[exa]> | Leary: wow cool |
| 12:22:56 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:22:59 | <[exa]> | not quite the thing but I'm putting this aside for later :D |
| 12:33:51 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:38:31 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 12:49:15 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 12:50:06 | → | m1dnight joins (~christoph@78-20-63-126.access.telenet.be) |
| 12:53:41 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 12:59:48 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:01:08 | → | divya joins (~user@202.170.201.40) |
| 13:04:43 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:06:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:09:05 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 13:12:08 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:12:29 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 13:15:51 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 13:19:19 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 13:19:24 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:24:29 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 13:32:08 | × | CrunchyFlakes quits (~CrunchyFl@ip-109-42-115-64.web.vodafone.de) (Read error: Connection reset by peer) |
| 13:34:52 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:37:41 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 13:38:37 | <[exa]> | hoogle is down? :'( |
| 13:38:52 | <haskellbridge> | <Jade> yup |
| 13:39:33 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 13:41:01 | <yin> | i feel like hoogle should have a couple of mirrors |
| 13:41:56 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 13:43:08 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:44:19 | × | xff0x quits (~xff0x@2405:6580:b080:900:482e:12f2:d9e4:60fe) (Ping timeout: 260 seconds) |
| 13:45:02 | → | xff0x joins (~xff0x@2405:6580:b080:900:482e:12f2:d9e4:60fe) |
| 13:45:09 | <[exa]> | +1 yin |
| 13:45:38 | <haskellbridge> | <Jade> https://hoogle.mangoiv.com/ |
| 13:50:17 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 13:51:35 | → | sprout joins (~sprout@84-80-106-227.fixed.kpn.net) |
| 13:53:27 | <yin> | Jade: nice. it would be worth to consider configuring DNS fallover |
| 13:54:36 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 13:54:40 | <haskellbridge> | <Jade> that's not my instance ^^ |
| 13:54:53 | <haskellbridge> | <Jade> or do you mean in general |
| 14:05:42 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:10:24 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 14:15:59 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:24:09 | → | CrunchyFlakes joins (~CrunchyFl@ip-109-42-115-64.web.vodafone.de) |
| 14:24:16 | <yin> | in general. a lot of stuff depends on hoogle |
| 14:24:35 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 14:24:56 | <yin> | i noticed because duckduckgo has the `h!` shortcut i use all the time |
| 14:26:40 | <yin> | i had no idea there were mirrors. DNS fallover across all official(?)/known mirrors would be nice |
| 14:26:55 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 14:30:54 | <Maxdamantus> | that can't just be done with DNS because the different mirrors would need to provide suitable certificates. |
| 14:35:36 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:40:18 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 14:41:12 | → | spew joins (~spew@201.141.99.170) |
| 14:46:25 | → | CiaoSen joins (~Jura@2a05:5800:251:3f00:ca4b:d6ff:fec1:99da) |
| 14:50:25 | × | m1dnight quits (~christoph@78-20-63-126.access.telenet.be) (Ping timeout: 248 seconds) |
| 14:51:00 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 14:55:27 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:01:44 | × | ubert quits (~Thunderbi@178.165.175.79.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 15:02:32 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 15:05:32 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 15:06:24 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:08:02 | → | esnos joins (~user@176.106.34.161) |
| 15:11:09 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:11:13 | × | CiaoSen quits (~Jura@2a05:5800:251:3f00:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 15:18:48 | × | ddellacosta quits (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 15:21:25 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:25:54 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:36:52 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:41:17 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:43:51 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 15:45:42 | → | Inst joins (~Inst@user/Inst) |
| 15:50:04 | <haskellbridge> | <sm> hoogle.haskell.org is down again |
| 15:50:24 | <haskellbridge> | <sm> oops, already noted |
| 15:51:15 | <haskellbridge> | <sm> alternative: https://stackage.org |
| 15:52:16 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 15:57:39 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 16:00:43 | × | ZharMeny quits (~ZharMeny@user/ZharMeny) (Ping timeout: 252 seconds) |
| 16:01:05 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 16:07:42 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:11:23 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:12:06 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:22:25 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:27:01 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 16:32:28 | × | DragonMaus quits (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 16:33:16 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 16:36:28 | → | m1dnight joins (~christoph@d8D861908.access.telenet.be) |
| 16:37:52 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:42:45 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 16:48:24 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 16:52:27 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:53:17 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 16:57:56 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:00:35 | × | CrunchyFlakes quits (~CrunchyFl@ip-109-42-115-64.web.vodafone.de) (Read error: Connection reset by peer) |
| 17:01:01 | → | CrunchyFlakes joins (~CrunchyFl@ip-109-42-115-64.web.vodafone.de) |
| 17:03:57 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:04:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:08:43 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:13:41 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 17:14:41 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 17:16:44 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 17:23:26 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:23:31 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:25:45 | → | azlaan joins (~azlaan@user/azlaan) |
| 17:27:07 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:27:49 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 17:28:34 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 17:30:21 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:31:01 | × | azlaan quits (~azlaan@user/azlaan) (Quit: WeeChat 4.4.1) |
| 17:31:18 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 17:32:38 | × | youthlic quits (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 17:35:30 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:40:05 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:40:37 | × | VictorHugenay quits (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 17:43:02 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 17:47:33 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@79.127.217.39) |
| 17:56:10 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 17:59:36 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 18:00:33 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:01:54 | → | gmg joins (~user@user/gehmehgeh) |
| 18:03:06 | → | euandreh joins (~Thunderbi@189.6.105.228) |
| 18:11:37 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:12:33 | × | euandreh quits (~Thunderbi@189.6.105.228) (Quit: euandreh) |
| 18:15:04 | × | pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-50-65-93-192-80.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:16:17 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 18:20:39 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 276 seconds) |
| 18:24:26 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:28:57 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 18:35:46 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 18:39:07 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:39:52 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 18:47:39 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 18:50:25 | → | divya` joins (~user@202.170.201.214) |
| 18:50:29 | × | AlexZenon quits (~alzenon@178.34.150.250) (Ping timeout: 252 seconds) |
| 18:51:09 | × | AlexNoo quits (~AlexNoo@178.34.150.250) (Ping timeout: 260 seconds) |
| 18:52:02 | × | divya quits (~user@202.170.201.40) (Ping timeout: 248 seconds) |
| 18:58:53 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:03:20 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:06:21 | → | AlexNoo joins (~AlexNoo@178.34.150.250) |
| 19:12:16 | → | AlexZenon joins (~alzenon@178.34.150.250) |
| 19:14:18 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:15:09 | → | ubert joins (~Thunderbi@178.165.175.79.wireless.dyn.drei.com) |
| 19:18:44 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:19:33 | × | ubert quits (~Thunderbi@178.165.175.79.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 19:20:54 | → | AlexNoo_ joins (~AlexNoo@178.34.150.250) |
| 19:22:15 | → | troojg joins (~troojg@user/troojg) |
| 19:23:17 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 19:24:32 | × | AlexNoo quits (~AlexNoo@178.34.150.250) (Ping timeout: 272 seconds) |
| 19:25:26 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:26:57 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 19:27:34 | AlexNoo_ | is now known as AlexNoo |
| 19:29:51 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:33:47 | × | swamp_ quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 19:35:25 | → | zmt00 joins (~zmt00@user/zmt00) |
| 19:37:03 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:38:24 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 19:40:50 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 19:43:12 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 19:43:22 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:49:57 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:50:21 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 19:56:45 | → | michalz joins (~michalz@185.246.207.222) |
| 20:00:51 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:03:19 | → | ubert joins (~Thunderbi@178.165.175.79.wireless.dyn.drei.com) |
| 20:05:42 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 20:07:39 | × | ubert quits (~Thunderbi@178.165.175.79.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 20:13:01 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:14:09 | → | weary-traveler joins (~user@user/user363627) |
| 20:16:16 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:21:04 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:27:42 | → | ZharMeny joins (~ZharMeny@user/ZharMeny) |
| 20:32:02 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:33:58 | A_Dragon | is now known as DNS |
| 20:34:22 | → | neuroevolutus joins (~neuroevol@206.217.206.95) |
| 20:35:03 | × | spew quits (~spew@201.141.99.170) (Quit: spew) |
| 20:36:41 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 20:39:58 | × | CrunchyFlakes quits (~CrunchyFl@ip-109-42-115-64.web.vodafone.de) (Read error: Connection reset by peer) |
| 20:41:16 | × | neuroevolutus quits (~neuroevol@206.217.206.95) (Quit: Client closed) |
| 20:42:26 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:43:02 | → | CrunchyFlakes joins (~CrunchyFl@ip-109-42-115-64.web.vodafone.de) |
| 20:44:15 | → | neuroevolutus joins (~neuroevol@146.70.211.24) |
| 20:46:39 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 20:47:28 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 20:48:15 | × | CrunchyFlakes quits (~CrunchyFl@ip-109-42-115-64.web.vodafone.de) (Read error: Connection reset by peer) |
| 20:51:06 | × | tcard_ quits (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Quit: Leaving) |
| 20:52:05 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 20:54:47 | × | sourcetarius quits (~sourcetar@user/sourcetarius) (Quit: zzz) |
| 20:55:13 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 20:58:01 | → | hgolden_ joins (~hgolden@23.162.40.110) |
| 20:58:06 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 21:00:05 | × | oo_miguel quits (~Thunderbi@78.10.207.45) (Ping timeout: 260 seconds) |
| 21:00:26 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 21:00:39 | × | hgolden__ quits (~hgolden@146.70.173.37) (Ping timeout: 260 seconds) |
| 21:01:10 | → | gentauro joins (~gentauro@user/gentauro) |
| 21:02:53 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:06:05 | She | is now known as BREW |
| 21:07:09 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 21:07:24 | BREW | is now known as She |
| 21:12:01 | → | pavonia joins (~user@user/siracusa) |
| 21:18:20 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:19:08 | → | sourcetarius joins (~sourcetar@user/sourcetarius) |
| 21:19:22 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 21:22:19 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:22:28 | × | michalz quits (~michalz@185.246.207.222) (Remote host closed the connection) |
| 21:22:40 | ZharMeny | is now known as GET` |
| 21:23:14 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 21:23:40 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:34:03 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:36:35 | × | troojg quits (~troojg@user/troojg) (Ping timeout: 252 seconds) |
| 21:36:54 | × | divya` quits (~user@202.170.201.214) (Remote host closed the connection) |
| 21:38:08 | GET` | is now known as ZharMeny |
| 21:38:29 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 21:40:29 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 21:43:39 | → | SovereignNoumena joins (~Sovereign@207.195.86.72) |
| 21:44:57 | × | esnos quits (~user@176.106.34.161) (Remote host closed the connection) |
| 21:49:29 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 21:52:59 | × | SovereignNoumena quits (~Sovereign@207.195.86.72) (Read error: Connection reset by peer) |
| 21:54:08 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 21:55:46 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 22:04:54 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:04:56 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 22:05:38 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@79.127.217.39) (Quit: Leaving) |
| 22:09:21 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:12:05 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 22:15:01 | → | Zer000 joins (~Zer000@64.137.132.10) |
| 22:15:46 | <Zer000> | Is there a mirror for hoogle.haskell.org? that one is down atm. |
| 22:17:12 | <geekosaur> | again? |
| 22:17:21 | <geekosaur> | davean ^ |
| 22:18:07 | <geekosaur> | meanwhile https://hoogle.mangoiv.com is a little underfeatured but should be as complete as the main one |
| 22:18:22 | <Zer000> | Oh sweet, thanks |
| 22:18:36 | <geekosaur> | you can also use the one on stackage.org |
| 22:19:53 | <Zer000> | Oh perfect. |
| 22:20:18 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:22:20 | <energizer> | does haskell know that -inf is the initial element for max? |
| 22:26:10 | <mauke> | know in what sense? |
| 22:26:38 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 22:28:48 | <mauke> | https://paste.tomsmeding.com/5nso6Lhb an interactive calculator |
| 22:29:08 | <mauke> | in this version, associativity should actually work. still no unary operators, though |
| 22:31:01 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:37:28 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:40:17 | × | ZharMeny quits (~ZharMeny@user/ZharMeny) (Ping timeout: 248 seconds) |
| 22:40:42 | → | Guest98 joins (~Guest98@46.188.123.238) |
| 22:41:57 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:43:18 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:44:21 | × | Artea quits (~Lufia@artea.pt) (Ping timeout: 252 seconds) |
| 22:44:54 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 22:46:29 | × | sourcetarius quits (~sourcetar@user/sourcetarius) (Read error: Connection reset by peer) |
| 22:46:55 | → | sourcetarius joins (~sourcetar@user/sourcetarius) |
| 22:47:35 | × | neuroevolutus quits (~neuroevol@146.70.211.24) (Ping timeout: 256 seconds) |
| 22:51:16 | × | Guest98 quits (~Guest98@46.188.123.238) (Quit: Client closed) |
| 22:52:53 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 22:53:44 | → | SovereignNoumena joins (~Sovereign@68-69-210-238.sktn.hsdb.sasknet.sk.ca) |
| 22:54:03 | × | SovereignNoumena quits (~Sovereign@68-69-210-238.sktn.hsdb.sasknet.sk.ca) (Read error: Connection reset by peer) |
| 22:58:19 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 23:02:21 | <energizer> | like `sum []` knows 0 is the initial element for + |
| 23:02:31 | × | fiddlerw- quits (~fiddlerwo@user/fiddlerwoaroof) (Ping timeout: 264 seconds) |
| 23:06:29 | <c_wraith> | > maximum [] :: Double |
| 23:06:31 | <lambdabot> | *Exception: Prelude.maximum: empty list |
| 23:06:40 | <c_wraith> | It dodges the question |
| 23:09:02 | <c_wraith> | > getMax $ (Max 5.0) <> (Max 2.33) :: Double -- let's try another approach |
| 23:09:04 | <lambdabot> | 5.0 |
| 23:09:06 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:09:11 | <c_wraith> | > getMax $ mempty :: Double |
| 23:09:12 | <lambdabot> | error: |
| 23:09:12 | <lambdabot> | • No instance for (Bounded Double) arising from a use of ‘mempty’ |
| 23:09:12 | <lambdabot> | • In the second argument of ‘($)’, namely ‘mempty’ |
| 23:09:25 | <c_wraith> | Still dodging the question, but at compile time now :) |
| 23:09:32 | <c_wraith> | So... No. |
| 23:13:46 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:24:31 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:25:03 | → | Artea joins (~Lufia@2001:41d0:404:200::2d7) |
| 23:27:35 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 244 seconds) |
| 23:30:53 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 23:34:22 | × | hiredman quits (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 23:34:36 | <monochrom> | I find the anthropopmorphizing "haskell knows", "sum knows" confusing. |
| 23:35:10 | <monochrom> | The Integer type does not have a minus infinity. The question is moot. |
| 23:36:21 | <monochrom> | Does Haskell "know" that Integer lacks the identity element of max? |
| 23:36:58 | <dolio> | Haskell died in 1982. |
| 23:37:05 | <dolio> | He doesn't know anything anymore. |
| 23:37:09 | <monochrom> | :) |
| 23:38:28 | <energizer> | monochrom: can you understand what i mean by `sum` knows that Double has the 0.0 identity element for + |
| 23:38:38 | <monochrom> | No. |
| 23:38:59 | <energizer> | is this guy serious |
| 23:39:08 | <monochrom> | I also don't understand how "sum knows" transitions to "haskell knows" instead of "maximum knows". |
| 23:40:30 | <monochrom> | I also pointed out that Integer does not have a minus infinity, so even if haskell/maximum "knows" (whatever that means), it is not "allowed" (whatever that means). |
| 23:41:44 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:42:03 | <energizer> | anyway thanks c_wraith |
| 23:42:22 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 23:43:15 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 23:46:26 | × | merijn quits (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 23:49:52 | <weary-traveler> | energizer: in the case of `sum', the 0 you get is the `mempty' corresponding to the Monoid instance of Sum |
| 23:50:39 | <energizer> | weary-traveler: yeah that's about what i figured |
| 23:50:44 | <monochrom> | Except that the code of sum hardcodes 0 and doesn't go through any Monoid stuff. |
| 23:51:13 | <weary-traveler> | hm does it? |
| 23:51:25 | <monochrom> | The type is revealing. It is only for Num. |
| 23:51:51 | <energizer> | it seems like there could be a (Double, Max, -inf) monoid but i guess it's not represented anywhere |
| 23:51:56 | <monochrom> | Or rather, it may use only Num methods. |
| 23:52:12 | <weary-traveler> | it uses only num methods, by specifying Sum |
| 23:52:28 | <weary-traveler> | the definition i'm seeing is `sum = getSum #. foldMap' Sum' |
| 23:52:43 | <monochrom> | And maximum, it may only use Ord methods. There is no Ord method that tells you a global lower bound. |
| 23:57:05 | × | Zer000 quits (~Zer000@64.137.132.10) (Quit: Client closed) |
| 23:57:08 | → | merijn joins (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 23:57:38 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
All times are in UTC on 2024-08-31.