更新 2023/10/01 ver1.2 加筆修正しました 445P->506P 2021/09/21 ver1.2 スライドだけで理解しやすいように修正しました。 プロダクトに関する問題空間を集めた電子書籍はこちら プロダクトマネジメント大全 上巻 https://booth.pm/ja…
タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
(... 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
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
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
Solving complicated AI tasks with different domains and modalities is a key step toward artificial general intelligence. While there are numerous AI models available for various domains and modalities, they cannot handle complicated AI tasks autonomously. Considering large language models (LLMs) have exhibited exceptional abilities in language understanding, generation, interaction, and reasoning,
Imagine you're facing a problem at work--maybe your big presentation isn't quite working, your new design lacks something, or your hiring strategy needs a tune-up. How do you proceed with solving the problem? Ask a dozen different people for advice and you may get a dozen different suggestions. From a new recruiting strategy to an additional slide to a new product feature, everyone will have somet
Donald Knuth on work habits, problem solving, and happiness Shuvomoy Das Gupta April 13, 2020 Last update: May 2, 2022 Recently, I came across a few old and new interviews of Donald Knuth (sources: (i) Companion to the Papers of Donald Knuth, (ii) Interviews conducted by Lex Fridman Part 1 and Part 2), where he sheds light on his work habits, how he approaches problems, and his philosophy towards
An excuse to teach a lesson on information theory and entropy. These lessons are funded by viewers: https://www.patreon.com/3blue1brown Special thanks to these supporters: https://3b1b.co/lessons/wordle#thanks An equally valuable form of support is to simply share the videos. Contents: 0:00 - What is Wordle? 2:43 - Initial ideas 8:04 - Information theory basics 18:15 - Incorporating word frequenc
How Amazon is solving big-data challenges with data lakesJanuary 20, 2020 • 2157 words Back when Jeff Bezos filled orders in his garage and drove packages to the post office himself, crunching the numbers on costs, tracking inventory, and forecasting future demand was relatively simple. Fast-forward 25 years, Amazon's retail business has more than 175 fulfillment centers (FC) worldwide with over 2
Fine-tuning language models~(LMs) on human-generated data remains a prevalent practice. However, the performance of such models is often limited by the quantity and diversity of high-quality human data. In this paper, we explore whether we can go beyond human data on tasks where we have access to scalar feedback, for example, on math problems where one can verify correctness. To do so, we investig
Welcome to Micromouse, the fastest maze-solving competition on Earth. Join Onshape’s community of over 3 million CAD users by creating a free account here: https://Onshape.pro/Veritasium. Special thanks to our Patreon supporters! Join this community to help us keep our videos free, forever: https://ve42.co/PatreonDEB ▀▀▀ A huge thank you to Peter Harrison for all of his help introducing us to t
Proving theorems showcases the mastery of logical reasoning and the ability to search through an infinitely large space of actions towards a target, signifying a remarkable problem-solving skill. Since the 1950s (refs. 6,7), the pursuit of better theorem-proving capabilities has been a constant focus of artificial intelligence (AI) research8. Mathematical olympiads are the most reputed theorem-pro
Grade school math students are likely familiar with teachers admonishing them not to just guess the answer to a problem. But a new proof establishes that, in fact, the right kind of guessing is sometimes the best way to solve systems of linear equations, one of the bedrock calculations in math. As a result, the proof establishes the first method capable of surpassing what had previously been a har
MIT researchers found that massive neural network models that are similar to large language models are capable of containing smaller linear models inside their hidden layers, which the large models could train to complete a new task using simple learning algorithms. Large language models like OpenAI’s GPT-3 are massive neural networks that can generate human-like text, from poetry to programming c
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
Select any of the topics below to expand for details. What is SQL? SQL stands for Structured Query Language. It's a language used to access and manipulate data stored in tables. Each table contains columns for the different fields, and rows for the different records. Structure of an SQL statement SQL statement is composed of an ordered list of clauses such as SELECT, FROM, WHERE etc. Each clause h
Now, let’s look at the component hierarchy to understand the relationship between the components. As you can probably see now, the problem we have is that the user object that holds the user’s name is only available at the root component level (App), whereas the component rendering the welcome message is nested deep within our app (Message). This means we somehow have to pass this user object down
This blog post outlines the work that Microsoft is doing to eliminate uninitialized kernel pool memory vulnerabilities from Windows and why we’re on this path. For a background on why uninitialized memory matters and what options have been used in the past to tackle this issue, please see our previous blog post. The brief recap is that uninitialized kernel pool vulnerabilities account for a little
Everyone loves Unsolved Mysteries. There’s always someone who seems like the surefire culprit. There’s a clear motive, the perfect opportunity, and an incriminating footprint left behind. Yet, this is Unsolved Mysteries! It’s never that simple. Whether it’s a cryptic note behind the TV or a mysterious phone call from an unknown number at a critical moment, the pieces rarely fit together perfectly.
Recently, a public dispute has emerged between WordPress co-founder Matt Mullenweg and hosting company WP Engine. Matt has accused WP Engine of misleading users through its branding and profiting from WordPress without adequately contributing back to the project. As the Founder and Project Lead of Drupal, another major open source Content Management System (CMS), I hesitated to weigh in on this de
Employee Engagement is today’s ultimate business buzzword. It has been for a long time now. In fact, add the word ‘crisis’ to it – it’s being faced worldwide and constantly debated about and researched on renowned sites such as Forbes, Deloitte, Glassdoor, and more. Take a guess: it’s no longer just an HR topic but quite an intense issue. You might be wondering: what exactly is ‘employee engagemen
[レポート] Amazon SageMaker RL: Solving business problems with RL and bandits #AIM404 #reinvent 最初に こんにちは、データアナリティクス事業本部のyoshimです。 今日はre:Invent2019にて行われた「Amazon SageMaker RL: Solving business problems with RL and bandits」というワークショップの内容についてご紹介するエントリーを書こうと思います。 ワークショップ概要 本ワークショップの概要は下記の通りです。 In reinforcement learning (RL), an RL agent learns in an interactive environment by trial and error using feedback
This blog post outlines the work that Microsoft is doing to eliminate uninitialized stack memory vulnerabilities from Windows and why we’re on this path. This blog post will be broken down into a few parts that folks can jump to: Uninitialized Memory Background Potential Solutions to Uninitialized Memory Vulnerabilities InitAll – Automatic Initialization Interesting Findings with InitAll Performan
At Cookpad, after the public launch of iOS 15 we started to receive reports from users telling us that they were being repeatedly logged out when opening our app. This came as quite a surprise since this wasn’t something that we spotted during our testing with the iOS beta releases. If you are here for a fix then scroll right down to the conclusion, but if you want to understand more on how we deb
Open Peer Review. Open Publishing. Open Access. Open Discussion. Open Recommendations. Open Directory. Open API. Open Source. Abstract: Existing combinatorial search methods are often complex and require some level of expertise. This work introduces a simple and efficient deep learning method for solving combinatorial problems with a predefined goal, represented by Rubik's Cube. We demonstrate tha
【Python】コーディング練習_2日目(LeetCode:Solving Questions With Brainpower)Python動的計画法leetcode はじめに コーディング練習2日目です。 実装内容 一番大きな獲得ポイント値を返す。以下に詳細を記載する。 (例) 入力 = [[3, 2], [4, 3], [4, 4], [2, 5]] 配列の1つ目の数字は獲得ポイント、2つ目の数字はスキップ数を表している。 例えば、最初の組([3, 2])を選択した場合、獲得ポイントは3で、その後2つの組をスキップした後の配列([2, 5])に移動する。 ここで獲得できるポイントは2なので、出力は3+2で5となる。 2つ目の組([4, 3])を選択した場合は、3つスキップした後に配列が存在しないので、獲得ポイント数は4。 同様に3つ目の組は4、4つ目の組は2となる。 この中で獲得ポイン
LLMで思考ゲームのような推論が必要なタスクを可能にする手法に関する論文「Tree of Thoughts: Deliberate Problem Solving with Large Language Models」を読んだ際のメモ。 LLMはアイディアを出したりする創作的なタスクや、要約や翻訳のような変換のタスクは得意だが、論理的な思考が必要なタスクは比較的苦手である。 Chain-of-thought (CoT)のようなプロンプトエンジニアリングによって、数学の問題もある程度解けるようになっているが、例えば将棋のような思考ゲームをプレイするようなことはできない。 この研究では、LLMとヒューリステックな探索を組み合わせることで、Game of 24という簡単な思考ゲームを解くことができる手法を提案している。 LLMの特性として、トークンを順番生成する過程で、途中で間違いに気づいても後
The deadline for the logic book is coming up! I'm hoping to have it ready for early access by either the end of this week or early next week. During a break on Monday I saw this interesting problem on Math Stack Exchange: Suppose that at the beginning there is a blank document, and a letter "a" is written in it. In the following steps, only the three functions of "select all", "copy" and "paste" c
Click into the example and tab around to see how the tab order is disconnected from the layout order by use of grid placement properties. Proposed solution The CSS Working Group is proposing a solution for this problem, and would love feedback from developers and the accessibility community about this approach. Following randomized layouts with reading-order: auto In situations that create a rando
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く