並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 37 件 / 37件

新着順 人気順

solvingの検索結果1 - 37 件 / 37件

タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。

solvingに関するエントリは37件あります。 機械学習動画performance などが関連タグです。 人気エントリには 『仕組みと働きでまるっと分かる問題解決/ problem solving』などがあります。
  • 仕組みと働きでまるっと分かる問題解決/ problem solving

    更新 2023/10/01 ver1.2 加筆修正しました 445P->506P 2021/09/21 ver1.2 スライドだけで理解しやすいように修正しました。 プロダクトに関する問題空間を集めた電子書籍はこちら プロダクトマネジメント大全 上巻 https://booth.pm/ja…

      仕組みと働きでまるっと分かる問題解決/ problem solving
    • Speaker DeckにおけるGoogleスライドのフォントの問題解決/problem solving for google slides 2023

      Googleスライドのフォントまわりのトラブルを、非専門の方がサクッと解決することが目的です。 pdfに変換してダウンロードしたり、Speaker Deckにアップロードすると、文字がガビガビになったり、フォントが置き換わることでレイアウトが壊れるといった問題が生じます。 元のスライドデータ…

        Speaker DeckにおけるGoogleスライドのフォントの問題解決/problem solving for google slides 2023
      • GitHub - orioledb/orioledb: OrioleDB – building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems)  🇺🇦

        (... 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

          GitHub - orioledb/orioledb: OrioleDB – building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems)  🇺🇦
        • AI achieves silver-medal standard solving International Mathematical Olympiad 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

            AI achieves silver-medal standard solving International Mathematical Olympiad problems
          • Solving common problems with Kubernetes

            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 common problems with Kubernetes
            • Solving Quantitative Reasoning Problems With Language Models

              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

              • HuggingGPT: Solving AI Tasks with ChatGPT and its Friends in Hugging Face

                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,

                • New Study: You Probably Completely Ignore This Brilliant Problem-Solving Strategy | Inc.com

                  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

                    New Study: You Probably Completely Ignore This Brilliant Problem-Solving Strategy | Inc.com
                  • Source Trail : Solving programming and code problems for programmers

                    Python Browse all Python answers Django Flask Pandas NumPy PyTorch Javascript Browse all JavaScript answers Typescript jQuery React React Native

                      Source Trail : Solving programming and code problems for programmers
                    • Donald Knuth on work habits, problem solving, and happiness

                      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

                      • Solving Wordle using information theory

                        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

                          Solving Wordle using information theory
                        • How Amazon is solving big-data challenges with data lakes

                          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

                            How Amazon is solving big-data challenges with data lakes
                          • Beyond Human Data: Scaling Self-Training for Problem-Solving with Language Models

                            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

                            • The Fastest Maze-Solving Competition On Earth

                              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

                                The Fastest Maze-Solving Competition On Earth
                              • Solving olympiad geometry without human demonstrations - Nature

                                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

                                  Solving olympiad geometry without human demonstrations - Nature
                                • New Algorithm Breaks Speed Limit for Solving Linear Equations

                                  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

                                    New Algorithm Breaks Speed Limit for Solving Linear Equations
                                  • DHH on X: "When Ruby on Rails was launched over twenty years ago, I was a twenty-some young programmer convinced that anyone who gave my stack a try would accept its universal superiority for solving The Web Problem. So I pursued the path of the crusade,

                                    • Solving a machine-learning mystery

                                      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

                                        Solving a machine-learning mystery
                                      • The More American Sociology Seeks to Become a Politically-Relevant Discipline, the More Irrelevant it Becomes to Solving Societal Problems - The American Sociologist

                                        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

                                          The More American Sociology Seeks to Become a Politically-Relevant Discipline, the More Irrelevant it Becomes to Solving Societal Problems - The American Sociologist
                                        • Learn SQL while solving crimes! SQL Police Department

                                          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

                                            Learn SQL while solving crimes! SQL Police Department
                                          • A better way of solving prop drilling in React apps - LogRocket Blog

                                            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

                                              A better way of solving prop drilling in React apps - LogRocket Blog
                                            • Solving Uninitialized Kernel Pool Memory on Windows | MSRC Blog | Microsoft Security Response Center

                                              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

                                              • GitHub - odnoletkov/advent-of-code-jq: Solving Advent of Code with jq

                                                You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

                                                  GitHub - odnoletkov/advent-of-code-jq: Solving Advent of Code with jq
                                                • Edgar: Solving Mysteries Faster with Observability

                                                  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.

                                                    Edgar: Solving Mysteries Faster with Observability
                                                  • Solving the Maker-Taker problem

                                                    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

                                                      Solving the Maker-Taker problem
                                                    • Powerful Secrets to Solving Employee Engagement Crisis | ReachExt

                                                      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

                                                        Powerful Secrets to Solving Employee Engagement Crisis | ReachExt
                                                      • しくじり先生 - NFS+sqliteで苦労した話から学ぶ、問題解決の考え方 / problem-solving approach

                                                        しくじり先生 - NFS+sqliteで苦労した話から学ぶ、問題解決の考え方 / problem-solving approach

                                                          しくじり先生 - NFS+sqliteで苦労した話から学ぶ、問題解決の考え方 / problem-solving approach
                                                        • Source Trail : Solving programming and code problems for programmers

                                                          Python Browse all Python answers Django Flask Pandas NumPy PyTorch Javascript Browse all JavaScript answers Typescript jQuery React React Native

                                                            Source Trail : Solving programming and code problems for programmers
                                                          • Minerva: Solving Quantitative Reasoning Problems with Language Models

                                                            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

                                                              Minerva: Solving Quantitative Reasoning Problems with Language Models
                                                            • [レポート] Amazon SageMaker RL: Solving business problems with RL and bandits #AIM404 #reinvent | DevelopersIO

                                                              [レポート] 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

                                                                [レポート] Amazon SageMaker RL: Solving business problems with RL and bandits #AIM404 #reinvent | DevelopersIO
                                                              • Solving Uninitialized Stack Memory on Windows | MSRC Blog | Microsoft Security Response Center

                                                                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

                                                                • Solving Mysterious Logout Issues on iOS 15

                                                                  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

                                                                    Solving Mysterious Logout Issues on iOS 15
                                                                  • Self-Supervision is All You Need for Solving Rubik’s Cube

                                                                    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

                                                                      Self-Supervision is All You Need for Solving Rubik’s Cube
                                                                    • 【Python】コーディング練習_2日目(LeetCode:Solving Questions With Brainpower) - Qiita

                                                                      【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となる。 この中で獲得ポイン

                                                                        【Python】コーディング練習_2日目(LeetCode:Solving Questions With Brainpower) - Qiita
                                                                      • 【論文】Tree of Thoughts: Deliberate Problem Solving with Large Language Models - TadaoYamaokaの開発日記

                                                                        LLMで思考ゲームのような推論が必要なタスクを可能にする手法に関する論文「Tree of Thoughts: Deliberate Problem Solving with Large Language Models」を読んだ際のメモ。 LLMはアイディアを出したりする創作的なタスクや、要約や翻訳のような変換のタスクは得意だが、論理的な思考が必要なタスクは比較的苦手である。 Chain-of-thought (CoT)のようなプロンプトエンジニアリングによって、数学の問題もある程度解けるようになっているが、例えば将棋のような思考ゲームをプレイするようなことはできない。 この研究では、LLMとヒューリステックな探索を組み合わせることで、Game of 24という簡単な思考ゲームを解くことができる手法を提案している。 LLMの特性として、トークンを順番生成する過程で、途中で間違いに気づいても後

                                                                          【論文】Tree of Thoughts: Deliberate Problem Solving with Large Language Models - TadaoYamaokaの開発日記
                                                                        • Solving a math problem with planner programming

                                                                          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

                                                                            Solving a math problem with planner programming
                                                                          • Solving the CSS layout and source order disconnect  |  Blog  |  Chrome for Developers

                                                                            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

                                                                              Solving the CSS layout and source order disconnect  |  Blog  |  Chrome for Developers
                                                                            1

                                                                            新着記事