Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 600 601 602 603 604 605 606 607 608 609 610 .. 5022
— 502,152 events total
2020-10-12 20:54:16 <JordiGH> ski: Huh, thanks, okay... that wasn't the result I expected, though. Let me check my math...
2020-10-12 20:54:39 <ski> JordiGH : perhaps i misinterpreted what you wanted, possibly ?
2020-10-12 20:55:22 <ski> > tails "abcdefghijklmnop"
2020-10-12 20:55:25 <lambdabot> ["abcdefghijklmnop","bcdefghijklmnop","cdefghijklmnop","defghijklmnop","efgh...
2020-10-12 20:55:32 <ski> > chunksOf 5 "abcdefghijklmnop"
2020-10-12 20:55:35 <lambdabot> ["abcde","fghij","klmno","p"]
2020-10-12 20:55:53 <JordiGH> ski: Yeah, wait, you have the right thing, what do I have wrong, hmmm...
2020-10-12 20:56:08 × laserpants quits (c59d0021@197.157.0.33) (Remote host closed the connection)
2020-10-12 20:58:27 × Tario quits (~Tario@200.119.187.185) (Read error: Connection reset by peer)
2020-10-12 20:58:51 → Tario joins (~Tario@201.192.165.173)
2020-10-12 21:00:01 × dwfreed1 quits (~dwfreed@178.162.204.214) ()
2020-10-12 21:01:24 → hekkaidekapus} joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-12 21:01:49 <JordiGH> ski: right, I meant fib_0*fib_3 - fib_1*fib_2 whoops
2020-10-12 21:02:09 <JordiGH> > let fibs = 0 : 1 : [fib_n0 + fib_n1 | fib_n0:fib_n1:_ <- tails fibs] in [fib_0*fib_3 - fib_1*fib_2 | [fib_0,fib_1,fib_2,fib_3] <- chunksOf 4 fibs]
2020-10-12 21:02:11 <lambdabot> [-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,...
2020-10-12 21:02:16 <JordiGH> Yay that worked.
2020-10-12 21:02:25 <JordiGH> Except chunking but close enoguh.
2020-10-12 21:02:39 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Read error: Connection reset by peer)
2020-10-12 21:02:52 <ski> ok
2020-10-12 21:03:09 <JordiGH> > let fibs = 0 : 1 : [fib_n0 + fib_n1 | fib_n0:fib_n1:_ <- tails fibs] in [fib_0*fib_3 - fib_1*fib_2 | [fib_0,fib_1,fib_2,fib_3] <- tails fibs]
2020-10-12 21:03:15 <lambdabot> mueval-core: Time limit exceeded
2020-10-12 21:03:23 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-12 21:03:43 × hekkaidekapus{ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-12 21:04:59 <JordiGH> > let fibs = 0 : 1 : [fib_n0 + fib_n1 | fib_n0:fib_n1:_ <- tails fibs] in [fib_0*fib_3 - fib_1*fib_2 | fib_0:fib_1:fib_2:fib_3:_ <- tails fibs]
2020-10-12 21:05:04 <lambdabot> [-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,...
2020-10-12 21:05:07 <JordiGH> w00t
2020-10-12 21:05:19 <JordiGH> ski: thank you so much!
2020-10-12 21:05:40 <JordiGH> But that took a while to compute, is this doing the dumb exponential recursive thing?
2020-10-12 21:06:07 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 21:06:27 × ggole quits (~ggole@2001:8003:8119:7200:7085:2b43:4bf6:e2e3) (Quit: Leaving)
2020-10-12 21:06:37 <ski> no
2020-10-12 21:08:47 <JordiGH> Hm, how do I make ghci remember readline history across sessions?
2020-10-12 21:11:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-12 21:11:47 <dminuoso> Doesn't ghci do this out of the box already?
2020-10-12 21:12:01 → _xor joins (~xor@74.215.46.133)
2020-10-12 21:12:10 <JordiGH> Oh, it does, my bad, sorry.
2020-10-12 21:14:19 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-12 21:14:22 → kelanu joins (~kelanu@2600:1700:9750:cf20:84af:84e5:5767:cbf0)
2020-10-12 21:14:44 <koz_> Does anyone know if snap-core's Params type handles percent encoding for you, or whether you have to do it yourself?
2020-10-12 21:14:52 → shatriff joins (~vitaliish@176.52.219.10)
2020-10-12 21:14:58 <koz_> I _think_ the answer is 'you have to do it yourself', but I'd like to be sure.
2020-10-12 21:15:41 <kelanu> I noticed that Google Colab said it supports the IHaskell kernel, which got me pretty excited. But I can't find any documentation for this, any ideas? I fonud a StackOverflow but it was removed.
2020-10-12 21:15:47 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 21:17:56 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-12 21:19:58 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-12 21:21:49 → CrystalNice joins (~CrystalNi@s91904426.blix.com)
2020-10-12 21:23:47 × p-core quits (~Thunderbi@2a0e:1c80:4:1022::1004) (Ping timeout: 260 seconds)
2020-10-12 21:27:07 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 21:27:23 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 21:27:23 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 21:27:23 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-12 21:28:51 → kelanu_ joins (~kelanu@2600:1700:9750:cf20:84af:84e5:5767:cbf0)
2020-10-12 21:29:02 × kelanu quits (~kelanu@2600:1700:9750:cf20:84af:84e5:5767:cbf0) (Ping timeout: 260 seconds)
2020-10-12 21:29:10 → renzhi joins (~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-12 21:30:12 → jneira joins (501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250)
2020-10-12 21:30:39 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-12 21:40:23 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-12 21:40:51 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 21:42:47 × cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Ping timeout: 260 seconds)
2020-10-12 21:43:55 × sfvm quits (~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-10-12 21:52:11 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 21:52:23 → GyroW joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-12 21:52:23 × GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-12 21:52:23 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-12 21:55:31 × _xor quits (~xor@74.215.46.133) (Quit: brb)
2020-10-12 21:56:07 → _xor joins (~xor@74.215.46.133)
2020-10-12 21:57:48 × oleks quits (~oleks@188.166.34.97) (Quit: leaving)
2020-10-12 21:58:19 → oleks joins (~oleks@188.166.34.97)
2020-10-12 21:58:34 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-12 22:02:51 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-10-12 22:05:07 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-10-12 22:05:17 → polyrain joins (~polyrain@2001:8003:e501:6901:6879:a475:4735:6434)
2020-10-12 22:08:20 → Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-10-12 22:08:50 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-12 22:09:09 <dminuoso> I have the desire to write some `f :: proxy (s :: Symbol) -> T (TyFam s)`, but the ergonomics looks annoying. Is there something that lets me write `f "foo"` rather than `f (Proxy @"foo")`?
2020-10-12 22:09:50 <dminuoso> Maybe through some extension?
2020-10-12 22:10:59 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-12 22:11:20 <newhoggy> Axman6: Did you send me a message? I think can't find it anymore.
2020-10-12 22:13:20 <dminuoso> Mmm. I think OverloadedLabels is what Im after..
2020-10-12 22:14:55 <dolio> Oh, I wasn't aware of that.
2020-10-12 22:15:32 × ambiso quits (~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds))
2020-10-12 22:15:40 → ambiso9 joins (~ambiso@209.182.239.205)
2020-10-12 22:15:43 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-12 22:16:32 <dolio> So that lets you write `f ?field`?
2020-10-12 22:16:46 <dminuoso> f #field
2020-10-12 22:16:47 × oisdk quits (~oisdk@2001:bb6:3329:d100:7c51:293a:6844:5080) (Quit: oisdk)
2020-10-12 22:17:05 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-12 22:17:16 <dminuoso> not sure how to deal with spaces or special characters
2020-10-12 22:17:24 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-12 22:17:24 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-12 22:17:24 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-12 22:17:27 hackage little-rio 0.2.2 - When you need just the RIO monad https://hackage.haskell.org/package/little-rio-0.2.2 (ejconlon)
2020-10-12 22:17:38 <dolio> Oh yeah, I was reading the 'digression'.
2020-10-12 22:17:46 <dminuoso> Perhaps parens could be used?
2020-10-12 22:18:01 <dminuoso> % instance IsLabel "x y" Int where fromLabel = 42
2020-10-12 22:18:01 <yahb> dminuoso:
2020-10-12 22:18:08 <dminuoso> % (#x y)
2020-10-12 22:18:09 <yahb> dminuoso: ; <interactive>:114:6: error: parse error on input `)'
2020-10-12 22:18:11 <dminuoso> Mmm
2020-10-12 22:18:21 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 244 seconds)
←Prev  Next→
Page 1 .. 600 601 602 603 604 605 606 607 608 609 610 .. 5022

All times are in UTC.