投稿時間:2022-03-02 04:25:15 RSSフィード2022-03-02 04:00 分まとめ(32件)

カテゴリー等	サイト名等	記事タイトル・トレンドワード等	リンクURL	頻出ワード・要約等/検索ボリューム	登録日
AWS	AWS Partner Network (APN) Blog	Hybrid and Multi-Region Kubernetes Orchestration Using Kublr	https://aws.amazon.com/blogs/apn/hybrid-and-multi-region-kubernetes-orchestration-using-kublr/	Hybrid and Multi Region Kubernetes Orchestration Using KublrKublr is a Kubernetes management platform which accelerates and controls the deployment scaling monitoring and management of Kubernetes clusters Learn how provisioning and managing Kubernetes clusters across multiple regions can be simplified with Kublr ensuring quick deployment of a production ready operationally mature multi region cloud native container management platform based Kubernetes	2022-03-01 18:37:24
AWS	AWS Machine Learning Blog	Train 175+ billion parameter NLP models with model parallel additions and Hugging Face on Amazon SageMaker	https://aws.amazon.com/blogs/machine-learning/train-175-billion-parameter-nlp-models-with-model-parallel-additions-and-hugging-face-on-amazon-sagemaker/	Train billion parameter NLP models with model parallel additions and Hugging Face on Amazon SageMakerThe last few years have seen rapid development in the field of natural language processing NLP While hardware has improved such as with the latest generation of accelerators from NVIDIA and Amazon advanced machine learning ML practitioners still regularly run into issues scaling their large language models across multiple GPU s In this blog post we …	2022-03-01 18:11:16
海外TECH	Ars Technica	Even in the metaverse, you can’t escape the taxman	https://arstechnica.com/?p=1837357	charges	2022-03-01 18:16:59
海外TECH	MakeUseOf	The 10 Best Portfolio Websites for Graphic Artists and Designers	https://www.makeuseof.com/best-portfolio-websites-for-designers/	great	2022-03-01 19:00:13
海外TECH	MakeUseOf	10 Ways to Use Google Assistant to Make Your Life Easier	https://www.makeuseof.com/google-voice-assistant-life-hacks/	information	2022-03-01 18:45:13
海外TECH	MakeUseOf	Here’s How to Save and Edit Photos as PDFs on Your iPhone or iPad	https://www.makeuseof.com/how-to-save-edit-photo-as-pdf-iphone/	files	2022-03-01 18:15:13
海外TECH	DEV Community	Open Source Adventures: Episode 02: Hiding Low Level Concerns for Crystal Z3	https://dev.to/taw/open-source-adventures-episode-02-hiding-low-level-concerns-for-crystal-z3-5ede	Open Source Adventures Episode Hiding Low Level Concerns for Crystal ZIn the previous episode we got Crystal working with Z but it was following low level C API directly In this episode we ll layer the problem first we ll have very low level API that corresponds directly to C functions following convention I ve seen in some similar projects I renamed it to LibZthen there s second layer nicer API that hides a lot of the low level details Zand finally the actual programAs the distance between LibZ and good API is quite big I want to add another layer to this layer cake later LibZThere s just two things I changed renamed it to LibZ and introduced LBool enum As Z deals with problems that are possibly unsolvable it sometimes needs to return valued answer yes no and can t decide Interestingly many results that used to be unknown in older Z versions then become decidable in newer versions Link z lib LibZ type Ast Void type Config Void type Context Void type Model Void type Solver Void type Sort Void type Symbol Void enum LBool Int False Undefined True end Just list the ones we need there s about API calls total fun mk add Z mk add ctx Context count UInt asts Ast Ast fun mk const Z mk const ctx Context name Symbol sort Sort Ast fun mk context Z mk context cfg Config Context fun mk config Z mk config Config fun mk eq Z mk eq ctx Context a Ast b Ast Ast fun mk ge Z mk ge ctx Context a Ast b Ast Ast fun mk gt Z mk gt ctx Context a Ast b Ast Ast fun mk int sort Z mk int sort ctx Context Sort fun mk le Z mk le ctx Context a Ast b Ast Ast fun mk lt Z mk lt ctx Context a Ast b Ast Ast fun mk distinct Z mk distinct ctx Context count UInt asts Ast Ast fun mk mul Z mk mul ctx Context count UInt asts Ast Ast fun mk numeral Z mk numeral ctx Context s UInt sort Sort Ast fun mk solver Z mk solver ctx Context Solver fun mk string symbol Z mk string symbol ctx Context s UInt Symbol fun model to string Z model to string ctx Context model Model UInt fun solver assert Z solver assert ctx Context solver Solver ast Ast Void fun solver check Z solver check ctx Context solver Solver LBool fun solver get model Z solver get model ctx Context solver Solver Modelend The Next Layermodule Z extend self Context LibZ mk context LibZ mk config IntSort LibZ mk int sort Context def mk solver LibZ mk solver Context end def mk numeral num sort IntSort LibZ mk numeral Context num to s sort end def mk const name sort name sym LibZ mk string symbol Context name var LibZ mk const Context name sym sort end def mk eq a b LibZ mk eq Context a b end def mk ge a b LibZ mk ge Context a b end def mk gt a b LibZ mk gt Context a b end def mk le a b LibZ mk le Context a b end def mk lt a b LibZ mk lt Context a b end def mk add asts LibZ mk add Context asts size asts end def mk mul asts LibZ mk mul Context asts size asts end def mk distinct asts LibZ mk distinct Context asts size asts end def solver assert solver ast LibZ solver assert Context solver ast end def solver check solver LibZ solver check Context solver end def solver get model solver LibZ solver get model Context solver end def model to string model String new LibZ model to string Context model endendThe next layer needs to make one decision to support multiple contexts or not and I won t do it even though that has some legitimate uses as that would drastically overcomplicate the API and overwhelming majority of applications don t need that This whole code is very copy and paste and there s about such calls so we ll eventually have to use macros or some automated generation In Ruby version I used automated generation as that code is easier to unit tests with regexps than fancy metaprogramming I want to check how unit testable Crystal macros are in some future episode basically is there some kind of expect somemacro args to expand to some code There s also one quick hack here with constant IntSort Z has potentially infinite number of types like N bit bitvectors various floating point numbers and some much more exotic objects and that adds a lot of complexity We could just ignore this for now and try to support integers and booleans only for now Crystal LimitationsThere ary two Crystal specific issues First I d really want some kind of one line method definitions It would be great if we could do something like this syntax Ruby added def mk eq a b LibZ mk eq Context a b def mk ge a b LibZ mk ge Context a b def mk gt a b LibZ mk gt Context a b def mk le a b LibZ mk le Context a b def mk lt a b LibZ mk lt Context a b There s been some discussion about adding that to Crystal too Overall it s a purely syntactic issue and while it would be nice there s only so much syntax you can add before it conflicts with other syntax A much bigger issue is why we have to do this def mk distinct asts LibZ mk distinct Context asts size asts endInstead of the way we d do it in Ruby def mk distinct asts LibZ mk distinct Context asts size asts endI originally tried it the Ruby way but Crystal just plain won t allow Z mk distinct vars values If I try I get Error argument to splat must be a tuple not Array LibZ Ast Without some workarounds this will lead to an awkward APIs as now every mk add and mk mul need extra inside We ll get to possible workarounds in a future episode Solution CodeFirst we setup Solver and some variables Setup librarysolver Z mk solver Integer constantsnums Hash Int LibZ Ast new each do num nums num Z mk numeral num end Variables all to vars Hash String LibZ Ast new w s e n d m o r e m o n e y uniq each do name var Z mk const name Z IntSort vars name var Z solver assert solver Z mk ge var nums Z solver assert solver Z mk le var nums end m and s need to be gt no leading zeroesZ solver assert solver Z mk ge vars m nums Z solver assert solver Z mk ge vars s nums all letters represent different digitsZ solver assert solver Z mk distinct vars values Not having to deal with the contex deinitely cleans up this code The following code with adds and muls and their extra is not amazing SEND MORE MONEYsend sum Z mk add Z mk mul vars s nums Z mk mul vars e nums Z mk mul vars n nums vars d more sum Z mk add Z mk mul vars m nums Z mk mul vars o nums Z mk mul vars r nums vars e money sum Z mk add Z mk mul vars m nums Z mk mul vars o nums Z mk mul vars n nums Z mk mul vars e nums vars y equation Z mk eq Z mk add send sum more sum money sum Z solver assert solver equation To be fair it s no big deal as the end goal is saying something more like this send sum Z Int s Z Int e Z Int n Z Int d more sum Z Int m Z Int o Z Int r Z Int e money sum Z Int m Z Int o Z Int n Z Int e Z Int y solver assert send sum more sum money sum Which won t have any s anyway as it will be using operators And finally we print the result As it s enum now not a number it prints nicely without us doing anything Get the resultresult code Z solver check solver puts Result code is result code model Z solver get model solver puts Z model to string model send more money crResult code is Trued gt n gt o gt m gt r gt s gt e gt y gt Story so farAll the code is in crystal z repo We got closer to something usable but the API is both incomplete and inconvenient Coming nextIn the next episode we ll try to create nice operator based API for limited subset of Z with just booleans and integers	2022-03-01 18:09:54
Apple	AppleInsider - Frontpage News	From iPhones to Planes: How the Russia - Ukraine war threatens supply chains	https://appleinsider.com/articles/22/03/01/from-iphones-to-planes-how-the-russia---ukraine-war-threatens-supply-chains?utm_medium=rss	From iPhones to Planes How the Russia Ukraine war threatens supply chainsThe Russian invasion of Ukraine could exacerbate existing supply chain problems affecting the electronics production industry though the effects may take time to be felt Credit Max KukurudziakIn February Russian President Vladimir Putin ordered a full scale invasion of Ukraine by land sea and air The ongoing conflict represents the largest ground war in Europe since World War II Read more	2022-03-01 18:38:31
Apple	AppleInsider - Frontpage News	Apple seeds fifth iOS 15.4, iPadOS 15.4, tvOS 15.4, & watchOS 8.5 developer betas	https://appleinsider.com/articles/22/03/01/apple-seeds-fifth-ios-154-ipados-154-tvos-154-watchos-85-developer-betas?utm_medium=rss	Apple seeds fifth iOS iPadOS tvOS amp watchOS developer betasApple has reached the fifth beta generation and is providing developers with new builds of iOS iPadOS tvOS and watchOS to try out The newest builds can be downloaded via the Apple Developer Center for those enrolled in the test program or via an over the air update on devices running the beta software Public betas typically arrive within a few days of the developer versions via the Apple Beta Software Program website The fifth round follows the fourth which arrived on February The third beta landed on February the second on February and the first from January Read more	2022-03-01 18:12:54
Apple	AppleInsider - Frontpage News	Apple issues fifth macOS Monterey 12.3 developer beta	https://appleinsider.com/articles/22/03/01/apple-issues-fifth-macos-monterey-123-developer-beta?utm_medium=rss	Apple issues fifth macOS Monterey developer betaApple has handed developers a fifth beta build of macOS Monterey to try out on their Macs and MacBooks The latest builds can be downloaded by developers in the beta testing scheme via the Apple Developer Center or as an over the air update for hardware already using earlier beta builds A public beta version usually follows shortly after the developer variant and will be available through the Apple Beta Software Program website The fifth build lands after the fourth which appeared on February The third build was distributed on February the second on February and the first on January Read more	2022-03-01 18:12:02
海外TECH	Engadget	Crunchyroll begins adding Funimation content to anime library	https://www.engadget.com/crunchyroll-funimation-merger-184031451.html?src=rss	Crunchyroll begins adding Funimation content to anime libraryEffectively putting a bookend to Sony s billion deal to buy the platform in Crunchyroll has added more than series that were previously either exclusive to Funimation or weren t available to watch dubbed Some of the more notable additions joining the platform s library today include Megalobox Nomad Wonder Egg Priority and Kyoto Animation sHyouka Additionally some shows that were at one point available on Crunchyroll but that the platform later pulled after Sony acquired Funimation in have returned That includes Cowboy Bebop “This move makes good on the promise to fans that the merger of Funimation and Crunchyroll would bring together the previously separate services into a single subscription Crunchyroll said Starting April st the beginning of the spring anime season new series will debut exclusively on Crunchyroll For the time being Funimation will continue to add new episodes of existing shows but the FAQ Crunchyroll posted suggests Sony will sunset the Funimation brand To that point the company is handing out free day trials for Crunchyroll to current Funimation Wakanim and VRV subscribers though it said it would work migrating things like watch histories to the platform	2022-03-01 18:40:31
海外TECH	Engadget	Waymo and Cruise can now charge for robotaxi rides in California	https://www.engadget.com/waymo-cruise-commercial-robotaxi-service-california-san-francisco-182026953.html?src=rss	Waymo and Cruise can now charge for robotaxi rides in CaliforniaThe California Public Utilities Commission CPUC has granted Waymo and Cruise permission to start operating commercial robotaxi services as long as there s a safety driver in the car The companies can now pick up passengers and charge for rides They can also offer shared rides nbsp Under the Drivered Deployment permits GM owned Cruise can operate robotaxi services on certain roads in San Francisco between PM and AM with a speed limit of miles per hour Alphabet s Waymo on the other hand can run a robotaxi service around the clock in certain areas of San Francisco and San Mateo counties Its automated vehicles can travel at up to miles per hour However neither company s service can operate in heavy rain or fog Waymo says hundreds of riders have used a free version of the service since it started a trial program in August while tens of thousands are on the waitlist It plans to start offering paid trips in the coming weeks The company says it will take what it learned from running its first commercial self driving car service in Arizona to bolster its San Francisco operations Engadget has asked Cruise for details about its rollout of commercial services in California Both companies have beentesting driverless rides in San Francisco but they can t offer commercial services without safety drivers in California just yet nbsp	2022-03-01 18:20:26
海外TECH	Network World	Cisco details delivery of its private 5G services	https://www.networkworld.com/article/3651513/cisco-details-delivery-of-its-private-5g-services.html#tk.rss_all	Cisco details delivery of its private G services Cisco will use system integrators service providers and channel partners to deliver its subscription based private G managed service supported by its hardware and software the company announced at Mobile World Congress MWC Those partners include JMA Airspan Dish Networks and Logicalis to support the cloud based service that will integrate with Wi Fi networks reduce up front costs and provide deployment when and where needed Cisco says Cisco will provide its mobile core technology and IoT portfolio such as Cisco IoT Control Center and Cisco PG Packet Core as well as IoT sensors and gateways It will provide device management software and monitoring tools via a single portal the comapy says To read this article in full please click here	2022-03-01 18:40:00
金融	金融庁ホームページ	「銀行の引当開示の充実に向けて」について公表しました。	https://www.fsa.go.jp/news/r3/singi/20220301.html	開示	2022-03-01 18:50:00
ニュース	BBC News - Home	Ukraine conflict: Oil prices hit 7-year high despite emergency measures	https://www.bbc.co.uk/news/business-60557077?at_medium=RSS&at_campaign=KARANGA	energy	2022-03-01 18:04:01
ニュース	BBC News - Home	Compulsory Covid jabs for care home staff in England scrapped	https://www.bbc.co.uk/news/health-60575519?at_medium=RSS&at_campaign=KARANGA	england	2022-03-01 18:35:12
ニュース	BBC News - Home	Ukraine conflict: UK relaxes visa rules for refugees	https://www.bbc.co.uk/news/uk-politics-60569292?at_medium=RSS&at_campaign=KARANGA	changes	2022-03-01 18:12:52
ニュース	BBC News - Home	No-fly zone: What it means and why the West won't act	https://www.bbc.co.uk/news/world-europe-60576443?at_medium=RSS&at_campaign=KARANGA	assaults	2022-03-01 18:05:59
ニュース	BBC News - Home	Ukraine crisis: How many refugees and where might they go?	https://www.bbc.co.uk/news/world-60555472?at_medium=RSS&at_campaign=KARANGA	ukraine	2022-03-01 18:06:16
ニュース	BBC News - Home	Ukraine help: What can people in the UK do?	https://www.bbc.co.uk/news/uk-60562260?at_medium=RSS&at_campaign=KARANGA	refugees	2022-03-01 18:19:49
ニュース	BBC News - Home	Covid-19 in the UK: How many coronavirus cases are there in my area?	https://www.bbc.co.uk/news/uk-51768274?at_medium=RSS&at_campaign=KARANGA	cases	2022-03-01 18:12:17
ビジネス	ダイヤモンド・オンライン - 新着記事	ウクライナ危機が「米国の独り勝ち」に見える理由、投資家はどう向き合うか - 山崎元のマルチスコープ	https://diamond.jp/articles/-/297806	非常事態	2022-03-02 03:55:00
ビジネス	ダイヤモンド・オンライン - 新着記事	韓国・現代自動車の日本再上陸が険しい道筋といえる理由、シェアよりブランド浸透へ - モビリティ羅針盤～クルマ業界を俯瞰せよ 佃義夫	https://diamond.jp/articles/-/297805	現代自動車	2022-03-02 03:50:00
ビジネス	ダイヤモンド・オンライン - 新着記事	「日産ゴーン元会長の側近」に明日判決、有罪か否かを誰も予想できない理由 - News&Analysis	https://diamond.jp/articles/-/297804	「日産ゴーン元会長の側近」に明日判決、有罪か否かを誰も予想できない理由NewsampampAnalysis日産自動車元会長カルロス・ゴーン被告の役員報酬を過少に記載したとして、金融証券取引法違反有価証券報告書の虚偽記載の罪に問われた元代表取締役グレッグ・ケリー被告と、法人としての日産に対する判決が日午前時から、東京地裁で言い渡される。	2022-03-02 03:45:00
ビジネス	ダイヤモンド・オンライン - 新着記事	マツキヨ会長・松本清が松戸市長時代に開設した“すぐやる課”始末記 - The Legend Interview不朽	https://diamond.jp/articles/-/296977	マツキヨ会長・松本清が松戸市長時代に開設した“すぐやる課始末記TheLegendInterview不朽ドラッグストアチェーンの国内最大手マツモトキヨシの創業者である松本清が、千葉県松戸市小金に個人薬局「松本薬舗」を開業したのは年のこと。	2022-03-02 03:40:00
ビジネス	ダイヤモンド・オンライン - 新着記事	ウクライナ大統領の訴え、対ロ制裁で欧米動かす - WSJ PickUp	https://diamond.jp/articles/-/297800	wsjpickup	2022-03-02 03:35:00
ビジネス	ダイヤモンド・オンライン - 新着記事	プーチン氏と距離置き始めた欧州のポピュリスト - WSJ PickUp	https://diamond.jp/articles/-/297801	wsjpickup	2022-03-02 03:30:00
ビジネス	ダイヤモンド・オンライン - 新着記事	FRBにウクライナ戦争の試練　インフレ圧力巡り - WSJ PickUp	https://diamond.jp/articles/-/297803	金融引き締め	2022-03-02 03:25:00
ビジネス	ダイヤモンド・オンライン - 新着記事	九州のホームセンター「グッデイ」が国内有数のDX企業に生まれ変われたワケ - 酒井真弓のDX最前線	https://diamond.jp/articles/-/297799	地方企業	2022-03-02 03:20:00
ビジネス	ダイヤモンド・オンライン - 新着記事	陸上自衛隊の切実な恋愛事情、モテない隊員たちの悲喜こもごも - News&Analysis	https://diamond.jp/articles/-/297133	陸上自衛隊の切実な恋愛事情、モテない隊員たちの悲喜こもごもNewsampampAnalysisりっぱな男、勇気のある強い男のことを「ますらお」と呼ぶことがありますが、ここでは「陸上自衛官ますらお」と思ってください。	2022-03-02 03:15:00
ビジネス	ダイヤモンド・オンライン - 新着記事	40代・50代から「自分の武器」を生かして仕事を変える考え方 - ニュース3面鏡	https://diamond.jp/articles/-/297797	代・代から「自分の武器」を生かして仕事を変える考え方ニュース面鏡近年「働き方」が急速に変化していく中、フリーランスや起業など以前よりも可能性が広がっています。	2022-03-02 03:10:00
ビジネス	ダイヤモンド・オンライン - 新着記事	スーパースプレッダーになる人の特徴とは？基礎疾患ありでリスク増 - カラダご医見番	https://diamond.jp/articles/-/296474	covid	2022-03-02 03:05:00