| 2023-01-27 00:00:13 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-01-27 00:00:23 +0100 | larrythecow | oldfashionedcow |
| 2023-01-27 00:03:52 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-01-27 00:04:08 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2023-01-27 00:08:13 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-27 00:10:22 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:4fa4:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-01-27 00:20:53 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-01-27 00:21:20 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-27 00:21:21 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-27 00:23:44 +0100 | acidjnk | (~acidjnk@p54ad56b7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-01-27 00:24:12 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-01-27 00:28:35 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 00:29:25 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2023-01-27 00:30:49 +0100 | eruditass | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-01-27 00:32:52 +0100 | zero | yin |
| 2023-01-27 00:34:11 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2023-01-27 00:37:04 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-27 00:47:22 +0100 | zeenk | (~zeenk@2a02:2f04:a014:8700::7fe) (Quit: Konversation terminated!) |
| 2023-01-27 00:48:00 +0100 | talismanick | (~talismani@campus-031-231.ucdavis.edu) |
| 2023-01-27 01:07:05 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 01:10:04 +0100 | talismanick | (~talismani@campus-031-231.ucdavis.edu) (Ping timeout: 252 seconds) |
| 2023-01-27 01:22:25 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-27 01:40:28 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-01-27 01:54:34 +0100 | td_ | (~td@i53870925.versanet.de) (Ping timeout: 260 seconds) |
| 2023-01-27 01:56:06 +0100 | td_ | (~td@i53870931.versanet.de) |
| 2023-01-27 02:00:47 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2023-01-27 02:02:17 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-01-27 02:02:38 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2023-01-27 02:03:02 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-01-27 02:03:19 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-27 02:03:19 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-27 02:03:19 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-27 02:04:53 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2023-01-27 02:05:30 +0100 | califax | (~califax@user/califx) |
| 2023-01-27 02:11:09 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-27 02:11:50 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-01-27 02:17:17 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-27 02:18:47 +0100 | Guest7512 | (~Guest75@178.141.149.12) |
| 2023-01-27 02:40:02 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 02:43:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:407:77dd:ca7b:53b8) (Ping timeout: 252 seconds) |
| 2023-01-27 02:43:45 +0100 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-27 02:44:40 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-01-27 02:49:05 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 246 seconds) |
| 2023-01-27 02:50:53 +0100 | johnw | (~johnw@2600:1700:cf00:db0:e8e7:7b37:a447:4fc6) (Quit: ZNC - http://znc.in) |
| 2023-01-27 02:53:25 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-01-27 02:55:20 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Ping timeout: 246 seconds) |
| 2023-01-27 02:55:59 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-01-27 02:58:31 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2023-01-27 03:00:29 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-01-27 03:04:17 +0100 | razetime | (~Thunderbi@117.254.35.214) |
| 2023-01-27 03:04:21 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-27 03:12:04 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 03:16:26 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-01-27 03:24:13 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-01-27 03:27:44 +0100 | troydm | (~troydm@user/troydm) |
| 2023-01-27 03:29:19 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Ping timeout: 248 seconds) |
| 2023-01-27 03:29:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837) |
| 2023-01-27 03:29:59 +0100 | famubu | (~famubu@user/famubu) |
| 2023-01-27 03:30:47 +0100 | <famubu> | Hi. I was getting familiar with Higher order abstract syntax representation of lambda calculus terms with haskell. Is there a way to convert first order lambda calculus terms to HOAS terms? |
| 2023-01-27 03:31:14 +0100 | <famubu> | couldn't find much with internet searches ... |
| 2023-01-27 03:32:01 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-01-27 03:33:35 +0100 | <famubu> | These are the types I had: https://bpa.st/VTIVA |
| 2023-01-27 03:33:45 +0100 | <famubu> | How can we convert Folc terms to Hoas values? |
| 2023-01-27 03:33:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5dd6:a35b:a6fd:3837) (Ping timeout: 255 seconds) |
| 2023-01-27 03:34:44 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 268 seconds) |
| 2023-01-27 03:36:12 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-01-27 03:40:36 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-01-27 03:51:39 +0100 | <EvanR> | by terms do you mean a traditional AST structure. Then converting to HOAS should be pretty straight forward |
| 2023-01-27 03:58:17 +0100 | mbuf | (~Shakthi@49.204.141.97) |
| 2023-01-27 03:58:26 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2023-01-27 04:02:00 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-01-27 04:04:31 +0100 | <mauke> | I wrote a conversion function, but I'm not sure how to test it |
| 2023-01-27 04:06:17 +0100 | <famubu> | EvanR: Yeah just the AST. How can that be done? The `Var` case of the non-hoas type had me stumped.. |
| 2023-01-27 04:06:30 +0100 | <[Leary]> | famubu: `Folc` can have free variables, whilst `Hoas` can have "lambdas" that are actually macros---they're not isomorphic. But if you're prepared to error on those free variables, you can write that direction by passing down a local scope you examine in the `Var` case and extend in the `Abs` case. |
| 2023-01-27 04:07:39 +0100 | <mauke> | `compileWith e (FolcVar v) = fromMaybe (error ("Unbound variable: " ++ show v)) (M.lookup v e)` |
| 2023-01-27 04:08:04 +0100 | <famubu> | The string argument of `Var` needs to be made a haskell function right? Like `Var "a"`. How can that be handled? |
| 2023-01-27 04:08:16 +0100 | <famubu> | Folc's Var. |
| 2023-01-27 04:15:35 +0100 | <[Leary]> | The real question here: is there any way to fail gracefully without altering `Hoas`? The `Abs` case seems to require `Traversable ((->) r)`. |
| 2023-01-27 04:18:04 +0100 | td_ | (~td@i53870931.versanet.de) (Ping timeout: 260 seconds) |
| 2023-01-27 04:19:35 +0100 | td_ | (~td@i53870938.versanet.de) |
| 2023-01-27 04:22:34 +0100 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 252 seconds) |
| 2023-01-27 04:23:40 +0100 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) |
| 2023-01-27 04:25:54 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-27 04:25:54 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-27 04:25:54 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-27 04:36:52 +0100 | <hololeap> | anyone know enough about optparse-applicative and bash to know if the completion scripts optparse-applicative generates have any kind of caching? |
| 2023-01-27 04:40:55 +0100 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2023-01-27 04:43:56 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-01-27 04:44:26 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-01-27 04:44:27 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-27 04:48:09 +0100 | famubu | (~famubu@user/famubu) (Ping timeout: 268 seconds) |
| 2023-01-27 04:59:49 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-01-27 05:00:28 +0100 | thegeekinside | (~thegeekin@189.180.66.244) (Ping timeout: 252 seconds) |
| 2023-01-27 05:06:43 +0100 | Guest7512 | (~Guest75@178.141.149.12) (Ping timeout: 260 seconds) |
| 2023-01-27 05:09:47 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-01-27 05:12:05 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-27 05:16:46 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-01-27 05:18:18 +0100 | thegeekinside | (~thegeekin@189.180.66.244) |
| 2023-01-27 05:18:48 +0100 | famubu | (~famubu@14.139.174.50) |
| 2023-01-27 05:30:42 +0100 | famubu | (~famubu@14.139.174.50) (Ping timeout: 268 seconds) |
| 2023-01-27 05:46:18 +0100 | <hololeap> | so, just a poll on code style here |
| 2023-01-27 05:46:24 +0100 | <hololeap> | doesFileExist catFile >>= \case |
| 2023-01-27 05:46:33 +0100 | <hololeap> | or bind it in a do block and use if |
| 2023-01-27 05:48:07 +0100 | <hololeap> | oh, there is a bool function, to isn't there? |
| 2023-01-27 05:48:35 +0100 | <hololeap> | I'm not sure if that would be better than the LamdaCase usage |
| 2023-01-27 05:48:57 +0100 | <hololeap> | *LambdaCase |
| 2023-01-27 05:50:26 +0100 | <hololeap> | that extension doesn't seem to be used very often, but this seems like a good use of it |
| 2023-01-27 05:51:59 +0100 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) |
| 2023-01-27 05:52:00 +0100 | <hololeap> | http://sprunge.us/MMWgzy |
| 2023-01-27 05:52:24 +0100 | ezzieygu1wuf | ezzieyguywuf |
| 2023-01-27 05:53:46 +0100 | <hololeap> | not sure where that "e <- " came from |
| 2023-01-27 05:54:47 +0100 | <[Leary]> | hololeap: Consider `whenM :: (Monad m, Monoid a) => m Bool -> m a -> m a` |
| 2023-01-27 05:55:15 +0100 | <monochrom> | I use a do-block and if. |
| 2023-01-27 05:55:48 +0100 | talismanick | (~talismani@2601:200:c181:4c40::1be2) |
| 2023-01-27 05:56:03 +0100 | <hololeap> | [Leary]: I see that in extra. looks like a great idea, actually |
| 2023-01-27 05:58:13 +0100 | <hololeap> | oh, no you have it loosened to just a monoid instead of () |
| 2023-01-27 05:58:27 +0100 | <hololeap> | so that's better |
| 2023-01-27 05:59:01 +0100 | <hololeap> | then you can actually return something |
| 2023-01-27 06:00:00 +0100 | <[Leary]> | Yeah, unfortunately most `when`s are grossly undergeneralised. Though a control-bool does have this one. |
| 2023-01-27 06:00:14 +0100 | <[Leary]> | s/a // |
| 2023-01-27 06:00:22 +0100 | <dsal> | I don't like the concept of `doesFileExist`. It should be `didFileExist` |
| 2023-01-27 06:07:59 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-27 06:08:21 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Read error: Connection reset by peer) |
| 2023-01-27 06:09:05 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-27 06:10:02 +0100 | <hololeap> | [Leary]: to be fair, even this is a bit undergenerallized. `a` really doesn't have to be a Semigroup, but I wouldn't want to pull in something like data-default either |
| 2023-01-27 06:10:03 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Client Quit) |
| 2023-01-27 06:10:57 +0100 | <dsal> | I don't think you need any conditions in there. |
| 2023-01-27 06:11:59 +0100 | <dsal> | Since you're not doing anything special in the case of a missing file. But there's a race condition between the file check and the file read. I'd just avoid that with fewer syscalls. |
| 2023-01-27 06:12:04 +0100 | <dsal> | Probably write something more like -- repoCategories p = S.fromList . filter (not . null) . lines <$> (readFile (p </> "profiles" </> "categories") <|> pure "") |
| 2023-01-27 06:16:50 +0100 | <[Leary]> | `whenM :: Monad m => m Bool -> m a -> m (Maybe a)` is another version that's more suitable in some cases and avoids the `Semigroup` constraint, but neither is more general. It's effectively the other `whenM` specialised to `Data.Monoid.(First|Last)`. |
| 2023-01-27 06:18:34 +0100 | <hololeap> | ok, that makes sense dsal |
| 2023-01-27 06:19:23 +0100 | <hololeap> | true, [Leary] |
| 2023-01-27 06:23:55 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2023-01-27 06:35:10 +0100 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2023-01-27 06:38:50 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-27 06:41:28 +0100 | phma_ | phma |
| 2023-01-27 06:42:35 +0100 | <hololeap> | dsal: http://sprunge.us/lEajQV |
| 2023-01-27 06:42:56 +0100 | mbuf | (~Shakthi@49.204.141.97) (Ping timeout: 248 seconds) |
| 2023-01-27 06:46:19 +0100 | mbuf | (~Shakthi@49.205.83.133) |
| 2023-01-27 06:46:40 +0100 | <dsal> | That works. Folding Maybe always seems a bit weird to me, but I wouldn't reject it. |
| 2023-01-27 06:47:11 +0100 | <hololeap> | monoid homomorphism bruh |
| 2023-01-27 06:56:45 +0100 | <dsal> | Yeah, I like how it's just kind of mempty in the fail case. |
| 2023-01-27 07:04:32 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-01-27 07:05:51 +0100 | mbuf | (~Shakthi@49.205.83.133) (Ping timeout: 256 seconds) |
| 2023-01-27 07:06:17 +0100 | mbuf | (~Shakthi@49.204.139.7) |
| 2023-01-27 07:15:16 +0100 | mbuf | (~Shakthi@49.204.139.7) (Ping timeout: 252 seconds) |
| 2023-01-27 07:16:11 +0100 | mbuf | (~Shakthi@49.204.114.210) |
| 2023-01-27 07:17:33 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-01-27 07:19:35 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-01-27 07:25:29 +0100 | <c_wraith> | dsal: folding Maybe is more or less what got Foldable moved into the Prelude. Too many people (including me) asked for some kind of whenJust_ function, not realizing that's what traverse_ did. |
| 2023-01-27 07:27:55 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2023-01-27 07:29:04 +0100 | <dsal> | Yeah, thinking of Maybe as a zero-or-one container is pretty helpful. |
| 2023-01-27 07:30:13 +0100 | <dsal> | People at work use `for` over `Maybe` and it still looks weird to me, but primarily because of the name. |
| 2023-01-27 07:31:32 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-01-27 07:35:12 +0100 | thegeekinside | (~thegeekin@189.180.66.244) (Ping timeout: 248 seconds) |
| 2023-01-27 07:37:33 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-01-27 07:59:13 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2023-01-27 07:59:26 +0100 | Inst | (~Inst@2601:6c4:4081:54f0:d69:b4d9:a19f:4350) |
| 2023-01-27 08:01:56 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2023-01-27 08:05:17 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2023-01-27 08:05:18 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-01-27 08:06:50 +0100 | jonathanx | (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) |
| 2023-01-27 08:07:35 +0100 | jonathanx | (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) (Remote host closed the connection) |
| 2023-01-27 08:08:46 +0100 | michalz | (~michalz@185.246.207.200) |
| 2023-01-27 08:09:15 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2023-01-27 08:14:46 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2023-01-27 08:16:19 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-01-27 08:17:28 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2023-01-27 08:17:31 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 2023-01-27 08:34:42 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-01-27 08:38:08 +0100 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 248 seconds) |
| 2023-01-27 08:40:04 +0100 | opticblast | (~Thunderbi@071-095-206-108.biz.spectrum.com) |
| 2023-01-27 08:40:24 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2023-01-27 08:43:19 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2023-01-27 08:46:42 +0100 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) |
| 2023-01-27 08:47:17 +0100 | opticblast | (~Thunderbi@071-095-206-108.biz.spectrum.com) (Ping timeout: 256 seconds) |
| 2023-01-27 08:48:12 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e16f:8:1535:c0b7) |
| 2023-01-27 08:52:14 +0100 | yoneda | (~mike@193.206.102.122) |
| 2023-01-27 08:52:47 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-01-27 08:55:22 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2023-01-27 08:57:30 +0100 | freeside | (~mengwong@122.11.214.161) |
| 2023-01-27 08:59:23 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2023-01-27 09:10:19 +0100 | Taneb0 | Taneb |
| 2023-01-27 09:14:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-27 09:18:39 +0100 | razetime | (~Thunderbi@117.254.35.214) (Ping timeout: 248 seconds) |
| 2023-01-27 09:22:22 +0100 | vpan | (~0@212.117.1.172) |
| 2023-01-27 09:26:49 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2023-01-27 09:35:52 +0100 | razetime | (~Thunderbi@117.254.35.214) |
| 2023-01-27 09:37:23 +0100 | famubu | (~famubu@14.139.174.50) |
| 2023-01-27 09:37:24 +0100 | acidjnk | (~acidjnk@p200300d6e715c482898063fbbda3714c.dip0.t-ipconnect.de) |
| 2023-01-27 09:40:17 +0100 | ft | (~ft@p4fc2a257.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-01-27 09:42:38 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-01-27 09:47:16 +0100 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2023-01-27 09:47:37 +0100 | mei | (~mei@user/mei) |
| 2023-01-27 09:48:20 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-27 09:52:27 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-01-27 09:53:17 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-01-27 09:53:57 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-27 09:57:47 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-01-27 09:58:42 +0100 | nschoe | (~q@141.101.51.197) |
| 2023-01-27 10:00:07 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-01-27 10:00:08 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-27 10:00:48 +0100 | acidjnk | (~acidjnk@p200300d6e715c482898063fbbda3714c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-01-27 10:02:01 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2023-01-27 10:02:04 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-27 10:05:04 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-27 10:05:32 +0100 | famubu | (~famubu@14.139.174.50) (Quit: leaving) |
| 2023-01-27 10:09:31 +0100 | zeenk | (~zeenk@2a02:2f04:a014:8700::7fe) |
| 2023-01-27 10:14:35 +0100 | talismanick | (~talismani@2601:200:c181:4c40::1be2) (Ping timeout: 260 seconds) |
| 2023-01-27 10:17:20 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) |
| 2023-01-27 10:19:48 +0100 | eruditass | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-27 10:19:58 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-27 10:22:59 +0100 | freeside | (~mengwong@122.11.214.161) (Read error: Connection reset by peer) |
| 2023-01-27 10:23:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-27 10:31:28 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-01-27 10:37:17 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-27 10:41:02 +0100 | acidjnk | (~acidjnk@p200300d6e715c482e53a5abd00fe838c.dip0.t-ipconnect.de) |
| 2023-01-27 10:48:33 +0100 | chele | (~chele@user/chele) |
| 2023-01-27 10:48:42 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2023-01-27 10:49:24 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-27 10:54:33 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-27 11:00:18 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2023-01-27 11:01:30 +0100 | koz_ | (~koz@121.99.240.58) (Ping timeout: 260 seconds) |
| 2023-01-27 11:02:47 +0100 | koz | (~koz@121.99.240.58) |
| 2023-01-27 11:04:53 +0100 | mmhat | (~mmh@p200300f1c707becbee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-01-27 11:08:02 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-01-27 11:08:14 +0100 | mmhat | (~mmh@p200300f1c707becbee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-01-27 11:10:02 +0100 | mmhat | (~mmh@p200300f1c707becbee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-01-27 11:10:11 +0100 | mmhat | (~mmh@p200300f1c707becbee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-01-27 11:12:19 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2023-01-27 11:15:15 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-01-27 11:19:31 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2023-01-27 11:28:20 +0100 | micro_ | (~micro@user/micro) (Ping timeout: 268 seconds) |
| 2023-01-27 11:29:47 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-27 11:30:54 +0100 | micro | (~micro@user/micro) |
| 2023-01-27 11:34:06 +0100 | phma | (phma@2001:5b0:210d:1698:3951:e640:aa91:215e) (Read error: Connection reset by peer) |
| 2023-01-27 11:34:33 +0100 | phma | (~phma@host-67-44-208-72.hnremote.net) |
| 2023-01-27 11:49:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-27 11:52:24 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-01-27 12:04:34 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ccbb:e6cd:6139:338f) |
| 2023-01-27 12:05:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-27 12:06:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-27 12:09:17 +0100 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:f466:fdb8:3722:b768) |
| 2023-01-27 12:13:36 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2023-01-27 12:15:54 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-01-27 12:23:05 +0100 | simendsjo | (~user@h-155-4-132-216.NA.cust.bahnhof.se) |
| 2023-01-27 12:24:47 +0100 | nschoe | (~q@141.101.51.197) (Ping timeout: 260 seconds) |
| 2023-01-27 12:27:28 +0100 | akegalj | (~akegalj@78-1-187-190.adsl.net.t-com.hr) |
| 2023-01-27 12:34:26 +0100 | kuribas | (~user@ptr-17d51eng2m5p9ozdver.18120a2.ip6.access.telenet.be) |
| 2023-01-27 12:35:12 +0100 | trev_ | (~trev@109.252.35.99) |
| 2023-01-27 12:41:00 +0100 | dcoutts | (~duncan@host86-167-216-160.range86-167.btcentralplus.com) |
| 2023-01-27 12:43:14 +0100 | dcoutts_ | (~duncan@host86-153-247-191.range86-153.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2023-01-27 12:57:35 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-27 13:02:17 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2023-01-27 13:03:44 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-27 13:04:35 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-01-27 13:10:18 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-27 13:10:55 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-01-27 13:15:28 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-01-27 13:19:32 +0100 | Guest75 | (~Guest75@178.141.149.12) |
| 2023-01-27 13:26:58 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-27 13:34:14 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-27 14:00:14 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-01-27 14:02:44 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:69b0:9088:f89b:d475) |
| 2023-01-27 14:12:17 +0100 | simendsjo | (~user@h-155-4-132-216.NA.cust.bahnhof.se) (Remote host closed the connection) |
| 2023-01-27 14:12:19 +0100 | nschoe | (~q@141.101.51.197) |
| 2023-01-27 14:19:15 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-27 14:25:25 +0100 | razetime | (~Thunderbi@117.254.35.214) (Remote host closed the connection) |
| 2023-01-27 14:26:51 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-01-27 14:50:54 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-01-27 14:51:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-01-27 14:53:36 +0100 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-01-27 14:54:07 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds) |
| 2023-01-27 14:57:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) |
| 2023-01-27 14:58:51 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-01-27 15:02:13 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Ping timeout: 252 seconds) |
| 2023-01-27 15:02:19 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-01-27 15:03:32 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-01-27 15:03:39 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-01-27 15:06:59 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2023-01-27 15:11:10 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-27 15:15:10 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-01-27 15:15:48 +0100 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2023-01-27 15:16:56 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8) |
| 2023-01-27 15:17:16 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-27 15:17:17 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-27 15:18:21 +0100 | akshitkr | (~user@218.185.248.66) |
| 2023-01-27 15:18:36 +0100 | <akshitkr> | hi |
| 2023-01-27 15:18:56 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-27 15:19:23 +0100 | <akshitkr> | im learning haskell but i like learning by building projects instead of just reading book chapters but im not sure where to start |
| 2023-01-27 15:19:50 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-27 15:19:52 +0100 | <akshitkr> | i know about lyah and haskell from first principles but kinda bored already |
| 2023-01-27 15:21:24 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-27 15:21:58 +0100 | akshitkr | komikat |
| 2023-01-27 15:26:41 +0100 | telser_ | (~quassel@user/telser) |
| 2023-01-27 15:27:12 +0100 | telser | (~quassel@user/telser) (Ping timeout: 248 seconds) |
| 2023-01-27 15:29:26 +0100 | thegeekinside | (~thegeekin@189.180.66.244) |
| 2023-01-27 15:31:38 +0100 | <geekosaur> | there's always getting involved with a project like pandoc, hledger, or xmonad |
| 2023-01-27 15:32:24 +0100 | <geekosaur> | I learned practical Haskell by getting involved with xmonad |
| 2023-01-27 15:33:02 +0100 | <geekosaur> | the down side of which is you need to understand X11 pretty well for that, so you may be better off with one of the others if you don't have that |
| 2023-01-27 15:33:41 +0100 | <komikat> | i see |
| 2023-01-27 15:33:56 +0100 | <komikat> | sounds interesting |
| 2023-01-27 15:34:13 +0100 | <komikat> | though im not sure how you get involved with a project like that |
| 2023-01-27 15:36:39 +0100 | <geekosaur> | https://hledger.org/dev.html https://pandoc.org/CONTRIBUTING.html |
| 2023-01-27 15:37:20 +0100 | <komikat> | geekosaur: thanks |
| 2023-01-27 15:37:27 +0100 | <geekosaur> | https://hackage.haskell.org/package/xmonad-contrib-0.17.1/docs/XMonad-Doc-Developing.html |
| 2023-01-27 15:39:47 +0100 | komikat | (~user@218.185.248.66) (ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 2023-01-27 15:41:05 +0100 | komikat | (~user@218.185.248.66) |
| 2023-01-27 15:54:09 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-01-27 15:54:26 +0100 | ft | (~ft@p4fc2a257.dip0.t-ipconnect.de) |
| 2023-01-27 15:59:14 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-01-27 15:59:19 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-01-27 15:59:44 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:69b0:9088:f89b:d475) (Ping timeout: 248 seconds) |
| 2023-01-27 15:59:48 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-27 16:01:58 +0100 | <sm> | +1! for something smaller, there's |
| 2023-01-27 16:01:59 +0100 | <sm> | @where lhbg |
| 2023-01-27 16:01:59 +0100 | <lambdabot> | I know nothing about lhbg. |
| 2023-01-27 16:02:52 +0100 | <sm> | @where lhbg |
| 2023-01-27 16:02:52 +0100 | <lambdabot> | https://lhbg-book.link - Learn Haskell by building a blog generator, a highly-regarded learning resource |
| 2023-01-27 16:03:59 +0100 | <akegalj> | you could try playing with https://github.com/cdepillabout/termonad , which is terminal emulator in haskell. Might be easier than xmonad |
| 2023-01-27 16:06:10 +0100 | <sm> | @where haskell-via-sokoban |
| 2023-01-27 16:06:12 +0100 | <lambdabot> | https://haskell-via-sokoban.nomeata.de |
| 2023-01-27 16:07:12 +0100 | sm | proposes to shorten this: |
| 2023-01-27 16:07:12 +0100 | sm | @where+ sokoban https://haskell-via-sokoban.nomeata.de - learn Haskell by building a Sokoban game |
| 2023-01-27 16:08:05 +0100 | <geekosaur> | go for it, I think you're the closest thing we have for a curator for @where |
| 2023-01-27 16:08:29 +0100 | ardell | (~ardell@user/ardell) |
| 2023-01-27 16:09:18 +0100 | <sm> | hmm I already did it, acknowledge bot |
| 2023-01-27 16:09:37 +0100 | <sm> | @where+ sokoban https://haskell-via-sokoban.nomeata.de - learn Haskell by building a Sokoban game |
| 2023-01-27 16:09:37 +0100 | <lambdabot> | Done. |
| 2023-01-27 16:09:46 +0100 | <sm> | @where+ haskell-via-sokoban |
| 2023-01-27 16:09:46 +0100 | <lambdabot> | It is forgotten. |
| 2023-01-27 16:16:02 +0100 | <sm> | a reminder: @where links can be searched at https://haskell-links.org or jumped to via https://haskell-links.org/sokoban (5 minutes after bot update) |
| 2023-01-27 16:16:59 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e16f:8:1535:c0b7) (Ping timeout: 264 seconds) |
| 2023-01-27 16:21:05 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-27 16:21:09 +0100 | BasL | (~BasL@217-102-223-197.cable.dynamic.v4.ziggo.nl) |
| 2023-01-27 16:22:38 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 16:26:14 +0100 | mechap | (~mechap@user/mechap) |
| 2023-01-27 16:26:55 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-27 16:31:13 +0100 | <sm> | @where links |
| 2023-01-27 16:31:13 +0100 | <lambdabot> | https://haskell-links.org collected Haskell links and search tools, including @where links |
| 2023-01-27 16:32:08 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-01-27 16:32:45 +0100 | <sm> | @where+ https://haskell-links.org - searchable Haskell links, collected with @where |
| 2023-01-27 16:32:45 +0100 | <lambdabot> | It is stored. |
| 2023-01-27 16:33:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-27 16:34:37 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-01-27 16:39:05 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-01-27 16:41:44 +0100 | BasL | (~BasL@217-102-223-197.cable.dynamic.v4.ziggo.nl) (Quit: Ping timeout (120 seconds)) |
| 2023-01-27 16:45:18 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-01-27 16:52:40 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-01-27 16:54:40 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-01-27 16:55:12 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-01-27 16:59:30 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 17:02:12 +0100 | mei | (~mei@user/mei) |
| 2023-01-27 17:03:43 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-27 17:05:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-27 17:05:30 +0100 | fjMSX | (~hypni2p@89-179-32-81.broadband.corbina.ru) (Quit: Уш'лЪЬ їз єтой IRC сетї) |
| 2023-01-27 17:08:38 +0100 | akegalj | (~akegalj@78-1-187-190.adsl.net.t-com.hr) (Quit: leaving) |
| 2023-01-27 17:09:50 +0100 | kuribas | (~user@ptr-17d51eng2m5p9ozdver.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-01-27 17:10:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-01-27 17:13:07 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-01-27 17:13:19 +0100 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2023-01-27 17:15:23 +0100 | nschoe | (~q@141.101.51.197) (Quit: Switching off) |
| 2023-01-27 17:16:24 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-01-27 17:19:36 +0100 | <sm> | doh... using error in production code ? https://github.com/input-output-hk/cardano-node/issues/4826 |
| 2023-01-27 17:20:36 +0100 | jero98772_ | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2023-01-27 17:20:57 +0100 | <sm> | (took down half of the cardano blockchain's nodes for a minute or so, apparently) |
| 2023-01-27 17:21:11 +0100 | jero98772_ | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2023-01-27 17:21:54 +0100 | ChanServ | +o geekosaur |
| 2023-01-27 17:22:03 +0100 | | https://www.reddit.com/r/haskell | Admin: #haskell-ops | Offtopic: #haskell-offtopic | https://downloads.haskell.org https://play-haskell.tomsmeding.com/ | Paste code/errors: https://paste.tomsmeding.com | Logs: https://ircbrowse.tomsmeding.com/browse/lchaskell |
| 2023-01-27 17:22:07 +0100 | geekosaur | -o geekosaur |
| 2023-01-27 17:22:23 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 17:22:24 +0100 | razetime | (~Thunderbi@117.254.35.214) |
| 2023-01-27 17:24:16 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-01-27 17:25:02 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-01-27 17:25:26 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) |
| 2023-01-27 17:27:12 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-27 17:28:22 +0100 | akshitkr | (~user@218.185.248.66) |
| 2023-01-27 17:28:22 +0100 | <akshitkr> | ls |
| 2023-01-27 17:33:49 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-27 17:33:55 +0100 | <geekosaur> | window? |
| 2023-01-27 17:40:11 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-27 17:40:48 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2023-01-27 17:41:45 +0100 | akshitkr | (~user@218.185.248.66) (Killed buffer) |
| 2023-01-27 17:42:17 +0100 | <Jadeitits[m]> | https://youtu.be/BlWOwg_UFaI |
| 2023-01-27 17:42:27 +0100 | <Jadeitits[m]> | really interesting talk |
| 2023-01-27 17:44:13 +0100 | <sm> | what about Jade 🏳️⚧️ (it/its) ? |
| 2023-01-27 17:48:10 +0100 | ddellacosta | (~ddellacos@143.244.47.70) (Quit: WeeChat 3.7.1) |
| 2023-01-27 17:49:04 +0100 | ddellacosta | (~ddellacos@143.244.47.70) |
| 2023-01-27 17:50:27 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 17:53:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Remote host closed the connection) |
| 2023-01-27 17:54:06 +0100 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
| 2023-01-27 17:54:53 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 246 seconds) |
| 2023-01-27 18:02:22 +0100 | <sm> | <sm> "doh... using error in production..." <- ah, I found no error calls in cardano-node itself. It's in the containers lib :/ |
| 2023-01-27 18:02:31 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 18:05:05 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-27 18:06:37 +0100 | mbuf | (~Shakthi@49.204.114.210) (Quit: Leaving) |
| 2023-01-27 18:13:09 +0100 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:f466:fdb8:3722:b768) (Quit: ubert1) |
| 2023-01-27 18:13:16 +0100 | Bocaneri | (~sauvin@user/Sauvin) |
| 2023-01-27 18:13:39 +0100 | Bocaneri | Guest5836 |
| 2023-01-27 18:16:05 +0100 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 260 seconds) |
| 2023-01-27 18:25:43 +0100 | trev_ | (~trev@109.252.35.99) (Remote host closed the connection) |
| 2023-01-27 18:31:45 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-27 18:33:53 +0100 | Guest5836 | Sauvin |
| 2023-01-27 18:34:16 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2023-01-27 18:37:53 +0100 | manwithluck | (~manwithlu@194.177.28.192) |
| 2023-01-27 18:38:08 +0100 | econo | (uid147250@user/econo) |
| 2023-01-27 18:38:55 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-01-27 18:39:25 +0100 | razetime | (~Thunderbi@117.254.35.214) (Remote host closed the connection) |
| 2023-01-27 18:39:30 +0100 | Inst_ | (~Inst@2601:6c4:4081:54f0:d69:b4d9:a19f:4350) |
| 2023-01-27 18:41:02 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-27 18:42:24 +0100 | Inst | (~Inst@2601:6c4:4081:54f0:d69:b4d9:a19f:4350) (Ping timeout: 255 seconds) |
| 2023-01-27 18:43:32 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-27 18:47:13 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-01-27 18:47:34 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-27 18:47:40 +0100 | Inst_ | (~Inst@2601:6c4:4081:54f0:d69:b4d9:a19f:4350) (Ping timeout: 252 seconds) |
| 2023-01-27 18:50:47 +0100 | trev | (~trev@user/trev) |
| 2023-01-27 18:53:13 +0100 | gnyeki_ | gnyeki |
| 2023-01-27 18:53:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) |
| 2023-01-27 18:57:17 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-27 18:57:58 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-01-27 18:58:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Ping timeout: 255 seconds) |
| 2023-01-27 18:59:30 +0100 | Guest|35 | (~Guest|35@141.20.217.47) |
| 2023-01-27 19:09:16 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-27 19:09:35 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 248 seconds) |
| 2023-01-27 19:15:20 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 246 seconds) |
| 2023-01-27 19:18:27 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 19:24:38 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-27 19:25:15 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-01-27 19:26:27 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-27 19:27:14 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-01-27 19:27:14 +0100 | cheater_ | cheater |
| 2023-01-27 19:28:00 +0100 | elevenkb | (~elevenkb@105.184.125.233) |
| 2023-01-27 19:29:20 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-01-27 19:29:34 +0100 | angelore | (~u0_a291@151.135.106.190) |
| 2023-01-27 19:31:50 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-01-27 19:31:53 +0100 | hussam | (~hussam@user/hussam) (Quit: issued !quit command) |
| 2023-01-27 19:32:44 +0100 | foul_owl | (~kerry@157.97.134.62) (Ping timeout: 260 seconds) |
| 2023-01-27 19:35:21 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) |
| 2023-01-27 19:38:39 +0100 | hussam | (~hussam@user/hussam) |
| 2023-01-27 19:40:29 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-01-27 19:48:06 +0100 | foul_owl | (~kerry@71.212.143.88) |
| 2023-01-27 19:48:51 +0100 | zeenk | (~zeenk@2a02:2f04:a014:8700::7fe) (Quit: Konversation terminated!) |
| 2023-01-27 19:51:58 +0100 | Guest|35 | (~Guest|35@141.20.217.47) (Quit: Connection closed) |
| 2023-01-27 20:00:31 +0100 | f__ | (~futar@129.234.0.191) |
| 2023-01-27 20:01:39 +0100 | f__ | (~futar@129.234.0.191) (Client Quit) |
| 2023-01-27 20:02:06 +0100 | fut | (~futar@129.234.0.191) |
| 2023-01-27 20:05:43 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-27 20:05:43 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-27 20:05:43 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-27 20:06:12 +0100 | <davean> | sm: if they're tried to submit stuff upstream this wouldn't have happened I think. |
| 2023-01-27 20:06:38 +0100 | <davean> | and, sm, I' |
| 2023-01-27 20:06:49 +0100 | <davean> | d say they are using error in production since they used internals |
| 2023-01-27 20:07:09 +0100 | <davean> | If you use Internals, its YOU that is directly responsible for that code you call |
| 2023-01-27 20:07:40 +0100 | <sm> | that hasn't been established yet (see containers issue) |
| 2023-01-27 20:09:21 +0100 | <davean> | what do you mean? I'm looking at their calls to Internals. |
| 2023-01-27 20:09:28 +0100 | <sm> | oh, got a link ? |
| 2023-01-27 20:09:36 +0100 | fut | (~futar@129.234.0.191) () |
| 2023-01-27 20:09:49 +0100 | <davean> | Yes, they're in the cardano ticket *before you poked upstream* |
| 2023-01-27 20:10:49 +0100 | angelore | (~u0_a291@151.135.106.190) (Quit: WeeChat 3.8) |
| 2023-01-27 20:11:33 +0100 | <davean> | They have some useful functions - maybe - but they're making them custom |
| 2023-01-27 20:11:37 +0100 | <sm> | ah, thanks |
| 2023-01-27 20:11:58 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-01-27 20:12:21 +0100 | <davean> | If they'd upstreamed they'd have opted into the appropriate testing |
| 2023-01-27 20:12:55 +0100 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-27 20:13:42 +0100 | <davean> | I don't think these are gregious abuses of Internal, just not tied into the infrastructure to do it right |
| 2023-01-27 20:13:50 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-27 20:13:55 +0100 | <sm> | I'm still generally of the opinion that error calls/partiality should always be mentioned in haddocks, even in .Internal modules, but YMMV |
| 2023-01-27 20:14:31 +0100 | <davean> | They SPECIFICLY insert a Tip into a balanceR I thinl? |
| 2023-01-27 20:14:33 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-27 20:14:58 +0100 | <davean> | Not sure |
| 2023-01-27 20:15:09 +0100 | <sm> | I'm not pointing any blame at containers, just interested in hygiene and making reliability easier |
| 2023-01-27 20:15:14 +0100 | <davean> | https://github.com/input-output-hk/cardano-ledger/blob/master/libs/cardano-data/src/Data/Canonical… I'd need to work through the invariants there properly |
| 2023-01-27 20:16:00 +0100 | <davean> | They are doing that at a Tip place, I'm not sure how they get there though and if it is safe |
| 2023-01-27 20:17:31 +0100 | <davean> | sm: I explicitely claim you *may not* use any .Internals without having read and taken the time to understand all the code - its .Internal and any lesser requirement would be seriously bad |
| 2023-01-27 20:17:39 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-01-27 20:18:00 +0100 | <davean> | There may be several papers you need to read before you touch a .Internals too |
| 2023-01-27 20:18:12 +0100 | <davean> | you are now a maintainer of the combination of your library and the one you're using |
| 2023-01-27 20:18:29 +0100 | <davean> | You can't document the deep changes someone is now making to the library |
| 2023-01-27 20:18:30 +0100 | <sm> | sure, but in reality if it's exposed it will be used, and I think it's reasonable to mention partiality in all haddocks without exception |
| 2023-01-27 20:18:33 +0100 | <davean> | error is a tiny piece of it |
| 2023-01-27 20:18:47 +0100 | <davean> | No its not because error is the *good* case |
| 2023-01-27 20:19:02 +0100 | <davean> | Anything computable could drop out of how someone uses .Internals |
| 2023-01-27 20:19:11 +0100 | sm | speaking as someone who worked hard to remove error calls to improve reliability |
| 2023-01-27 20:19:30 +0100 | <davean> | Sure, generally, but in .Internal I'd say removing errors calls lowers reliability. |
| 2023-01-27 20:19:55 +0100 | <sm> | could be, could be |
| 2023-01-27 20:20:04 +0100 | <davean> | If you cover a case that is outside the invariants, then you get divergent code |
| 2023-01-27 20:20:35 +0100 | <davean> | error is the best case of what can happen |
| 2023-01-27 20:21:25 +0100 | <mauke> | I'm pretty sure the invariants are all documented in comments |
| 2023-01-27 20:21:36 +0100 | <mauke> | if you're going to reach into internals, you better look at the source code anyway |
| 2023-01-27 20:21:47 +0100 | <davean> | mauke: right, you MUST read the code |
| 2023-01-27 20:21:53 +0100 | <davean> | Its now you're code! |
| 2023-01-27 20:22:35 +0100 | <davean> | You've stripped it of its protections and arrangement that makes it upsteam's code |
| 2023-01-27 20:22:55 +0100 | <sm> | .Internal is a bit of a lie really.. if it was truly internal it wouldn't have needed to be exposed. It really means "exposed for someone, but not you! stay away!" |
| 2023-01-27 20:23:08 +0100 | Guest75 | (~Guest75@178.141.149.12) (Ping timeout: 260 seconds) |
| 2023-01-27 20:23:11 +0100 | ardell | (~ardell@user/ardell) (Ping timeout: 248 seconds) |
| 2023-01-27 20:23:13 +0100 | ardell_ | (~ardell@user/ardell) |
| 2023-01-27 20:24:16 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-27 20:25:08 +0100 | <davean> | .Internals means one can publish demonstrations of what one could build into the package. |
| 2023-01-27 20:25:39 +0100 | <mauke> | "if it was truly internal, they wouldn't have published the source code" |
| 2023-01-27 20:25:46 +0100 | <davean> | Yah, what mauke said |
| 2023-01-27 20:27:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Remote host closed the connection) |
| 2023-01-27 20:28:20 +0100 | <davean> | .Internals specificly allow a *maintainer or someone opting into being a maintainer* to publish sibling libraries |
| 2023-01-27 20:28:32 +0100 | <davean> | We don't have any protected way to do that |
| 2023-01-27 20:28:55 +0100 | foul_owl | (~kerry@71.212.143.88) (Ping timeout: 252 seconds) |
| 2023-01-27 20:29:03 +0100 | elevenkb | (~elevenkb@105.184.125.233) (Quit: Client closed) |
| 2023-01-27 20:29:05 +0100 | <davean> | but since you've transformed the library it no longer has any properties that upstream can make claims about |
| 2023-01-27 20:29:53 +0100 | <monochrom> | .Internal is probably a necessary quirk to enable more testing. |
| 2023-01-27 20:30:12 +0100 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 2023-01-27 20:30:14 +0100 | <davean> | monochrom: well inside a package you can do that testing, if you use *modern* cabal features |
| 2023-01-27 20:30:21 +0100 | <davean> | but it has to be very modern, even INSIDE a package |
| 2023-01-27 20:31:32 +0100 | <davean> | But what you can't do with it is publish an experimental interface that iterates seperate from the code library for review |
| 2023-01-27 20:31:37 +0100 | <monochrom> | Yeah it's a very recent development that has not trickled into the community. |
| 2023-01-27 20:32:29 +0100 | <davean> | monochrom: well, it isn't even compatible with some people's installs |
| 2023-01-27 20:32:45 +0100 | <davean> | if you do it ATM you're blocking some users. So for a containers like library it might reasonably not exist yet |
| 2023-01-27 20:35:22 +0100 | ardell_ | (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 2023-01-27 20:35:28 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 2023-01-27 20:36:19 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 20:37:28 +0100 | <davean> | If there WAS a way to publish "core"/"internal" libraries seperatelly that would be good, but it'll never be more secure than just saying .Internal (yes, you COULD publish a list of allowed users, or sign permission slips - thats not good) |
| 2023-01-27 20:39:41 +0100 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2023-01-27 20:40:59 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-01-27 20:41:19 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 20:44:10 +0100 | foul_owl | (~kerry@157.97.134.62) |
| 2023-01-27 20:44:23 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2023-01-27 20:44:39 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-27 20:45:14 +0100 | tlaxkit | (~hexchat@170.253.46.25) |
| 2023-01-27 20:45:47 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 264 seconds) |
| 2023-01-27 20:46:18 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-27 20:50:42 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-01-27 20:51:43 +0100 | kurbus | (~kurbus@user/kurbus) (Ping timeout: 260 seconds) |
| 2023-01-27 20:57:55 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-27 21:08:32 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 248 seconds) |
| 2023-01-27 21:10:47 +0100 | Inst_ | (~Inst@2601:6c4:4081:54f0:1c3a:fdd1:d6ac:9fe5) |
| 2023-01-27 21:11:01 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-01-27 21:15:27 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 248 seconds) |
| 2023-01-27 21:16:19 +0100 | elkcl | (~elkcl@broadband-188-255-19-11.ip.moscow.rt.ru) |
| 2023-01-27 21:19:24 +0100 | slack1256 | (~slack1256@181.42.52.201) |
| 2023-01-27 21:19:32 +0100 | <sm> | hmm, how do you check if for an interactive shell session in haskell |
| 2023-01-27 21:20:55 +0100 | <mauke> | https://rosettacode.org/wiki/Check_input_device_is_a_terminal#Haskell ? |
| 2023-01-27 21:21:13 +0100 | <sm> | thanks! I could have sworn there was something in base or ansi-terminal |
| 2023-01-27 21:21:52 +0100 | telser_ | (~quassel@user/telser) (Ping timeout: 248 seconds) |
| 2023-01-27 21:22:22 +0100 | telser | (~quassel@user/telser) |
| 2023-01-27 21:22:31 +0100 | <sm> | maybe https://hackage.haskell.org/package/ansi-terminal-0.11.4/docs/System-Console-ANSI.html#v:hSupports… includes it |
| 2023-01-27 21:23:42 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-01-27 21:26:44 +0100 | son0p | (~ff@181.136.122.143) |
| 2023-01-27 21:27:51 +0100 | <geekosaur> | https://downloads.haskell.org/ghc/9.2.5/docs/html/libraries/base-4.16.4.0/System-IO.html#v:hIsTerm… |
| 2023-01-27 21:28:24 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2023-01-27 21:28:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) |
| 2023-01-27 21:32:24 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-01-27 21:33:15 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Ping timeout: 260 seconds) |
| 2023-01-27 21:33:17 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 268 seconds) |
| 2023-01-27 21:37:36 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 268 seconds) |
| 2023-01-27 21:38:54 +0100 | <sm> | AH, thank you! |
| 2023-01-27 21:39:33 +0100 | <unit73e> | now you can do one of those fancy terminal applications with a loading bar and all |
| 2023-01-27 21:40:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-27 21:40:43 +0100 | <monochrom> | That would be a long story, but generally libraries like ansi-terminal or vty or brick will help. |
| 2023-01-27 21:41:17 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-01-27 21:41:40 +0100 | califax | (~califax@user/califx) |
| 2023-01-27 21:41:43 +0100 | <Lycurgus> | boils down to some standard file handles that are or aren't present |
| 2023-01-27 21:42:18 +0100 | <sm> | unit73e: hehehe don't joke I am already waist deep adding a little colour |
| 2023-01-27 21:43:02 +0100 | <Lycurgus> | and tty assignment |
| 2023-01-27 21:43:04 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: leaving) |
| 2023-01-27 21:43:10 +0100 | <sm> | > -- | A version of getLayerColor that is less likely to leak escape sequences to output, and that returns a RGB of Floats (0..1) that is more compatible with the colour package. This does nothing in a non-interactive context (eg when piping stdout to another command), inside emacs (emacs shell buffers show the escape sequence for some reason), or in a non-colour-supporting terminal. |
| 2023-01-27 21:43:12 +0100 | <lambdabot> | <no location info>: error: |
| 2023-01-27 21:43:12 +0100 | <lambdabot> | not an expression: ‘-- | A version of getLayerColor that is less likely ... |
| 2023-01-27 21:43:49 +0100 | <sm> | stay back, bot |
| 2023-01-27 21:43:59 +0100 | <monochrom> | "less likely" doesn't induce a lot of confidence :) |
| 2023-01-27 21:44:26 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-27 21:47:03 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-01-27 21:49:03 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2023-01-27 21:49:39 +0100 | <sm> | hehe this is not a place for confidence |
| 2023-01-27 21:51:55 +0100 | <geekosaur> | confidence and terminals? try again… |
| 2023-01-27 21:52:23 +0100 | <geekosaur> | granting that it's better now than the old wild west days |
| 2023-01-27 21:53:16 +0100 | monochrom | goes back to the comfort of math... |
| 2023-01-27 21:54:16 +0100 | <monochrom> | I'm doing the exercise of using parametricity to prove that if p :: forall a. a -> Maybe a, then p = const Nothing or p = Just. |
| 2023-01-27 21:54:28 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2023-01-27 21:54:46 +0100 | <monochrom> | Worse, I don't take Maybe for granted, I'm doing forall a. a -> (forall b. b -> (a -> b) -> b). |
| 2023-01-27 21:55:03 +0100 | <monochrom> | So, I'm allowing myself only System F. |
| 2023-01-27 21:55:45 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) |
| 2023-01-27 21:57:58 +0100 | <sm> | ... but I do seem to have reasonably effective choosing of text colour to contrast with light or dark terminal background now... except in emacs and in transparent terminals |
| 2023-01-27 22:00:46 +0100 | <unit73e> | I bet some guys here have met a lot of different terminal formats. I'm not of that time but I've heard stories. |
| 2023-01-27 22:05:20 +0100 | pavonia | (~user@user/siracusa) |
| 2023-01-27 22:05:52 +0100 | <geekosaur> | I started out in the mid 80s. I used "wild west" advisedly |
| 2023-01-27 22:06:11 +0100 | <Jadeitits[m]> | <sm> "what about Jade 🏳️⚧️ (it/its) ?" <- hm? |
| 2023-01-27 22:06:28 +0100 | <geekosaur> | they were asking what the talk you posted was about |
| 2023-01-27 22:07:16 +0100 | <geekosaur> | I thought Wyse 50s were weird until I got a Beehive Superbee |
| 2023-01-27 22:07:16 +0100 | Vajb | (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) (Read error: Connection reset by peer) |
| 2023-01-27 22:07:31 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2023-01-27 22:07:54 +0100 | <Jadeitits[m]> | Ahh, it's about a specific haskell compiler that is made for circuit design and FPGA's |
| 2023-01-27 22:08:07 +0100 | <Jadeitits[m]> | 'Clash' |
| 2023-01-27 22:08:17 +0100 | <geekosaur> | yep, it's reasonably well known |
| 2023-01-27 22:08:34 +0100 | <Jadeitits[m]> | interesting stuff! |
| 2023-01-27 22:08:55 +0100 | <Jadeitits[m]> | made me interested in learning more about fpga's |
| 2023-01-27 22:11:24 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2023-01-27 22:12:41 +0100 | Vajb | (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) |
| 2023-01-27 22:13:03 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2023-01-27 22:13:43 +0100 | OscarZ | (~oscarz@95.175.104.141) |
| 2023-01-27 22:15:22 +0100 | P1RATEZ | (piratez@user/p1ratez) |
| 2023-01-27 22:23:59 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-27 22:27:19 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-27 22:35:59 +0100 | komikat | (~user@218.185.248.66) (Ping timeout: 248 seconds) |
| 2023-01-27 22:37:28 +0100 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2023-01-27 22:38:08 +0100 | opticblast | (~Thunderbi@206.181.83.18) |
| 2023-01-27 22:40:47 +0100 | jle`` | (~jusle@user/jle/x-3894663) (Quit: WeeChat 3.6) |
| 2023-01-27 22:41:08 +0100 | <jle`> | /b 1 |
| 2023-01-27 22:43:13 +0100 | Cale | (~cale@cpebc4dfb3052b3-cmbc4dfb3052b0.cpe.net.cable.rogers.com) (Quit: Leaving) |
| 2023-01-27 22:43:27 +0100 | Cale | (~cale@cpebc4dfb3052b3-cmbc4dfb3052b0.cpe.net.cable.rogers.com) |
| 2023-01-27 22:43:31 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2023-01-27 22:43:36 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2023-01-27 22:43:47 +0100 | Cale | (~cale@cpebc4dfb3052b3-cmbc4dfb3052b0.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2023-01-27 22:43:59 +0100 | Cale | (~cale@cpebc4dfb3052b3-cmbc4dfb3052b0.cpe.net.cable.rogers.com) |
| 2023-01-27 22:45:23 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-01-27 22:47:03 +0100 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Client Quit) |
| 2023-01-27 22:53:08 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 255 seconds) |
| 2023-01-27 22:55:14 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-01-27 22:57:09 +0100 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2023-01-27 22:57:36 +0100 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-01-27 23:07:31 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:898b:2aa:c3c8:2561) (Remote host closed the connection) |
| 2023-01-27 23:07:50 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-01-27 23:10:14 +0100 | falafel | (~falafel@2607:fb91:1449:aea0:f865:53e8:e6e9:b249) |
| 2023-01-27 23:11:49 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-01-27 23:16:33 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2023-01-27 23:20:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-27 23:26:55 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-27 23:28:12 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-01-27 23:42:10 +0100 | falafel | (~falafel@2607:fb91:1449:aea0:f865:53e8:e6e9:b249) (Ping timeout: 260 seconds) |
| 2023-01-27 23:46:16 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-27 23:49:34 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2023-01-27 23:59:20 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |