Talked at AWS Summit Tokyo 2019 & Developers Summit 2020. 説明つきの動画にてご覧になりたい方はこちらもどうぞ → https://www.youtube.com/watch?v=ZwfdLAClzsc ※ 2019年の動画のためスライドなど多少中身に違いがありますが、だいたい一緒です
タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
Philosophy We strive to create an environment conducive to many different types of research across many different time scales and levels of risk. Learn more about our Philosophy Learn more
(... and solving some PostgreSQL wicked problems) OrioleDB is a new storage engine for PostgreSQL, bringing a modern approach to database capacity, capabilities and performance to the world's most-loved database platform. OrioleDB consists of an extension, building on the innovative table access method framework and other standard Postgres extension interfaces. By extending and enhancing the curre
プログラミングを教えるときに使える「Parson's Problems(もしくは Parson's Puzzles とも言う)」というプラクティスを最近知った!「Parson's Problems」はコードの各行がバラバラになっていて,インデントも含めて正確に並び替えたら正解になるというパズルのようなプログラミング学習スタイルという感じ.以下に載せた parsons.problemsolving.io のキャプチャ(お題 : 数列から最大値を見つける)を見ればイメージできると思う. 「Parson's Problems」は特に入門者にプログラミングを教えるときに効果的!コードを書かずにドラッグアンドドロップで試行錯誤できて,パズルのように楽しめる.また入門者がコードを読む機会にもなる.入門者にとって,コードをゼロから実装するのは難しく,挫折する理由になることもある.そこで,実際に教育の現場
Research AI achieves silver-medal standard solving International Mathematical Olympiad problems Published 25 July 2024 Authors AlphaProof and AlphaGeometry teams Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics Artificial general intelligence (AGI) with advanced mathematical reasoning has the potential to unlock new frontiers in science and techno
This paper provides a survey of the emerging area of Large Language Models (LLMs) for Software Engineering (SE). It also sets out open research challenges for the application of LLMs to technical problems faced by software engineers. LLMs' emergent properties bring novelty and creativity with applications right across the spectrum of Software Engineering activities including coding, design, requir
After being fired from media conglomerate, Juban TV, due to creative differences, Cameron takes it upon himself to start his own TV company. Thus, the birth of Ginger Root Productions. "No Problems" is the first single from Ginger Root's upcoming full length album: "SHINBANGUMI", set to release on Sept 13th on Ghostly Int. Over the course of 8 music video chapters, come along as Cameron tries to
Introduction to Dockerizing for Production Improve your DevOps skills: learn an iterative process for Dockerizing your code. Get your free ebook “Let’s use Kubernetes!” Now you have 8 problems by Itamar Turner-Trauring Last updated 01 Oct 2021, originally created 04 Mar 2020 If you’re using Docker, the next natural step seems to be Kubernetes, aka K8s: that’s how you run things in production, righ
Your iPhone isn't impervious to problems. In fact, most of us experience at least a few issues with our iPhones throughout their lifespan. One of the strongest tools at your disposal for fixing these issues is iOS's Device Firmware Update (DFU) mode. DFU mode is a special iPhone state you can use to reinstall every line of software and firmware on your device. It's the deepest possible restore for
Many JSON parsers (and many parsers in general) use recursion to parse nested structures. This is very convenient while programming the parser, but it has consequences on what the parser can parse: indeed, the size of the call stack is usually limited to a value several orders of magnitude smaller than the available RAM, and this implies that a program with too many levels of recursion will fail.
Hello! I’ve been thinking about writing a zine about how things are represented on computers in bytes, so I was thinking about floating point. I’ve heard a million times about the dangers of floating point arithmetic, like: addition isn’t associative (x + (y + z) is different from (x + y) + z) if you add very big values to very small values, you can get inaccurate results (the small numbers get lo
I first learned Kubernetes ("k8s" for short) in 2018, when my manager sat me down and said "Cloudflare is migrating to Kubernetes, and you're handling our team's migration." This was slightly terrifying to me, because I was a good programmer and a mediocre engineer. I knew how to write code, but I didn't know how to deploy it, or monitor it in production. My computer science degree had taught me a
Solving Quantitative Reasoning Problems with Language Models Aitor Lewkowycz∗, Anders Andreassen†, David Dohan†, Ethan Dyer†, Henryk Michalewski†, Vinay Ramasesh†, Ambrose Slone, Cem Anil, Imanol Schlag, Theo Gutman-Solo, Yuhuai Wu, Behnam Neyshabur∗, Guy Gur-Ari∗, and Vedant Misra∗ Google Research Abstract Language models have achieved remarkable performance on a wide range of tasks that require
At Google, our teams follow site reliability engineering (SRE) practices to help keep systems healthy and users productive. There is a phrase we often use on our SRE teams: "At Google scale, million-to-one chances happen all the time." This illustrates the massive complexity of the system that powers Google Search, Gmail, Ads, Cloud, Android, Maps, and many more. That type of scale creates complex
While Apple has a solid track record, the company messes up at times. Here are Apple's biggest Mac failures and how to fix them. If you plan on getting a MacBook, research on the features and faults of Apple's devices can go a long way in shaping your buying decision. You don't want to purchase a new device only to find that it has a notorious problem. But if you've already purchased a MacBook and
👋 Hi folks, thanks for reading my newsletter! My name is Diogo Santos, and I write about data product principles, the evolution of the modern data stack, and the journey to data mesh (the future of data architecture). In today’s article, I’ll discuss the biggest challenges in the modern data stack. How do we got here, what are the main problems, and how to address them. Please consider subscribin
Machines or computers only understand numbers. And these numbers need to be represented and processed in a way that lets machines solve problems by learning from the data instead of learning from predefined instructions (as in the case of programming). All types of programming use mathematics at some level. Machine learning involves programming data to learn the function that best describes the da
Is iCloud not working? Here's what to do when you can't sign in to iCloud, see an iCloud error, or experience other common iCloud issues. Anyone who has an Apple device probably uses iCloud as well. Apple's cloud storage service makes it easy to sync photos, calendars, documents, emails, and more across all your Apple products. But if iCloud isn't working, you might lose access to all that data! W
adventar.org AtCoder Problems とは? AtCoder Problems とは AtCoder の提出をクロールして管理しているウェブアプリです。 https://kenkoooo.com/atcoder/ AtCoder Problems の主な機能 AtCoder の各問題について自分が AC したかどうかを管理 他のユーザーとの比較も可能 問題の検索 AC/非ACで絞り込み AtCoder公式の点数で絞り込み 独自に算出したDifficultyで絞り込み 問題タイトル・コンテスト名・FAユーザー・最短ユーザー・最速ユーザー・etcで検索 ユーザーダッシュボード AC数や連続新規AC日数などの確認 各種公式コンテストの埋め具合を確認 毎日のAC数の確認 自分の提出一覧 各言語でのAC数 Difficultyを基にした問題推薦 ランキング AC数ランキング A
Everything in Standard DigitalGlobal news & analysisExpert opinionSpecial featuresFirstFT newsletterVideos & PodcastsFT App on Android & iOSFT Edit app10 gift articles per monthExclusive FT analysisPremium newslettersFT Digital Edition10 additional gift articles per monthWeekday Print EditionFT WeekendFT Digital EditionGlobal news & analysisExpert opinionSpecial featuresExclusive FT analysisFT Dig
ある人を助けるために別の人を犠牲にするのは許されるのか?という、思考実験の「トロッコ問題」を、人によってはより回答が難しくなるよう改造したものが「Absurd Trolley Problems(不条理なトロッコ問題)」です。命と天秤にかけられるのは「自分の命」だったり「貯金」だったり「Amazonの配達遅延」だったりとさまざまで、個々人の命の価値の違いがよくわかります。 Absurd Trolley Problems https://neal.fun/absurd-trolley-problems/ 最初に表示されるのは、「オーノー!トロッコが5人に向かって走ってきます。レバーを引けば線路のルートを切り替えることができますが、その場合は別の人が1人死にます。どうする?」という、トロッコ問題の基本形。選択肢としては「Pull the lever(レバーを引く)」と「Do nothing(何も
Photo by Circe Denyer on PublicDomainPictures.netUsually, when I see BatchNorm and Dropout layers in a neural network, I don’t pay them much attention. I tend to think of them as simple means to speed up training and improve generalization with no side effects when the network is in inference mode. In this post, I will show why this notion is not always correct, and may cause the neural network to
https://adventar.org/calendars/3865 Competitive Programming Advent Calendar 2019 の12月5日分です。この記事を書いた2019年12月時点でのAtCoder Problemsの難易度推定について、思いつく限りの話題を書きます。 あなたは誰? AtCoder Problems に難易度推定をつけた人です。AtCoder社の人の次くらいにレーティングシステムに詳しいと思います。 AtCoder Problems の Difficulty ってなんですか? 現在の内部レーティング*1がこの値の人がコンテストでその問題を見たら50%の確率で解けると考えられる値です。過去のコンテストの結果から推定しています。 DifficultyがX色という表現をたまに見ますが、これは AtCoder Problems 上でそれぞれの問
I am @ghalex, a frontend geek, entrepreneur and father of two sons. Today I want to share the problems 🤯 I got when I converted my project from Vue 2 to Vue 3. My top 3 problems switching to Vue 3: using v-model on custom componentsusing filters in my templateusing external components Using v-model on custom components In Vue 2 if you wanted to have support for v-model in your custom component al
AtCoder Beginner Contest の緑 difficulty の問題を解くコツを自分なりにまとめたスライドです。 必要な知識の解説は無く、考察の方針がメインになっています。 (各自で調べられるよう、知識の紹介はしています) 前半の内容について、スライドで省いた説明などを補足する記事を書きました↓ https://www.creativ.xyz/the-view-of-green-difficulty-problems/ 完全に私ふるやん(@furuya1223)の個人的見解ですのであしからず。 内容で参照されている私のブログ:http://www.creativ.xyz/ 【用語解説】 AtCoder Beginner Contest ... プログラミングコンテストサイト AtCoder (https://atcoder.jp/home) で開催される初心者〜中級者向けコ
Ubuntu Weekly Topics 2020年11月13日号Ubuntu 20.10 日本語 Remixのリリース、「Regression Potential」から「Where problems could occur」への変更 Ubuntu 20.10 日本語 Remixのリリース Ubuntu Japanese Teamは、ご協力いただいたボランティアの皆様の力により11月10日にUbuntu 20.10 日本語 Remixをリリースしました。ダウンロードページから入手可能です。 「Regression Potential」から「Where problems could occur」への変更 Ubuntuでは、「一度リリースした後は、アップデータによる変更は限定的に行う」(注1)という「SRU」(Stable Release Updates)と呼ばれるポリシーとプロセスがあ
The More American Sociology Seeks to Become a Politically-Relevant Discipline, the More Irrelevant it Becomes to Solving Societal Problems Published: 22 July 2019 Volume 50, pages 456–487, (2019) Cite this article The long-standing divide between sociology as an activist discipline vs. sociology as a science is examined in light of the current trend for American sociology focus on a limited set of
Regular attendees of Arsenal press conferences at the Emirates Stadium – in the before-times, when these things still happened – will tell of a mysterious character by the name of First Question Man. Nobody ever discovered who FQM worked for, or if he was even a journalist at all. His only real talent, if you can call it that, was to sit in the front row and make sure he asked the first question,
A massive security breach at Twitch has exposed a wealth of information pertaining to the website’s source code, unreleased projects, and even how much the top streamers make. As data analysts and journalists work to decipher what exactly is contained in the hundreds of gigabytes of information, others are still wondering how this happened. Such a breach seemed like it was increasingly likely to s
I have been and continue to be confronted with graphics cards from my readers whose initially good cooling performance dwindles after just a few months and whose hotspot temperatures are then well above the 100 degree mark. I have already published several articles on this topic, dealing with the symptoms and repair, but now I […] Source
Programming Algorithms 20+ basic Algorithms Problems from Coding Interviews Disclosure: This post includes affiliate links; I may receive compensation if you purchase products or services from the different links provided in this article. Hello All, If you are preparing for Programming job interviews or looking for a new job then you know that it's not an easy process. You got to be lucky to get t
As the Coronavirus pandemic continues to force people to work from home, countless companies are now holding daily meetings using videoconferencing services from Zoom. But without the protection of a password, there’s a decent chance your next Zoom meeting could be “Zoom bombed” — attended or disrupted by someone who doesn’t belong. And according to data gathered by a new automated Zoom meeting di
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く