Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4135 4136 4137 4138 4139 4140 4141 4142 4143 4144 4145 .. 5022
— 502,152 events total
2021-03-30 18:50:11 <Lycurgus> http://dimacs.rutgers.edu/~graham/pubs/papers/encalgs-ams.pdf noteworthy for some of the applications, has c code links. At first I thought AMS was the math soc
2021-03-30 18:51:16 <shapr> Lycurgus: that and more in the readme for this lib "Finding Frequent Items in Data Streams", http://www.ece.uc.edu/~mazlack/dbm.w2010/Charikar.02.pdf https://sites.google.com/site/countminsketch/cm-eclectics https://tech.shareaholic.com/2012/12/03/the-count-min-sketch-how-to-count-over-large-keyspaces-when-about-right-is-good-enough/
2021-03-30 18:51:17 <shapr>
2021-03-30 18:52:07 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2021-03-30 18:53:31 <Lycurgus> shapr, ty
2021-03-30 18:53:41 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-03-30 18:53:59 <shapr> Lycurgus: also http://dimacs.rutgers.edu/~graham/pubs/papers/cmencyc.pdf
2021-03-30 18:56:37 <Lycurgus> shapr, ack/ty
2021-03-30 18:58:39 <kosmikus> shapr: I don't know about IOHCC yet. When exactly is it again?
2021-03-30 18:59:38 <shapr> kosmikus: starts when #haskell turns 20, I'll send out an announcement this week
2021-03-30 18:59:38 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-03-30 18:59:49 <shapr> Starts on April 30th 2021
2021-03-30 19:00:36 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-03-30 19:00:51 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-03-30 19:00:59 × rond_ quits (594020a1@89-64-32-161.dynamic.chello.pl) (Quit: Connection closed)
2021-03-30 19:01:24 × rajivr quits (uid269651@gateway/web/irccloud.com/x-yxowftsxvioxbdki) (Quit: Connection closed for inactivity)
2021-03-30 19:01:54 <CatWithMoustache> how do I get a property from a bool?
2021-03-30 19:02:09 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-03-30 19:02:12 → laudiacay joins (~laudiacay@67.176.215.84)
2021-03-30 19:02:34 laudiacay is now known as Guest41032
2021-03-30 19:04:12 × molehillish quits (~molehilli@2600:8800:8d06:1800:b177:1e40:d97b:578c) (Remote host closed the connection)
2021-03-30 19:05:37 <geekosaur> are you talking about QuickCheck?
2021-03-30 19:05:39 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-03-30 19:06:54 × Guest41032 quits (~laudiacay@67.176.215.84) (Ping timeout: 260 seconds)
2021-03-30 19:07:29 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-03-30 19:08:34 × Lycurgus quits (~niemand@98.4.120.166) (Quit: Exeunt)
2021-03-30 19:09:21 <CatWithMoustache> geekosaur, yes
2021-03-30 19:09:35 <CatWithMoustache> I'd like to return a property
2021-03-30 19:10:38 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-03-30 19:11:36 <CatWithMoustache> essentially I want a property without precondition
2021-03-30 19:11:57 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-03-30 19:12:42 <geekosaur> Bool has a Testable instance, so you can then use `property' to get the corresponding Property
2021-03-30 19:14:51 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:c70f:6b9a:95ec:8c0b) (Ping timeout: 246 seconds)
2021-03-30 19:14:54 <CatWithMoustache> ah, so simply True ==> thx!
2021-03-30 19:15:35 <AWizzArd> I have a list L of Foos, type [Foo]. Foo is a record with 10 fields: a,b,c,d,e,f,g,h,i,j. Now I want to make a list of 8-tuples out of it, lacking the fields `a` and `j`, i.e. [(b,c,d,e,f,g,h,i)]
2021-03-30 19:15:39 <AWizzArd> Is there a better way than flip fmap L (\(Foo _ b c d e f g h i _) -> (b, c, d, e, f, g, h, i)) to achieve this?
2021-03-30 19:15:40 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-03-30 19:16:03 <geekosaur> not really
2021-03-30 19:16:12 <AWizzArd> k
2021-03-30 19:16:16 <jle`> i would probably use a list comprehension
2021-03-30 19:16:21 <jle`> but not sure if that counts as 'better'
2021-03-30 19:16:28 <AWizzArd> jle`: What would it look like?
2021-03-30 19:16:35 <monochrom> I would revisit and impeach the need for the 8-tuple version.
2021-03-30 19:16:47 <AWizzArd> jle`: Instead of the fmap you mean?
2021-03-30 19:16:47 <jle`> [ (b,c,d,e,f,g,h,i) | Foo _ b c d e f g h i _ <- myList ]
2021-03-30 19:16:50 <geekosaur> there is that tooo
2021-03-30 19:17:12 <jle`> ah yeah, that's probably the more important point. if you're using an 8-tuple there is a chance that there is something deeper that is wrong
2021-03-30 19:17:12 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-03-30 19:17:47 → needhalp joins (ce7fb161@ics177-97.icsincorporated.com)
2021-03-30 19:17:48 <AWizzArd> monochrom: two existing tables in Postgres. One delivers ten rows and those need to get shrinked a little before they get inserted into the other table. No real way of getting rid of that.
2021-03-30 19:18:41 × needhalp quits (ce7fb161@ics177-97.icsincorporated.com) (Client Quit)
2021-03-30 19:20:36 <AWizzArd> monochrom: but yeah, typically I would agree that one should try to see if this could be changed. But in this case the 10 fields come from json and need to be squeezed into an existing table of 8 columns. ¯\_(ツ)_/¯
2021-03-30 19:20:38 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-03-30 19:22:10 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-03-30 19:22:50 × geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-30 19:24:06 <jle`> i guess you could create a different tpye that only has the eight fields
2021-03-30 19:24:21 <jle`> if they have the same field names then you can do map (\Foo{..} -> Foo2{..})
2021-03-30 19:24:44 × fendor quits (~fendor@91.141.2.121.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-30 19:25:02 → geekosaur joins (82650c7a@130.101.12.122)
2021-03-30 19:25:41 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-03-30 19:26:02 → fendor joins (~fendor@91.141.2.121.wireless.dyn.drei.com)
2021-03-30 19:27:09 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-03-30 19:27:38 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:3745:335c:aec7:833d)
2021-03-30 19:30:06 × abc__ quits (~abcBW@186-211-22-41.customer.nbtos.com.br) (Quit: Leaving)
2021-03-30 19:30:35 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-30 19:30:41 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-03-30 19:31:19 × supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 268 seconds)
2021-03-30 19:32:02 × abrar_ quits (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Quit: WeeChat 2.9)
2021-03-30 19:32:03 → masterplain joins (ce7fb161@ics177-97.icsincorporated.com)
2021-03-30 19:34:06 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-03-30 19:34:10 × masterplain quits (ce7fb161@ics177-97.icsincorporated.com) (Changing host)
2021-03-30 19:34:10 → masterplain joins (ce7fb161@unaffiliated/sayo-)
2021-03-30 19:34:30 → bodisiw joins (~bodiskw@cpe-74-138-114-237.kya.res.rr.com)
2021-03-30 19:34:32 <AWizzArd> jle`: that sounds not too bad, yes, good idea!
2021-03-30 19:35:42 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-03-30 19:36:48 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-30 19:38:22 → abrar joins (~abrar@static-108-30-103-121.nycmny.fios.verizon.net)
2021-03-30 19:40:38 → Guest41032 joins (~laudiacay@67.176.215.84)
2021-03-30 19:43:11 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-30 19:43:54 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds)
2021-03-30 19:44:38 Lord_of_Life_ is now known as Lord_of_Life
2021-03-30 19:45:23 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-03-30 19:45:25 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2021-03-30 19:52:28 tefter_ is now known as tefter
2021-03-30 19:53:57 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-30 19:57:11 → electricityZZZZ joins (~electrici@135-180-3-82.static.sonic.net)
2021-03-30 19:57:44 → ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-30 19:57:46 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2021-03-30 19:58:42 × gentauro quits (~gentauro@unaffiliated/gentauro) (Ping timeout: 260 seconds)
2021-03-30 19:59:42 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-03-30 20:01:15 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-30 20:02:48 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-03-30 20:05:14 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-03-30 20:05:52 × petersen quits (~petersen@redhat/juhp) (Ping timeout: 268 seconds)
2021-03-30 20:06:10 × Guest81603 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 260 seconds)
2021-03-30 20:07:40 → petersen joins (~petersen@redhat/juhp)
2021-03-30 20:10:31 × frfxzd quits (~wgygg5qkg@dzx-fzyy8b6j93y-nfy0y-3.rev.dnainternet.fi) (Quit: Leaving)
2021-03-30 20:12:59 × cawfee quits (chiya@2406:3003:2077:2341::babe) (Ping timeout: 258 seconds)
2021-03-30 20:13:47 × geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-30 20:14:58 × SaitamaPlus quits (uid272474@gateway/web/irccloud.com/x-dafonfyijqdwlime) (Quit: Connection closed for inactivity)
←Prev  Next→
Page 1 .. 4135 4136 4137 4138 4139 4140 4141 4142 4143 4144 4145 .. 5022

All times are in UTC.