Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 495 496 497 498 499 500 501 502 503 504 505 .. 5022
— 502,152 events total
2020-10-07 21:11:24 → conal joins (~conal@209.58.130.230)
2020-10-07 21:11:29 <dminuoso> Or is your point just that ContT can't have all the cool instances?
2020-10-07 21:11:34 <dminuoso> Those are very different points.
2020-10-07 21:11:49 <koz_> dminuoso: Mostly that. And yes, I agree with you, now that you put it that way.
2020-10-07 21:11:57 × conal quits (~conal@209.58.130.230) (Client Quit)
2020-10-07 21:12:11 → Christo joins (516071d5@81.96.113.213)
2020-10-07 21:12:12 <koz_> Again, pay me no mind in this instance. I don't have anything constructive to add, so I'll just stop fogging.
2020-10-07 21:12:19 × jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 246 seconds)
2020-10-07 21:12:24 <Christo> hi
2020-10-07 21:12:27 <monochrom> There is a conjecture that, infinitely often, I will be saddened by this for two 1-removed-consecutive days. >:)
2020-10-07 21:12:49 <dminuoso> monochrom: What's your position on mersenne prime days?
2020-10-07 21:12:56 <tomsmeding> koz_: is that a new verb
2020-10-07 21:13:01 → conal joins (~conal@209.58.130.230)
2020-10-07 21:13:21 <koz_> tomsmeding: IT IS NOW
2020-10-07 21:13:29 <Christo> does anyone else use vs code plugin with haskell (haskell live server)? i'm new to haskell and using it with cabal project
2020-10-07 21:13:30 <monochrom> I feel one step away from being very empowered by 2. :)
2020-10-07 21:13:42 <dminuoso> koz_: Well your rant was short and coherent. I dont see the verb befitting.
2020-10-07 21:14:04 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-10-07 21:14:09 <koz_> dminuoso: Lol, I guess I chose that verb due to substance, not style.
2020-10-07 21:14:12 tomsmeding agrees with dminuoso
2020-10-07 21:14:22 <koz_> But I guess 'fogging' could be argued to be a matter of _both_ style and substance?
2020-10-07 21:14:25 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2020-10-07 21:14:41 <monochrom> Basically this is one of those half-empty, half-full glass of water thing.
2020-10-07 21:14:55 <monochrom> You are sad that it is not completely full.
2020-10-07 21:15:13 <koz_> Yeah, even though I fully get the reasons why that is.
2020-10-07 21:15:14 <monochrom> I am happy that it is not completely empty. Except on prime-numbered days.
2020-10-07 21:15:24 → jneira_ joins (~jneira@80.30.101.206)
2020-10-07 21:15:40 <hpc> did you know that every sum of two primes can be expressed as an integer greater than 2?
2020-10-07 21:15:52 <monochrom> hahaha
2020-10-07 21:16:01 <koz_> hpc: Someone proved Goldbach while I wasn't looking?
2020-10-07 21:16:02 <hpc> https://www.smbc-comics.com/comic/number-hunt
2020-10-07 21:16:11 <monochrom> Are you trying to identify and kill math nerds? Because I'm so dead. :)
2020-10-07 21:16:44 <monochrom> koz_, someone proved the converse of Goldbach, heh.
2020-10-07 21:16:53 <koz_> monochrom: Wait what?
2020-10-07 21:16:56 <Christo> anyone else use haskell language server with VS code?
2020-10-07 21:16:58 <koz_> I missed this news?
2020-10-07 21:17:00 <monochrom> See the comic linkd.
2020-10-07 21:17:08 <monochrom> It's just a joke :)
2020-10-07 21:17:16 <koz_> ROFL
2020-10-07 21:17:18 × shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-07 21:17:27 <monochrom> Also, the converse is too easy.
2020-10-07 21:17:29 <koz_> You'll get a fair number of computer scientists that way too.
2020-10-07 21:17:46 <monochrom> Well they count as math nerds so it's OK.
2020-10-07 21:18:03 <tomsmeding> Christo: are you having trouble, or are you seeking like-minded souls? :)
2020-10-07 21:18:10 <koz_> ....... I _just_ got it.
2020-10-07 21:18:14 <koz_> I really am slow today.
2020-10-07 21:18:34 <hpc> somehow that only makes it funnier
2020-10-07 21:18:46 <Christo> tomsmeding ye having some trouble!
2020-10-07 21:18:47 <koz_> hpc: Well, I never claimed to be particularly smart.
2020-10-07 21:19:06 <hpc> i mean, part of it is "i am finally not the dumb one" to be sure
2020-10-07 21:19:30 <Christo> tomsmeding i'm new to haskell, and am trying to set up a good dev environment/ide type setup before i really start learning and writing the code heavily
2020-10-07 21:19:43 <Christo> it seems like i have the vs code working with stack
2020-10-07 21:19:47 → fendor joins (~fendor@178.115.131.141.wireless.dyn.drei.com)
2020-10-07 21:19:53 <Christo> extension*
2020-10-07 21:20:02 <Christo> but not 100% with cabal
2020-10-07 21:20:16 × jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 272 seconds)
2020-10-07 21:20:40 → jneira_ joins (~jneira@80.30.101.206)
2020-10-07 21:20:51 × conal quits (~conal@209.58.130.230) (Quit: Computer has gone to sleep.)
2020-10-07 21:21:00 × mrusme quits (~mrus@128.199.6.232) (Quit: Surfing the great wave off Kanagawa)
2020-10-07 21:21:06 <tomsmeding> Christo: is there an error message you're getting, or is something not working?
2020-10-07 21:21:07 → Barras2 joins (~Barras2@185.244.214.216)
2020-10-07 21:21:11 <Christo> tomsmeding: something called cradle is giving me an error msg
2020-10-07 21:21:16 <tomsmeding> ah
2020-10-07 21:21:16 → mrus joins (~mrus@128.199.6.232)
2020-10-07 21:21:23 <tomsmeding> what's it?
2020-10-07 21:21:28 <koz_> hpc: I can assure you, this channel witnesses but 1% of my slowness.
2020-10-07 21:21:49 <Christo> tomsmeding Failed to parse result of calling cabalcabal: Unknown target '/Users/chris/Documents/cabal-example-2/exe/Main.hs'.The package cabal-example2 has no file target 'exe/Main.hs'.
2020-10-07 21:22:27 <Christo> because i'm new to haskell , i'm finding the tooling a little fiddily and complicated
2020-10-07 21:22:31 <tomsmeding> Christo: did you execute a command in the terminal to get that, or the vscode haskell plugin just throw that at you?
2020-10-07 21:22:34 × ralejs quits (~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-07 21:22:38 <tomsmeding> also trust me, the tooling is fiddly
2020-10-07 21:22:44 <tomsmeding> even to experienced haskeller
2020-10-07 21:22:44 <tomsmeding> s
2020-10-07 21:22:45 → ralejs_ joins (~ralejs@2620:10d:c093:400::5:a494)
2020-10-07 21:23:02 <Christo> tomsmeding: the vscode haskell plugin gave me that msg
2020-10-07 21:23:19 <Christo> which i assume is something to do with haskell language server
2020-10-07 21:23:35 <tomsmeding> can you build your project, ignoring the language server integration for a moment?
2020-10-07 21:23:40 <tomsmeding> i.e. `cabal build`
2020-10-07 21:23:43 <Christo> i can build it ye
2020-10-07 21:23:46 <Christo> i'll do it now
2020-10-07 21:23:49 → cosimone joins (~cosimone@2001:b07:ae5:db26:f68c:50ff:fe0b:b774)
2020-10-07 21:23:55 <monochrom> I avoided this fiddlyness by avoiding the IDE mindset altogether.
2020-10-07 21:24:06 → knupfer joins (~Thunderbi@mue-88-130-61-066.dsl.tropolys.de)
2020-10-07 21:24:11 <maerwald> wait, why are you using cabal now when you started with stack?
2020-10-07 21:24:45 × jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 240 seconds)
2020-10-07 21:25:13 → mytestuser98 joins (~Username@188.242.105.118)
2020-10-07 21:26:22 <Christo> actually it's not building at the mo
2020-10-07 21:27:25 × mytestuser98 quits (~Username@188.242.105.118) (Client Quit)
2020-10-07 21:28:08 <Christo> ok
2020-10-07 21:28:15 <Christo> it works with new-build
2020-10-07 21:28:17 × chaosmasttter quits (~chaosmast@p200300c4a70b400140e8baf6489c3871.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-07 21:28:22 <Christo> but not build
2020-10-07 21:28:33 <koz_> Christo: Cabal version?
2020-10-07 21:29:04 <Christo> 2.4.1.0
2020-10-07 21:29:14 <Christo> so it's working with new-build
2020-10-07 21:29:19 <Christo> new-run
2020-10-07 21:29:34 → jneira_ joins (~jneira@80.30.101.206)
2020-10-07 21:29:36 <koz_> Christo: Update cabal to something less crufty.
2020-10-07 21:29:40 <koz_> This should fix your issues.
2020-10-07 21:29:52 <koz_> 2.4 is old-af.
←Prev  Next→
Page 1 .. 495 496 497 498 499 500 501 502 503 504 505 .. 5022

All times are in UTC.