| 2022-09-22 00:00:11 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-22 00:00:46 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-22 00:03:17 +0200 | <hippoid> | what is the purpose of hie.yaml? trying to haskell-language-server on nixos and it seems like this file is necessary? |
| 2022-09-22 00:04:31 +0200 | <geekosaur> | usually it's optional these days; HLS can often figure it out from a cabal file and/or cabal.project/stack.yaml. it identifies things like projects and the locations of source files |
| 2022-09-22 00:05:01 +0200 | <geekosaur> | if you're getting things from nix it might need help though |
| 2022-09-22 00:05:12 +0200 | <geekosaur> | (see #haskell-language-server) |
| 2022-09-22 00:05:15 +0200 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 268 seconds) |
| 2022-09-22 00:05:53 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 00:12:22 +0200 | euandreh | (~euandreh@179.214.113.107) |
| 2022-09-22 00:12:37 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 252 seconds) |
| 2022-09-22 00:15:24 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a23300810a445eaf94c.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-22 00:20:35 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2022-09-22 00:20:41 +0200 | <hippoid> | why is it needed in the first place, or maybe I should ask at the other channel |
| 2022-09-22 00:21:31 +0200 | <geekosaur> | probably best there, but did I not tell you what it does? earlier versions of HLS were bad at identifying projects. more recent ones are better at it, and hie.yaml is usually optional these days |
| 2022-09-22 00:21:35 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) |
| 2022-09-22 00:22:09 +0200 | <geekosaur> | (I have one in one project of mine, but that's mostly to keep it from poking at some stuff that's barely more than comments and half-defined data structures) |
| 2022-09-22 00:22:12 +0200 | <yin> | aw only 4bit colors in ansi-terminal-game |
| 2022-09-22 00:22:27 +0200 | <hippoid> | geekosaur: ok now I see, thanks |
| 2022-09-22 00:22:41 +0200 | <yin> | guess i'll try plawying with escape sequences |
| 2022-09-22 00:23:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Ping timeout: 264 seconds) |
| 2022-09-22 00:24:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 00:24:31 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-22 00:25:47 +0200 | <EvanR> | 4 bit color is pretty cool |
| 2022-09-22 00:26:12 +0200 | <EvanR> | check out 16 color palette contests and stuff |
| 2022-09-22 00:27:07 +0200 | <EvanR> | I played the hell out of this game... look at all those colors xD http://captive.atari.org/ |
| 2022-09-22 00:27:07 +0200 | <geekosaur> | 4 bit is all you can do portably |
| 2022-09-22 00:27:20 +0200 | <EvanR> | (16 of them) |
| 2022-09-22 00:27:52 +0200 | <telser_> | I always though 4 bit color was a bit warm for my tastes |
| 2022-09-22 00:27:59 +0200 | telser_ | sees self out |
| 2022-09-22 00:28:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 00:30:05 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-22 00:32:19 +0200 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-22 00:33:55 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 250 seconds) |
| 2022-09-22 00:34:05 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-22 00:41:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 00:41:51 +0200 | artin | (~Ei30metry@70.34.220.55) |
| 2022-09-22 00:42:18 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-22 00:42:31 +0200 | artin | (~Ei30metry@70.34.220.55) () |
| 2022-09-22 00:45:50 +0200 | <EvanR> | it's 2022 and haskell, scalaz are the only functional languages that have a map that works on ... Maps xD |
| 2022-09-22 00:46:09 +0200 | <EvanR> | maybe it's a language barrier, Map map is too confusing |
| 2022-09-22 00:46:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 00:46:44 +0200 | <EvanR> | clojure and elixir want you to always be messing with the key in the process |
| 2022-09-22 00:47:38 +0200 | <yin> | technically haskell's map only works on singly linked lists |
| 2022-09-22 00:47:47 +0200 | <EvanR> | Data.Map.map |
| 2022-09-22 00:47:50 +0200 | <yin> | i'm fsorry |
| 2022-09-22 00:49:26 +0200 | <yin> | touche |
| 2022-09-22 00:49:53 +0200 | <yin> | completely forgot about that, and will proceed to forget about it again |
| 2022-09-22 00:51:16 +0200 | <ski> | shapr : some reasonable amount of silliness wouldn't hurt, i think, rather the opposite |
| 2022-09-22 00:51:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 00:52:54 +0200 | <yin> | ski : you speak with a silly ammount of reason |
| 2022-09-22 00:53:42 +0200 | <ski> | surely you're joking, mr. yin |
| 2022-09-22 00:55:59 +0200 | <ski> | `vty' supports 88 or 256 color palette ? 24-bit truecolor ? |
| 2022-09-22 00:56:24 +0200 | <ski> | (Sixels ??) |
| 2022-09-22 00:56:34 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2022-09-22 00:57:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-09-22 00:57:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 00:57:33 +0200 | <yin> | now i got lost in imagining how feynman would explain monads |
| 2022-09-22 00:57:48 +0200 | <geekosaur> | it's got sixels?! |
| 2022-09-22 00:57:56 +0200 | <ski> | @type fmap :: (v -> u) -> (M.Map k v -> M.Map k u) |
| 2022-09-22 00:57:57 +0200 | <lambdabot> | (v -> u) -> M.Map k v -> M.Map k u |
| 2022-09-22 00:58:03 +0200 | <ski> | geekosaur : no idea, just asking |
| 2022-09-22 00:58:46 +0200 | <ski> | `fmap' used to be called `map', in the olden days |
| 2022-09-22 00:59:04 +0200 | <ski> | (before Haskell 1.4 or something ?) |
| 2022-09-22 00:59:08 +0200 | <yin> | "you see, a monad is this jiggling thing, and you can push a monad into another and they have this property you see, that they'll jiggle together" |
| 2022-09-22 01:00:13 +0200 | <geekosaur> | looks to melike it supports 256 colors but in an odd way: lower standard 16 are treated differently from the upper 240 |
| 2022-09-22 01:00:15 +0200 | analoq | (~yashi@user/dies) (Ping timeout: 244 seconds) |
| 2022-09-22 01:00:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-22 01:01:07 +0200 | <ski> | geekosaur : `16' ANSI colors, `6^3' RGB cube, `24' greyscale |
| 2022-09-22 01:01:47 +0200 | <geekosaur> | I was lookingt at https://hackage.haskell.org/package/vty-5.37/docs/Graphics-Vty-Attributes-Color240.html#v:rgbColor… |
| 2022-09-22 01:02:05 +0200 | <ski> | > 16 + 6^3 + 24 :: Integer |
| 2022-09-22 01:02:07 +0200 | <lambdabot> | 256 |
| 2022-09-22 01:03:04 +0200 | <ski> | geekosaur : i'm guessing that interpolates to the (in some metric) nearest among those `240' |
| 2022-09-22 01:03:46 +0200 | ski | . o O ( <https://github.com/termstandard/colors> ) |
| 2022-09-22 01:04:42 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-22 01:05:34 +0200 | <EvanR> | why was map renamed to fmap? |
| 2022-09-22 01:06:25 +0200 | <dolio> | Because some faction wanted to monomorphise map. |
| 2022-09-22 01:06:45 +0200 | <dolio> | I suppose for teaching purposes or something. |
| 2022-09-22 01:06:58 +0200 | geekosaur | will absolutely not be surprised if that decision gets reversed within the next few years |
| 2022-09-22 01:07:05 +0200 | <EvanR> | good. |
| 2022-09-22 01:07:21 +0200 | <geekosaur> | I mean, FTP already pretty much blew that faction out of the water |
| 2022-09-22 01:07:33 +0200 | <dolio> | Other functions were monomorphised at the same time. (++) used to be the MonadPlus operation. |
| 2022-09-22 01:07:54 +0200 | <EvanR> | imagine if length (the current foldable method) was renamed to flength |
| 2022-09-22 01:08:15 +0200 | <EvanR> | so length only worked on list xD |
| 2022-09-22 01:09:13 +0200 | <dolio> | Oh, and I guess comprehensions, too. |
| 2022-09-22 01:09:19 +0200 | <EvanR> | and then in 40 years new programming languages looked to haskell, only saw the length method, and made it so you could only measure the length of a list and no other structure |
| 2022-09-22 01:09:35 +0200 | <yin> | length does deserve *some* controversy though |
| 2022-09-22 01:09:36 +0200 | <EvanR> | ok I'm done venting about map |
| 2022-09-22 01:10:20 +0200 | <EvanR> | no I'm not, and the reason length won't be implemented for anything else is "you don't need it, you can simply write a loop to count the size of non lists" |
| 2022-09-22 01:10:54 +0200 | <geekosaur> | 2006 that was the state of haskell |
| 2022-09-22 01:11:06 +0200 | <geekosaur> | you used size on Maps/Sets |
| 2022-09-22 01:11:06 +0200 | <ski> | geekosaur : looking at the source, it seems it's doing just that. apparently if it's exactly on the diagonal, exactly hitting a `24' greyscale discrete point, it goes to the last `24', otherwise it approximates into the cube |
| 2022-09-22 01:11:10 +0200 | <dolio> | I think mzero used to be zero, too. And it was in a separate class. |
| 2022-09-22 01:11:53 +0200 | <yin> | EvanR: |
| 2022-09-22 01:11:58 +0200 | <yin> | @type length |
| 2022-09-22 01:11:59 +0200 | <lambdabot> | Foldable t => t a -> Int |
| 2022-09-22 01:12:08 +0200 | <geekosaur> | this was not the sort of silly I was thinking of |
| 2022-09-22 01:12:28 +0200 | <EvanR> | flength |
| 2022-09-22 01:12:38 +0200 | <ski> | @type length . toList |
| 2022-09-22 01:12:39 +0200 | <lambdabot> | Foldable t => t a -> Int |
| 2022-09-22 01:13:05 +0200 | <ski> | dolio : yes, `MonadZero' iirc |
| 2022-09-22 01:13:11 +0200 | <EvanR> | to be serious, "fmap" is strictly more scary to people when you try to suggest it or explain it, over "map" |
| 2022-09-22 01:13:25 +0200 | <EvanR> | map is familiar and makes sense to a lot of people, fmap must be alien thanks to the f |
| 2022-09-22 01:13:39 +0200 | <EvanR> | some weird haskell thing |
| 2022-09-22 01:13:44 +0200 | <ski> | `(.)' in lambdabot used to be `fmap'. and `flip :: Functor f => f (a -> b) -> (a -> f b)' |
| 2022-09-22 01:13:55 +0200 | <ski> | those were the days |
| 2022-09-22 01:13:57 +0200 | <hpc> | that flip definition is great |
| 2022-09-22 01:14:14 +0200 | <hpc> | also, the real answer to the fmap problem is (<$>) |
| 2022-09-22 01:14:27 +0200 | <hpc> | it and (<*>) are so cool that you quickly forget how intimidating it was before |
| 2022-09-22 01:14:38 +0200 | <ski> | (`sequence' is another alternative for `flip') |
| 2022-09-22 01:14:58 +0200 | <yin> | omg that flip |
| 2022-09-22 01:15:04 +0200 | <kronicmage> | ski: omg |
| 2022-09-22 01:15:04 +0200 | <yin> | <3 |
| 2022-09-22 01:15:21 +0200 | <hpc> | you can .map() in other languages all day long, but as soon as you have two lists it's back to ugly nested list comprehensions |
| 2022-09-22 01:15:42 +0200 | <yin> | toList ('a',7) |
| 2022-09-22 01:15:47 +0200 | <yin> | > toList ('a',7) |
| 2022-09-22 01:15:49 +0200 | <lambdabot> | [()] |
| 2022-09-22 01:15:59 +0200 | <ski> | > toList ('a',7) :: [Integer] |
| 2022-09-22 01:16:00 +0200 | king_gs | (~Thunderbi@187.201.192.184) (Ping timeout: 264 seconds) |
| 2022-09-22 01:16:01 +0200 | <lambdabot> | [7] |
| 2022-09-22 01:16:05 +0200 | <yin> | wait what? |
| 2022-09-22 01:16:15 +0200 | <geekosaur> | uh, maybe it's time for me to kill that Num instance for () |
| 2022-09-22 01:16:18 +0200 | ski | slaps the `Num ()' instance that someone sneaked in the other day |
| 2022-09-22 01:16:25 +0200 | <yin> | loool |
| 2022-09-22 01:16:26 +0200 | <geekosaur> | (was shoiwing stuff off yesterday) |
| 2022-09-22 01:16:29 +0200 | <geekosaur> | @undefine |
| 2022-09-22 01:16:29 +0200 | <lambdabot> | Undefined. |
| 2022-09-22 01:16:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-22 01:16:43 +0200 | <ski> | > length ('a',7) |
| 2022-09-22 01:16:44 +0200 | <lambdabot> | 1 |
| 2022-09-22 01:16:47 +0200 | <EvanR> | (), the trivial ring / group |
| 2022-09-22 01:16:53 +0200 | <hpc> | i don't see the problem, it's just a really wide '0' |
| 2022-09-22 01:17:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 01:17:12 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:f500:9023:feff:8abf:ed1d) (Ping timeout: 264 seconds) |
| 2022-09-22 01:17:23 +0200 | <yin> | yeah but it's the "unit" type |
| 2022-09-22 01:17:24 +0200 | <EvanR> | if it's not Num my poor ring polymorphic code won't have a zero |
| 2022-09-22 01:17:28 +0200 | <yin> | should look like a 1 |
| 2022-09-22 01:17:50 +0200 | <EvanR> | empty tuple.. is 1 |
| 2022-09-22 01:17:51 +0200 | <geekosaur> | but numbers start with 0, not 1 |
| 2022-09-22 01:17:56 +0200 | <hpc> | yin: that's _|_ |
| 2022-09-22 01:18:08 +0200 | <geekosaur> | lol |
| 2022-09-22 01:18:11 +0200 | <yin> | geekosaur: no that's Maybe () |
| 2022-09-22 01:18:15 +0200 | <ski> | it's the terminal object in the category `Ring' of all rings and ring homomorphisms |
| 2022-09-22 01:18:37 +0200 | <EvanR> | that's what I meant |
| 2022-09-22 01:18:48 +0200 | <Lears> | yin: In the zero ring, zero /is/ one. |
| 2022-09-22 01:19:37 +0200 | ski | . o O ( "In Soviet Russia, everyone uses the field of one element." ) |
| 2022-09-22 01:20:00 +0200 | <yin> | well i use base 10 |
| 2022-09-22 01:20:13 +0200 | <EvanR> | is base 10 like, any base above 1 |
| 2022-09-22 01:20:31 +0200 | <yin> | ;) |
| 2022-09-22 01:20:37 +0200 | raehik | (~raehik@zone3.jesus.cam.ac.uk) |
| 2022-09-22 01:20:47 +0200 | <ski> | base `1' can't represent naturals |
| 2022-09-22 01:20:59 +0200 | <EvanR> | 1, 11, 111, 1111, ... |
| 2022-09-22 01:21:01 +0200 | ski | . o O ( <https://en.wikipedia.org/wiki/Field_with_one_element> ) |
| 2022-09-22 01:21:13 +0200 | <ski> | that's "unary"/"tallying" |
| 2022-09-22 01:22:05 +0200 | <ski> | you can only have one digit, in base `1'. since `111' is `...0000111', that's more than one digit |
| 2022-09-22 01:22:31 +0200 | <yin> | so... base 0? |
| 2022-09-22 01:22:39 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-22 01:22:53 +0200 | <hpc> | actually you have two numbers |
| 2022-09-22 01:22:58 +0200 | <hpc> | 1111111..... |
| 2022-09-22 01:23:01 +0200 | <hpc> | and 0.11111... |
| 2022-09-22 01:23:07 +0200 | <ski> | in base `0', only the lowest ("ones") digit matters. and it can be any whole number |
| 2022-09-22 01:23:42 +0200 | <EvanR> | what about mixed base, where all the bases are 1 |
| 2022-09-22 01:23:48 +0200 | <yin> | hpc: yeah but how much is 0.1 in base 1? |
| 2022-09-22 01:23:56 +0200 | <ski> | (`n' modulo zero is `n'. so every `n' is a valid digit) |
| 2022-09-22 01:24:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 01:24:33 +0200 | ski | . o O ( "All your bases are belong to one." ) |
| 2022-09-22 01:25:03 +0200 | <monochrom> | I use base 4.14.3.0 |
| 2022-09-22 01:25:33 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-09-22 01:25:40 +0200 | <yin> | monochrom: you should update |
| 2022-09-22 01:25:41 +0200 | hpc | . o O ( modular arithmetic only exists if you import it ) |
| 2022-09-22 01:26:33 +0200 | <EvanR> | does negative base automatically give you signed digits |
| 2022-09-22 01:27:06 +0200 | <hpc> | elliptic curves give you signed digits |
| 2022-09-22 01:27:14 +0200 | <geekosaur> | does fractional base give you fractal digits? |
| 2022-09-22 01:27:33 +0200 | edrx | (~Eduardo@2804:56c:d2dc:ac00:dab8:211d:d4eb:fa94) |
| 2022-09-22 01:28:44 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 01:28:50 +0200 | <yin> | 1/phi should be an interesting base |
| 2022-09-22 01:30:14 +0200 | jjido | (~Denis@2.221.114.210) |
| 2022-09-22 01:30:44 +0200 | <EvanR> | base phi is a thing |
| 2022-09-22 01:31:26 +0200 | <EvanR> | m + n*phi |
| 2022-09-22 01:31:37 +0200 | <yin> | ooh: y^2 = sqrt(- 1/phi) -- ymaginary numbers |
| 2022-09-22 01:32:22 +0200 | <yin> | i need togo to sleep |
| 2022-09-22 01:33:27 +0200 | <geekosaur> | is this phi-losophy? |
| 2022-09-22 01:34:07 +0200 | <hpc> | the study of tau-tologies? |
| 2022-09-22 01:36:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 01:36:54 +0200 | <edrx> | anyone here uses the "pipes" package? this one: https://hackage.haskell.org/package/pipes |
| 2022-09-22 01:37:58 +0200 | <edrx> | I'm trying to use it to write a function that pipes a string through a shell script and returns its output, but I'm too newbiesh |
| 2022-09-22 01:41:01 +0200 | <edrx> | ski gave me a hint that I am still trying to decypher... this one: |
| 2022-09-22 01:41:15 +0200 | <edrx> | "if you mean a `pipes' `Producer', then i guess you'd just use `getContents' (or a strict version of that, if you prefer)... `stdinAll = do str <- lift getContents; yield str' or `stdinAll = yield =<< lift getContents'" |
| 2022-09-22 01:41:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 01:42:38 +0200 | <edrx> | the problem is that when I run that I get a stdinAll object whose type is: |
| 2022-09-22 01:42:48 +0200 | <edrx> | stdinAll :: Proxy x' x () String IO () |
| 2022-09-22 01:43:08 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) |
| 2022-09-22 01:45:03 +0200 | <ski> | "does negative base automatically give you signed digits" -- not necessarily |
| 2022-09-22 01:45:22 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Read error: Connection timed out) |
| 2022-09-22 01:45:52 +0200 | <ski> | (you have to choose some residue system .. and, aiui, zero had better be in it) |
| 2022-09-22 01:46:14 +0200 | <ski> | factoriadic is also a nice mixed base system |
| 2022-09-22 01:47:59 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-22 01:48:07 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-22 01:48:25 +0200 | califax | (~califax@user/califx) |
| 2022-09-22 01:50:13 +0200 | ski | . o O ( <https://en.wikipedia.org/wiki/Balanced_ternary>,<https://en.wikipedia.org/wiki/Negative_base>,<https://en.wikipedia.org/wiki/Golden_ratio_base>,<https://en.wikipedia.org/wiki/Fibonacci_coding>,<https://en.wikipedia.org/wiki/Zeckendorf%27s_theorem>,<https://en.wikipedia.org/wiki/Factorial_number_system>,<https://en.wikipedia.org/wiki/Combinatorial_number_system> ) |
| 2022-09-22 01:50:14 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-22 01:51:12 +0200 | shapr | (~user@2601:7c0:c383:70:41d:e896:1ffc:3462) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-09-22 01:51:24 +0200 | raehik | (~raehik@zone3.jesus.cam.ac.uk) (Ping timeout: 265 seconds) |
| 2022-09-22 01:51:32 +0200 | <yin> | ok ski, i *was going* to sleep |
| 2022-09-22 01:51:42 +0200 | ski | whistles innocently |
| 2022-09-22 01:52:01 +0200 | <edrx> | hi ski! |
| 2022-09-22 01:52:08 +0200 | <ski> | heya ! |
| 2022-09-22 01:52:58 +0200 | <edrx> | I am still trying to understand your hint... I'm starting by the types, but I don't know if this is a good idea... |
| 2022-09-22 01:53:05 +0200 | <ski> | well, my `stdinAll' would simply be a producer that generates a single `String', being the whole of the `stdin' (rather than splitting it into separate lines, as the other example you had, the other day) |
| 2022-09-22 01:53:22 +0200 | <ski> | to call a shell script, you'd need to much around with `process', i'd imagine |
| 2022-09-22 01:53:25 +0200 | <edrx> | I made this: http://angg.twu.net/eev-haskell.html |
| 2022-09-22 01:53:36 +0200 | <ski> | s/much/muck/ |
| 2022-09-22 01:54:50 +0200 | JamesF | (~jef@92.40.190.201.threembb.co.uk) |
| 2022-09-22 01:55:25 +0200 | <ski> | (factoriadic is a nice way to index permutations (with finite support). combinatoriadic is for indexing a selection of `k' items from `n' total, e.g. if you want to do a random selection) |
| 2022-09-22 01:56:39 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 02:00:33 +0200 | <edrx> | I saw that haskell-mode has something like eldoc... it shows info about the symbol at point |
| 2022-09-22 02:00:47 +0200 | <edrx> | is there a way to jump to the definition of a symbol? |
| 2022-09-22 02:01:07 +0200 | <edrx> | I installed hoogle here but I don't know if it can be used for that |
| 2022-09-22 02:01:10 +0200 | cynomys | (~cynomys@user/cynomys) (Remote host closed the connection) |
| 2022-09-22 02:01:31 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-22 02:01:56 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
| 2022-09-22 02:03:03 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-22 02:04:27 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds) |
| 2022-09-22 02:04:33 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 02:05:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 02:06:03 +0200 | <geekosaur> | you can create a TAGS file with something like hasktags and then it's M-. |
| 2022-09-22 02:08:19 +0200 | <edrx> | thanks! let me try to install hasktags... |
| 2022-09-22 02:09:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 02:09:47 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-22 02:10:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 02:11:01 +0200 | vglfr | (~vglfr@145.224.94.78) (Ping timeout: 268 seconds) |
| 2022-09-22 02:11:56 +0200 | werneta | (~werneta@137.78.30.207) (Ping timeout: 260 seconds) |
| 2022-09-22 02:13:59 +0200 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-22 02:18:37 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 02:19:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 02:20:23 +0200 | <ski> | (oh, also forgot to mention <https://en.wikipedia.org/w/index.php?title=Mixed_radix&oldid=1022676428#Primorial_number_system>, in the above context) |
| 2022-09-22 02:20:48 +0200 | <edrx> | what is the right way to use hasktags? when I run "hasktags --etags" it gives me a help message that includes this line... "directories will be replaced by DIR/**/*.hs DIR/**/*.lhs Thus hasktags . tags all important files in the current directory" |
| 2022-09-22 02:20:50 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-09-22 02:21:01 +0200 | <edrx> | but I ran this: hasktags --etags . |
| 2022-09-22 02:21:18 +0200 | <edrx> | and it didn't create any files (it seems) |
| 2022-09-22 02:21:41 +0200 | <edrx> | oops, sorry, I ran this: "cd ~/usrc/pipes-4.3.16/; hasktags --etags ." |
| 2022-09-22 02:23:12 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 2022-09-22 02:24:25 +0200 | <geekosaur> | do you have source files in that directory, or in a subdirectory? |
| 2022-09-22 02:24:31 +0200 | <ski> | @where cabal-stack-disambiguation |
| 2022-09-22 02:24:31 +0200 | <lambdabot> | "The Cabal/Stack Disambiguation Guide" at <https://gist.github.com/merijn/8152d561fb8b011f9313c48d876ceb07> by Merijn |
| 2022-09-22 02:24:44 +0200 | <ski> | edrx : btw, did you see ^ yet ? |
| 2022-09-22 02:25:20 +0200 | <edrx> | ski: which one of the ^s? |
| 2022-09-22 02:25:34 +0200 | <geekosaur> | becuase it looks to me like it only scans the directory specified, not subdirectories (https://hackage.haskell.org/package/hasktags-0.72.0/docs/Hasktags.html#v:dirToFiles) |
| 2022-09-22 02:25:37 +0200 | <ski> | (apropos ".. after installing a package with Cabal (or cabal-install??? Gosh!!!) ..") |
| 2022-09-22 02:25:47 +0200 | <edrx> | geekosaur: ~/usrc/pipes-4.3.16/src/ has four .hs files |
| 2022-09-22 02:25:49 +0200 | <ski> | the most recent one |
| 2022-09-22 02:25:58 +0200 | <geekosaur> | thne you need to run it on src, not . |
| 2022-09-22 02:26:03 +0200 | <edrx> | ok, trying! |
| 2022-09-22 02:26:54 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-22 02:27:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 02:27:57 +0200 | <edrx> | geekosaur: worked! silly me =( |
| 2022-09-22 02:28:27 +0200 | <edrx> | ski: great! read and adding the link to my page!!! |
| 2022-09-22 02:29:24 +0200 | <geekosaur> | you may also need to M-x visit-tags-table and point it to that file |
| 2022-09-22 02:30:23 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 02:31:06 +0200 | <edrx> | geekosaur: works =) |
| 2022-09-22 02:33:43 +0200 | <edrx> | ski: done - now the "cabal-install" in http://angg.twu.net/eev-haskell.html points to that link! |
| 2022-09-22 02:34:00 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2022-09-22 02:34:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 02:37:00 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 264 seconds) |
| 2022-09-22 02:37:27 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-22 02:40:59 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 244 seconds) |
| 2022-09-22 02:42:32 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 244 seconds) |
| 2022-09-22 02:46:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-22 02:47:14 +0200 | jjido | (~Denis@2.221.114.210) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-09-22 02:48:32 +0200 | shapr | (~user@68.54.166.125) |
| 2022-09-22 02:48:40 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-22 02:52:30 +0200 | JamesF | (~jef@92.40.190.201.threembb.co.uk) (Remote host closed the connection) |
| 2022-09-22 02:54:42 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-09-22 02:55:25 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 252 seconds) |
| 2022-09-22 02:59:24 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 03:00:18 +0200 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) |
| 2022-09-22 03:01:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 03:03:16 +0200 | king_gs | (~Thunderbi@187.201.192.184) (Read error: Connection reset by peer) |
| 2022-09-22 03:04:46 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-22 03:05:45 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-22 03:05:45 +0200 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2022-09-22 03:05:45 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
| 2022-09-22 03:05:45 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Write error: Connection reset by peer) |
| 2022-09-22 03:05:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer) |
| 2022-09-22 03:05:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer) |
| 2022-09-22 03:05:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Write error: Connection reset by peer) |
| 2022-09-22 03:05:45 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Write error: Connection reset by peer) |
| 2022-09-22 03:05:45 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer) |
| 2022-09-22 03:06:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-22 03:06:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 03:06:13 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-22 03:06:18 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-22 03:06:18 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-22 03:06:21 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-22 03:06:32 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-22 03:06:33 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-22 03:06:50 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 03:07:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-22 03:07:20 +0200 | califax | (~califax@user/califx) |
| 2022-09-22 03:08:06 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-09-22 03:09:03 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Ping timeout: 250 seconds) |
| 2022-09-22 03:09:38 +0200 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-22 03:10:04 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-22 03:10:04 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-22 03:10:04 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-22 03:10:29 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-22 03:11:14 +0200 | emmanuelux | (~emmanuelu@2a01cb0000f393006c02ca375ef53871.ipv6.abo.wanadoo.fr) (Quit: au revoir) |
| 2022-09-22 03:15:01 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds) |
| 2022-09-22 03:16:36 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-22 03:20:43 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-09-22 03:21:10 +0200 | fjMSX | (~hypni2p@2.92.213.55) (Remote host closed the connection) |
| 2022-09-22 03:34:28 +0200 | <shapr> | I wish haskell.org had a list of bugs to fix |
| 2022-09-22 03:39:56 +0200 | king_gs1 | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-22 03:39:56 +0200 | king_gs | (~Thunderbi@187.201.192.184) (Read error: Connection reset by peer) |
| 2022-09-22 03:39:56 +0200 | king_gs1 | king_gs |
| 2022-09-22 03:40:10 +0200 | shapr | (~user@68.54.166.125) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-09-22 03:46:39 +0200 | matijja` | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-22 03:47:22 +0200 | turlando | (~turlando@user/turlando) (Remote host closed the connection) |
| 2022-09-22 03:47:24 +0200 | matijja | (~matijja@193.77.181.201) |
| 2022-09-22 03:48:37 +0200 | turlando | (~turlando@user/turlando) |
| 2022-09-22 03:51:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 03:52:29 +0200 | srz | (~srz@179.36.101.95) |
| 2022-09-22 03:55:35 +0200 | srz | (~srz@179.36.101.95) (Remote host closed the connection) |
| 2022-09-22 03:56:03 +0200 | srz | (~srz@179.36.101.95) |
| 2022-09-22 03:56:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 03:56:19 +0200 | srz | (~srz@179.36.101.95) (Remote host closed the connection) |
| 2022-09-22 04:01:06 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Remote host closed the connection) |
| 2022-09-22 04:01:25 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-22 04:05:58 +0200 | fjMSX | (~hypni2p@2.92.213.55) |
| 2022-09-22 04:06:53 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-09-22 04:08:00 +0200 | sammelweis_ | (~quassel@047-225-118-016.res.spectrum.com) |
| 2022-09-22 04:09:35 +0200 | sammelweis | (~quassel@047-225-118-016.res.spectrum.com) (Read error: Connection reset by peer) |
| 2022-09-22 04:18:20 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-22 04:18:20 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-22 04:18:20 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-22 04:19:38 +0200 | vglfr | (~vglfr@145.224.94.75) |
| 2022-09-22 04:22:36 +0200 | td_ | (~td@94.134.91.227) (Ping timeout: 264 seconds) |
| 2022-09-22 04:24:14 +0200 | td_ | (~td@94.134.91.59) |
| 2022-09-22 04:24:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 04:25:01 +0200 | edrx | (~Eduardo@2804:56c:d2dc:ac00:dab8:211d:d4eb:fa94) (Killed buffer) |
| 2022-09-22 04:29:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 04:29:39 +0200 | <EvanR> | this list of extensions as a data type in template haskell reveals... NPlusKPatterns... what |
| 2022-09-22 04:31:42 +0200 | <pavonia> | Wasn't that deprecated or so? |
| 2022-09-22 04:41:39 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 04:41:43 +0200 | <c_wraith> | It used to be part of the standard, not an extension. |
| 2022-09-22 04:42:00 +0200 | <c_wraith> | It was removed from the standard and GHC made it an extension - then deprecated the extension |
| 2022-09-22 04:43:28 +0200 | <EvanR> | so n plus k patterns still work?? xD |
| 2022-09-22 04:43:38 +0200 | <EvanR> | if you enable it |
| 2022-09-22 04:43:47 +0200 | <c_wraith> | I believe so |
| 2022-09-22 04:43:52 +0200 | <EvanR> | mind blown |
| 2022-09-22 04:44:09 +0200 | <c_wraith> | not like I've tried. :P |
| 2022-09-22 04:44:11 +0200 | <EvanR> | I'd hate to be making sure that still works in the face of ghc progress |
| 2022-09-22 04:45:24 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2022-09-22 04:46:19 +0200 | ddellacosta | (~ddellacos@89.45.224.135) |
| 2022-09-22 04:47:59 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-09-22 05:00:02 +0200 | haasn | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-09-22 05:00:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 05:01:20 +0200 | haasn | (~nand@haasn.dev) |
| 2022-09-22 05:01:48 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2022-09-22 05:02:22 +0200 | jargon | (~jargon@184.101.186.15) |
| 2022-09-22 05:03:06 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-22 05:05:32 +0200 | sammelweis_ | (~quassel@047-225-118-016.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2022-09-22 05:05:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 05:06:39 +0200 | califax | (~califax@user/califx) |
| 2022-09-22 05:11:01 +0200 | ddellacosta | (~ddellacos@89.45.224.135) (Ping timeout: 265 seconds) |
| 2022-09-22 05:13:18 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-22 05:14:48 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Remote host closed the connection) |
| 2022-09-22 05:16:19 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 05:16:28 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-22 05:17:39 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-09-22 05:17:43 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-22 05:18:18 +0200 | <ski> | i believe i tried it last year or so |
| 2022-09-22 05:18:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-22 05:18:45 +0200 | sammelweis | (~quassel@047-225-118-016.res.spectrum.com) |
| 2022-09-22 05:20:37 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 252 seconds) |
| 2022-09-22 05:34:55 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-22 05:35:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-09-22 05:36:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 05:38:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-22 05:45:27 +0200 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-09-22 05:45:57 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-09-22 05:48:05 +0200 | frost | (~frost@user/frost) |
| 2022-09-22 05:50:04 +0200 | jargon | (~jargon@184.101.186.15) (Remote host closed the connection) |
| 2022-09-22 05:50:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-22 05:52:20 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-09-22 05:52:45 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 05:55:46 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-09-22 05:59:07 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 252 seconds) |
| 2022-09-22 05:59:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 05:59:29 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-22 06:00:33 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-09-22 06:00:37 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 06:01:28 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-22 06:03:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 06:03:40 +0200 | king_gs1 | (~Thunderbi@187.201.192.184) |
| 2022-09-22 06:04:00 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Ping timeout: 264 seconds) |
| 2022-09-22 06:04:00 +0200 | king_gs1 | king_gs |
| 2022-09-22 06:06:01 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-22 06:06:10 +0200 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-09-22 06:07:40 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-22 06:07:40 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-22 06:07:40 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-22 06:08:12 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2022-09-22 06:09:56 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-22 06:11:03 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-22 06:13:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 06:18:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 06:18:41 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-09-22 06:20:12 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-22 06:20:46 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-22 06:20:51 +0200 | <johnw> | I've never tried that extension before |
| 2022-09-22 06:20:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 06:21:55 +0200 | king_gs | (~Thunderbi@187.201.192.184) (Read error: Connection reset by peer) |
| 2022-09-22 06:23:09 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-22 06:23:29 +0200 | <dolio> | That's probably one of the least problematic extensions to keep up to date. |
| 2022-09-22 06:23:36 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-22 06:25:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 06:26:01 +0200 | califax | (~califax@user/califx) |
| 2022-09-22 06:27:45 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-22 06:28:07 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-22 06:34:27 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 06:36:15 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-22 06:39:24 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 264 seconds) |
| 2022-09-22 06:42:21 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 06:42:37 +0200 | califax | (~califax@user/califx) |
| 2022-09-22 06:44:12 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2022-09-22 06:46:00 +0200 | sammelweis | (~quassel@047-225-118-016.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2022-09-22 06:51:13 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 06:55:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 06:55:54 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds) |
| 2022-09-22 06:56:24 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-09-22 06:58:59 +0200 | mbuf | (~Shakthi@49.204.133.2) |
| 2022-09-22 06:59:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 07:03:20 +0200 | Guest93 | (~Guest93@86.55.245.100) |
| 2022-09-22 07:04:15 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:f500:a3a8:3af3:359:8caf) |
| 2022-09-22 07:04:34 +0200 | Guest93 | (~Guest93@86.55.245.100) (Client Quit) |
| 2022-09-22 07:19:11 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-22 07:26:56 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-09-22 07:30:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 07:35:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 07:37:14 +0200 | odnes | (~odnes@ppp089210198232.access.hol.gr) |
| 2022-09-22 07:40:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-22 07:45:30 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 07:48:33 +0200 | razetime | (~quassel@117.254.34.240) |
| 2022-09-22 07:50:48 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-09-22 08:06:43 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 08:09:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 08:11:45 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2022-09-22 08:11:48 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-09-22 08:12:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d93e:b2d9:ab9e:5f05) |
| 2022-09-22 08:12:46 +0200 | michalz | (~michalz@185.246.207.217) |
| 2022-09-22 08:13:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 08:27:08 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2022-09-22 08:28:02 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-22 08:35:10 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-22 08:39:05 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-22 08:39:21 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 265 seconds) |
| 2022-09-22 08:41:19 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-22 08:43:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 08:43:45 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-09-22 08:45:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 08:47:39 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-22 08:47:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 08:47:50 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Ping timeout: 244 seconds) |
| 2022-09-22 08:48:07 +0200 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-22 08:49:46 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-22 08:50:13 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-09-22 08:55:15 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-09-22 08:55:36 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a23300810a445eaf94c.dip0.t-ipconnect.de) |
| 2022-09-22 09:00:49 +0200 | MoC | (~moc@user/moc) |
| 2022-09-22 09:01:24 +0200 | MajorBiscuit | (~MajorBisc@c-001-009-018.client.tudelft.eduvpn.nl) |
| 2022-09-22 09:05:33 +0200 | f-a | (~f-a@151.68.234.1) |
| 2022-09-22 09:06:37 +0200 | <f-a> | I want to spell check comments in a .hs file. For sure I can’t be the first person doing that, what is your way to feed haskell files to aspell or similar programs/ |
| 2022-09-22 09:09:02 +0200 | <dminuoso> | f-a: You could just craft a attoparsec/megaparsec parser to extract them for you |
| 2022-09-22 09:09:43 +0200 | <f-a> | that could be a way, I hoped for “oh there is unix utility xyz that does that for you” |
| 2022-09-22 09:11:05 +0200 | <dminuoso> | oh there is unix utility https://manpages.ubuntu.com/manpages/bionic/man1/lu-comment-extractor.1.html that does that for you |
| 2022-09-22 09:11:29 +0200 | <dminuoso> | Sorry, couldn't resist. :-) |
| 2022-09-22 09:12:17 +0200 | <f-a> | hehe |
| 2022-09-22 09:14:41 +0200 | <f-a> | pretty nice, thanks |
| 2022-09-22 09:15:36 +0200 | akegalj | (~akegalj@93-138-68-202.adsl.net.t-com.hr) |
| 2022-09-22 09:16:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 09:17:02 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-09-22 09:17:30 +0200 | king_gs | (~Thunderbi@187.201.192.184) (Read error: Connection reset by peer) |
| 2022-09-22 09:18:37 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 09:19:20 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-22 09:20:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 09:21:45 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-09-22 09:24:05 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 252 seconds) |
| 2022-09-22 09:26:48 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 264 seconds) |
| 2022-09-22 09:38:12 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:f500:a3a8:3af3:359:8caf) (Ping timeout: 264 seconds) |
| 2022-09-22 09:43:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 09:43:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-09-22 09:44:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-22 09:46:16 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2022-09-22 09:46:34 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-09-22 09:49:23 +0200 | razetime | (~quassel@117.254.34.240) (Ping timeout: 252 seconds) |
| 2022-09-22 09:50:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 09:51:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-22 09:51:53 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 09:52:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-22 09:53:27 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-09-22 09:54:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 09:54:42 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-22 09:55:03 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-22 09:58:08 +0200 | Unhammerd | (~Unhammer@user/unhammer) |
| 2022-09-22 10:00:18 +0200 | <Unhammerd> | Has anyone noticed performance differences with process (which seems to use String input/output) vs typed-process (lazy bytestring)? |
| 2022-09-22 10:03:03 +0200 | nschoe | (~quassel@178.251.84.79) |
| 2022-09-22 10:04:15 +0200 | f-a | (~f-a@151.68.234.1) () |
| 2022-09-22 10:05:42 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) |
| 2022-09-22 10:10:15 +0200 | ubert | (~Thunderbi@77.119.165.8.wireless.dyn.drei.com) |
| 2022-09-22 10:12:37 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 10:15:35 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-22 10:17:48 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 264 seconds) |
| 2022-09-22 10:19:28 +0200 | pottsy | (~pottsy@90.pool85-52-231.static.orange.es) |
| 2022-09-22 10:19:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-22 10:20:31 +0200 | razetime | (~quassel@117.254.34.119) |
| 2022-09-22 10:23:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 10:25:14 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-09-22 10:27:09 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-09-22 10:28:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 10:28:06 +0200 | razetime | (~quassel@117.254.34.119) (Ping timeout: 265 seconds) |
| 2022-09-22 10:28:21 +0200 | razetime_ | (~quassel@2401:4900:628d:3843:e405:c667:a1e8:5879) |
| 2022-09-22 10:31:36 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 10:35:17 +0200 | razetime_ | (~quassel@2401:4900:628d:3843:e405:c667:a1e8:5879) (Ping timeout: 244 seconds) |
| 2022-09-22 10:39:21 +0200 | razetime | (~quassel@117.254.35.198) |
| 2022-09-22 10:44:02 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Ping timeout: 265 seconds) |
| 2022-09-22 10:44:42 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-22 10:44:53 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-09-22 10:47:02 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2022-09-22 10:53:53 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 244 seconds) |
| 2022-09-22 10:55:58 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-22 10:58:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 10:58:54 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-09-22 10:59:02 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-22 10:59:40 +0200 | califax | (~califax@user/califx) |
| 2022-09-22 11:00:11 +0200 | polykernel[m] | (~polykerne@user/polykernel) (Quit: You have been kicked for being idle) |
| 2022-09-22 11:02:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 11:03:39 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 11:04:45 +0200 | CoolGuy228xxX | (~CoolGuy22@95.165.158.51) |
| 2022-09-22 11:05:46 +0200 | CoolGuy228xxX | (~CoolGuy22@95.165.158.51) (Client Quit) |
| 2022-09-22 11:07:33 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-09-22 11:08:01 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-22 11:08:19 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-09-22 11:08:53 +0200 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) |
| 2022-09-22 11:08:56 +0200 | <pagnol> | Does anyone have a robust setup to use Haskell with org-babel? |
| 2022-09-22 11:13:31 +0200 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Ping timeout: 244 seconds) |
| 2022-09-22 11:14:13 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2022-09-22 11:14:26 +0200 | razetime | (~quassel@117.254.35.198) (Ping timeout: 260 seconds) |
| 2022-09-22 11:14:40 +0200 | razetime | (~quassel@117.254.34.59) |
| 2022-09-22 11:19:09 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-22 11:19:34 +0200 | califax | (~califax@user/califx) |
| 2022-09-22 11:20:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 11:20:44 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) |
| 2022-09-22 11:21:39 +0200 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 248 seconds) |
| 2022-09-22 11:22:11 +0200 | razetime | (~quassel@117.254.34.59) (Ping timeout: 250 seconds) |
| 2022-09-22 11:22:56 +0200 | razetime | (~quassel@117.193.5.254) |
| 2022-09-22 11:23:33 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 268 seconds) |
| 2022-09-22 11:24:22 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-22 11:35:31 +0200 | peutri_ | peutri |
| 2022-09-22 11:35:44 +0200 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 244 seconds) |
| 2022-09-22 11:37:46 +0200 | eikke | (~NicolasT@user/NicolasT) |
| 2022-09-22 11:39:09 +0200 | bahamas | (~lucian@188.24.138.239) |
| 2022-09-22 11:44:31 +0200 | einfair_ | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (Ping timeout: 244 seconds) |
| 2022-09-22 11:49:18 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2022-09-22 11:49:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 11:54:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 11:55:01 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) |
| 2022-09-22 11:56:32 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 265 seconds) |
| 2022-09-22 11:56:58 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-22 11:57:57 +0200 | razetime | (~quassel@117.193.5.254) (Ping timeout: 244 seconds) |
| 2022-09-22 12:02:46 +0200 | DavidBinder | (~DavidBind@134.2.10.18) |
| 2022-09-22 12:04:20 +0200 | razetime | (~quassel@2401:4900:629f:7da9:8407:e36f:13d1:1011) |
| 2022-09-22 12:04:41 +0200 | DavidBinder | (~DavidBind@134.2.10.18) (Remote host closed the connection) |
| 2022-09-22 12:08:38 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2022-09-22 12:08:42 +0200 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2022-09-22 12:10:49 +0200 | einfair | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) |
| 2022-09-22 12:20:02 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-09-22 12:23:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 12:25:20 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-22 12:27:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-22 12:27:39 +0200 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-22 12:27:39 +0200 | king_gs | (~Thunderbi@187.201.192.184) (Client Quit) |
| 2022-09-22 12:27:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 12:29:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-22 12:29:54 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2022-09-22 12:36:33 +0200 | eikke | (~NicolasT@user/NicolasT) (Quit: leaving) |
| 2022-09-22 12:39:26 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:f500:2dfd:13d3:f366:7e03) |
| 2022-09-22 12:40:19 +0200 | razetime | (~quassel@2401:4900:629f:7da9:8407:e36f:13d1:1011) (Ping timeout: 244 seconds) |
| 2022-09-22 12:44:06 +0200 | razetime | (~quassel@117.254.34.28) |
| 2022-09-22 12:44:39 +0200 | odnes | (~odnes@ppp089210198232.access.hol.gr) (Quit: Leaving) |
| 2022-09-22 12:49:36 +0200 | Guest68 | (~Guest68@2a02:8388:a241:e80:41cb:c9b8:ceb9:d9d6) |
| 2022-09-22 12:54:00 +0200 | <MangoIV[m]> | Hi, did anyone here have any luck with that evaluation in place plug-in for HLS in nvim? Thanks in advance! |
| 2022-09-22 12:55:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 12:59:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 13:03:52 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) |
| 2022-09-22 13:09:32 +0200 | Guest68 | (~Guest68@2a02:8388:a241:e80:41cb:c9b8:ceb9:d9d6) (Quit: Client closed) |
| 2022-09-22 13:12:36 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 13:14:25 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) (Ping timeout: 244 seconds) |
| 2022-09-22 13:19:49 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-22 13:21:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 13:25:02 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) () |
| 2022-09-22 13:25:08 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
| 2022-09-22 13:26:26 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-22 13:26:41 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-22 13:30:36 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-22 13:31:08 +0200 | akegalj | (~akegalj@93-138-68-202.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-09-22 13:38:12 +0200 | ubert | (~Thunderbi@77.119.165.8.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2022-09-22 13:38:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 13:40:35 +0200 | lyle | (~lyle@104.246.145.85) |
| 2022-09-22 13:40:36 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 264 seconds) |
| 2022-09-22 13:42:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 13:44:05 +0200 | bahamas | (~lucian@188.24.138.239) (Ping timeout: 268 seconds) |
| 2022-09-22 13:44:23 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 244 seconds) |
| 2022-09-22 13:46:10 +0200 | <mesaoptimizer> | I feel like implicit associativity of Haskell operators is one very... un-functional programming feature |
| 2022-09-22 13:47:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-22 13:48:36 +0200 | <tdammers> | what does associativity have to do with functional-ness? |
| 2022-09-22 13:48:38 +0200 | <mesaoptimizer> | at least for non-commutative operators. You _have_ to memorize the associativity and messing up the associativity in your head is an error that Haskell cannot catch |
| 2022-09-22 13:49:02 +0200 | <tdammers> | but that has nothing to do with whether the language is "functional" or not |
| 2022-09-22 13:49:18 +0200 | waldo | (~waldo@user/waldo) |
| 2022-09-22 13:49:24 +0200 | <dminuoso> | I would argue that the term "functional" is very imprecise and means very different things for different people. |
| 2022-09-22 13:49:31 +0200 | <dminuoso> | There is no universally accepted sharp definition of it. |
| 2022-09-22 13:49:53 +0200 | <dminuoso> | Arguing whether something "is functional or not" is only with respect to your personal beliefs and definitions. |
| 2022-09-22 13:50:08 +0200 | <tdammers> | unfortunately there isn't, but most reasonable definitions revolve around the concept of a "function" (and more specifically, "pure function") |
| 2022-09-22 13:50:10 +0200 | <mesaoptimizer> | sure, which is why I used un- "functional programming", implying that it goes against the usual main draws of functional programming, at least from my beginner-level perspective |
| 2022-09-22 13:51:18 +0200 | <mesaoptimizer> | agree I could have worded it better but that's a minor sidenote |
| 2022-09-22 13:51:25 +0200 | <byorgey> | mesaoptimizer: what do you mean by "implicit associativity of Haskell operators"? Can you give an example? |
| 2022-09-22 13:51:26 +0200 | <dminuoso> | Superficially I would argue that association is a grammatical artifact, and being "functional" is usually something on the semantic level. |
| 2022-09-22 13:51:27 +0200 | <geekosaur> | LC doesn't even have operators, just functions and parens for grouping |
| 2022-09-22 13:51:29 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 13:51:38 +0200 | <ski> | mesaoptimizer : do you mean how operators get `infixl 9', if none specified ? |
| 2022-09-22 13:51:47 +0200 | <tdammers> | either way, "functional" is generally about language semantics, not syntax - but operator precedence is a syntactic concern (once the operator has been parsed into an AST, its precedence and associativity is erased) |
| 2022-09-22 13:51:58 +0200 | <tdammers> | so yeah |
| 2022-09-22 13:51:58 +0200 | dminuoso | high fives tdammers |
| 2022-09-22 13:52:01 +0200 | <tdammers> | woo hoo |
| 2022-09-22 13:52:07 +0200 | <ski> | mesaoptimizer : also, i don't see what commutativity has to do with the associativity-disambiguation rules for operators |
| 2022-09-22 13:52:39 +0200 | <ski> | (if you said "non-associative operators", that'd be a different thing ..) |
| 2022-09-22 13:52:40 +0200 | <dminuoso> | Indeed. Commutatitivity too is a semantic thing, association is a grammatic thing. |
| 2022-09-22 13:53:39 +0200 | <dminuoso> | But for what it is worth, I do have some sympathy for disliking operators since their associativity is invisible on editors most of the time. |
| 2022-09-22 13:54:04 +0200 | <mesaoptimizer> | for example, the exponentiation operator ^ has infixr 8. that's TWO types of data one needs to keep in their head. Sure, you can memorize it, or look it up, and the benefit of making this implicit is conciseness, but I don't like how one can mistakenly assume the wrong infix or precedence and make logic errors |
| 2022-09-22 13:54:32 +0200 | <geekosaur> | you can a;ways parenthesize |
| 2022-09-22 13:54:40 +0200 | <dminuoso> | mesaoptimizer: I would argue that if its not visibly clear, you should be using (redundant) parenthesis anyway. |
| 2022-09-22 13:55:12 +0200 | <ski> | imho, it would probably be better to assign relative strengths to different operators (or sets of them), rather than assign absolute (even totally ordered) ones to them |
| 2022-09-22 13:55:17 +0200 | <tdammers> | another nasty consequence of the way Haskell does operators is that when you define aliases for them (e.g. for re-exporting), you have to define the fixity again |
| 2022-09-22 13:56:16 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 244 seconds) |
| 2022-09-22 13:56:26 +0200 | <mesaoptimizer> | using redundant parentheses seems like a good best practice. I'll keep that in mind. |
| 2022-09-22 13:56:54 +0200 | <ski> | > let foo (+) x = x + x + x where infixr 5 + in foo (-) 2 -- i don't know a way to specify precedence and associativity here |
| 2022-09-22 13:56:56 +0200 | <lambdabot> | error: |
| 2022-09-22 13:56:56 +0200 | <lambdabot> | The fixity signature for ‘+’ lacks an accompanying binding |
| 2022-09-22 13:56:56 +0200 | <lambdabot> | (The fixity signature must be given where ‘+’ is declared) |
| 2022-09-22 13:57:12 +0200 | <geekosaur> | (and then HLS bitches at you for using unnecessary parens. shaddap already!) |
| 2022-09-22 13:57:58 +0200 | <ski> | HLS, or hlint ? |
| 2022-09-22 13:58:10 +0200 | <geekosaur> | hlint via HLS in my editor |
| 2022-09-22 13:58:38 +0200 | <dminuoso> | Dont use hlint then! |
| 2022-09-22 13:58:54 +0200 | <dminuoso> | Addressed other headaches you get too |
| 2022-09-22 14:00:08 +0200 | ski | is generally a fan of avoiding redundant brackets, but will occasionally go out of their way to include some, for emphasis, or even just to avoid having to recall the relative precedence of some two operators not seen together too often |
| 2022-09-22 14:02:06 +0200 | <ski> | (hence i write `sort :: Ord a => ..a..', not `sort :: (Ord a) => ..a..'; `data Blah = ... deriving Show', `let x:xs = ...', `case ... of x:xs -> ...', `Just x +*+ Just y = ...', &c.) |
| 2022-09-22 14:02:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 14:03:42 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-22 14:04:20 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Remote host closed the connection) |
| 2022-09-22 14:04:23 +0200 | <ski> | (also, occasionally, i find i'd like to be able to say `(foo x y) z = ...', not just `(x +*+ y) z = ...') |
| 2022-09-22 14:07:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 14:10:26 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-09-22 14:15:28 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-22 14:17:50 +0200 | bahamas | (~lucian@188.24.138.239) |
| 2022-09-22 14:18:10 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2022-09-22 14:20:22 +0200 | yvan-sraka | (~yvan-srak@109.135.29.128) |
| 2022-09-22 14:22:51 +0200 | bahamas | (~lucian@188.24.138.239) (Ping timeout: 260 seconds) |
| 2022-09-22 14:24:29 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) |
| 2022-09-22 14:37:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 14:38:54 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 14:39:48 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-22 14:41:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 14:42:10 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-09-22 14:42:55 +0200 | Feuermagier_ | (~Feuermagi@216.24.213.93) |
| 2022-09-22 14:43:19 +0200 | Feuermagier_ | (~Feuermagi@216.24.213.93) (Remote host closed the connection) |
| 2022-09-22 14:44:06 +0200 | Feuermagier_ | (~Feuermagi@216.24.213.93) |
| 2022-09-22 14:44:19 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 248 seconds) |
| 2022-09-22 14:44:24 +0200 | Feuermagier_ | (~Feuermagi@216.24.213.93) (Remote host closed the connection) |
| 2022-09-22 14:44:36 +0200 | yvan-sraka | (~yvan-srak@109.135.29.128) (Ping timeout: 252 seconds) |
| 2022-09-22 14:44:46 +0200 | Feuermagier_ | (~Feuermagi@216.24.213.93) |
| 2022-09-22 14:47:10 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 265 seconds) |
| 2022-09-22 14:47:20 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-22 14:49:33 +0200 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-22 14:50:48 +0200 | hsw__ | (~hsw@112-104-87-196.adsl.dynamic.seed.net.tw) |
| 2022-09-22 14:51:50 +0200 | matijja | (~matijja@193.77.181.201) |
| 2022-09-22 14:53:46 +0200 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 260 seconds) |
| 2022-09-22 14:58:51 +0200 | benin0 | (~benin@183.82.206.30) (Ping timeout: 252 seconds) |
| 2022-09-22 15:00:32 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) |
| 2022-09-22 15:02:52 +0200 | bahamas | (~lucian@188.24.138.239) |
| 2022-09-22 15:05:10 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 15:09:07 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2022-09-22 15:09:26 +0200 | bontaq | (~user@165.1.205.23) |
| 2022-09-22 15:09:38 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-22 15:10:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 15:13:05 +0200 | DavidBinder | (~DavidBind@134.2.10.18) |
| 2022-09-22 15:15:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 15:16:05 +0200 | thatcher | (~lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-22 15:18:56 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-22 15:20:48 +0200 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 2022-09-22 15:30:07 +0200 | bontaq` | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-22 15:30:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 15:30:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-22 15:30:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 15:31:51 +0200 | bontaq | (~user@165.1.205.23) (Ping timeout: 252 seconds) |
| 2022-09-22 15:35:28 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-22 15:37:55 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-22 15:42:08 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c9c6:ea14:444b:6072) |
| 2022-09-22 15:45:28 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-22 15:47:11 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-22 15:53:13 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-09-22 15:56:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-22 15:58:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 15:58:59 +0200 | yvan-sraka | (~yvan-srak@37.173.65.198) |
| 2022-09-22 15:59:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d93e:b2d9:ab9e:5f05) (Quit: WeeChat 2.8) |
| 2022-09-22 15:59:46 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Quit: WeeChat 3.6) |
| 2022-09-22 15:59:50 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-22 16:01:03 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-22 16:07:54 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2022-09-22 16:14:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-22 16:15:07 +0200 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-09-22 16:15:43 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-22 16:16:01 +0200 | MajorBiscuit | (~MajorBisc@c-001-009-018.client.tudelft.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-09-22 16:17:43 +0200 | MajorBiscuit | (~MajorBisc@c-001-009-018.client.tudelft.eduvpn.nl) |
| 2022-09-22 16:18:08 +0200 | Guest2730 | (e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection) |
| 2022-09-22 16:18:16 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2022-09-22 16:18:52 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 244 seconds) |
| 2022-09-22 16:19:01 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 250 seconds) |
| 2022-09-22 16:19:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 16:24:59 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-22 16:25:38 +0200 | MajorBiscuit | (~MajorBisc@c-001-009-018.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.5) |
| 2022-09-22 16:25:49 +0200 | MajorBiscuit | (~MajorBisc@c-001-009-018.client.tudelft.eduvpn.nl) |
| 2022-09-22 16:27:28 +0200 | raehik | (~raehik@global-5-15.n-1.net.cam.ac.uk) |
| 2022-09-22 16:28:33 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 250 seconds) |
| 2022-09-22 16:34:10 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-22 16:43:44 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) |
| 2022-09-22 16:43:45 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 2022-09-22 16:43:45 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2022-09-22 16:52:51 +0200 | Feuermagier_ | (~Feuermagi@216.24.213.93) (Quit: Leaving) |
| 2022-09-22 16:54:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-22 17:00:58 +0200 | <oats> | huh, effectful looks neat |
| 2022-09-22 17:01:18 +0200 | <oats> | don't know how I missed its announcement in r/haskell a couple months ago, it looks well-received |
| 2022-09-22 17:03:00 +0200 | <Hecate> | oats: :D don't hesitate to create bindings to other libraries! |
| 2022-09-22 17:05:11 +0200 | <oats> | I've heard about various effects libraries for a while now, but idk if the community has really coalesced around any in particular |
| 2022-09-22 17:05:16 +0200 | <oats> | could effectful be that one? |
| 2022-09-22 17:05:17 +0200 | <Hecate> | not yet |
| 2022-09-22 17:05:31 +0200 | <Hecate> | but I hope effectful + delconts will be nice |
| 2022-09-22 17:06:38 +0200 | <oats> | delconts? |
| 2022-09-22 17:07:33 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a23300810a445eaf94c.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-09-22 17:09:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 17:14:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 17:14:10 +0200 | <bahamas> | how can I convert NominalDiffTime to seconds, if I'm using a version of time before 1.9.1 (when nominalDiffTimeToSeconds was introduced)? |
| 2022-09-22 17:14:42 +0200 | <bahamas> | basically, I want to know if the current time is before or past a certain time |
| 2022-09-22 17:17:15 +0200 | <johnw> | might this work? |
| 2022-09-22 17:17:16 +0200 | <johnw> | let (myNominalDiffTimeInSeconds, _) = properFraction myNominalDiffTime |
| 2022-09-22 17:17:51 +0200 | raehik | (~raehik@global-5-15.n-1.net.cam.ac.uk) (Ping timeout: 260 seconds) |
| 2022-09-22 17:22:42 +0200 | <Hecate> | oats: delimited continuations |
| 2022-09-22 17:24:48 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 17:29:08 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-22 17:29:20 +0200 | <EvanR> | bahamas, a NominalDiffTime is a number in units of seconds (with a fractional part), but it's a different type so needs a conversion |
| 2022-09-22 17:29:36 +0200 | <EvanR> | try realToFrac or floor |
| 2022-09-22 17:30:31 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-22 17:30:36 +0200 | <EvanR> | oh, but comparing it to some official Time, that doesn't require that. But it does require getting the types straight |
| 2022-09-22 17:31:09 +0200 | <EvanR> | NominalDiffTime is a diff time, while times are a different animal. So you just need to convert one to the other then use < |
| 2022-09-22 17:31:22 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-22 17:32:41 +0200 | <EvanR> | e.g. if you have a UTCTime, you can diff that with some reference UTCTime to get a NominalDiffTime |
| 2022-09-22 17:33:07 +0200 | <EvanR> | or, you can add NominalDiffTime to the reference UTCTime to get a UTCTime. Either way you need the same type for comparison |
| 2022-09-22 17:34:18 +0200 | <EvanR> | POSIXTime is like a hybrid, we all agree on the reference date, but it's technically a diff |
| 2022-09-22 17:39:47 +0200 | <EvanR> | (if you convert to a float with floor or realToFrac, you will lose a bunch of precision, if the number is as big as unix time) |
| 2022-09-22 17:40:17 +0200 | <EvanR> | (so it's better to do your time math directly like I just explained) |
| 2022-09-22 17:42:02 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 17:42:53 +0200 | <bahamas> | EvanR: well, I can get both times to be UTCTime than use the corresponding function |
| 2022-09-22 17:43:08 +0200 | <bahamas> | but that function returns NominalDiffTime, so that's the issue |
| 2022-09-22 17:43:10 +0200 | <EvanR> | hell yeah, UTCTime is an instance of Ord so you can just compare them |
| 2022-09-22 17:43:20 +0200 | <EvanR> | what function? |
| 2022-09-22 17:43:30 +0200 | <bahamas> | diffUTCTime I think it's called |
| 2022-09-22 17:43:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 17:43:37 +0200 | <EvanR> | :thonk: |
| 2022-09-22 17:43:42 +0200 | <bahamas> | but if I can compare them, I think that should be enough |
| 2022-09-22 17:44:03 +0200 | <EvanR> | yeah, I'm not sure it makes sense to diff two times, then ask if the result is before or after a UTCTime |
| 2022-09-22 17:44:24 +0200 | <bahamas> | EvanR: no, I was checking if the number of seconds is greater than 0 |
| 2022-09-22 17:44:39 +0200 | nschoe | (~quassel@178.251.84.79) (Ping timeout: 268 seconds) |
| 2022-09-22 17:44:40 +0200 | <bahamas> | but now that you mentioned Ord, it sounds like my solution is a roundabout way |
| 2022-09-22 17:44:44 +0200 | <EvanR> | use compare with the two UTCTimes xD |
| 2022-09-22 17:44:49 +0200 | <EvanR> | :t compare |
| 2022-09-22 17:44:50 +0200 | <lambdabot> | Ord a => a -> a -> Ordering |
| 2022-09-22 17:44:50 +0200 | <bahamas> | right :) |
| 2022-09-22 17:45:01 +0200 | <bahamas> | thanks! |
| 2022-09-22 17:45:21 +0200 | <EvanR> | > floor (fromInteger 1663861268 :: Float) -- :scream: |
| 2022-09-22 17:45:23 +0200 | <lambdabot> | 1663861248 |
| 2022-09-22 17:45:57 +0200 | <bahamas> | a, actually, in another instance I need to know if current time is below 5 minutes before a certain time |
| 2022-09-22 17:45:58 +0200 | <EvanR> | > let n = 1663861268 in floor (fromInteger n :: Float) - n |
| 2022-09-22 17:46:00 +0200 | <lambdabot> | -20 |
| 2022-09-22 17:46:10 +0200 | <bahamas> | for that I do need to compute a difference, no? |
| 2022-09-22 17:46:29 +0200 | <EvanR> | the opposite |
| 2022-09-22 17:46:30 +0200 | <geekosaur> | does it really use Float instead of Double? |
| 2022-09-22 17:46:34 +0200 | waldo | (~waldo@user/waldo) |
| 2022-09-22 17:46:35 +0200 | <EvanR> | no, I'm just saying |
| 2022-09-22 17:47:03 +0200 | <EvanR> | bahamas, opposite, you want to shift your UTCTime down by 5 minutes to get another UTCTime to compare |
| 2022-09-22 17:47:24 +0200 | <EvanR> | addUTCTime :: NominalDiffTime -> UTCTime -> UTCTime |
| 2022-09-22 17:47:53 +0200 | <bahamas> | EvanR: oh, you mean add 5 minutes to currentTime and check if it's greater or lower than startTime |
| 2022-09-22 17:48:05 +0200 | <EvanR> | earlier = addUTCTime (-5 * 60) limitTime |
| 2022-09-22 17:48:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 17:48:54 +0200 | <bahamas> | EvanR: anyway, I will figure this out. thanks for pointing me in the right direction |
| 2022-09-22 17:49:28 +0200 | <EvanR> | geekosaur, it doesn't use float or double... but somebody might try to convert to floats to do comparisons. If they use double it won't lose 20 seconds but it does lose something compared to the raw time data |
| 2022-09-22 17:49:50 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 17:50:01 +0200 | geekosaur | thinks Float should be removed (and similarly float from C) |
| 2022-09-22 17:50:13 +0200 | <geekosaur> | it's a trap |
| 2022-09-22 17:50:23 +0200 | <EvanR> | the godot game engine is nothing but single precision floats ;_; |
| 2022-09-22 17:50:34 +0200 | <EvanR> | they claim they need to support low end mobile |
| 2022-09-22 17:50:55 +0200 | <EvanR> | (most graphics can work with single precision... it's fine...) |
| 2022-09-22 17:51:07 +0200 | <EvanR> | (or even less precision) |
| 2022-09-22 17:52:54 +0200 | ski | . o O ( `short double' ) |
| 2022-09-22 17:53:58 +0200 | <geekosaur> | I'd be fine with that |
| 2022-09-22 17:54:35 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 17:54:59 +0200 | <EvanR> | B's got your back. No float or double. Or any types... |
| 2022-09-22 17:55:20 +0200 | <ski> | 5-byte floating points are where it's at |
| 2022-09-22 17:56:02 +0200 | <EvanR> | by the 1990s we will probably be totally using decimals anyway |
| 2022-09-22 17:57:04 +0200 | <geekosaur> | someone's been programming HP calculators |
| 2022-09-22 18:00:31 +0200 | hippoid | (~idris@ec2-107-22-56-196.compute-1.amazonaws.com) (Changing host) |
| 2022-09-22 18:00:31 +0200 | hippoid | (~idris@user/hippoid) |
| 2022-09-22 18:01:10 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 244 seconds) |
| 2022-09-22 18:04:23 +0200 | bahamas | (~lucian@188.24.138.239) (Ping timeout: 252 seconds) |
| 2022-09-22 18:04:44 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) |
| 2022-09-22 18:06:59 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-09-22 18:08:01 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-22 18:15:40 +0200 | Guest|30 | (~Guest|30@129.205.124.145) |
| 2022-09-22 18:16:43 +0200 | <Guest|30> | Hey every one, every time I try to install ghc, I get the following error: |
| 2022-09-22 18:16:51 +0200 | <Guest|30> | Get-CimInstance : Invalid class |
| 2022-09-22 18:16:51 +0200 | <Guest|30> | At line:206 char:17 |
| 2022-09-22 18:16:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 18:16:52 +0200 | <Guest|30> | + $partitions = Get-CimInstance win32_logicaldisk |
| 2022-09-22 18:16:52 +0200 | <Guest|30> | + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 2022-09-22 18:16:52 +0200 | <Guest|30> | + CategoryInfo : MetadataError: (root\cimv2:win32_logicaldisk:String) [Get-CimInstance], CimException |
| 2022-09-22 18:16:53 +0200 | <Guest|30> | + FullyQualifiedErrorId : HRESULT 0x80041010,Microsoft.Management.Infrastructure.CimCmdlets.GetCimInstanceCommand |
| 2022-09-22 18:21:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 18:27:07 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-22 18:27:32 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 18:31:44 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-09-22 18:32:09 +0200 | yvan-sraka | (~yvan-srak@37.173.65.198) (Remote host closed the connection) |
| 2022-09-22 18:32:10 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 268 seconds) |
| 2022-09-22 18:36:24 +0200 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 264 seconds) |
| 2022-09-22 18:37:43 +0200 | econo | (uid147250@user/econo) |
| 2022-09-22 18:37:56 +0200 | shapr | (~user@68.54.166.125) |
| 2022-09-22 18:45:14 +0200 | MajorBiscuit | (~MajorBisc@c-001-009-018.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.5) |
| 2022-09-22 18:45:41 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-22 18:48:00 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 18:48:31 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Quit: ZNC - https://znc.in) |
| 2022-09-22 18:48:54 +0200 | Guest|30 | (~Guest|30@129.205.124.145) (Quit: Connection closed) |
| 2022-09-22 18:49:00 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) |
| 2022-09-22 18:50:52 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-09-22 18:50:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 18:54:04 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-09-22 18:54:56 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Client Quit) |
| 2022-09-22 18:55:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 18:55:45 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-22 18:57:47 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-09-22 18:58:02 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-09-22 19:01:26 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Client Quit) |
| 2022-09-22 19:01:55 +0200 | shapr | (~user@68.54.166.125) (Ping timeout: 248 seconds) |
| 2022-09-22 19:03:36 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-22 19:03:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-22 19:06:41 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 19:09:27 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-22 19:10:12 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-09-22 19:11:31 +0200 | mbuf | (~Shakthi@49.204.133.2) (Quit: Leaving) |
| 2022-09-22 19:11:33 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-22 19:15:01 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 19:15:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 19:16:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 19:21:36 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-09-22 19:22:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 19:25:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 19:25:37 +0200 | DavidBinder | (~DavidBind@134.2.10.18) (Quit: Leaving) |
| 2022-09-22 19:27:34 +0200 | benin0 | (~benin@183.82.204.58) |
| 2022-09-22 19:30:02 +0200 | benin0 | (~benin@183.82.204.58) (Client Quit) |
| 2022-09-22 19:30:35 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-22 19:31:14 +0200 | benin0 | (~benin@183.82.204.58) |
| 2022-09-22 19:31:55 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-22 19:33:12 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a970cc5a84df7b45360.dip0.t-ipconnect.de) |
| 2022-09-22 19:38:10 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-09-22 19:45:46 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-09-22 19:46:55 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-09-22 19:47:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-22 19:49:59 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-22 19:50:48 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-22 19:52:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 19:54:39 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-22 19:56:11 +0200 | cheater | (~Username@user/cheater) (Quit: BitchX: EPIC on steroids.) |
| 2022-09-22 19:56:32 +0200 | <EvanR> | > foldl1 (\a x -> a*10 + x) [1,2,3,4] -- 😎 |
| 2022-09-22 19:56:34 +0200 | <lambdabot> | 1234 |
| 2022-09-22 19:56:59 +0200 | <EvanR> | this has been your daily haskell |
| 2022-09-22 19:57:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 19:59:27 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-22 19:59:31 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 248 seconds) |
| 2022-09-22 20:00:41 +0200 | _abrantesasf_ | (~abrantesa@187.64.158.2) |
| 2022-09-22 20:00:51 +0200 | _abrantesasf_ | (~abrantesa@187.64.158.2) (Remote host closed the connection) |
| 2022-09-22 20:01:20 +0200 | abrantesasf | (~abrantesa@187.64.158.2) |
| 2022-09-22 20:01:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 20:02:56 +0200 | abrantesasf | (~abrantesa@187.64.158.2) (Remote host closed the connection) |
| 2022-09-22 20:04:19 +0200 | abrantesasf | (~abrantesa@187.64.158.2) |
| 2022-09-22 20:04:27 +0200 | cheater | (~Username@user/cheater) |
| 2022-09-22 20:05:21 +0200 | abrantesasf | (~abrantesa@187.64.158.2) (Remote host closed the connection) |
| 2022-09-22 20:06:09 +0200 | <monochrom> | Can you do little endian too? Find g s.t. g [4,3,2,1] = 1234. |
| 2022-09-22 20:07:02 +0200 | <johnw> | ". reverse" :) |
| 2022-09-22 20:07:27 +0200 | <monochrom> | That's cheating! |
| 2022-09-22 20:07:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 20:07:49 +0200 | <johnw> | wait, functional programming isn't just input -> output, but has a fairness component too?? |
| 2022-09-22 20:08:19 +0200 | <EvanR> | the function is pure, and total, but is it fair |
| 2022-09-22 20:08:21 +0200 | razetime | (~quassel@117.254.34.28) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-22 20:08:29 +0200 | <monochrom> | No, but I am highly opinionated and subjective! |
| 2022-09-22 20:09:37 +0200 | <darkling> | Doesn't game theory tell us that a function of two parameters must be either unfair or boring? |
| 2022-09-22 20:10:59 +0200 | <int-e> | monochrom: How is it cheating? The next step will be... foldl1 f . reverse = foldr1 (flip f) |
| 2022-09-22 20:11:17 +0200 | <monochrom> | I think unfair implies boring, so "unfair or boring" is simplifiable to "boring". |
| 2022-09-22 20:11:48 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a970cc5a84df7b45360.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-22 20:11:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 20:12:38 +0200 | <int-e> | . o O ( monochrom :: a -> IRC Opinion ) |
| 2022-09-22 20:12:55 +0200 | <darkling> | I think in the original theorem, "unfair" means the first player always wins (or the second player always wins); "boring" means that the best either player can do is force a draw. |
| 2022-09-22 20:13:41 +0200 | <int-e> | just add randomness |
| 2022-09-22 20:13:51 +0200 | <int-e> | or hidden information |
| 2022-09-22 20:15:02 +0200 | <monochrom> | I was joking! |
| 2022-09-22 20:15:30 +0200 | <monochrom> | Unpopular opinion: randomness implies hidden information :) |
| 2022-09-22 20:15:55 +0200 | <monochrom> | (OK OK you can cite quantum mechanics for randomness without hidden information. I was joking too!) |
| 2022-09-22 20:15:58 +0200 | <darkling> | Sorry, I was being too serious. :) |
| 2022-09-22 20:16:00 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-22 20:16:02 +0200 | waldo | (~waldo@user/waldo) |
| 2022-09-22 20:16:05 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a97958fabe0efe8f0df.dip0.t-ipconnect.de) |
| 2022-09-22 20:16:11 +0200 | <dolio> | Quantum-ness implies hidden information. :þ |
| 2022-09-22 20:16:26 +0200 | monochrom | tries to increase silliness, as agreed upon yesterday! |
| 2022-09-22 20:16:39 +0200 | <darkling> | :D |
| 2022-09-22 20:17:38 +0200 | <monochrom> | I happen to think that quantumness implies lack of information altogether! |
| 2022-09-22 20:17:56 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:8cc:ae19:96a3:90f3) |
| 2022-09-22 20:18:28 +0200 | <monochrom> | But I guess you reply that "lack implies hidden, vacuously". |
| 2022-09-22 20:20:20 +0200 | <geekosaur> | another "all variables are hidden" proponent \o/ |
| 2022-09-22 20:20:58 +0200 | cheater | (~Username@user/cheater) (Quit: (BitchX) It's a huge shit sandwich and we're all gonna have to take a bite.) |
| 2022-09-22 20:24:12 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-22 20:26:28 +0200 | <dolio> | Here's how you get Bell violations using hidden variables and describing your experiment in an overly-idealized way (which is standard in quantum mechanics :þ): https://hub.darcs.net/dolio/haskell-share/browse/quantum/Main.hs |
| 2022-09-22 20:28:04 +0200 | cheater | (~Username@user/cheater) |
| 2022-09-22 20:28:53 +0200 | <mniip> | the quantum vs hidden information part is mostly about the difference between values that uniquely identify a state where each can be measured in principle, and values that can be simultaneously measured on a single instance of a system |
| 2022-09-22 20:29:55 +0200 | <mniip> | with some reasoning about compound systems we conclude that the former have to grow quadratically wrt to the latter |
| 2022-09-22 20:30:53 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-09-22 20:31:50 +0200 | <mniip> | mostly referring to https://arxiv.org/abs/quant-ph/0101012 |
| 2022-09-22 20:31:55 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-22 20:33:41 +0200 | abrantesasf | (~abrantesa@187.64.158.2) |
| 2022-09-22 20:34:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-22 20:34:25 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-22 20:37:19 +0200 | cheater | (~Username@user/cheater) |
| 2022-09-22 20:42:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 20:46:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 20:48:15 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 20:51:08 +0200 | benin0 | (~benin@183.82.204.58) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-22 20:51:59 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-22 20:52:12 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-22 20:52:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-22 20:52:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-09-22 20:52:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2022-09-22 20:54:45 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-09-22 20:57:54 +0200 | benin0 | (~benin@183.82.204.58) |
| 2022-09-22 20:58:36 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2022-09-22 21:02:29 +0200 | dsrt^ | (~dsrt@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-22 21:07:48 +0200 | slack1256 | (~slack1256@181.43.224.87) |
| 2022-09-22 21:08:08 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) |
| 2022-09-22 21:09:21 +0200 | <slack1256> | Is there a `stack` command to just generate the corresponding .cabal file via hpack? |
| 2022-09-22 21:11:27 +0200 | <geekosaur[m]> | I think you just run hpack? |
| 2022-09-22 21:11:47 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-22 21:13:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 21:13:27 +0200 | slack8060 | (~slack1256@191.125.227.214) |
| 2022-09-22 21:15:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 21:16:00 +0200 | slack1256 | (~slack1256@181.43.224.87) (Ping timeout: 264 seconds) |
| 2022-09-22 21:17:30 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 21:17:33 +0200 | <slack8060> | geekosaur[m]: mmmm that. |
| 2022-09-22 21:17:55 +0200 | slack8060 | slack1256 |
| 2022-09-22 21:18:18 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b118:ce88:f1f7:8f6c) |
| 2022-09-22 21:19:15 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds) |
| 2022-09-22 21:20:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 21:21:03 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:8cc:ae19:96a3:90f3) (Quit: caryhartline) |
| 2022-09-22 21:21:45 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2022-09-22 21:22:36 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-09-22 21:23:49 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-09-22 21:25:33 +0200 | lechner | (lechner@debian/lechner) (Quit: WeeChat 3.5) |
| 2022-09-22 21:25:46 +0200 | <sm> | stack build --dry-run |
| 2022-09-22 21:26:48 +0200 | <sm> | (ensures you use the hpack version in stack and avoid spurious diffs) |
| 2022-09-22 21:29:00 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-22 21:29:27 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 21:35:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-22 21:35:35 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-22 21:43:24 +0200 | <slack1256> | sm: Marvelous! |
| 2022-09-22 21:45:55 +0200 | lechner | (lechner@debian/lechner) |
| 2022-09-22 21:47:45 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 21:51:05 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.6) |
| 2022-09-22 21:52:07 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b118:ce88:f1f7:8f6c) (Quit: WeeChat 2.8) |
| 2022-09-22 21:55:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 21:57:59 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-22 21:59:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 22:00:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 22:01:01 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) |
| 2022-09-22 22:04:18 +0200 | pavonia | (~user@user/siracusa) |
| 2022-09-22 22:09:29 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-22 22:09:42 +0200 | raehik | (~raehik@zone3.jesus.cam.ac.uk) |
| 2022-09-22 22:11:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 22:18:08 +0200 | kenran | (~kenran@200116b82b23c300cebe7b294bbc801c.dip.versatel-1u1.de) |
| 2022-09-22 22:18:34 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-22 22:26:05 +0200 | slack1256 | (~slack1256@191.125.227.214) (Read error: Connection reset by peer) |
| 2022-09-22 22:26:10 +0200 | slac78474 | (~slack1256@181.43.224.87) |
| 2022-09-22 22:28:10 +0200 | valzant | (~parsival@209.141.195.79) |
| 2022-09-22 22:30:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 22:32:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 22:33:32 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-22 22:35:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 22:35:47 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 22:38:14 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 22:38:26 +0200 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-09-22 22:39:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 22:40:36 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-09-22 22:43:43 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 246 seconds) |
| 2022-09-22 22:44:18 +0200 | dsrt^ | (~dsrt@173-160-76-137-atlanta.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
| 2022-09-22 22:45:09 +0200 | kenran | (~kenran@200116b82b23c300cebe7b294bbc801c.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-09-22 22:45:17 +0200 | dsrt^ | (~dsrt@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-22 22:47:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 22:47:19 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-22 22:50:52 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-09-22 22:52:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 22:54:34 +0200 | valzant | (~parsival@209.141.195.79) (Ping timeout: 246 seconds) |
| 2022-09-22 22:54:39 +0200 | bontaq` | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 2022-09-22 22:55:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 22:56:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 23:04:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 23:08:12 +0200 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 23:10:03 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-22 23:13:12 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-22 23:16:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 23:23:46 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-22 23:29:58 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-09-22 23:33:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 23:40:56 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:9d02:5eae:f964:930) |
| 2022-09-22 23:45:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 23:51:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a97958fabe0efe8f0df.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-22 23:52:44 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 268 seconds) |
| 2022-09-22 23:58:21 +0200 | raehik | (~raehik@zone3.jesus.cam.ac.uk) (Ping timeout: 268 seconds) |