Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4834 4835 4836 4837 4838 4839 4840 4841 4842 4843 4844 .. 5022
— 502,152 events total
2021-05-11 20:00:51 <ski> it's possible to break what would be considered the obvious usage of `the', if you use a strange grouping function
2021-05-11 20:01:52 <ski> % [(len,w) | w <- words "The quick brown fox jumps over the lazy dog",let len = length w,then group by len using GHC.Exts.groupWith]
2021-05-11 20:01:52 <yahb> ski: [([3,3,3,3],["The","fox","the","dog"]),([4,4],["over","lazy"]),([5,5,5],["quick","brown","jumps"])]
2021-05-11 20:02:00 <ski> % [(len,w) | w <- words "The quick brown fox jumps over the lazy dog",let len = length w,then group by len using (transpose .) . GHC.Exts.groupWith]
2021-05-11 20:02:00 <yahb> ski: [([3,4,5],["The","over","quick"]),([3,4,5],["fox","lazy","brown"]),([3,5],["the","jumps"]),([3],["dog"])]
2021-05-11 20:02:00 <monochrom> https://mail.haskell.org/pipermail/haskell-cafe/2018-February/128607.html is what I managed to exploit the generality >:)
2021-05-11 20:02:05 <ski> % [(GHC.Exts.the len,w) | w <- words "The quick brown fox jumps over the lazy dog",let len = length w,then group by len using (transpose .) . GHC.Exts.groupWith]
2021-05-11 20:02:05 <yahb> ski: [(*** Exception: GHC.Exts.the: non-identical elements
2021-05-11 20:02:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-11 20:05:13 × petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds)
2021-05-11 20:05:15 <ski> (iow, attempting to automagically apply `the' is probably not a good idea)
2021-05-11 20:06:33 <ski> % [c | c <- "mississippi",then group using chunksOf 3]
2021-05-11 20:06:33 <yahb> ski: ["mis","sis","sip","pi"]
2021-05-11 20:07:06 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-11 20:07:15 → petersen joins (~petersen@redhat/juhp)
2021-05-11 20:09:41 × _bin quits (~bin@2600:1700:10a1:38d0:8cd7:7637:fad:1f0b) (*.net *.split)
2021-05-11 20:09:41 × waleee-cl quits (uid373333@gateway/web/irccloud.com/x-pyxgzrqsorndsysw) (*.net *.split)
2021-05-11 20:09:41 × berberman quits (~berberman@unaffiliated/berberman) (*.net *.split)
2021-05-11 20:09:41 × sclv quits (sid39734@haskell/developer/sclv) (*.net *.split)
2021-05-11 20:09:41 × howdoi quits (uid224@gateway/web/irccloud.com/x-skpmotuzajgkfppr) (*.net *.split)
2021-05-11 20:09:41 × hendi quits (sid489601@gateway/web/irccloud.com/x-uqohcpzerdjcsbjn) (*.net *.split)
2021-05-11 20:09:42 × pent quits (sid313808@gateway/web/irccloud.com/x-gthllmzsbacdlose) (*.net *.split)
2021-05-11 20:09:42 × lordyod quits (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) (*.net *.split)
2021-05-11 20:09:42 × mikeplus32 quits (~mike@2406:d500:6:1:216:3cff:fe36:651) (*.net *.split)
2021-05-11 20:09:42 × sphalerite quits (~sphalerit@NixOS/user/lheckemann) (*.net *.split)
2021-05-11 20:09:42 × p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split)
2021-05-11 20:09:42 × rann quits (sid175221@gateway/web/irccloud.com/x-xgerfalphipfmdgv) (*.net *.split)
2021-05-11 20:09:42 × acertain quits (sid470584@gateway/web/irccloud.com/x-smitzrwlhgbnwuzb) (*.net *.split)
2021-05-11 20:09:42 × Tritlo quits (sid58727@gateway/web/irccloud.com/x-chylzklhzxffdqgz) (*.net *.split)
2021-05-11 20:09:42 × affinespaces quits (sid327561@gateway/web/irccloud.com/x-yipzwsjpntskowut) (*.net *.split)
2021-05-11 20:09:42 × jeanclaude[m] quits (jeanclaude@gateway/shell/matrix.org/x-mmihezdzzruufkof) (*.net *.split)
2021-05-11 20:09:42 × NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (*.net *.split)
2021-05-11 20:09:42 × catern quits (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (*.net *.split)
2021-05-11 20:09:42 × Raito_Bezarius quits (~Raito@unaffiliated/raito-bezarius/x-8764578) (*.net *.split)
2021-05-11 20:09:42 × ggVGc quits (~ggVGc@a.lowtech.earth) (*.net *.split)
2021-05-11 20:09:42 × miklcct quits (quasselcor@miklcct.com) (*.net *.split)
2021-05-11 20:09:42 × nlofaro quits (sid258233@gateway/web/irccloud.com/x-xhutvjiokxcusdlf) (*.net *.split)
2021-05-11 20:09:42 × Nascha quits (sid212230@gateway/web/irccloud.com/x-dqtvumpmtznmjvar) (*.net *.split)
2021-05-11 20:09:42 × aizen_s quits (sid462968@gateway/web/irccloud.com/x-wkgllnirjxztqgtb) (*.net *.split)
2021-05-11 20:09:42 × tapas quits (sid467876@gateway/web/irccloud.com/x-jnxdqaqlhfwdctoj) (*.net *.split)
2021-05-11 20:09:42 × ProofTechnique quits (sid79547@gateway/web/irccloud.com/x-hmamblixaqsfzazg) (*.net *.split)
2021-05-11 20:09:42 × cemerick quits (sid54985@gateway/web/irccloud.com/x-cgnqmpfzhzxaaydo) (*.net *.split)
2021-05-11 20:09:42 × koankeeper quits (sid216950@gateway/web/irccloud.com/x-utdpmlvofhbekyeu) (*.net *.split)
2021-05-11 20:09:42 × npgm quits (sid42623@gateway/web/irccloud.com/x-geajwhsmjoalbuuo) (*.net *.split)
2021-05-11 20:09:42 × luite quits (sid387799@gateway/web/irccloud.com/x-aaiogqabznlrzlnw) (*.net *.split)
2021-05-11 20:09:42 × vaibhavsagar quits (vaibhavsag@gateway/shell/matrix.org/x-yqaazxmokhytwobc) (*.net *.split)
2021-05-11 20:09:42 × sarahzrf quits (~sarahzrf_@2604:a880:400:d0::b4a:4001) (*.net *.split)
2021-05-11 20:09:42 × jchia[m] quits (jchiamatri@gateway/shell/matrix.org/x-scatarnmpyydrxbt) (*.net *.split)
2021-05-11 20:09:42 × ServerStatsDisco quits (serverstat@gateway/shell/matrix.org/x-oxgvtvxuexgkqkan) (*.net *.split)
2021-05-11 20:09:42 × supersven[m] quits (supersvenm@gateway/shell/matrix.org/x-yllxmwoozxynyliw) (*.net *.split)
2021-05-11 20:09:43 × dominicusin[m] quits (dominicusi@gateway/shell/matrix.org/x-oatljpwlthdxnsxj) (*.net *.split)
2021-05-11 20:09:43 × themsay[m] quits (themsaymat@gateway/shell/matrix.org/x-jxvnrdxzkiqyurdg) (*.net *.split)
2021-05-11 20:10:02 ← tempate parts (~tempate@unaffiliated/tempate) ()
2021-05-11 20:10:44 <ski> % [(GHC.Exts.the c,length c) | c <- "mississippi",then group by c using GHC.Exts.groupWith]
2021-05-11 20:10:44 <yahb> ski: [('i',4),('m',1),('p',2),('s',4)]
2021-05-11 20:10:51 <ski> % [(GHC.Exts.the c,length c) | c <- "mississippi",then group by c using groupBy . equating]
2021-05-11 20:10:51 <yahb> ski: [('m',1),('i',1),('s',2),('i',1),('s',2),('i',1),('p',2),('i',1)]
2021-05-11 20:10:53 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-11 20:11:07 <shapr> I gave my talk! yay! https://github.com/shapr/graphreductionhardware
2021-05-11 20:11:35 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 20:12:05 <Rembane> \o/
2021-05-11 20:12:31 <ski> (using `group' directly doesn't work, since that requires `Eq' on the elements, which `then group using ..' and `then group by .. using ..' (as well as `then ..' and `then .. by ..') forbids)
2021-05-11 20:12:42 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-05-11 20:12:52 <ski> shapr : yay ! :)
2021-05-11 20:12:57 <Rembane> shapr: I love the second slide!
2021-05-11 20:13:13 <shapr> heh, seemed like a good outline
2021-05-11 20:13:20 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 246 seconds)
2021-05-11 20:13:55 → ServerStatsDisco joins (serverstat@gateway/shell/matrix.org/session)
2021-05-11 20:13:55 → _bin joins (~bin@2600:1700:10a1:38d0:8cd7:7637:fad:1f0b)
2021-05-11 20:13:55 → waleee-cl joins (uid373333@gateway/web/irccloud.com/x-pyxgzrqsorndsysw)
2021-05-11 20:13:55 → berberman joins (~berberman@unaffiliated/berberman)
2021-05-11 20:13:55 → howdoi joins (uid224@gateway/web/irccloud.com/x-skpmotuzajgkfppr)
2021-05-11 20:13:55 → sclv joins (sid39734@haskell/developer/sclv)
2021-05-11 20:13:55 → pent joins (sid313808@gateway/web/irccloud.com/x-gthllmzsbacdlose)
2021-05-11 20:13:55 → hendi joins (sid489601@gateway/web/irccloud.com/x-uqohcpzerdjcsbjn)
2021-05-11 20:13:55 → lordyod joins (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net)
2021-05-11 20:13:55 → mikeplus32 joins (~mike@2406:d500:6:1:216:3cff:fe36:651)
2021-05-11 20:13:55 → sphalerite joins (~sphalerit@NixOS/user/lheckemann)
2021-05-11 20:13:55 → p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2021-05-11 20:13:55 → rann joins (sid175221@gateway/web/irccloud.com/x-xgerfalphipfmdgv)
2021-05-11 20:13:55 → affinespaces joins (sid327561@gateway/web/irccloud.com/x-yipzwsjpntskowut)
2021-05-11 20:13:55 → Tritlo joins (sid58727@gateway/web/irccloud.com/x-chylzklhzxffdqgz)
2021-05-11 20:13:55 → acertain joins (sid470584@gateway/web/irccloud.com/x-smitzrwlhgbnwuzb)
2021-05-11 20:13:55 → jeanclaude[m] joins (jeanclaude@gateway/shell/matrix.org/x-mmihezdzzruufkof)
2021-05-11 20:13:55 → NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur)
2021-05-11 20:13:55 → catern joins (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407)
2021-05-11 20:13:55 → Raito_Bezarius joins (~Raito@unaffiliated/raito-bezarius/x-8764578)
2021-05-11 20:13:55 → ggVGc joins (~ggVGc@a.lowtech.earth)
2021-05-11 20:13:55 → miklcct joins (quasselcor@miklcct.com)
2021-05-11 20:13:55 → aizen_s joins (sid462968@gateway/web/irccloud.com/x-wkgllnirjxztqgtb)
2021-05-11 20:13:55 → Nascha joins (sid212230@gateway/web/irccloud.com/x-dqtvumpmtznmjvar)
2021-05-11 20:13:55 → nlofaro joins (sid258233@gateway/web/irccloud.com/x-xhutvjiokxcusdlf)
2021-05-11 20:13:55 → ProofTechnique joins (sid79547@gateway/web/irccloud.com/x-hmamblixaqsfzazg)
2021-05-11 20:13:55 → tapas joins (sid467876@gateway/web/irccloud.com/x-jnxdqaqlhfwdctoj)
2021-05-11 20:13:55 → cemerick joins (sid54985@gateway/web/irccloud.com/x-cgnqmpfzhzxaaydo)
2021-05-11 20:13:55 → koankeeper joins (sid216950@gateway/web/irccloud.com/x-utdpmlvofhbekyeu)
2021-05-11 20:13:55 → npgm joins (sid42623@gateway/web/irccloud.com/x-geajwhsmjoalbuuo)
2021-05-11 20:13:55 → luite joins (sid387799@gateway/web/irccloud.com/x-aaiogqabznlrzlnw)
2021-05-11 20:13:55 → vaibhavsagar joins (vaibhavsag@gateway/shell/matrix.org/x-yqaazxmokhytwobc)
2021-05-11 20:13:55 → sarahzrf joins (~sarahzrf_@2604:a880:400:d0::b4a:4001)
←Prev  Next→
Page 1 .. 4834 4835 4836 4837 4838 4839 4840 4841 4842 4843 4844 .. 5022

All times are in UTC.