はじめに Go のコンパイラにはスライスや配列へのアクセス時に、インデックスが範囲内にあるかを実行時にチェックする仕組みがあります。いわゆる境界チェック (Bounds Check) です。この境界チェックは安全性の為に必要な物ですが、ループの中で何万回も実行されると無視できないオーバーヘッドになります。 Go のコンパイラは SSA (Static Single Assignment) の最適化パスの中で、境界チェックが不要と証明できたアクセスについてはチェックを除去します。これを BCE (Bounds Check Elimination) と呼びます。つまり、コンパイラが「このアクセスは絶対に範囲内だ」と証明できる様にコードを書けば、余分な境界チェックが消えて速くなるという訳です。 encoding/hex パッケージに対して、まさにこの BCE を活かした高速化の PR が提出され

Pure JavaScript/TypeScript library for multiline text measurement & layout. Fast, accurate & supports all the languages you didn't even know about. Allows rendering to DOM, Canvas, SVG and soon, server-side. Pretext side-steps the need for DOM measurements (e.g. getBoundingClientRect, offsetHeight), which trigger layout reflow, one of the most expensive operations in the browser. It implements its

「自分のPCでAIを動かしたい」と思ったことはありませんか？ ClaudeやChatGPTはクラウド上で動いているため、会話の内容がサーバーに送られます。機密情報を扱う場合や、純粋に「自分のマシンで完結させたい」という場合には、ローカルLLMという選択肢があります。 そこで実際にローカルLLMを構築し動かしてみたところある疑問が浮かびました。 普段使っているClaude Opus 4.6と同等の精度をローカルで出すにはどのくらいのスペックが必要なのか？ 本記事ではまずPowerShell上でローカルLLMを動かしてチャットするところまでを試し、その結果からClaude Opus 4.6と同等のAIをローカルで動かすにはいくらかかるかについて調べてみます。 ローカルLLMとは そもそもローカルLLMとは、自分のPC上で動かす大規模言語モデルのことです。推論内容はサーバーに送信されず、ネットワ

Anthropicは2026年3月19日のQCon Londonで、ClaudeをSRE（サイト信頼性エンジニア）として活用する試みの限界を公式に報告しました。「相関関係を因果関係と誤認し続ける」という根本的な問題が残存しており、SREの完全代替には至らないと自社が認めた形です。AIにエラーログやアラートを読ませて原因を特定しようとしたことがある方には、直接関係する話です。 何を試みて、何が分かったか AnthropicはClaudeを使ってClaudeのインフラ障害を修復する、いわば「AIがAIを管理する」構成を試みていました。ログやメトリクスを読ませ、警告アラートの原因を特定させ、修復アクションを実行させるという流れです。 結果として明らかになった問題は、警告の表面パターンは認識できるが、障害の根本原因を特定できないという点でした。たとえば「メモリ使用量が急増した後にレスポンスタイムが

