Logs on 2023-09-30 (liberachat/#haskell)
| 00:06:06 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 00:16:17 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 00:20:55 | → | poscat joins (~poscat@user/poscat) |
| 00:23:51 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:27:04 | ← | whodevil parts (~whodevil@user/whodevil) () |
| 00:39:40 | × | CiaoSen quits (~Jura@2a05:5800:2b0:5700:664b:f0ff:fe37:9ef) (Ping timeout: 248 seconds) |
| 00:45:46 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 00:47:10 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:47:54 | × | billb quits (~billb@cpe-66-8-173-22.hawaii.res.rr.com) (Quit: Leaving) |
| 00:52:51 | → | rustisafungus joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 00:59:56 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 01:09:56 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 01:19:38 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 01:25:44 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 01:35:43 | × | otto_s quits (~user@p5de2fc38.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 01:35:50 | × | lottaquestions quits (~nick@2607:fa49:503d:b200:cdbf:2520:4906:ab36) (Quit: Konversation terminated!) |
| 01:36:08 | → | lottaquestions joins (~nick@2607:fa49:503d:b200:cdbf:2520:4906:ab36) |
| 01:37:25 | → | otto_s joins (~user@p4ff27c33.dip0.t-ipconnect.de) |
| 01:45:24 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 01:47:56 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 01:49:12 | → | poscat joins (~poscat@user/poscat) |
| 01:49:18 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:49:18 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:49:18 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:55:33 | → | Inst joins (~Inst@120.244.192.250) |
| 01:55:38 | <Inst> | best monad tutorial ever: |
| 01:55:43 | <Inst> | "Monads don't exist. The end." |
| 01:56:05 | × | bontaq quits (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 01:56:25 | × | Pixi quits (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 01:57:40 | <EvanR> | Monads, like words, are made up? |
| 01:59:47 | <Inst> | yeah, not trolling you guys with this crap, i doubt you'd find it amusing |
| 02:00:11 | <Inst> | (the actual substance is closer to: "stop calling them monads", but monad tutorials are actually really boring) |
| 02:05:19 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 02:05:55 | × | lottaquestions quits (~nick@2607:fa49:503d:b200:cdbf:2520:4906:ab36) (Quit: Konversation terminated!) |
| 02:05:58 | → | lottaquestions_ joins (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) |
| 02:06:14 | <EvanR> | finally we have a programming pattern with only 1 technical name and this name isn't being also used for other unrelated things (in programming), and they want to change it? |
| 02:06:22 | <EvanR> | figures |
| 02:07:04 | <Inst> | well, forget it, i don't want to bullshit people right now |
| 02:07:05 | × | td_ quits (~td@i53870934.versanet.de) (Ping timeout: 255 seconds) |
| 02:07:08 | <Inst> | (call them monadic types) |
| 02:07:39 | <EvanR> | k and what's the reasoning |
| 02:08:06 | <Inst> | obscures differences between monads and tries to force commonality beyond monad laws and obeying a particular interface |
| 02:08:21 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 02:08:34 | <Inst> | there's an old blog post talking about stop saying IO monad and say IO type instead |
| 02:08:41 | → | td_ joins (~td@i5387090E.versanet.de) |
| 02:08:42 | <Inst> | but extend the pattern to all monadic types |
| 02:08:44 | → | poscat joins (~poscat@user/poscat) |
| 02:11:13 | × | cyphase quits (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 02:11:58 | <Inst> | maybe type, either type, etc; because you can definitely use all of them as applicatives / functors profitably, and often foldables / traversables / semigroups / monoids |
| 02:13:09 | <EvanR> | ok in some cases the monadicness is really not the point, then talking about monads all the time can be inappropriate even if all your types happen to have a Monad instance |
| 02:13:42 | <EvanR> | in other cases, like the Control.Monad library, the monadicness is the whole point so you definitely will be working with monads |
| 02:14:05 | <Inst> | but monadic type as jargon is still useful for learners to get them to stop fixating on the notion |
| 02:14:20 | <Inst> | "monadic type, or monad for short" |
| 02:14:39 | <EvanR> | other examples are the free monad pattern, the record of API methods parameterized by a monad, etc |
| 02:15:14 | <Inst> | yeah once you get to free monads, it's too clunky to say free monadic type and i'd think free monadic type doesn't make sense |
| 02:15:35 | <EvanR> | I don't get the distinction between monad and monadic type really |
| 02:15:36 | <Inst> | fixating on types and their ramifications is more useful for newbies |
| 02:15:50 | <EvanR> | seems to have nothing to do with monads per se |
| 02:15:51 | <Inst> | monadic type implies that monadness is a property of a type, but focuses on the type |
| 02:16:16 | <EvanR> | well Monad is a type class, so it's automatically a property of a type |
| 02:16:25 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 02:16:36 | <EvanR> | I used to think "first, Monad is a type class" was an important first fact, now I'm not as sure |
| 02:16:42 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 02:17:04 | <EvanR> | more like don't start with monads |
| 02:17:12 | <Inst> | yeah, i guess |
| 02:17:23 | <Inst> | and fixating on types etc, introducing data declarations early, sum types, etc |
| 02:17:32 | <EvanR> | Functors are more useful, but also just as abstract |
| 02:17:39 | <Inst> | that was my mistake as a Haskell learner |
| 02:17:51 | <EvanR> | monomorphic types like Char first |
| 02:17:56 | <Inst> | I think a lot of people make the same mistake, they should try to think in types as soon as possible |
| 02:18:08 | <Inst> | no, but data decs |
| 02:18:09 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:18:09 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:18:09 | finn_elija | is now known as FinnElija |
| 02:18:14 | <EvanR> | hey this is the A Gentle Introduction all over again |
| 02:18:19 | <Inst> | modeling a domain with types |
| 02:18:24 | <Inst> | oh wow, let me read that :( |
| 02:18:38 | <geekosaur> | we dib't talk about functoral types |
| 02:18:41 | <geekosaur> | *don't |
| 02:19:05 | <Inst> | also, my clojurian friend is this close to trying to join a Haskell firm for giggles |
| 02:19:28 | <EvanR> | factorial types, (N, (N-1, (N-2, ...) |
| 02:20:46 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 02:24:34 | → | iris_67 joins (~iris_67@2804:14c:5b61:83f2:f953:8dd6:6a7e:40fb) |
| 02:27:01 | <EvanR> | so you want to learn haskell, first let me introduce you to some category theory (of monads, which are actually a pretty advanced topic) |
| 02:27:18 | <EvanR> | is a pretty absurd state of affairs |
| 02:31:40 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 02:36:17 | <monochrom> | Is it worse than this? So you want to learn probability theory and/or statistics, first let me introduce you to a monad... :) |
| 02:37:26 | <int-e> | so you want to modify a record field, let me introduce you to profunctors |
| 02:37:56 | → | poscat joins (~poscat@user/poscat) |
| 02:38:58 | <int-e> | (I still haven't found my way into lens... my programs are too simple I guess.) |
| 02:39:02 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 02:39:13 | <EvanR> | because you don't use lens |
| 02:39:30 | <EvanR> | it's a vicious cycle of simplicity |
| 02:39:36 | <int-e> | or rather my data structures |
| 02:40:05 | <davean> | Honestly IMO the benefit of lens isn't for your programs, its for your libraries |
| 02:40:21 | <davean> | They make updates first class |
| 02:41:25 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 02:41:48 | <iris_67> | how to properly converting a integer to string? I'm using OverloadStrings lanugage extension. on ghci cant find the toText function |
| 02:42:13 | <davean> | Huh? OverloadedStrings has nothing to do with that |
| 02:42:18 | <davean> | T.pack . show |
| 02:42:22 | <davean> | er |
| 02:42:25 | <int-e> | what if my data is immutable |
| 02:42:25 | <monochrom> | I have used lens just once. To unify, for binary search tree balancing, left rotation and right rotation. |
| 02:42:26 | <davean> | you said text there |
| 02:42:29 | <davean> | but "show" |
| 02:43:35 | <EvanR> | haskell is so powerful it can update immutable data |
| 02:43:52 | <monochrom> | Haha "the impossible has happened" |
| 02:44:07 | <int-e> | @ghc |
| 02:44:07 | <lambdabot> | CPR Analysis tried to take the lub of a function and a tuple |
| 02:44:25 | → | Inst joins (~Inst@120.244.192.250) |
| 02:44:52 | <int-e> | (I wonder how many of these errors still exist today...) |
| 02:45:59 | <davean> | int-e: It still allows a first class access scheme for libraries, including like focusing on a subset of a reader without the inefficiency of changing out the actual reader value, so it does the same thing with immutable data to a just slightly lesser event |
| 02:46:10 | <EvanR> | iris_67, show converts an Int among other things to a String |
| 02:46:18 | <davean> | (Again, not a problem you'd have in just your OWN program persay) |
| 02:46:43 | <iris_67> | EvanR ok, I'm getting: Couldn't match expected type ‘Deleted -> String’ |
| 02:46:43 | <iris_67> | with actual type ‘[Char] |
| 02:46:58 | <iris_67> | using show |
| 02:47:09 | <EvanR> | > show 7 |
| 02:47:10 | <lambdabot> | "7" |
| 02:47:18 | <Inst> | it's probably a syntax error |
| 02:47:23 | <Inst> | what is show being applied to? |
| 02:47:52 | <iris_67> | data Deleted = Deleted { |
| 02:47:52 | <iris_67> | amount :: Integer, |
| 02:47:53 | <iris_67> | total :: String |
| 02:47:53 | <iris_67> | } deriving (Eq, Show) |
| 02:47:54 | <iris_67> | instance Semigroup Deleted where |
| 02:47:54 | <iris_67> | a <> b = Deleted (amount a) (show amount a + show amount b) |
| 02:48:14 | <Inst> | :) |
| 02:48:17 | <EvanR> | show d where d :: Deleted should work |
| 02:48:20 | <davean> | yep, exactly |
| 02:48:51 | <EvanR> | oh |
| 02:48:57 | <Inst> | you're applying show to a function |
| 02:48:59 | <int-e> | show (amount a) etc. |
| 02:49:18 | <monochrom> | And + is not string concatenation. |
| 02:49:21 | <Inst> | of course... |
| 02:49:54 | <monochrom> | This is why no one should trust first questions and everyone should just reply "show actual code". |
| 02:50:03 | <iris_67> | tanks, now even the error message meakes sense |
| 02:50:12 | <Inst> | also, ask context to figure out what the learner actually knows |
| 02:50:19 | <EvanR> | too hard |
| 02:50:29 | <EvanR> | what do I even know |
| 02:50:58 | <Inst> | that you know nothing, hence you are the wisest. Also, Socrates. |
| 02:51:08 | <EvanR> | dude |
| 02:51:38 | <Inst> | https://en.wikipedia.org/wiki/I_know_that_I_know_nothing |
| 02:51:40 | <Inst> | oh, sorry |
| 02:52:02 | <EvanR> | wiki/ThisSentenceIsFalse |
| 02:52:15 | <Inst> | ffffffff |
| 02:52:19 | <monochrom> | Unpopular opinion: It is Bayesians who are the wisests. |
| 02:52:22 | <Inst> | goddamnit, logic! why do you always have to ruin things! |
| 02:53:18 | <int-e> | monochrom: but what *are* your priors... |
| 02:53:31 | <int-e> | . o O ( https://xkcd.com/1132/ ) |
| 02:53:44 | <mauke> | bad priors cause mad cow disease |
| 02:53:53 | <monochrom> | That's just a bootstrapping problem, and we programmers have long solved that. |
| 02:54:08 | <int-e> | mauke: well, close |
| 02:54:38 | <monochrom> | pions decay to mad cow bosons :) |
| 02:54:49 | <int-e> | monochrom: it's bootstraps all the way down? |
| 02:56:56 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 02:57:01 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 03:03:06 | × | micro quits (micro@user/micro) (Ping timeout: 258 seconds) |
| 03:03:31 | → | whodevil joins (~whodevil@user/whodevil) |
| 03:03:55 | → | micro joins (~micro@user/micro) |
| 03:08:16 | → | jargon joins (~jargon@184.101.67.95) |
| 03:10:18 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 03:14:53 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 03:16:16 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 03:20:53 | → | poscat joins (~poscat@user/poscat) |
| 03:32:21 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 03:33:02 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 03:35:55 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 03:41:00 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 03:52:23 | → | Pixi joins (~Pixi@user/pixi) |
| 03:52:38 | × | iris_67 quits (~iris_67@2804:14c:5b61:83f2:f953:8dd6:6a7e:40fb) (Ping timeout: 245 seconds) |
| 03:56:32 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 03:57:17 | → | aforemny joins (~aforemny@2001:9e8:6cda:a800:7c11:438a:f2ed:237a) |
| 03:58:24 | × | aforemny_ quits (~aforemny@i59F516CC.versanet.de) (Ping timeout: 272 seconds) |
| 04:07:52 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 04:09:43 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 04:12:38 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 255 seconds) |
| 04:16:46 | × | hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 04:25:07 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 04:36:33 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 04:56:05 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 04:59:57 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 05:09:58 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 272 seconds) |
| 05:15:36 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 05:25:07 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:28:07 | × | raym quits (~ray@user/raym) (Quit: Kernel update to FreeBSD 14.0-BETA4) |
| 05:39:45 | × | vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 05:40:30 | → | vglfr joins (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 05:41:22 | → | privacy joins (~privacy@user/privacy) |
| 05:43:23 | → | hiyori joins (~hiyori@user/hiyori) |
| 05:45:58 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 05:53:00 | × | sabino quits (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 05:59:33 | → | gmg joins (~user@user/gehmehgeh) |
| 06:06:21 | → | Jackneill joins (~Jackneill@20014C4E1E13B2008C46D54E2DB39A15.dsl.pool.telekom.hu) |
| 06:16:11 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 06:17:24 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 06:25:40 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f7734651fca00eb6362.dip0.t-ipconnect.de) |
| 06:28:08 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f7734651fca00eb6362.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 06:30:53 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) |
| 06:31:53 | → | acidjnk joins (~acidjnk@p200300d6e7072f77281c385093db625d.dip0.t-ipconnect.de) |
| 06:33:16 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 06:37:50 | → | sm joins (~sm@plaintextaccounting/sm) |
| 06:37:51 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 06:37:55 | → | poscat joins (~poscat@user/poscat) |
| 06:39:14 | → | sm joins (~sm@plaintextaccounting/sm) |
| 06:52:09 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 07:00:56 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:03:49 | → | ubert joins (~Thunderbi@91.141.43.58.wireless.dyn.drei.com) |
| 07:03:55 | × | vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 07:04:15 | → | vglfr joins (~vglfr@138.199.53.249) |
| 07:16:12 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) (Quit: Leaving) |
| 07:17:00 | × | vglfr quits (~vglfr@138.199.53.249) (Ping timeout: 248 seconds) |
| 07:17:32 | → | chomwitt joins (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 07:18:13 | × | privacy quits (~privacy@user/privacy) (Quit: Leaving) |
| 07:18:14 | → | vglfr joins (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 07:18:41 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 07:20:17 | → | Inst joins (~Inst@120.244.192.250) |
| 07:22:56 | × | chomwitt quits (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 07:24:15 | → | cyphase joins (~cyphase@user/cyphase) |
| 07:24:16 | → | privacy joins (~privacy@user/privacy) |
| 07:24:55 | × | cyphase quits (~cyphase@user/cyphase) (Client Quit) |
| 07:25:19 | → | cyphase joins (~cyphase@user/cyphase) |
| 07:25:32 | → | blackfield joins (~aenima@85.255.4.218) |
| 07:27:06 | × | cyphase quits (~cyphase@user/cyphase) (Client Quit) |
| 07:27:39 | → | cyphase joins (~cyphase@user/cyphase) |
| 07:27:46 | × | privacy quits (~privacy@user/privacy) (Client Quit) |
| 07:28:53 | → | privacy joins (~privacy@user/privacy) |
| 07:30:35 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 07:32:47 | × | privacy quits (~privacy@user/privacy) (Client Quit) |
| 07:33:53 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 07:34:54 | → | privacy joins (~privacy@user/privacy) |
| 07:35:55 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:39:00 | → | mastarija joins (~mastarija@247-92.dsl.iskon.hr) |
| 07:39:16 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 07:39:52 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 07:42:27 | × | mastarija quits (~mastarija@247-92.dsl.iskon.hr) (Client Quit) |
| 07:42:51 | → | mastarija joins (~mastarija@247-92.dsl.iskon.hr) |
| 07:47:26 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 260 seconds) |
| 07:47:33 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 07:49:59 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 07:55:15 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 07:57:41 | × | mastarija quits (~mastarija@247-92.dsl.iskon.hr) (Quit: Client closed) |
| 07:59:53 | × | ubert quits (~Thunderbi@91.141.43.58.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 08:00:53 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 08:02:40 | → | Pickchea joins (~private@user/pickchea) |
| 08:03:15 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 258 seconds) |
| 08:04:57 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 08:09:46 | → | poscat joins (~poscat@user/poscat) |
| 08:15:40 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 08:19:07 | → | sm joins (~sm@plaintextaccounting/sm) |
| 08:19:49 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 08:21:19 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:27:14 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 255 seconds) |
| 08:28:15 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 08:28:55 | → | sm joins (~sm@plaintextaccounting/sm) |
| 08:29:41 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 08:30:16 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 08:32:16 | → | cyphase joins (~cyphase@user/cyphase) |
| 08:35:10 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Ping timeout: 272 seconds) |
| 08:35:44 | → | sm joins (~sm@plaintextaccounting/sm) |
| 08:39:20 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 08:49:28 | → | arahael joins (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 08:57:05 | → | Inst joins (~Inst@120.244.192.250) |
| 09:00:55 | × | arahael quits (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 09:04:26 | → | mikko joins (~mikko@user/mikko) |
| 09:04:36 | × | rgw quits (~R@2605:a601:a0df:5600:699d:6247:4aeb:529a) (Quit: rgw) |
| 09:05:17 | <mikko> | what am i supposed to do with the output of "haskell-language-server-wrapper generate-default-config"? it looks like json but i can't find *any* mention of any .json configuration files in any of the documentation, it all talks about some hie stuff |
| 09:05:33 | <mikko> | i tried piping it to hie.yaml (since yaml is superset of json) but that just got me errors |
| 09:13:31 | × | privacy quits (~privacy@user/privacy) (Quit: Leaving) |
| 09:32:24 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 09:33:10 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 09:35:07 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 09:38:15 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 09:41:59 | <mikko> | hmm it seems the output of `haskell-language-server-wrapper generate-default-config` is some editor specific nonsense, problem is i'm trying to use the LSP without an editor |
| 09:45:16 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:46:27 | → | Inst joins (~Inst@120.244.192.250) |
| 09:47:37 | <Inst> | EvanR: I just want to apologize if I caused offense, there are two nothingness rejoinders I like. One of them is the Socratic Paradox / Socratic Wisdom line, which is not exactly the most effective rejoinder in a conversation, but is entertaining. |
| 09:48:37 | <Inst> | I couldn't resist when you implied such rhetorically |
| 09:49:01 | <Inst> | You've consistently been among the nicest people to me in this community, and thanks for that. :) |
| 09:50:25 | <Inst> | The other line is based on No One -> Outis ("No one", or the name Odysseus gave to the cyclops in the Odyssey) -> Odysseus, which I guess is way dumber. |
| 09:55:24 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 10:00:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:00:20 | → | poscat joins (~poscat@user/poscat) |
| 10:01:17 | → | cpressey joins (~cpressey@host-2-102-83-73.as13285.net) |
| 10:01:18 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 272 seconds) |
| 10:12:27 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:25:22 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 10:35:07 | → | Inst joins (~Inst@120.244.192.250) |
| 10:49:04 | → | Guest8 joins (~Guest54@craw-09-b2-v4wan-165306-cust509.vm24.cable.virginm.net) |
| 10:49:59 | × | Guest8 quits (~Guest54@craw-09-b2-v4wan-165306-cust509.vm24.cable.virginm.net) (Client Quit) |
| 10:50:21 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:51:10 | → | Guest54sdfa joins (~Guest54sd@craw-09-b2-v4wan-165306-cust509.vm24.cable.virginm.net) |
| 10:54:18 | × | Guest54sdfa quits (~Guest54sd@craw-09-b2-v4wan-165306-cust509.vm24.cable.virginm.net) (Client Quit) |
| 10:56:09 | → | chomwitt joins (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 11:05:28 | × | poscat quits (~poscat@user/poscat) (Quit: Bye) |
| 11:08:11 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 11:08:12 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 11:09:55 | × | mikoto-chan quits (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Client Quit) |
| 11:11:08 | → | danza joins (~francesco@151.43.48.225) |
| 11:14:34 | × | xff0x quits (~xff0x@2405:6580:b080:900:86d3:b9ba:fcd3:c6b9) (Read error: Connection reset by peer) |
| 11:20:59 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:26:09 | → | chimp_ joins (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 11:26:16 | → | jabuxas joins (~jabuxas@user/jabuxas) |
| 11:28:05 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 11:28:15 | → | Urchin[emacs] joins (~user@user/urchin) |
| 11:28:44 | × | Psybur quits (~Psybur@2601:5c9:4201:3220:e65f:1ff:fe95:62f8) (Ping timeout: 248 seconds) |
| 11:30:53 | × | lottaquestions_ quits (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) (Quit: Konversation terminated!) |
| 11:31:12 | → | lottaquestions_ joins (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) |
| 11:31:44 | × | kaol quits (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 255 seconds) |
| 11:32:34 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 11:32:48 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 11:33:17 | × | jabuxas quits (~jabuxas@user/jabuxas) (Ping timeout: 260 seconds) |
| 11:37:05 | × | lottaquestions_ quits (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) (Quit: Konversation terminated!) |
| 11:37:29 | → | lottaquestions_ joins (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) |
| 11:38:42 | → | xff0x joins (~xff0x@om126166231185.28.openmobile.ne.jp) |
| 11:49:33 | → | jabuxas joins (~jabuxas@user/jabuxas) |
| 11:55:36 | × | xff0x quits (~xff0x@om126166231185.28.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 11:58:48 | → | gooba_ joins (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 11:59:23 | × | gooba quits (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 12:00:55 | → | xff0x joins (~xff0x@2405:6580:b080:900:3257:e821:569a:1ca1) |
| 12:05:02 | × | jabuxas quits (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 12:06:04 | × | xff0x quits (~xff0x@2405:6580:b080:900:3257:e821:569a:1ca1) (Ping timeout: 272 seconds) |
| 12:06:31 | → | jabuxas joins (~jabuxas@user/jabuxas) |
| 12:06:37 | × | lottaquestions_ quits (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) (Quit: Konversation terminated!) |
| 12:07:01 | → | lottaquestions_ joins (~nick@2607:fa49:503d:b200:8728:ccd:bbb:9492) |
| 12:10:08 | → | xff0x joins (~xff0x@2405:6580:b080:900:5d21:b7eb:2abe:5eb0) |
| 12:13:20 | <danza> | haskell job indeed.com/viewjob?jk=3994b8c3c6b71bc6 |
| 12:14:27 | ← | Urchin[emacs] parts (~user@user/urchin) (ERC (IRC client for Emacs 27.1)) |
| 12:15:35 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 12:16:15 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Quit: leaving) |
| 12:16:20 | × | xff0x quits (~xff0x@2405:6580:b080:900:5d21:b7eb:2abe:5eb0) (Read error: Connection reset by peer) |
| 12:17:10 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 12:20:21 | → | xff0x joins (~xff0x@2405:6580:b080:900:b248:55c0:81a8:90d4) |
| 12:23:43 | × | jabuxas quits (~jabuxas@user/jabuxas) (Ping timeout: 264 seconds) |
| 12:24:15 | × | alphacen1 quits (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 12:26:56 | → | alphacentauri joins (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 12:30:14 | → | cpressey32 joins (~cpressey@host-2-102-83-73.as13285.net) |
| 12:30:58 | × | cpressey quits (~cpressey@host-2-102-83-73.as13285.net) (Ping timeout: 245 seconds) |
| 12:31:01 | × | cpressey32 quits (~cpressey@host-2-102-83-73.as13285.net) (Client Quit) |
| 12:32:15 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 12:32:57 | <mauke> | it's front-end/js stuff, US only |
| 12:35:58 | → | kupi joins (uid212005@id-212005.hampstead.irccloud.com) |
| 12:37:38 | <danza> | yeah, it is not very clear. Mentions the job being frontend-focused, but then requires four years haskell experience! I assumed it was US only and looked for that on the post but did not find it but you are probably right, these type of jobs are usually US only |
| 12:42:09 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:43:18 | × | jj_ quits (uid620921@id-620921.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:52:44 | <mauke> | I mean, it talks about 401(k) and dental |
| 12:53:54 | <danza> | yeah i also think it is US only |
| 12:54:53 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:01:00 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 13:03:47 | → | sabino joins (~sabino@user/sabino) |
| 13:04:38 | → | privacy joins (~privacy@user/privacy) |
| 13:12:51 | × | blackfield quits (~aenima@85.255.4.218) (Quit: see you) |
| 13:13:46 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:13:46 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:13:46 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:16:43 | × | alphacentauri quits (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 13:17:22 | → | __monty__ joins (~toonn@user/toonn) |
| 13:17:34 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 13:18:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 13:21:49 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) |
| 13:27:27 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 13:28:18 | → | CiaoSen joins (~Jura@2a05:5800:2ac:100:664b:f0ff:fe37:9ef) |
| 13:30:24 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 13:36:19 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 13:38:13 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 13:40:55 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 13:46:08 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 13:48:15 | × | acidjnk quits (~acidjnk@p200300d6e7072f77281c385093db625d.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 13:53:29 | → | olliep joins (~olliep@cpc115028-bour7-2-0-cust550.15-1.cable.virginm.net) |
| 13:53:37 | × | olliep quits (~olliep@cpc115028-bour7-2-0-cust550.15-1.cable.virginm.net) (Quit: Client closed) |
| 13:54:29 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 13:58:16 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:58:51 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer) |
| 14:00:50 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 14:19:31 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
| 14:20:27 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:24:08 | × | CiaoSen quits (~Jura@2a05:5800:2ac:100:664b:f0ff:fe37:9ef) (Ping timeout: 272 seconds) |
| 14:24:37 | → | danza_ joins (~francesco@151.57.83.127) |
| 14:24:51 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 14:27:36 | × | danza quits (~francesco@151.43.48.225) (Ping timeout: 260 seconds) |
| 14:28:46 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 14:29:14 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 14:31:41 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 14:34:24 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 14:42:46 | × | danza_ quits (~francesco@151.57.83.127) (Ping timeout: 255 seconds) |
| 14:43:56 | × | stites quits (~stites@130.44.147.204) (Ping timeout: 260 seconds) |
| 14:44:40 | → | Square joins (~Square@user/square) |
| 14:44:58 | → | stites joins (~stites@2607:fb90:ad62:a207:f0a1:b4c8:6d1c:d465) |
| 14:49:08 | → | jabuxas joins (~jabuxas@user/jabuxas) |
| 15:03:12 | × | She quits (haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.) |
| 15:08:54 | → | Shelob joins (haveident@libera/staff/she/her) |
| 15:15:23 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 15:15:41 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:16:26 | × | jabuxas quits (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 15:17:03 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:41a8:a837:a4a7:bda1) (Quit: Leaving) |
| 15:17:26 | → | jabuxas joins (~jabuxas@user/jabuxas) |
| 15:18:20 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 15:25:12 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 15:29:28 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 15:29:43 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 15:29:46 | × | jabuxas quits (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 15:31:31 | → | CiaoSen joins (~Jura@2a05:5800:2ac:100:664b:f0ff:fe37:9ef) |
| 15:38:43 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 15:41:30 | <Square> | If I have "SomeConstraint a => Proxy a" can i easily get "SomeConstraint a => Proxy (Wrapper a)"? |
| 15:41:49 | → | acidjnk joins (~acidjnk@p200300d6e7072f77281c385093db625d.dip0.t-ipconnect.de) |
| 15:41:50 | <Square> | ...using "Proxy a" |
| 15:42:32 | <EvanR> | maybe you want a SomeConstraint a *> Proxy a, or something, which is the Proxy a paired with the dictionary |
| 15:42:42 | <EvanR> | SomeConstraint a => Proxy a is more like a function waiting for a dictionary |
| 15:42:56 | <mauke> | fmap MkWrapper |
| 15:43:11 | <Square> | oh |
| 15:43:14 | <EvanR> | oh |
| 15:43:32 | <EvanR> | which is what you wanted anyway xD |
| 15:43:42 | <Square> | thanks. That works |
| 15:48:42 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 15:50:07 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 15:50:59 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 15:55:08 | edwardk | wakes from his slumber. |
| 15:55:09 | <edwardk> | What year is it? |
| 15:55:59 | <EvanR> | who's the president |
| 15:56:01 | <EvanR> | don't answer that |
| 15:56:40 | <edwardk> | EvanR: wise |
| 15:59:17 | <edwardk> | It seems like it was only yesterday that I thought learning enough about hardware to be dangerous was a good idea. Now, here I am, whitebearded and old, my youth spent. Is this what happens to all hardware folks? Is that why they are all so jaded? |
| 16:02:09 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 16:05:57 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 16:06:56 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:10:52 | <c_wraith> | hardware? eww. that's where you have to deal with the fact that it's all *reality* |
| 16:11:31 | <monochrom> | Between "learn enough about hardware to be dangerous" and "actually a hardware person" is a rabbit hole. |
| 16:13:03 | <monochrom> | You spent your later youth on category theory instead. That makes up for it. >:) |
| 16:13:36 | <edwardk> | my usual kan-extension tricks are a might bit harder to apply to busses and pins. |
| 16:16:12 | <edwardk> | and i never want to see another clock again |
| 16:16:43 | <monochrom> | haha OK that sounds jaded about hardware |
| 16:20:08 | → | elevenkb joins (elevenkb@thunix.net) |
| 16:23:31 | <EvanR> | haskell = the scene in the matrix where the dude is eating the fancy steak. hardware = when keanu reaves is getting disconnected from the spawning vat or whatever |
| 16:24:06 | <EvanR> | I know it's not real. But I don't care |
| 16:25:48 | <monochrom> | That is probably even some fillet mignon. |
| 16:25:57 | <edwardk> | i've never empathized so much with Joe Pantoliano. |
| 16:26:33 | Clint | squints. |
| 16:31:18 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:35:42 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:38:36 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 16:48:11 | × | CiaoSen quits (~Jura@2a05:5800:2ac:100:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 17:00:30 | → | wroathe joins (~wroathe@50.205.197.50) |
| 17:00:30 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 17:00:30 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:05:59 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:07:02 | × | rustisafungus quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 17:07:44 | → | oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 17:08:38 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 17:09:37 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 17:12:54 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 17:13:55 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 17:15:29 | × | hiyori quits (~hiyori@user/hiyori) (Quit: Client closed) |
| 17:15:40 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 17:18:38 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 17:20:52 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 17:28:46 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 17:29:24 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 17:31:40 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 17:37:05 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 17:41:27 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 17:41:52 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 17:42:27 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 17:43:19 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 17:43:42 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 17:45:59 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 17:47:07 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 17:48:59 | → | qqq joins (~qqq@92.43.167.61) |
| 17:53:28 | × | stites quits (~stites@2607:fb90:ad62:a207:f0a1:b4c8:6d1c:d465) (Read error: Connection reset by peer) |
| 17:53:47 | → | stites joins (~stites@130.44.147.204) |
| 17:54:06 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-126.cust.tzulo.com) |
| 17:55:57 | × | stites quits (~stites@130.44.147.204) (Read error: Connection reset by peer) |
| 17:56:25 | → | stites joins (~stites@130.44.147.204) |
| 17:59:35 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Remote host closed the connection) |
| 18:26:34 | → | jabuxas joins (~jabuxas@user/jabuxas) |
| 18:26:48 | × | sabino quits (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 18:30:32 | → | sabino joins (~sabino@user/sabino) |
| 18:38:29 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) |
| 18:38:47 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 18:41:06 | → | eggplant_ joins (~Eggplanta@2600:1700:38c5:d800:3520:77c4:eaae:ad1b) |
| 18:41:25 | → | alphacentauri joins (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 18:42:52 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:811a:19e6:6efb:da89) (Ping timeout: 248 seconds) |
| 18:45:32 | × | eggplant_ quits (~Eggplanta@2600:1700:38c5:d800:3520:77c4:eaae:ad1b) (Ping timeout: 248 seconds) |
| 18:49:52 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 18:53:32 | → | michalz joins (~michalz@185.246.204.104) |
| 18:53:36 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3520:77c4:eaae:ad1b) |
| 18:54:01 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-126.cust.tzulo.com) (Quit: Leaving) |
| 19:00:49 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:01:48 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:17:16 | → | captnemo joins (~captnemo@193.32.127.239) |
| 19:20:43 | × | dtman34 quits (~dtman34@2601:447:d000:93c9:7af1:1347:84cb:25c0) (Ping timeout: 264 seconds) |
| 19:24:56 | × | captnemo quits (~captnemo@193.32.127.239) (Read error: Connection reset by peer) |
| 19:33:55 | → | rgw joins (~R@2605:a601:a0df:5600:3810:5680:9c36:7c9e) |
| 19:42:03 | → | pavonia joins (~user@user/siracusa) |
| 19:52:51 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:53:31 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds) |
| 20:01:35 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 20:06:33 | → | Pickchea joins (~private@user/pickchea) |
| 20:07:46 | × | jabuxas quits (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 20:10:56 | × | parseval quits (sid239098@id-239098.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:14:32 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:24:08 | <drlkf> | is there a recursive version of gmapT? after reading scrap your boilerplate my takeaway was that it would help with generic traversals but the Data.Data members all seem to only apply to immediate subterms so i'm thinking i misunderstood the entire point |
| 20:24:47 | → | CiaoSen joins (~Jura@2a05:5800:2ac:100:664b:f0ff:fe37:9ef) |
| 20:26:25 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 20:28:09 | <[exa]> | drlkf: yeah there are many other versions |
| 20:28:27 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:30:33 | <drlkf> | outside of base i suppose? is there a package i can find on hackage? |
| 20:30:58 | <[exa]> | trying to find it right now tbh :D |
| 20:31:05 | <drlkf> | :< |
| 20:34:21 | <[exa]> | ah yes I recall the trick |
| 20:34:28 | <[exa]> | you can basically make a fixpoint for that yourself |
| 20:34:32 | <[exa]> | the SYB paper should show it |
| 20:35:13 | <[exa]> | basically this: https://hackage.haskell.org/package/syb-0.7.2.4/docs/Data-Generics-Schemes.html#v:everywhere |
| 20:35:43 | → | ph88 joins (~ph88@2a01:598:b9a2:ad5e:cf65:b90a:f607:5aa) |
| 20:36:03 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 20:36:04 | <[exa]> | (corresponds to section 3.3 in this one https://www.microsoft.com/en-us/research/wp-content/uploads/2003/01/hmap.pdf ) |
| 20:36:18 | <drlkf> | ah, i see. thanks |
| 20:37:10 | <[exa]> | the definition of everywhere that I linked seems to me basically compatible with the one from the paper, so I guess it should just work |
| 20:37:49 | <[exa]> | (I have to stop using basically rigth now, too much basic today already) |
| 20:38:59 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 20:40:42 | <drlkf> | yeah even mkT is in there, which is sort of wierd since it's tightly linked to the gmap family in the paper (from a fresh read i don't see a way to use gfoldl/gmap without it) |
| 20:41:46 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 20:42:45 | <[exa]> | drlkf: it has been out for some time, implementation strategy might have changed a lot (esp. given the common practicalities with getting this supported by the compiler) |
| 20:45:04 | <[exa]> | (if I had to guess now, I'd say that the bottom-most primitive now is either the generic fold or generic unfold, but better check. :D) |
| 20:47:14 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 20:48:02 | × | Jackneill quits (~Jackneill@20014C4E1E13B2008C46D54E2DB39A15.dsl.pool.telekom.hu) (Ping timeout: 260 seconds) |
| 20:48:46 | × | Square quits (~Square@user/square) (Ping timeout: 255 seconds) |
| 20:53:51 | → | wroathe joins (~wroathe@50.205.197.50) |
| 20:53:51 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 20:53:51 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:54:54 | glguy | is now known as ghoulguy |
| 20:57:55 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 20:58:17 | <EvanR> | it's still september glguy cut it out |
| 20:59:07 | <ghoulguy> | EvanR: it's like 3 hours away UTC and I'll be afk |
| 20:59:29 | <EvanR> | oh I figured you had it set to automatically change nick at midnight xD |
| 21:06:18 | × | vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Ping timeout: 272 seconds) |
| 21:10:47 | <davean> | I am a touch surprised it isn't automated. |
| 21:13:12 | → | privacy_ joins (~privacy@47.219.84.6) |
| 21:13:22 | × | privacy quits (~privacy@user/privacy) (Ping timeout: 255 seconds) |
| 21:21:32 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:23:30 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 21:25:03 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 21:26:40 | → | zenstoic joins (uid461840@id-461840.hampstead.irccloud.com) |
| 21:29:44 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:43:05 | <monochrom> | Oh hey ghoulguy haha nice to see you again! |
| 21:43:45 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 21:49:22 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 21:50:00 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 21:50:35 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 21:51:17 | × | privacy_ quits (~privacy@47.219.84.6) (Quit: Leaving) |
| 21:56:07 | <ghoulguy> | ^_^ |
| 22:00:50 | × | acidjnk quits (~acidjnk@p200300d6e7072f77281c385093db625d.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 22:02:41 | × | stites quits (~stites@130.44.147.204) (Read error: Connection reset by peer) |
| 22:03:03 | → | stites joins (~stites@2607:fb91:dc7:c1f8:1610:3bc7:75d6:893) |
| 22:07:44 | × | ph88 quits (~ph88@2a01:598:b9a2:ad5e:cf65:b90a:f607:5aa) (Ping timeout: 258 seconds) |
| 22:13:44 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 22:13:44 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 22:13:44 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:15:06 | → | ph88 joins (~ph88@2a01:598:b9a2:ad5e:ce77:7db5:edae:e67f) |
| 22:24:12 | × | CiaoSen quits (~Jura@2a05:5800:2ac:100:664b:f0ff:fe37:9ef) (Ping timeout: 248 seconds) |
| 22:31:48 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 22:32:24 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 22:32:38 | → | asivitz joins (uid178348@id-178348.tinside.irccloud.com) |
| 22:32:55 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:37:10 | <asivitz> | Anyone know how libraries are built on MacOS? (e.g. via stack). I ask because I'm trying to use the vulkan package, but the resulting library is invalid. It has a library reference to "@rpath/libvulkan.1.dylib" but there's no LC_RPATH that contains the path to that library (/usr/local/lib). The verbose output doesn't seem to indicate anything |
| 22:54:29 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 22:54:44 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 22:54:44 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 22:54:44 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:57:11 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:02:40 | × | michalz quits (~michalz@185.246.204.104) (Remote host closed the connection) |
| 23:04:21 | → | privacy joins (~privacy@user/privacy) |
| 23:20:02 | <asivitz> | well it seems like there was some change with the linker with xcode 15 such that it no longer looks in /usr/local/lib. Not sure if that's a bug or if there's anything the haskell tooling can do going forward |
| 23:20:43 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 23:26:05 | → | dtman34 joins (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) |
| 23:31:20 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 23:34:00 | × | chimp_ quits (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Read error: Connection reset by peer) |
| 23:35:48 | × | zenstoic quits (uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:36:41 | × | chomwitt quits (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 255 seconds) |
| 23:42:48 | → | eggplant_ joins (~Eggplanta@2600:1700:38c5:d800:dff:1f4:b04b:da72) |
| 23:46:26 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3520:77c4:eaae:ad1b) (Ping timeout: 260 seconds) |
| 23:49:31 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 23:51:51 | × | elkcl quits (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 240 seconds) |
| 23:53:07 | × | lg188 quits (~lg188@82.18.98.230) (Ping timeout: 255 seconds) |
| 23:56:15 | → | lg188 joins (~lg188@82.18.98.230) |
All times are in UTC on 2023-09-30.