■発表者 https://twitter.com/_N_A_ https://note.com/mryy プロダクトに関する問題空間を集めた電子書籍はこちら プロダクトマネジメント大全 上巻 https://booth.pm/ja/items/2657772 ---- 「問題ば…
Oct 7, 2025Using PLANS.md for multi-hour problem solving Codex and the gpt-5.2-codex model (recommended) can be used to implement complex tasks that take significant time to research, design, and implement. The approach described here is one way to prompt the model to implement these tasks and to steer it towards successful completion of a project. These plans are thorough design documents, and "l
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
Codex and the gpt-5.2-codex model (recommended) can be used to implement complex tasks that take significant time to research, design, and implement. The approach described here is one way to prompt the model to implement these tasks and to steer it towards successful completion of a project. These plans are thorough design documents, and “living documents”. As a user of Codex, you can use these d
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
AI & MLLearn about artificial intelligence and machine learning across the GitHub ecosystem and the wider industry. Generative AILearn how to build with generative AI. GitHub CopilotChange how you work with GitHub Copilot. LLMsEverything developers need to know about LLMs. Machine learningMachine learning tips, tricks, and best practices. How AI code generation worksExplore the capabilities and be
How open source projects can balance Makers and Takers: lessons from Drupal's contribution credit system and recommendations for WordPress and other open source communities. 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 adequat
LLMで思考ゲームのような推論が必要なタスクを可能にする手法に関する論文「Tree of Thoughts: Deliberate Problem Solving with Large Language Models」を読んだ際のメモ。 LLMはアイディアを出したりする創作的なタスクや、要約や翻訳のような変換のタスクは得意だが、論理的な思考が必要なタスクは比較的苦手である。 Chain-of-thought (CoT)のようなプロンプトエンジニアリングによって、数学の問題もある程度解けるようになっているが、例えば将棋のような思考ゲームをプレイするようなことはできない。 この研究では、LLMとヒューリステックな探索を組み合わせることで、Game of 24という簡単な思考ゲームを解くことができる手法を提案している。 LLMの特性として、トークンを順番生成する過程で、途中で間違いに気づいても後
July 2, 2024 Solving a math problem with planner programming More opportunities to mess with exotic technology 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 lett
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く