:技術開發

Pinterest是如何基于Flink做實時分析的?

在Pinterest,我們每天都要進行數千個實驗。我們主要依靠日常實驗指標來評估實驗效果。日常實驗管道運行一次可能會花費10多個小時,有時還會超時,因此想要驗證實驗設置、觸發的正確性以及預期的實驗性能時就沒那么方便了。當代碼中存在一些錯誤時這個問題尤為突出。有時可能要花幾天時間才能發現錯誤,這對用戶體驗和重要指標造成了更大的損害。我們在Pinterest開發了一個近實時實驗平臺,以提供更具時效性的實驗指標,從而幫助我們盡快發現這些問題??贍艸魷值奈侍庥校菏笛櫚賈耰mpression的統計數據顯著下降,因此需要盡快關閉實驗。與對照組相比,實驗導致搜索的執行次數顯著增加。

如何用WebAssembly將桌面游戲編輯器移植到瀏覽器上

本文要點盡管WebAssemly還在積極開發當中,并且仍然比較小眾,但這項技術本身已經足夠成熟,足以用來將諸如桌面平臺游戲編輯器之類的復雜應用程序移植到Web上。將桌面平臺軟件移植到WebAssembly的好處包括:移植的軟件可以跨平臺交付,可能會吸引更多的目標受眾等。與原生桌面應用程序相比,前端框架和工具可簡化UI開發并縮短反饋周期。Web還帶來了新的可能性,例如深層鏈接以及豐富的UI生態系統的幫助,這些可能會極大改善用戶體驗??⑷嗽北匭胩乇鹱⒁餑詿婀芾?、測試和鍵盤操作,以減少移植過程中出現的問題。

如何使用Redis TimeSeries和Grafana實現實時分析

本文要點時序數據管理對于組織中的數據分析至關重要,舉例來說,股票價格或CPU性能指標都是時序數據。像RedisTimeSeries這樣專門構建的數據庫解決了處理時序數據的需求,同時擺脫了關系型數據庫強加給我們的限制。其他專門為此構建的數據庫包括InfluxDB和Prometheus。通過將Grafana和RedisTimeSeries集成在一起,我們可以實時放大或縮小圖表。時序數據可以廣義地定義為按照時間順序存儲的一系列數據,舉例來說,多年內的股票價格變動或過去幾個小時CPU性能指標都是時序數據。

五年了,Heartbleed漏洞仍未修復

