Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 .. 5022
— 502,152 events total
2020-11-12 10:31:21 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th)
2020-11-12 10:33:06 × adm quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-12 10:34:19 → adm joins (~adm@43.229.89.44)
2020-11-12 10:36:21 → toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io)
2020-11-12 10:37:35 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-12 10:39:05 × adm quits (~adm@43.229.89.44) (Ping timeout: 240 seconds)
2020-11-12 10:39:22 × ericsagnes quits (~ericsagne@2405:6580:0:5100:2aa9:cfa1:c8c2:4c1f) (Ping timeout: 260 seconds)
2020-11-12 10:41:59 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-12 10:42:05 → falling-edge[m] joins (falling-ed@gateway/shell/matrix.org/x-yiekkkjicabtzpwl)
2020-11-12 10:44:46 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-12 10:45:28 brown121407 is now known as b7
2020-11-12 10:46:21 → bquest_123_ joins (~bquest_12@5.112.15.240)
2020-11-12 10:46:32 × rprije quits (~rprije@124.148.131.132) (Ping timeout: 272 seconds)
2020-11-12 10:47:40 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-12 10:49:01 b7 is now known as brown
2020-11-12 10:49:30 brown is now known as Guest62565
2020-11-12 10:49:40 Guest62565 is now known as b121407
2020-11-12 10:50:53 b121407 is now known as zazavatar
2020-11-12 10:51:17 → ericsagnes joins (~ericsagne@2405:6580:0:5100:997a:f045:9c21:27be)
2020-11-12 10:51:54 → christo joins (~chris@81.96.113.213)
2020-11-12 10:55:31 × idhugo quits (~idhugo@users-1190.st.net.au.dk) (Quit: Leaving)
2020-11-12 10:56:46 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-12 10:58:14 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-11-12 10:58:17 zazavatar is now known as brown121407
2020-11-12 11:01:15 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:80a8:2f65:adf1:4c95) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-12 11:03:14 → britva joins (~britva@2a02:aa13:7240:2980:710d:443e:844f:5480)
2020-11-12 11:05:51 → wonderworker joins (bc2b8820@188.43.136.32)
2020-11-12 11:06:17 × wonderworker quits (bc2b8820@188.43.136.32) (Remote host closed the connection)
2020-11-12 11:06:19 → Sanchayan joins (~Sanchayan@122.181.216.76)
2020-11-12 11:09:00 hackage phonetic-languages-constraints 0.3.1.0 - Constraints to filter the needed permutations https://hackage.haskell.org/package/phonetic-languages-constraints-0.3.1.0 (OleksandrZhabenko)
2020-11-12 11:11:09 × Sanchayan quits (~Sanchayan@122.181.216.76) (Client Quit)
2020-11-12 11:14:29 → m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de)
2020-11-12 11:14:52 × Yumasi quits (~guillaume@40.72.95.92.rev.sfr.net) (Ping timeout: 258 seconds)
2020-11-12 11:15:11 → ski joins (~ski@nc-2504-30.studat.chalmers.se)
2020-11-12 11:15:38 × leah2 quits (~leah@vuxu.org) (Remote host closed the connection)
2020-11-12 11:16:54 → leah2 joins (~leah@vuxu.org)
2020-11-12 11:21:06 → samlamamma joins (~user@h188-122-129-70.cust.a3fiber.se)
2020-11-12 11:21:49 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 264 seconds)
2020-11-12 11:22:32 × avdb quits (~avdb@ip-83-134-68-229.dsl.scarlet.be) (Ping timeout: 256 seconds)
2020-11-12 11:24:17 × acidjnk_new quits (~acidjnk@p200300d0c718f661b553e508bfbf5b58.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-12 11:25:27 × Stanley00 quits (~stanley00@unaffiliated/stanley00) ()
2020-11-12 11:31:02 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-11-12 11:31:40 × hololeap quits (~hololeap@unaffiliated/hololeap) (Remote host closed the connection)
2020-11-12 11:32:08 × p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 272 seconds)
2020-11-12 11:33:27 → trcc joins (~trcc@2-104-60-169-cable.dk.customer.tdc.net)
2020-11-12 11:34:55 × samlamamma quits (~user@h188-122-129-70.cust.a3fiber.se) (Remote host closed the connection)
2020-11-12 11:36:30 → Emerald joins (8ba7aee6@139.167.174.230)
2020-11-12 11:37:56 <trcc> Hi. I am trying to figure out why the haskell visual studio code extension fails to detect my stack installation. I have just followed the very initial steps of "Start your new project" here: https://docs.haskellstack.org/en/stable/README/. WHen I open the folder in vscode then I get: "ghcide: unable to load package `ghc-prim-0.5.3` compiler [1,1]". Any ideas?
2020-11-12 11:38:21 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-12 11:38:21 → bergsans joins (~bergsans@c80-217-8-29.bredband.comhem.se)
2020-11-12 11:39:08 <benschza> [exa] and tomsmeding: thanks to your pointers I got the types right for the Arrows/Yampa problem.
2020-11-12 11:41:01 hackage phonetic-languages-examples 0.4.0.0 - A generalization of the uniqueness-periods-vector-examples functionality. https://hackage.haskell.org/package/phonetic-languages-examples-0.4.0.0 (OleksandrZhabenko)
2020-11-12 11:41:47 × xff0x quits (~fox@2001:1a81:53be:a900:6ffc:a5ea:f6d0:8f5a) (Ping timeout: 260 seconds)
2020-11-12 11:41:51 → Iceland_jack joins (~user@95.149.219.123)
2020-11-12 11:42:14 × britva quits (~britva@2a02:aa13:7240:2980:710d:443e:844f:5480) (Quit: This computer has gone to sleep)
2020-11-12 11:42:31 → bolver joins (~user@49.207.211.96)
2020-11-12 11:42:35 × bolver quits (~user@49.207.211.96) (Client Quit)
2020-11-12 11:42:37 → xff0x joins (~fox@2001:1a81:53be:a900:e888:cf37:a0ae:58b2)
2020-11-12 11:43:10 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-12 11:43:14 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-12 11:44:47 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-12 11:45:49 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-12 11:48:52 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-12 11:50:51 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 265 seconds)
2020-11-12 11:55:37 × Emerald quits (8ba7aee6@139.167.174.230) (Remote host closed the connection)
2020-11-12 11:56:10 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-12 12:00:01 × tsmango quits (~tsmango@178.239.168.171) ()
2020-11-12 12:01:38 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th) (Ping timeout: 256 seconds)
2020-11-12 12:03:23 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-12 12:07:50 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-pozlvwyabhwikscl)
2020-11-12 12:09:38 × alp quits (~alp@2a01:e0a:58b:4920:5893:9820:69f2:6f2) (Ping timeout: 264 seconds)
2020-11-12 12:11:13 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-12 12:14:38 <nshepperd2> > fromIntegral 12345678 :: Word8
2020-11-12 12:14:40 <lambdabot> 78
2020-11-12 12:15:17 × machinedgod quits (~machinedg@207.253.244.210) (Remote host closed the connection)
2020-11-12 12:16:43 <Taneb> This is because 12345600 = 256 * 48225 and Word8 wraps
2020-11-12 12:17:02 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-12 12:17:38 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-12 12:17:45 → machined1od joins (~machinedg@207.253.244.210)
2020-11-12 12:18:34 × machinedgod quits (~machinedg@207.253.244.210) (Client Quit)
2020-11-12 12:21:15 <nshepperd> seems reasonable
2020-11-12 12:23:59 <Taneb> Dumb idea: Word6.644ish, that wraps at 100
2020-11-12 12:26:31 hackage phonetic-languages-constraints 0.3.2.0 - Constraints to filter the needed permutations https://hackage.haskell.org/package/phonetic-languages-constraints-0.3.2.0 (OleksandrZhabenko)
2020-11-12 12:31:54 <nshepperd> heh
2020-11-12 12:34:39 × neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving)
2020-11-12 12:38:01 <pjb> nshepperd: seems idiotic. That's how you destroy rockets.
2020-11-12 12:38:25 → alp joins (~alp@2a01:e0a:58b:4920:5893:9820:69f2:6f2)
2020-11-12 12:38:46 <merijn> pjb: Well, what do you propose, then
2020-11-12 12:39:00 <pjb> bigints.
2020-11-12 12:39:12 <merijn> That seems rather unrelated
2020-11-12 12:39:13 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-12 12:39:25 <pjb> yeah…
2020-11-12 12:39:34 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-11-12 12:40:00 <pjb> It should signal an error.
2020-11-12 12:40:39 × nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat)
2020-11-12 12:40:56 → nek0 joins (~nek0@mail.nek0.eu)
2020-11-12 12:41:35 <merijn> Feel free to define proper semantics for that
2020-11-12 12:41:41 <merijn> Many people have tried and failed :)
2020-11-12 12:43:30 × dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing)
2020-11-12 12:43:48 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
←Prev  Next→
Page 1 .. 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 .. 5022

All times are in UTC.