はじめに Claude Code や Cursor といった，Coding Agent ツールに思った通りのコードを書かせるために，ドキュメントやルールをせっせと生産する時代になったわけですが，ドキュメントが増えれば増えるほど，AI は正しいドキュメントを探すためにたくさんの Token を消費したり，それでいて適切な情報にたどり着けなかったりします． AI 駆動開発の現場では 最初は， AGENTS.md に簡単なディレクトリ構成などを書きます． 少しずつ固有の設計や実装ルールが増えてくると，docs/architecture.md に移して，設計方針をまとめます． AGENTS.md には， なんて書いてみたりします． 仕様も Markdown にし，リポジトリで管理しようということになり， docs/specifications/*.md が誕生します． いろんな設計や仕様の議論も残

Intelが開発中の“5000倍チップ”が話題だ。だが、驚くべきは性能だけではない。このチップ、どうやらコンピューティングの前提そのものを変えてしまう可能性があるという。一体、どういうことか。 半導体（チップ）の歴史は長い。1947年にベル研究所がトランジスタを発明し、1958年にはテキサス・インスツルメンツがシリコンで世界初のIC（集積回路）を開発した。翌1959年には、シリコンウェハに複数のICを形成するプレーナ型ICも登場し、現在の半導体技術の土台が築かれた。2000年代に入ると高性能化に加えてSoC化も進んだ。 その進化の流れの中で、いま少し気になる新しいチップが登場しつつあると話題だ。現行のサーバ向けCPUと比べて最大5000倍という、とんでもない処理性能を持つCPUをIntelが開発中だという。注目すべきは単なる「速さ」ではないらしい。 Intelが開発を進めている新型チップ「

At serious risk of sounding like a heretic here, but I’m kinda bored of talking about AI. I get it, AI is incredible. I use it every day, it’s completely changed my workflow. I recently started a new role in a tricky domain working at web scale (hey, remember web scale?) and it’s allowed me to go from 0-1 in terms of productivity in a matter of weeks. With that being said, it’s all starting to fee

Hi, I'm Garry Tan. I'm President & CEO of Y Combinator, where I've worked with thousands of startups including Coinbase, Instacart, and Rippling when the founders were just one or two people in a garage — companies now worth tens of billions of dollars. Before YC, I designed the Palantir logo and was one of the first eng manager/PM/designers there. I cofounded Posterous, a blog platform we sold to

人間のコードレビューをやめた 正直に言うと、意思決定の要らないコード品質のチェックに関しては、もう人間のレビューは不要だと思っている。 人間のレビュワーはコードベースの一部しか把握していないし、疲れるし、遠慮するし、見落とす。AIはコードベース全体を読んだ上で、一貫した基準で指摘を出してくれる。しかもAIが数分で書いたコードを、人間が数時間〜数日かけてレビューするのは、単純にボトルネックでしかない。 hentekoさんのコードレビューをなくすことを考えるという記事にもすごく共感した。 僕は今、コードレビューを完全にAIに任せている。この記事ではそのやり方を書く。 ハーネスエンジニアリングという考え方 ただ、AIにレビューを丸投げすれば解決するかというと、そう単純でもない。AIのレビューは過剰な指摘を出すし、修正がバンドエイドになることもあるし、ループさせると振り子のように同じ箇所を行ったり

財務省広報室です。 物価高対策は、高市内閣が創設された時からの最重要課題です。 今般の中東情勢を受け、原油価格が足下で上昇する中、国民のみなさまの生活と経済活動をしっかりと守っていくため、対応を開始しています。 今回のnoteでは、こうした対応と昨年12月に成立した補正予算の施策の実施状況についてお伝えしたいと思います。 目次 １．中東情勢を踏まえた対応中東情勢を踏まえ、国民のみなさまの生活と経済活動を守るため、緊急的激変緩和措置としてのガソリン等に対する支援を3月19日（木）出荷分から開始しています。 具体的には、「燃料油激変緩和基金」を活用し、ガソリンについては、全国平均小売価格を170円程度に抑制します。軽油、重油、灯油などについても同様の措置を講じます。 さらに、このたび（3月24日（火））、令和7年度補正予算で追加した予備費を活用し、7,948億円をこの基金に積み増しました。これ

Polyglot とは、複数のプログラミング言語 (あるいはより一般に、何らかのファイルフォーマット) で解釈できるプログラムのことで、多言語話者にちなんでこの名前がつけられています。Polyglotはしばしば、プログラミングに関する非実用的な探求として遊ばれます。 TypeScriptはJavaScriptのスーパーセットであるため、JavaScriptコードは自然にJavaScriptとTypeScriptコードのpolyglotとみなせます。しかしこれでは面白くないので、本稿では以下の条件を満たすpolyglotを提示します。 JavaScriptとして実行したときと、TypeScriptとして実行したときで、全く異なる処理が実行されること。 TypeScriptとして型エラーが生じないこと。 答え 本稿で提示する解答例は以下のコードです。 new (f())<0>/[/*]/ fu

Intro Web サービスをデプロイする際に、CA から証明書を取得し HTTPS で暗号化するのが一般的となった。 かつては "SSL 証明書" として、メールでやり取りし有料で購入するのが常識だったが、自動/無料で取得することが増えた。かつては 5~10 年あった有効期限もどんどん短くなり、今では 6 日の証明書も発行されている。 このように、証明書を取り巻く変遷は目覚ましく、それは Web を取り巻く環境の劇的な変化を色濃く反映した結果と言える。 http:// が https:// になった裏で何が起こり、これからどうなっていくのか。まとめていく。 (極力ソースを付記するが、既に消えて WebArchive にも残っていないものも多く、筆者の記憶に頼る情報も多い。) 黎明期 (90 年代後半~2010 年頃) 90 年代の終わり頃、当時は TLS の前身にあたる SSL のデプロ

人の囚人A・Bにとって、「互いに自白」して互いに5年の刑を受けるよりは「互いに黙秘」して互いに2年、合計で4年の刑を受ける方が得である。しかし、2人の囚人が「互いに黙秘」が全体の利益で得であると認識した上で2人の囚人A・Bがそれぞれ自分の利益のみを追求している限り、「互いに黙秘」という結果ではなく「互いに自白」という結果となってしまう。というジレンマ そして、これを繰り返した場合に、「有限回」「無期限」で行動が変わる 有限繰り返しゲーム 2人の囚人がゲームの繰り返し回数を知っている場合は有限繰り返しゲームと呼ばれ、この場合には2人の囚人が全てのゲームで「裏切り」を選択することが知られている 無期限繰り返しゲーム 2人の囚人がゲームの繰り返し回数を知らない場合は無期限繰り返しゲームと呼ばれる。有限繰り返しゲームにおいては、最終回のゲームから順に後退帰納法を適用することで全てのゲームで裏切りを

こんにちは、関数型まつり2026実行委員会の高橋です。 2026年7月11日(土)〜12日(日)、中野セントラルパークカンファレンスにて「関数型まつり2026」を開催します！ 2026.fp-matsuri.org 関数型まつりは、プログラミングにおける「関数型」の思想や技術にフォーカスしたテックカンファレンスです。言語の垣根を越えて、関数型プログラミングについて広く学び共有する場を目指しています。2025年の初開催を経て、今回で2回目の開催となります。昨年は494名（一般参加者、スピーカー、スタッフ含む）の方にご来場いただきました。 本記事では、協賛をご検討中の企業様に向けて、スポンサーシップの概要と、協賛企業として得られる機会をご紹介します。 スポンサーシップ プランのご紹介 今回ご用意しているスポンサー枠は以下の通りです： 項目 プラチナ ゴールド シルバー ロゴ 応援団 （1口）

LayerX Securityは3月17日(現地時間)、「Poisoned Typeface: How Simple Font Rendering Poisons Every AI Assistant, And Only Microsoft Cares - LayerX」において、Webサイトに表示される悪意のあるテキストをAIから隠蔽する手法を発見したと報じた。 この手法はフォントの仕組みを悪用し、人間には正常に見える一方で、AIには意味不明な文字列として認識させるという特徴を持つ。この結果、ChatGPTやClaudeなど主要なAIツールによる検出はすべて失敗したとされ、ClickFix戦術などの攻撃成功率を高める可能性がある。 悪意のあるテキストをAIから隠蔽する手法が発見　Photo：PIXTA フォント改ざんで「表示」と「実体」を乖離させる この攻撃手法は文字のレンダリングに使用

NFCの基礎知識 ここからはNFCの技術的な観点を見ていきましょう。 NDEF NFCタグに書き込むデータの形式として NDEF（NFC Data Exchange Format） が広く使われています。NDEFではデータを「レコード」という単位で格納し、1つのタグに複数のレコードを書き込むことができます。レコードにはいくつかの型があり、代表的なものは以下のとおりです。 URIレコード: URLを格納。スマホでタグを読むとブラウザが開く。 https://open.spotify.com/playlist/xxxxx のようなディープリンク[2]を書き込めば、対応アプリが直接起動する テキストレコード: プレーンテキストを格納 Wi-Fiレコード（Wi-Fi Simple Configuration）: SSIDとパスワードを WSCバイナリ形式（TLV構造）で格納。MIMEタイプ app

PLAUD株式会社は3月19日、東京都内で新製品発表会を開催し、ウェアラブルAIボイスレコーダー「Plaud NotePin S」を発表した。価格は税込2万8600円で、大手家電量販店と公式オンラインストアにて3月23日に発売する。 NotePin Sは、2024年後半に発売した「Plaud NotePin」の後継モデルだ。1月のCES 2026でグローバル発表済みで、今回の発表会で日本での発売日と価格が明らかになった。装着して会話を録音し、AIが文字起こしと要約を生成する基本コンセプトは同じだが、ユーザーの声を反映した改良が加わった。 地味だが確実に効く、物理ボタンの追加 最大の変更点は、本体に物理ボタンを搭載したことだ。旧NotePinはボタンのない滑らかなデザインを採用していたが、手探りでの操作がしづらいという声が寄せられていた。NotePin Sではボタンを長押しすると録音が始まり

※ Apple および Apple ロゴは米国その他の国で登録された Apple Inc. の商標です。App Store は Apple Inc. のサービスマークです。 ※ Google Play および Google Play ロゴは、Google LLC の商標です。

SDDを実践すると起こること 仕様を定義する際に、How（実装の詳細）が仕様書に入り込む。そしてしばしば、Howのボリュームは大きくなりがちである。実装フェーズに入る前に、仕様レビューに時間がかかり、本来のエージェント開発の持つスピード感を得られない感覚に陥る。 SDDから、IDDへ SDDの問題とは、仕様書にHowが混入し、スペックレビュー地獄に陥ることにある。ドキュメントとコードの二重管理コストが膨らみ、やがて開発者の認知できる以上の差分が出来上がる。 必要なのは、SDDを止めることではなく、SDDの課題点を改良した、意図駆動開発(IDD) へ進化することである。 Intent（意図）とは IDDでは「仕様」ではなく、「Intent（意図）」を開発の起点に置く。 IntentはWhy（なぜ）とWhat（何を）のみで構成し、 How（どうやって）は含めない。Howはコードに委ねてしまう。