o1-preview大実験！ChatGPT o1は競プロの問題を解けるのかAtCoder (2024年9月版) - Qiita
# Problem Statement Mr.LLM bought N items in a supermarket. The price of i-th item was A[i] dollars. Write a program that outputs the total price. # Constraints - 1 <= N <= 100 - 1 <= A[i] <= 100 (1 <= i <= N) - All input values are integer # Input N A[1] A[2] A[3] ... A[N] # Output Print the answer. # Sample Input 1 5 3 1 4 1 5 # Sample Output 1 14
OpenAI o1 の APIの使い方｜npaka
以下の記事が面白かったので、簡単にまとめました。 ・Reasoning models 1. OpenAI o1「OpenAI o1」シリーズは、複雑な推論を行うために強化学習を用いて学習された新しい大規模言語モデルです。回答する前に考える特性があり、ユーザーに応答する前に長い内部思考の過程を生み出すことができます。これにより、科学的な推論に優れ、競技プログラミングの問題 (Codeforces) では89パーセンタイルにランクインし、米国数学オリンピック (AIME) の予選で全米の上位500人の学生に入る成績を収めています。また、物理学、生物学、化学の問題に関するベンチマーク (GPQA) では、人間の博士レベルの精度を上回る成績を達成しています。 APIでは、次の2つのモデルが提供されています。 ・o1-preview : o1モデルの早期プレビューモデル。世界に関する幅広い一般知識を
Why GitHub Actually Won
A few days ago, a video produced by @t3dotgg was posted to his very popular YouTube channel where he reviews an article written by the Graphite team titled “How GitHub replaced SourceForge as the dominant code hosting platform”. Theo’s title was a little more succinct, “Why GitHub Won”. Being a cofounder of GitHub, I found Greg’s article and Theo’s subsequent commentary fun, but figured that it mi
リベラル全体主義・リベ全の強まり
2024年9月13日 田中 宇 西欧で「リベラル全体主義（リベ全）」が強まっている。多くの西欧諸国やEUの上層部は、リベラル派（左派）とグローバリストが権力を握ってきた。彼らは10年ほど前から、（無根拠な）温暖化人為説に基づく石油ガス利用の強制的な減少とか、中東アフリカなどからの移民・（偽装）難民の大量受け入れなど、間違った政策を、リベラル主義の名のもとに積極的に進めてきた。 彼らは、2020年に新型コロナが広がると、効果がないのが事前にわかっていたのに都市閉鎖策（ロックダウン）を強行して経済を自滅させ、効かなくて有害なmRNAワクチンの接種を市民に強要し、従わない人々を制裁・懲罰した。リベラルが、本来の定義（寛容派）と正反対の、全体主義の本性を見せ始めた。これがリベ全だ。 （欧州エリート支配の崩壊） （エスタブ自滅策全体主義の実験場NZ） （今夏は暑いけど、その原因が石油ガス利用などの人
By Jose Fernandez, Sebastien Dabdoub, Jason Koch, Artem Tkachuk The Compute and Performance Engineering teams at Netflix regularly investigate performance issues in our multi-tenant environment. The first step is determining whether the problem originates from the application or the underlying infrastructure. One issue that often complicates this process is the "noisy neighbor" problem. On Titus,
AWSインフラ構築時のエラー対処備忘録 ECSコンテナサービスを作成中、バックエンド（Rails、Nginx）のサービス作成時に発生したエラーについて記録します。具体的には、NginxのCloudWatchログに以下のエラーが発生しました。 connect() to unix:///app/tmp/sockets/puma.sock failed (111: Connection refused) while connecting to upstream, client: 10.0.3.73, server: localhost, request: "GET /api/v1/health_check HTTP/1.1", upstream: "http://unix:///app/tmp/sockets/puma.sock:/api/v1/health_check", host: "10.
GTF :: Why Haskell?
“Impractical”, “academic”, “niche”. These are a few of the reactions I get when someone discovers that my favourite programming language is Haskell, and not only my favourite in some sort of intellectually-masturbatory way, but favourite for building things, real things, mostly involving web servers. Hobby projects would be one thing, but it gets worse: I have actual teams at Converge working in H
Some other notable examples: Improved SIMD comparisons. dotnet/runtime#104944 and dotnet/runtime#104215 improve how vector comparisons are handled. Improved ConditionalSelects. dotnet/runtime#104092 from @ezhevita improves the generated code for ConditionalSelects when the condition is a set of constants. Better Const Handling. Certain operations are only optimized when one of their arguments is a
Porting C to Rust for a Fast and Safe AV1 Media Decoder
AV1 is an increasingly important video format and it needs a memory safe, high performance decoder. We worked with the team at Immunant to develop rav1d, a Rust-based port of dav1d, a C decoder. This is the first of two blog posts about how the team approached this effort. Complex data parsing is one of the most security-critical operations in modern software. Browsers must decode untrusted audio
> We can generalise this idea of being forced to handle the failure cases by saying that Haskell makes us write total functions rather than partial functions.Haskell doesn't prevent endless recursion. (try e.g. `main = main`) As the typed FP ecosystem is moving towards dependent typing (Agda, Idris, Lean), this becomes an issue, because you don't want the type checker to run indefinitely. The many
For the past two years Charles Zhang and I have been working on getting my game engine, Trial, running on the Nintendo Switch. The primary challenge in doing this is porting the underlying Common Lisp runtime to work on this platform. We knew going into this that it was going to be hard, but it has proven to be quite a bit more tricky than expected. I'd like to outline some of the challenges of th
GitHub - brsloan/warewoolf: A minimalist novel-writing system/rich text editor designed to be usable without a mouse. For desktop and standalone word processors/digital typewriters/writerDecks.
v2.0.0 "The only writing software I use." -Virginia Woolf WareWoolf is designed for one thing: writing fiction. It is intentionally simplified: you cannot change the font, line spacing, or color. But it has everything you need to organize, edit, and revise a novel--and you don't even need a mouse. It is composed of three simple text-based panels with no icons: Chapters, Editor, and Notes. That's i
Breaking Down OnlyFans’ Stunning Economics — MatthewBall.co
Though a private company, Fenix International (“OnlyFans”) is a UK company and therefore required to publicly disclose certain information pertaining to its business and operations. And while these disclosures are limited, they reveal enough about the OnlyFan’s revenues, profits, scale, defensibility, reach, and impact to say that it is probably the most successful UK company founded since DeepMin
A good day to trie-hard: saving compute 1% at a time2024-09-10 Cloudflare’s global network handles a lot of HTTP requests – over 60 million per second on average. That in and of itself is not news, but it is the starting point to an adventure that started a few months ago and ends with the announcement of a new open-source Rust crate that we are using to reduce our CPU utilization, enabling our CD
DAVID MUIR: Welcome to you both. It's wonderful to have you. It's an honor to have you both here tonight. LINSEY DAVIS: Good evening, we are looking forward to a spirited and thoughtful debate. DAVID MUIR: So let's get started. I want to begin tonight with the issue voters repeatedly say is their number one issue, and that is the economy and the cost of living in this country. Vice President Harri
Python版の「LangChain」のクイックスタートガイドをまとめました。 ・langchain 0.3.0 1. LangChain「LangChain」は、「大規模言語モデル」 (LLM : Large language models) と連携するアプリの開発を支援するライブラリです。 「LLM」という革新的テクノロジーによって、開発者は今まで不可能だったことが可能になりました。しかし、「LLM」を単独で使用するだけでは、真に強力なアプリケーションを作成するのに不十分です。真の力は、それを他の 計算 や 知識 と組み合わせた時にもたらされます。「LangChain」は、そのようなアプリケーションの開発をサポートします。 3. LangChain のモジュール「LangChain」は、言語モデル アプリケーションの構築に使用できる多くのモジュールを提供します。モジュールを組み合わせて
AV1 is an increasingly important video format and it needs a memory safe, high performance decoder. We worked with the team at Immunant to develop rav1d. Performance is critical in this context, so we've asked Stephen Crane, CTO of Immunant, to explain their efforts in achieving performance parity. If you'd like to dig deeper, check out our recent blog post about how we ported the C AV1 decoder to
VMwareがBroadcomに買収されたことで製品体系が変わり、無償のESXiが無くなってしまいます。 無償版VMware ESXiも対象 VMware、サブスクリプション移行に伴い複数製品を販売終了 - ITmedia エンタープライズ 私のような自宅サーバ用途では無償だからこそ使っていたという人が多いのではないでしょうか。有償化されたら使えません。 移行先としてProxmox VEが注目されているみたい？です。 ProxmoxはVMware製品の代替になるか？ 複数製品の販売終了を受けてVeeamが検討を進める - ITmedia エンタープライズ 私の自宅サーバはKVMでリプレース済みでしたが、いい機会なのでProxmox VEも試してみましょう。 suzu-ha.com もくじ 環境 インストール 設定いろいろ 設定画面を開く リポジトリの設定とアップデート ストレージ デフォル
This is Sasha @kossnocorp here. I’m happy to announce the release of v4.0, which includes first-class time zone support and no major breaking changes. For TL;DR, see the time zones doc and the change log entry. Time zones support It’s one of the most long-awaited features. There’s a fantastic third-party date-fns-tz by Marnus Weststrate that I have been recommending for years. I believe it started
まえがき 2020年のK40m購入から始まり、GPUをP40にしたりサーバー用マザボを導入したりMI50を試してみたりと徐々に進化を続けてきたホームラボ環境。 hashicco.hatenablog.com またふとebayを見ていると、なんと300ドルで48コア、しかもZen2のCPUが売られているのを発見。 型番はEPYC 7K62と見たことのない命名ルールで、どうやらAMDのEPYC 7642のOEM版のようだ。 https://www.reddit.com/r/homelab/comments/1dssl0m/which_motherboards_support_epyc_rome_7k62/ 普通のEPYC 7642や競合となりそうな3000番代ThreadripperのCPUと比べても数割安い金額なので、これはかなりお買い得。 Epyc 7642 for sale | eBay
2024年 SREチームの Google Cloud コスト削減を振り返る - Uzabase for Engineers
なぜコスト最適化することになったか？ Active Assist Cloud Storage ストレージサイズの削減 ストレージクラスの変更 ロケーションの検討 結果 Cloud SQL コスト削減のため、Dev環境の停止を行なった 不要なリソースの削除 結果50%くらい削減することができた テスト環境の削除 テスト環境が起動しっぱなし問題 テスト環境を削除した 不要なテスト環境は削除していこうという啓蒙 結果 BigQuery CUDの購入 Compute Engine Bigtable まとめ なぜコスト最適化することになったか？ 私たちは、株式会社ユーザベース スピーダ事業 Product Division SREチーム として Google Cloud を利用したシステムの構築運用を担っております。 弊社では年々サービスを運用し続けるにつれて、為替の影響も受けてGoogle Clo
In this post, we are going to take a deep dive into pointer tagging, where metadata is encoded into a word-sized pointer. Doing so allows us to keep a compact representation that can be passed around in machine registers. This is very common in implementing dynamic programming languages, but can really be used anywhere that additional runtime information is needed about a pointer. We will look at
Godot 3.6 finally released!
After 2 years of development, Godot 3.6 is finally out and it comes fully packed with features and quality of life improvements! This includes 2D physics interpolation and hierarchical culling, and 3D mesh merging, level of detail, tighter shadow culling, ORM materials, and more. While most of the development focus today is on 4.x releases, enthusiasts have been busy improving the 3.x branch: fixi
Welcome to the Microsoft Incident Response Ninja Hub
We’re excited to announce the Microsoft Incident Response Ninja Hub. This page includes a compilation of guides and resources that the Microsoft Incident Response team has developed on threat hunting, case studies, incident response guides, and more. Many of these pieces were also developed in collaboration with Microsoft’s partners across Microsoft Security, providing a unique view into how the M
US and British citizens among 37 sentenced to death in DR Congo coup trial (L-R) Benjamin Zalman-Polun, Marcel Malanga and Tyler Thompson are the three US citizens sentenced to death for the coup attempt Thirty-seven people - including three Americans, a Briton, a Belgian and a Canadian national - have been sentenced to death over an attempt to overthrow the president of the Democratic Republic of
Some practical notes from digging around in their documentation: In order to get access to this, you need to be on their tier 5 level, which requires $1,000 total paid and 30+ days since first successful payment.Pricing is $15.00 / 1M input tokens and $60.00 / 1M output tokens. Context window is 128k token, max output is 32,768 tokens. There is also a mini version with double the maximum output to
Two CSS Properties For Trimming Text Box Whitespace | CSS-Tricks
The text-box-trim and text-box-edge properties in CSS enable developers to trim specifiable amounts of the whitespace that appear above the first formatted line of text and below the last formatted line of text in a text box, making the text box vertically larger than the content within. This whitespace is called leading, and it appears above and below (so it’s two half-leadings, actually) all lin
MS GraphRAGを試す
morioka@legion:~$ pyenv virtualenv 3.11.8 graphrag morioka@legion:~$ mkdir graphgrag morioka@legion:~$ cd graphgrag/ morioka@legion:~/graphgrag$ pyenv local graphrag (graphrag) morioka@legion:~/graphgrag$ curl https://www.gutenberg.org/cache/epub/24022/pg24022.txt > ./ragtest/input/book.txt % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 184k
ロシア全体のドンバス化（ドゥーギン）
このドゥーギンのモスクワUAV攻撃（ドローン攻撃）をめぐる記事は、ほとんど挙国体制の促しだ。いまだその体制を敷いていないプーチンへの（ある意味での）批判でもありうる。仮にそうでないとしても、少なくとも巷間の一部の「想像力の欠如した」親露派のあいだで流通している楽観論を一蹴する観点である。 ◾️アレクサンドル・ドゥーギン「モスクワ地方へのUAV攻撃は、また新たな幻想の数々を破壊した」 12.09.2024 翻訳：林田一博 ロシアに対する大規模なUAV攻撃が発生しました。モスクワ地域も含まれ、残念ながら犠牲者が出ています。 今夜、複数のUAVが首都に向かって飛行しました。モスクワ周辺では防空システムが活発に作動していました。 この出来事は異常でしょうか？残念ながら、そうではありません。モスクワはロシア全体と同様に前線の都市であり、誰もが潜在的に攻撃の対象となり得る状況にあります。 モスクワ近
ピラティスKクーポンについて詳しくはこちらから！女性限定のマシンピラティス専門スタジオピラティス効果 ピラティスk 退会 ピラティスk クチコミ ピラティスk 津田沼 ピラティスk 千葉 ピラティスk 仙台 ピラティスk 予約 ピラティスk 静岡 ピラティスケー ピラティスk きつい ピラティスKクーポンについて詳しくはこちらから！ ⇒ピラティスKクーポンについて詳しくはこちらから！ 本気ボディメイク【ピラティスK】 ハリウッドセレブやアスリートに人気のマシンピラティス。 日本初のグループレッスンスタジオで楽しく確実にボディメイク！ ミランダ・カーやレディ・ガガがインスタグラムに投稿したことで、日本のおしゃれ敏感層にも話題となったマシンピラティス。 お手頃価格で通えるようにグループレッスンスタジオにしました。 マシンによって体が正しく動くようにサポートするから、初心者でも効果的に筋肉や骨格
ComfyUIは、Stable Diffusionをベースにした強力な画像生成ツールですが、GUI操作だけでなくAPIを通じてプログラムから制御することも可能です。 この記事では、Pythonを使ってComfyUIのAPIを操作し、画像生成を自動化する方法を、初心者の方でも理解できるように丁寧に解説していきます。 なぜComfyUIのAPIを使うのか？ ComfyUIのAPIを使うメリットは、以下のような点が挙げられます。 自動化による作業効率の向上: 画像生成のプロンプトやパラメータ設定をコードで記述することで、大量の画像生成を自動化できます。 複雑なワークフローの実現: APIを通じてComfyUIの様々なノードを組み合わせた、より複雑な画像生成ワークフローを構築できます。 外部システムとの連携: Webアプリケーションやその他のシステムと連携し、動的に画像生成を行うことができます。
こんにちは、札幌在住の英語同時通訳者でオンライン英語・通訳講師の山下えりかです。ご訪問ありがとうございます。 本日、2024年9月11日、ハリス副大統領とトランプ前大統領のテレビ討論会が開催されました。その討論会の発言の全文をClaudeで対訳式に翻訳したので共有します。 元原稿はこちらから： READ: Harris-Trump presidential debate transcript 英語の原文と日本語訳を並べて読むことで、ボキャブラリービルドや英語表現の学習にお役立てください。 また「日本語の精度と自然さNo.1」とうわさの生成AI、Claudeの実力もぜひご覧ください。翻訳には一切手を加えていません。 更に下記YouTube動画はディベートをポケトークライブ通訳で同時翻訳したものです。訳抜けや誤訳が所々あったりと、テキストでの対訳に比べると精度の面では落ちますが、生放送を同時字
ロナルド・シャセット - Wikipedia
リドリー・スコット監督のSFホラー映画『エイリアン』の原案をダン・オバノンと共に執筆するなど、以後同様にオバノンと共同で、多くの映画制作に関わっている。特にディック作品の映画化に熱心である。 大学時代、UCLAで舞台芸術を専攻していたシャセットは、舞台制作の仕事をしていた。SFや映画製作に興味もあった彼は、1974年頃に、フィリップ・K・ディックのSF短編小説「追憶売ります」（We Can Remember It For You Wholesale）に出合い、その映像化を試みようとしたのが映画製作に携わるきっかけのようだ。ジョン・カーペンターとオバノンが制作した自主製作映画『ダーク・スター』を観て、二人に連絡を取った。オバノンとシャセットは意気投合し、互いに構想していた『エイリアン』と『トータル・リコール』という映画の製作に乗り出すことになる。ただし、後者は16年の歳月と紆余曲折を経た19
背景 ダンボールワンがラクスルグループに加わり、データ分析基盤を整備したのでその事例紹介 ラクスルグループの中で、はじめて dbt を導入してとても良かったので、その部分を中心に紹介 整備前はサービスDBの Read Replica に Redash から接続してデータ分析していた Redash で SQL を書いて分析できるメンバーが限られるため、SQL を書けないビジネス側メンバーも自分で分析できる環境が欲しかった（利用者は30名程度） データ分析基盤構成 Data Warehouse Data Warehouse は BigQuery を採用 ラクスルグループでは Snowflake を採用しているケースもあるが、今回は Googleスプレッドシート や Googleデータポータル といった BI環境との接続性を重視 BI BI環境は Googleスプレッドシートのコネクテッドシート
OpenAI o1 の APIの使い方｜npaka
以下の記事が面白かったので、簡単にまとめました。 ・Reasoning models 1. OpenAI o1「OpenAI o1」シリーズは、複雑な推論を行うために強化学習を用いて学習された新しい大規模言語モデルです。回答する前に考える特性があり、ユーザーに応答する前に長い内部思考の過程を生み出すことができます。これにより、科学的な推論に優れ、競技プログラミングの問題 (Codeforces) では89パーセンタイルにランクインし、米国数学オリンピック (AIME) の予選で全米の上位500人の学生に入る成績を収めています。また、物理学、生物学、化学の問題に関するベンチマーク (GPQA) では、人間の博士レベルの精度を上回る成績を達成しています。 APIでは、次の2つのモデルが提供されています。 ・o1-preview : o1モデルの早期プレビューモデル。世界に関する幅広い一般知識を
PGIアクセラレータ™ コンパイラの使用する前に、NVIDIA社の CUDA™ 環境環境をインストールしておく必要があります。ここでは、 一例として CentOS 5.5上に CUDA 4.0環境をインストールする手順を説明します。ここでの前提は、ハードウェアシステムの中に、NVIDIA社の GPU が実装されていることとします。 2011年6月24日 Copyright © 株式会社ソフテック 加藤 PGIアクセラレータ™ コンパイラを使用するためには、NVIDIA社の CUDA-enable な GeForce、Quadro、Tesla カードを有した CUDA ソフトウェアがインストールされたシステムが必要です。サポートされる GPU の詳細なリストは、NVIDIA の ウェブサイトでご覧下さい。www.nvidia.com/object/cuda_learn_products_jp
From “Japan’s Largest-Scale” to “Japan’s Largest”! Bakusai.com has become the largest bulletin board site in Japan! サービスをリリースしてから24年、現在は月間11億PV、MAU1500万人、1日投稿数約70万回。 総クチコミ数約11億回と膨⼤な数の投稿数を超え、今や掲示板では日本国内屈指のレベルまで来た爆サイ.comがいよいよ国内最大、掲示板サイトでナンバーワンを宣言します。 24 years since its launch, Bakusai.com now boasts 1.1 billion monthly page views, 15 million monthly active users (MAU), and approximately 700,000 post
Product Improvement and Advanced SEO Go Hand in Hand - ブログ - 株式会社JADE
I am Kazushi Nagayama, the founder of JADE. Today, as the title suggests, I'd like to discuss how "product improvement and advanced SEO go hand in hand.” Today’s agenda: About the Search Interaction Model Viewing SEO as feedback for product improvement Practical examples (Crawl, Index, Click) About the Search Interaction Model In the past years, we have made several presentations based on JADE's u
藤ヶ谷CC ＊当サイトには、アフィリエイト広告が含まれています こんにちは。 9月ももう半ば。みなさま元気にゴルフにいっていますか？ ワタシおは台風のせいでラウンドも数回キャンセルとなってしまった。 で、ずいぶん前の話だが8月に、藤ヶ谷カントリークラブに2度ほど行ってきた話を簡単に。 今年の夏は、藤ヶ谷カントリークラブにお邪魔することが多かった。 電車＋クラブバスで行ってみたら、これがとても快適。 常磐線の柏駅7:20発のバスにのれば、遅くとも7:45には到着。8時台スタートでもじゅうぶんに間に合ってしまう。 家を出るのが朝6時ちょっと前で良いのも、Goodポイント。 夏の暑い日のラウンドはかなり体力を消耗するので、運転の苦手なワタシにしてみれば、渋滞の心配なく電車で寝て帰れるのはとってもラクだったりする。 ラウンド内容 1回目 8月某日 夏のあつーい日、その前にも藤ヶ谷CCにおじゃまして
田中宇の国際ニュース解説 無料版 2024年9月13日 https://tanakanews.com/ ーーーーーーーーーーーーーーーーーー ★リベラル全体主義・リベ全の強まり ーーーーーーーーーーーーーーーーーー 西欧で「リベラル全体主義（リベ全）」が強まっている。多くの西欧諸国やEUの上層部は、リベラル派（左派）とグローバリストが権力を握ってきた。彼らは10年ほど前から、（無根拠な）温暖化人為説に基づく石油ガス利用の強制的な減少とか、中東アフリカなどからの移民・（偽装）難民の大量受け入れなど、間違った政策を、リベラル主義の名のもとに積極的に進めてきた。 彼らは、2020年に新型コロナが広がると、効果がないのが事前にわかっていたのに都市閉鎖策（ロックダウン）を強行して経済を自滅させ、効かなくて有害なmRNAワクチンの接種を市民に強要し、従わない人々を制裁・懲罰した。リベラルが、本来の定義
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Noisy Neighbor Detection with eBPF
AWSインフラ構築時のエラー対処備忘録 - Qiita
Performance Improvements in .NET 9 - .NET Blog
Why Haskell? | Hacker News
Porting SBCL to the Nintendo Switch
A good day to trie-hard: saving compute 1% at a time
READ: Harris-Trump presidential debate transcript
LangChain v0.3 クイックスタートガイド - Python版｜npaka
Optimizing rav1d, an AV1 Decoder in Rust
Intel N100ミニPCにProxmox VE導入 ①とりあえず触ってみる - スズハドットコム
v4.0 is out with first-class time zones support!
48コアで300ドルの謎のZen2 CPU, EPYC 7K62を買ってみた - 端の知識の備忘録
What is the best pointer tagging method?
DR Congo coup attempt: Thirty-seven sentenced to death
Learning to Reason with LLMs | Hacker News
ピラティスKクーポンについて詳しくはこちらから！女性限定のマシンピラティス専門スタジオ
【初心者向け】PythonでComfyUIのAPIを操作して画像生成を自動化しよう！
【日英対訳】ハリスvsトランプ◆米大統領選TV討論会 - 全文和訳
ダンボールワンのデータ分析基盤〜dbt導入してみた〜
PGIアクセラレータコンパイラ使用のための CUDA 4.0 のインストール（Linux)
「日本最大級」から「日本最大」へ！爆サイ.comが日本国内最大の掲示板サイトになりました！
藤ヶ谷カントリークラブ（千葉県柏市） ーラウンド日記 - チカチカのゴルフオイオイ話
リベラル全体主義・リベ全の強まり (田中宇の国際ニュース解説 無料版 2024年9月13日)