五年了,Heartbleed安全漏洞補丁仍未全面普及。Heartbleed安全漏洞在2012年被正式引入OpenSSL加密庫,但直到2014年才被發現并得到修復。但直到五年之后的今天,仍有眾多系統未能有效安裝修復補丁。本文希望為IT團隊提供必要的信息,幫助大家判斷是否要使用Heartbleed漏洞的修復補丁。但這里要提醒一句:即使安裝補丁,您的用戶數據仍有可能受到其他攻擊的影響。Heartbleed安全漏洞是怎么回事?Heartbleed是OpenSSL加密庫中的一項代碼缺陷,具體如下:memcpy(bp, pl,

去四川挖礦嗎?可以成為世界第一的那種

六月份時,有數據統計稱中國占全球算力市場的60%。近日,數字資產管理公司CoinShares發布報告稱,中國礦工控制著全球66%的算力,其中僅四川一個省就占了54%,原因是中國部署了更多更先進的挖礦設備以及礦工盈利能力的提升。為什么是四川?五月份時,四川的算力在全球占比48%,僅七個月后就將此比例拉升到了54%,這個速度令人咋舌。眾所周知,電費和礦機是挖礦成本的兩大重要因素。四川水資源豐富,省內大部分地區位于濕潤季風氣候區,氣候溫和濕潤、雨量豐沛,河流水系發育良好。四川省去年水利發電量達2982.2億千瓦時,占全國第一。豐富的水電資源使四川省成為全國最大的比特幣挖礦地。點擊查看原文>

Nginx之父被抓,開發者的業余項目應該歸誰? | 話題

昨天 Nginx 創始人 Igor Sysoev 被捕了。一周前,他的前東家 Rambler 集團對 NGINX Inc. 提出了侵犯版權的訴訟,聲稱擁有 Nginx 網絡服務器代碼的全部所有權。毫無疑問,引起這一事件的原因就是 Nginx 發展的太好了,引起了 Rambler 的眼紅,而實際上,將業余項目做大的開發者都會面臨這樣的風險??⒄咴諞滌嗍奔淇⒌南钅烤烤故粲誑⒄吒鋈?,還是屬于開發者所在的企業呢?如果是你,遇到這種情況,你該怎么辦呢?點擊查看原文>

區塊鏈助力尤文圖斯,與球迷“零距離”互動

12月2日,意大利尤文圖斯足球俱樂部宣布推出自己的區塊鏈球迷代幣。經過近一年半的籌備與等待,曾經引發熱議的球迷代幣終于千呼萬喚始出來。2018年9月,法國巴黎圣日爾曼足球俱樂部宣布與區塊鏈平臺Socios網站合作,推出球迷代幣生態系統。就在圣日爾曼宣布該消息后不久,意大利的尤文圖斯俱樂部也宣布與Socios網站達成合作協議,計劃發布尤文的官方球迷代幣。球迷代幣發行后,球迷可在Socios平臺上進行交易,并使用代幣在移動App上投票,參與俱樂部的非戰略性決策事宜,比如當尤文圖斯隊進球,球迷們可以代幣投票決定播放哪首慶祝歌曲。目前,每個代幣在Socios平臺上的發行價格為2歐元(約合2.

精益助 IT 團隊成長,以工作為榮

團隊合作更多,對于日常工作有更清晰的愿景,全神貫注的團隊,自豪于可以把工作做好;在 Melannie Noyel 看來,這些都是 Acta 的 IT 團隊使用精益之后得到的好處。在 Lean Digital Summit 2019 大會上,她展示了該團隊如何將精益應用到 IT 團隊的日常工作中。IT 團隊中,有兩人負責開發,三個人負責系統和網絡。日常工作劃分為不同項目、客戶支持、18 個業務應用的開發和維護,還有多項 IT 培訓。在 2018 年初,整個情形讓人失望。Noyel 說:支持工作讓團隊不堪重負,客戶也不怎么滿意,項目延期,高層管理者要推行新的工作組織方式。

深度學習框架SINGA升級為Apache頂級項目

Apache軟件基金會(ASF)最近宣布,分布式深度學習框架SINGA升級為頂級項目(TLP,top-level project)。這表明了SINGA項目所達到的成熟度和穩定性。SINGA已經得到了銀行、醫療健康等多行業中企業的應用。SINGA最早由新加坡國立大學研究人員開發,并于2015年三月?進入ASF孵化器。SINGA提供了一種在機器集群中分布式訓練深度學習模型的計算框架,降低了模型訓練所需的時間。SINGA不僅僅是一種學術研究平臺,而且已在花旗集團、世邦魏理仕等多家企業得到了商業應用,并在健康醫療行業得到多處應用,例如為糖尿病前期患者提供幫助的應用。

構建貝葉斯深度學習分類器

這篇文章將講述如何使用Keras和Tensorflow訓練貝葉斯深度學習(BDL)分類器。 在深入了解具體的訓練示例之前,介紹幾個重要的高級概念:? 什么是貝葉斯深度學習(BDL)?? 什么是不確定性(uncertainty)?? 為什么不確定性很重要?然后,將介紹在深度學習模型中引入不確定性的兩種技術,并將使用Keras在cifar10數據集上通過凍結(frozen)的ResNet50編碼器訓練全連接層。 通過這個例子,還將討論探索貝葉斯深度學習分類器不確定性的預測方法,并提出今后如何改進模型的建議。1.?什么是貝葉斯深度學習?

數據庫內核雜談(三):索引優化

在上一篇文章的末尾,我們留了一個坑。雖然通過列存,能夠避免讀取不必要的數據(沒使用的列)來提高查詢速度,但是對于下面這類點查詢(point query),還能不能進一步優化呢?SELECT * FROM titanic_survivor WHERE age = 10;答案是肯定的,解決方案就是今天的主題 – 索引(index)。索引這個概念在我們日常生活中很常見。比如在很多書籍的最后,都配有關鍵字索引。它能幫助你快速地找到某個關鍵字所在的書頁。試想一下,如果沒有索引,想要查詢某個關鍵字所在的章節和書頁,可能唯一的辦法就是一頁一頁翻書直到找到為止。索引大大提高了查詢的速度!

Nginx之父被抓,前東家想要Nginx技術的所有權了

二十年前,一個名不見經傳的免費Web服務器軟件誕生。二十年后的今天,它的影響力可同Apache匹敵,吸引全球一大批網絡巨頭的加入。它就是由Igor Sysoev開發的Nginx軟件。昨天Nginx創始人被捕了。一周前,他的前東家Rambler 集團對 NGINX Inc. 提出了侵犯版權的訴訟,聲稱擁有 Nginx 網絡服務器代碼的全部所有權。莫斯科警方隨后展開了突襲行動,查封了Nginx在莫斯科的總部,扣押了設備、帶走并訊問了多位雇員,包括聯合創始人兼現任首席技術官 Igor Sysoev,以及聯合創始人 Maxim Konovalov。

大型科技團隊的管理:面向未來的科技組織

引言:11月16日,由51CTO旗下CTO訓練營品牌精心打造的LeaTech全球CTO領導力峰會在北京粵財JW萬豪酒店拉開序幕。作為CTO、技術VP、技術總監等技術管理者人群的高端社交圈,本屆峰會現場聚集了CTO訓練營歷屆校友、CTO導師,以及行業中的資深技術管理者。600多位與會嘉賓在現場充分交流了有關技術性視野、技術領導力、技術團隊組織建設等精彩話題的觀點與思考,借助峰會這個線下平臺,技術管理者們積極探索了更多商業可能,開拓管理視野,令自身領導力再上新臺階。

放棄自研轉向PyTorch!估值二百多億的Chainer母公司倒戈

還有人在用Chainer嗎?可能很多開發者都沒有聽說過這個名字,但是提起同類型的TensorFlow、Keras、Caffe框架,大部分開發者應該就懂這個框架的作用了。出現至今,Chainer就被冠以“小眾”的稱號。如今,屬于Chainer的時代也要結束了,其母公司Preferred Networks(以下簡稱“PFN”)正式宣布轉向PyTorch,隨著最新升級版本v7的發布, Chainer將進入維護階段。Preferred Networks將為Chainer用戶提供文檔和庫以便他們將項目遷移至PyTorch。

深入淺出Serverless:優勢、意義與應用 | GMTC

Serverless 是炙手可熱的技術,被認為是云計算發展的未來方向。尤其是在前端研發領域,使用 Node 開發云函數,可以讓前端工程師更加專注于業務邏輯,實現全棧工程師的角色轉變。Serverless 的優勢技術Leader 和架構師在進行技術選型時會關注很多指標, Serverless 貢獻最大的就是 研發交付速度(Time to Market) 和 成本(Cost)。研發交付速度方面,衡量的指標是 Time to Market,是從需求產出到上線所用的總時長,Serverless 在這方面的優勢在技術和團隊協作兩個視角上均有體現。一是技術視角。

Flutter 1.12重磅發布:支持Web與macOS

12月12日,前端年度“明星”Flutter 正式發布了最新版本 1.12。新版本有哪些值得關注的新特性和改進?來自 Flutter 開發團隊的產品經理 Chris Sells 將為大家詳細解讀。12月12日,Flutter 1.12 正式發布,這是從 2018 年 12 月發布 1.0 版本以來的第 5 個穩定版。過去的一年是驚艷的一年!

估值62億美元,Databricks會成為企業AI平臺的黑馬嗎?

作為Databricks的CEO,Ali Ghodsi的好日子來了。他剛剛完成一輪4億美元的融資,讓公司的估值達到了62億美元。這輪融資幾乎不費吹灰之力,他說“這是我經歷過的最容易的一次融資”。除了拿到融資,Ghodsi還透露了他的下一個終極目標:構建業內第一個企業AI平臺。Databricks CEO Ali Ghodsi2013年,Databricks成立,有些人認為它跟當時不可一世的其他商業開源平臺廠商沒有什么兩樣。

百度發布“智能屏”設備,重新定義“有屏智能音箱”

2019年12月12日,小度新品發布媒體溝通會在北京召開,百度副總裁、百度智能生活事業群組(SLG)總經理景鯤在現場發布小度人工智能硬件最新產品——小度在家智能屏X8,并對智能音箱行業未來發展新趨勢發表了自己的看法。百度新品亮相:小度在家智能屏X82018年3月,百度發布了國內首款帶屏幕的智能音箱,很明顯是在對標亞馬遜在2017年發布的Echo Show。與英文名稱“smart display”不同,一直以來,這類設備在國內被稱為“有屏智能音箱”,不僅讀起來拗口,意思上也有一些矛盾,到底是智能觸屏設備,還是智能音箱?今年,在北京的老舍茶館,百度為這類設備起了個新的中文名——智能屏。

7-11系統bug,拖欠員工加班費3200萬元

日本便利店巨頭 7-11 系統 bug,拖欠超 3 萬名員工加班工資,累計總額約合人民幣 3200 萬元。這個系統 bug 有記錄起可追溯到 2012 年,更嚴重的是,媒體指出拖欠員工加班費的情況可能從上世紀 70 年代 7-11 成立之初就已經存在?!巴ㄈ誦浴鋇?7-11 bug日本便利店巨頭 7-11 的這個 bug,可能是黑心老板們最喜歡的一個 bug 了。據媒體報道,這個“通人性”的 bug,已經拖欠了包括臨時工在內超過 3 萬名員工的加班工資,累計總額高達 4.9 億日元,約合人民幣 3200 萬元。

民生銀行數據庫智能運維的探索與實踐:DBPaaS數據庫統一管理平臺

01 背景與挑戰數字化轉型帶來的數據庫運維挑戰越來越大隨著數字化、互聯網的快速發展,民生銀行正在加快推進全面改革轉型,以“數據+技術”雙輪驅動,著力打造數字化智能銀行。業務創新與技術架構演進需要底層基礎軟件平臺的強有力支撐。目前我行生產環境運行著數千套數據庫,數據庫種類從成熟的商業數據庫產品逐步轉向開源數據庫、國產數據庫。數據庫運行環境和架構也越來越豐富,從高性能物理服務器加共享存儲轉變為各種虛擬化甚至容器化環境;從基于共享存儲的雙機互備高可用架構,發展為雙活數據中心、兩地三中心、讀寫分離、分庫分表等架構方式。數據庫運維的挑戰越來越大。

2019年女性程序員報告:掌握 C、Java和C++的人最多

根據SlashData的數據顯示,全球女性開發者的人數與男性的比例為1:10,換句話說,全球大概有170萬女性開發者和1700萬男性開發者,但是在較小的年齡維度中,女性開發者的比例更高。那么,這些年輕的女性開發者是如何進入到編程領域的?她們更偏愛哪些編程語言?擇業標準是怎樣的?…為了搞清楚這些問題,SurveyMonkey和HackerRank調查了來自100多個國家的12211名女性開發者,這些受訪的女性開發者都來自Z世代(本報告中指的是1997年后出生的人)。與其它世代相比,Z時代的女性幾乎是互聯網原住民,她們對于互聯網技術和公司的想法更加獨特。97后女程序員是如何開始學習編程的?

國內人才報告:機器學習工程師平均薪資近3萬,頂尖者年薪可達百萬

近日,BOSS 直聘職業科學實驗室 &BOSS 直聘研究院發布年度重磅《突變時代:2020 人才資本趨勢報告》,分享 2020 年人才領域的前瞻趨勢,這是一份針對國內人才結構的報告。AI 前線抽取了其中與人工智能相關的部分進行了整理,期望對該領域開發者有所幫助。(注:本文所引用圖片均來自 BOSS 直聘發布的原報告,特此聲明。)人工智能崗位薪資占據高地根據報告顯示,2019 年招聘薪資的眾數是 5000 元,中位數是 6043 元,平均招聘薪資為 8082 元。

商湯ICCV論文解讀:自然場景下文字檢測的幾何歸一化網絡(GNNets)

今年的ICCV,商湯科技及聯合實驗室共有57篇論文入選ICCV 2019(包含11篇Oral),同時在Open Images、COCO、LVIS等13項重要競賽中奪冠。本文簡要介紹商湯科技研究團隊在ICCV2019上錄用的一篇文章:Geometry Normalization Networks for Accurate Scene Text Detection(GNNets),針對自然場景下文字檢測的幾何歸一化網絡。該文章通過對待處理圖像的特征圖進行幾何變換,從而將待處理圖像中幾何分布差異較大的文本框歸一化到一定的幾何分布范圍內,提高了自然場景下文本測檢的效果。

五問BERT:深入理解NLP領域爆紅的預訓練模型

BERT是NLP領域的一個重要里程碑,它是一個非常強大的語言模型,極大地提高了解決NLP任務的能力。本文由淺入深,通過理論與案例多角度介紹了BERT的理論與使用方法。如果你是一名NLP實踐者,可以根據本文的案例指導,學習BERT的使用。假如你一直關注深度學習相關信息的話,你一定聽說過BERT,在過去的一年里,它一直是非常熱門的焦點話題。在2018年底,谷歌人工智能語言的研究人員開源了一種新的自然語言處理技術(NLP),被稱為BERT(Transformers的雙向編碼器表示)。這是一項重大突破,它以其令人難以置信的性能轟動了整個深度學習社區。

微軟 Matt Fisher 訪談:Kubernetes Helm 3.0.0 發布

在最近于圣地亞哥舉行的 KubeCon+CloudNativeCon 2019?大會上,有超過 12000 名與會者出席,Helm 尤其是 Helm 3.0.0 的發布成為了全場焦點。Helm 是 Kubernetes 的一個包管理器,類似于 yum、apt、Homebrew 等操作系統的包管理器,它使得安裝和管理包及包的依賴關系變得更加容易。在與聯合創始人 Matt Butcher 的訪談中,我們已經了解到 Helm 的歷史源于第一次的 KubeCon 。因此,它遺留了一些技術債,其中就包括備受爭議的服務端組件 tiller 。InfoQ 就 Helm 3.0.

菜鳥網絡的AI進化方向:不追求“通用”的融合,重心是AIoT

隨著智能的概念愈加深入人心,智慧交通也正逐漸走進大家的視線。就AI技術而言,物流是一種很好的應用場景,但是由于“近地端”的原因,智能物流、智慧交通等AI技術的落地應用,并沒有想象中那么簡單。為了解工業界在智慧物流交通體系的最新嘗試和進展,以及菜鳥網絡在技術演進過程中所收獲的各種經驗,InfoQ 記者在 AICon 全球人工智能與機器學習大會 北京 2019 現場采訪了阿里巴巴菜鳥網絡人工智能部資深算法專家胡浩源老師,以下是采訪的具體內容。InfoQ:胡老師您好,很高興能夠采訪您。

軟件工程師生存指南

我的職業生涯的最初幾年是在緊張的學習中度過的。軟件工程師的工作不好做,我就遭遇了這一現實,因此不得不努力掌握很多我根本都不知道我需要掌握的技能。在很多開發者工作的最初幾年,我以導師的身份,對他們進行過輔導。我自己在這方面經歷頗豐,我的一些同事也有相應經歷。所以,基于這些經驗,我撰寫了本文,希望幫助那些需要幫助的人。本文涵蓋以下內容:如何在面試中脫穎而出如在軟件工程師崗位上生存(并壯大)需要持續改進時,應當尋找何種資源面試在你的軟件工程師職業生涯開啟的那一刻,你不得不面對一個不爭的事實:面試真操蛋。面試對于身處其中的每個人都是夢魘。

量子計算機是終極“紙老虎”

今年10月,谷歌宣布實現了量子霸權,這一成果旋即也招來了不少爭議。事實上,關于量子計算的質疑聲一直此起彼伏。近些年,谷歌、IBM、微軟等巨頭公司不斷加大對該領域的投入,競爭格外激烈,看誰能搶先將量子計算變為現實。但到目前為止,量子計算這場“馬拉松”,也只是前行了“一英里”,可謂前路漫漫。作為一位在量子計算領域工作過幾年的從業者,本文作者Subhash Kak卻提出了一個不甚樂觀的觀點:可行的量子超級計算機恐怕永遠無法變成現實。就在幾個月前,谷歌公司自豪地宣布其成功證明了“量子霸權”——具體來講,他們證明了量子計算機在執行某些特定任務時,確實擁有遠超經典計算機系統的工作效率。

Q資訊:波場回應孫宇晨微博被封號:會盡快解決;百度因廣告問題被行政處罰3萬元;阿里平頭哥首席科學家謝源當選ACM Fellow;微軟首款 Office 應用程序登陸 Linux

百度因廣告問題被行政處罰3萬元;波場回應孫宇晨微博被封號:會盡快解決;微軟首款 Office 應用程序登陸 Linux;2019 年 ACM Fellow 公布:阿里平頭哥首席科學家謝源等 7 位華人當??;騰訊擬向快手再投20億美元 ;PayPal首席運營官年底離職,加入谷歌擔任商務總裁;澳大利亞加緊對谷歌FB等巨頭審查,嚴控其市場優勢??萍脊景俁紉蜆愀嫖侍獗恍姓Ψ?萬元12月12日消息,據新京報報道,通過國家企業信用信息公示系統查詢到,百度因廣告問題被行政處罰3萬元,被行政處罰原因系百度未對所發布的內容進行核對。

身為程序員,你碰到最奇葩的需求是怎樣的? | 話題

程序員和產品經理的關系永遠有著調侃不完的梗:程序員抽屜里要放一把菜刀、貼上一張收款碼并寫上“改需求一次50”、app的壁紙要隨著手機殼的更換而更換…老板:“你做一個小程序吧?!斃±睿骸昂?,要做什么樣的?有什么功能?”老板:“現在小程序還蠻火的,你就隨便做一個就行啦?!斃±睿骸鞍????”在留言區吐槽一下你遇到過的那些奇葩的需求吧。點擊查看原文>

軟件架構質量屬性之《獨孤九?!?- 朱利民

什么是架構?架構是一個系統的基本組織結構,涵蓋所包含的組件、組件之間的關系、組件與環境的關系、以及指導架構設計和演進的原則等內容。經常有人問架構重點需要關注多少屬性,我們粗略的可以概括一下九點:可修改性、可測試性、可擴展性、性能、可用性、安全性、可部署性、共享性。 一、可修改性 什么是可修改性?可修

Spring Security OAuth2 Demo —— 隱式授權模式(Implicit) - 東北小狐貍

本文可以轉載,但請注明出處https://www.cnblogs.com/hellxz/p/oauth2_impilit_pattern.html 寫在前面 在文章 "OAuth 2.0 概念及授權流程梳理" 中我們談到OAuth 2.0的概念與流程,上一篇文章 "Spring Security O

17-Python執行JS代碼--PyExecJS、PyV8、Js2Py - 一知.半解

一、Python執行JS代碼--PyExecJS、PyV8、Js2Py 1.1、PyExecJS PyExecJS的優點是您不需要照顧JavaScript環境。特別是,它可以在Windows環境中運行,而無需安裝額外的庫。PyExecJS的缺點之一是性能。PyExecJS通過文本傳達JavaScri

Apache Maven從入門到升天 - 布爾bl

喜歡就點個贊唄! GitHub項目 "JavaHouse" 同步收錄 1 引入 在日常 Java 開發中,Maven 應該是必不可少的一個工具了,當然也有人使用 Gradle 的。那么 Maven 究竟是個啥東西呢?不就是一個依賴引入工具嗎?我相信很多人和我是一樣的感覺。但是一般而言,感覺的東西往往

【CKB.DEV 茶話會】第二期:聊聊 CKB 錢包和 Nervos DAO 全流程 - NervosCommunity

CKB.DEV 茶話會第二期:聊聊 CKB 錢包和 Nervos DAO 全流程 為了鼓勵更多優秀的開發者和研究人員參與到 CKB 的開發和生態建設中去,我們希望組織一系列 CKB Developer Seminar(CKB.DEV 茶話會)的活動。 CKB Developer Seminar 是一

AQS系列(二)- ReentrantLock的釋放鎖 - 張曾經

前言 在AQS系列(一)中我們一起看了ReentrantLock加鎖的過程,今天我們看釋放鎖,看看老Lea那冷峻的思維是如何在代碼中筆走龍蛇的。 正文 追蹤unlock方法: 1 public void unlock() { 2 sync.release(1); 3 } 很簡單的一行,調用了rele

14场胜负彩最新预测 鸽子蚂蚱什么赚钱 上古世纪养殖赚钱 街机千炮捕鱼单机版下载安装 开家衣服店能赚钱吗 可提现的棋牌 广西快3走势图彩经网 中国人去俄罗斯种地能赚钱吗 北京快乐8开奖视频 安徽25选5开奖公告 棋牌现金可提现 股票分析方法 摆地摊赚钱项目游戏 重庆时时猜龙虎走势图50期 336彩票app 456娱乐棋牌