Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 928 929 930 931 932 933 934 935 936 937 938 .. 5022
— 502,152 events total
2020-10-29 06:32:37 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-29 06:33:33 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-29 06:33:52 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-29 06:37:31 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-29 06:38:26 × falafel_ quits (~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 264 seconds)
2020-10-29 06:39:18 <eedgit> Writing a test for a rotation function, I'm using an auxiliary function (which I think is the best way to keep as much 'pure' ?). Should I be testing for both functions - or is only 1 needed? https://dpaste.org/4NYa
2020-10-29 06:40:05 × toorevitimirp quits (~tooreviti@117.182.180.36) (Ping timeout: 260 seconds)
2020-10-29 06:40:41 × nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-29 06:42:18 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 06:42:37 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 268 seconds)
2020-10-29 06:42:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-29 06:43:35 <dsal> The concept of a property is something that's meant to be true about your function. Neither `streamPop` nor `prop_stream` communicate a whole lot about what they're meant to do. If `rot` is what you're trying to write, then what interesting properties does it have?
2020-10-29 06:45:26 → christo joins (~chris@81.96.113.213)
2020-10-29 06:46:25 × barrucadu quits (~barrucadu@fsf/member/barrucadu) (Remote host closed the connection)
2020-10-29 06:50:10 × alx741 quits (~alx741@186.178.110.246) (Ping timeout: 246 seconds)
2020-10-29 06:50:13 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-29 06:50:44 → alx741 joins (~alx741@186.178.110.246)
2020-10-29 06:53:25 × dustypacer quits (~pi@2600:6c50:80:2f4a:e9d0:6569:1cea:d1d4) (Quit: Leaving)
2020-10-29 06:53:26 → asheshambasta joins (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be)
2020-10-29 06:54:06 → dustypacer joins (~pi@2600:6c50:80:2f4a:e9d0:6569:1cea:d1d4)
2020-10-29 06:55:17 <eedgit> dsal Thanks I'll have a think - is there a more appropriate name? streamPop made sense to me as take->drop->cycle felt like 'popping' the values out using a sliding-window over a 'stream' (the infinite/circular list)
2020-10-29 06:55:40 <dsal> e.g., if you replace the implementation of `streamPop` with `flip const` your property holds. However, if you test `rot` there may be interesting properties such as `rot == transpose . rot`
2020-10-29 06:56:12 <dsal> It's just a list of the rotations. You could call it `rotations` or something. Naming is hard.
2020-10-29 06:57:12 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-29 06:57:30 × polyrain quits (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-29 06:57:58 <dsal> > iterate (\(x:xs) -> xs <> [x]) "abc"
2020-10-29 06:58:00 <lambdabot> ["abc","bca","cab","abc","bca","cab","abc","bca","cab","abc","bca","cab","ab...
2020-10-29 06:58:00 <eedgit> cool thanks :)
2020-10-29 06:58:02 × damianfral quits (~damianfra@166.red-2-142-239.dynamicip.rima-tde.net) (Ping timeout: 268 seconds)
2020-10-29 06:59:43 → mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-29 07:00:55 → m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-29 07:01:45 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2020-10-29 07:04:30 → [rg] joins (63f22acf@cpe589630b81951-cm589630b8194f.cpe.net.cable.rogers.com)
2020-10-29 07:05:24 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 240 seconds)
2020-10-29 07:06:28 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds)
2020-10-29 07:08:25 × [rg] quits (63f22acf@cpe589630b81951-cm589630b8194f.cpe.net.cable.rogers.com) (Remote host closed the connection)
2020-10-29 07:09:45 × justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 268 seconds)
2020-10-29 07:13:19 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-29 07:16:53 → nineonine joins (~textual@216-19-190-182.dyn.novuscom.net)
2020-10-29 07:18:51 × nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Client Quit)
2020-10-29 07:19:28 → toorevitimirp joins (~tooreviti@117.182.180.36)
2020-10-29 07:27:47 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-29 07:28:16 → wretchswollen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-29 07:29:59 → proquint joins (67e75ebe@103.231.94.190)
2020-10-29 07:30:12 → alp_ joins (~alp@2a01:e0a:58b:4920:48bc:fb07:c437:122b)
2020-10-29 07:30:13 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-29 07:31:46 <proquint> How do I break a bytestring into 4-bit and 2-bit integers? I'm trying to print the proquint of a 48-bit number (https://arxiv.org/html/0901.4016)
2020-10-29 07:33:02 × wretchswollen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds)
2020-10-29 07:34:54 <proquint> I want to break a 16-bit word into 4-bit, 2-bit, 4-bit, 2-bit, 4-bit numbers and map those numbers to letters.
2020-10-29 07:34:54 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-29 07:35:02 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds)
2020-10-29 07:36:05 × hiroaki quits (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-10-29 07:39:14 <int-e> > let rotations xs = cycle . map (zipWith (flip const) xs) . zipWith (flip const) xs . tails . cycle $ xs in rotations "abc" -- hmm, maybe a bit over-engineered
2020-10-29 07:39:16 <lambdabot> ["abc","bca","cab","abc","bca","cab","abc","bca","cab","abc","bca","cab","ab...
2020-10-29 07:40:06 × uwap quits (~uwap@genja.uwap.name) (Quit: ZNC 1.8.0 - https://znc.in)
2020-10-29 07:42:02 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-29 07:42:40 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-29 07:44:15 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-29 07:45:06 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-10-29 07:47:04 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-29 07:47:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2020-10-29 07:47:43 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-29 07:52:17 × otulp quits (~otulp@ti0187q162-5696.bb.online.no) (Ping timeout: 260 seconds)
2020-10-29 07:53:25 × sakirious quits (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-10-29 07:53:44 × tput quits (~user@S0106a84e3fe54613.ed.shawcable.net) (Ping timeout: 240 seconds)
2020-10-29 07:54:09 → uwap joins (~uwap@genja.uwap.name)
2020-10-29 07:55:59 → vicfred_ joins (~vicfred@unaffiliated/vicfred)
2020-10-29 07:57:43 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-10-29 07:58:31 × xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection)
2020-10-29 07:58:37 → GyroW_ joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-29 07:58:37 × GyroW_ quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-29 07:58:37 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-29 07:59:05 × vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 268 seconds)
2020-10-29 07:59:31 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
2020-10-29 07:59:44 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-29 08:00:21 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-10-29 08:02:18 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-29 08:02:18 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-29 08:02:18 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-29 08:03:04 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-29 08:03:47 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-29 08:04:54 → polyrain joins (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c)
2020-10-29 08:06:27 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-29 08:06:46 → Varis joins (~Tadas@unaffiliated/varis)
2020-10-29 08:08:45 × jespada quits (~jespada@90.254.243.98) (Ping timeout: 260 seconds)
2020-10-29 08:10:56 → jespada joins (~jespada@90.254.243.98)
2020-10-29 08:12:29 → sakirious joins (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2020-10-29 08:14:20 × ndbopoi^ quits (ndbopoi@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 256 seconds)
2020-10-29 08:14:45 → ndbopoi^ joins (~hph@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:14:46 × ndbopoi^ quits (~hph@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:14:59 × Lord_of_Life quits (~Lord@46.217.220.26) (Changing host)
2020-10-29 08:14:59 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-29 08:15:01 → ndbopoi^ joins (nehsou@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:15:02 × ndbopoi^ quits (nehsou@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:15:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-29 08:15:16 → ndbopoi^ joins (aeoifvotdt@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:15:17 × ndbopoi^ quits (aeoifvotdt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:15:32 → ndbopoi^ joins (nehsou@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:15:33 × ndbopoi^ quits (nehsou@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:15:44 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 268 seconds)
←Prev  Next→
Page 1 .. 928 929 930 931 932 933 934 935 936 937 938 .. 5022

All times are in UTC.