Codex App Server の概要｜npaka
以下の記事が面白かったので、簡単にまとめました。 ・Codex ハーネスの解放：App Server を構築した方法 1. はじめにOpenAI のコーディングエージェント「Codex」は、Webアプリ、CLI、IDE拡張機能、デスクトップアプリなど、さまざまな環境で利用できます。 これらは別々のアプリに見えますが、内部では共通の「Codexハーネス」によって動いています。Codexハーネスとは、エージェントの実行ループ、ツール利用、会話管理など、Codex体験の中核となる仕組みです。 このCodexハーネスと各クライアントをつなぐのが「Codex App Server」です。「Codex App Server」は、JSON-RPC 2.0 形式に近い双方向プロトコルを使います。ただし wire 上では "jsonrpc":"2.0" ヘッダーを省略し、主に stdio 上の JSONL
GitHub - NyxFoundation/speca: SPECA: Specification-to-Checklist Agentic Auditing Framework
Security-critical software is routinely audited by tools that reason about vulnerabilities as repository-local code patterns. Yet specification-governed systems — protocol stacks, consensus implementations, cryptographic libraries — are constrained by invariants and correctness conditions defined in natural-language specifications. When a vulnerability arises from what the specification requires r
Tailscaleやめたい - まいの雑記帳
# はじめにTailscaleはネットワークの知識がない人が使うものだと思っていて、内心ずっと冷笑しているのですが、悪い噂をあまり聞かないので本当に悲しいです。用途に応じて使い分けろという話なんだろうとは思います。思いますが、他人の環境にアクセスしたいときに「まずTailscaleを入れて〜」みたいなことを言われると本当に嫌な気持ちになります。 ちなみに私も使っているので、あまり人のことを言えた義理ではありません。 便利なのは認めます。tailscale up一発で直接インターネットへの疎通性を持たないホストに外から入れるのは素直に便利ですし、ちょっとしたマネジメント用途にはすごく使えるものだと思います。ただ、この便利は、OSのリゾルバ, netfilter, routing table他諸々に対する全力の侵襲と引き換えに成立しています。問題は、その侵襲の質が悪いことで、本当にストレスが溜
Claude Codeを作った男は、日本の農村で味噌を仕込んでいた｜Zun-Beho
世界のコードを変えた男の、意外な履歴書にはこう書いてある。「味噌職人、奈良」。Claude Codeの産みの親Boris Chernyは、Anthropic入社前に日本の農村で味噌を仕込んでいた。その経験がClaude Code開発に生きているかもしれない、とHead of Claude Code: What happens after coding is solved | Boris Chernyにて彼自身が語っている。少し深掘りしてみる。 赤味噌4年、Claude Code1年——Boris Chernyが日本で学んだ長期思考Boris Chernyは元Meta社のPrincipal Engineer。2024年9月にAnthropicに入社し、入社初月にターミナルで動くAIコーディングツールの原型を作った。それが社内でまたたく間に広がり、2025年5月にClaude Codeとして一
無料で個人サブスクを管理できる「Wallos」、オープンソースでセルフホスト可能
動画配信サービス・クラウドストレージ・ドメイン更新・スマートフォンアプリの有料プランなど、毎月・毎年発生するサブスクリプションは気づかないうちに増えていきます。「Wallos」は定期支払いを一覧化し、次回支払日や月額・年額の合計、カテゴリ別の支出を確認できるオープンソースのセルフホスト型サブスク管理ツールです。 Wallos: Open-Source Personal Subscription Tracker https://wallosapp.com/ ellite/Wallos: Wallos: Open-source, self-hostable personal subscription tracker. Visualize your recurring expenses, manage your budget, and save money. https://github.com
やらなきゃ死ぬ 初海外で生物を探す準備TOP10｜生物探検家トノムラ
「いたいたいたいた！！！！」 生物探検ってめっちゃ楽しい！！ 見たことない生き物を見に、行ったことがない土地へ！ でも、その裏には恐ろしいリスクがある。 病気、ケガ、そして死。 「これから海外で生物探検をしたい！」という方のために 10個の大きなリスクと、その対処法について書いていくよ。 第1位：１番多いトラブルは窃盗外務省の統計では、海外で発生する日本人のトラブルのうち、 最も件数が多いのは盗難で、全体の3割超を占める。 毒蛇が危ない！とかそういう話ちゃうんかい。行くまでも危ないんよ。 ・パスポート ・クレジットカード ・現金 ・スマートフォン これらは絶対に盗られないように。 僕は服の下に隠せるウエストポーチに入れてる。 クレジットカードを作れる人は作ってほしい。 そして海外保険が付帯しているカードで航空券を予約。 クレカはパスポートの次に重要なアイテムで、コンビニで現地通貨を引き出す
中学生が趣味で開発しているOS、mochiOS
こんにちは。趣味で低レイヤいじいじしてる中三のたそです。 ここでは、自分が趣味で開発しているOSであるmochiOSを、今どこまでできているのか、他の自作OSと何が違うのか、アーキテクチャ、そしてこれから改善していきたいところをまとめています。 mochiOSは、Rustを使用しておもに開発しているx86_64向けのOSです。名前の由来はこのOSでは「できるかぎりクラッシュしないこと」を目標にしていて、餅は柔らかくて伸びてもすぐにはちぎれたりしないのでmochiOSになりました。 当たり前ですが、現時点で本当にクラッシュしないOSが完成しているわけではありません。むしろ今は、そのために必要な土台を一つずつ作っている段階でしかないです。 目標は、単に画面に文字を出す、ブートする、といった基盤だけで終わらせるのではなく、サービス（後述してます）管理やユーザーランド、ファイルシステム、ドライバ、
WireGuardベースのオーバーレイネットワークとゼロトラストネットワークアクセスを組み合わせ信頼性が高く安全な接続ができる「NetBird」、オープンソースでセルフホスト可能
リモートワークの普及により、安全な社内ネットワーク構築の重要性が増しています。「スマホ・PC間で安全なネットワークを簡単に構築できる『Tailscale』レビュー」のように簡単にVPNを設定できる製品も登場していますが、Tailscaleはホストサーバーが外部サービスとして提供されているためサービスの継続性やセキュリティ面に懸念があります。そこで、ホストサーバー自体もセルフホスティングが可能で無料で利用できる「NetBird」が公開されています。 NetBird - Open Source Zero Trust Networking https://netbird.io/ netbirdio/netbird: Connect your devices into a secure WireGuard -based overlay network with SSO, MFA and granu
ChatGPTが出た瞬間、日本の、ど田舎で震えた。その後、私はClaude Codeをゼロから一人で作ったボリス・チェルニー/アンソロピック｜MasaT. 武富 正人
ChatGPTが出た瞬間、日本の、ど田舎で震えた。その後、私はClaude Codeをゼロから一人で作ったボリス・チェルニー/アンソロピック ChatGPTが出た時、私は日本のど田舎にいた。「これはヤバい」と思った瞬間2022年末〜2023年初頭。 私は日本の田舎町に住んでいた。 町で唯一のエンジニアで、唯一の英語を話す人間。 周りは田んぼと山ばかり。毎朝、自転車で農家さんの直売所に行き、近所の人と手作り味噌を交換するような生活だった。そんなある朝、いつものように Hacker News を開いた。そこで出会ったのが、ChatGPT だった。 衝撃の瞬間「え……これ、本物だ。」質問を投げると、まるで賢い人間のように答えてくる。 コードを書かせてみたら、驚くほど自然に動く。 説明もわかりやすい。しかも瞬時に。その瞬間、頭の中で警報が鳴った。「このままじゃ、完全にヤバい」今まで積み上げてきたエ
Codex pets を試す｜npaka
「Codex pets」を試したのでまとめました。 1. Codex pets「Codex Pets」は、OpenAIの「Codex app」で利用できるアニメーション付きのコンパニオン機能（ペット機能）です。デスクトップ上に浮遊するオーバーレイとして表示され、Codexの作業状況を視覚的に確認しながら、他のアプリを使っている間も常駐させられます。 このオーバーレイにより、他のアプリを使っている間も、進行中の Codex 作業を見える状態に保てます。アクティブなスレッドを表示し、Codex が実行中なのか、入力待ちなのか、レビュー準備完了なのかを反映します。また、その状態に短い進捗プロンプトを組み合わせることで、スレッドを再度開かなくても、何が変わったのかをひと目で確認できます。 2. ペットの表示 ・ 非表示メッセージボックスに「/」を入力して「なでる」を選択することで、ペットの表示・非
SKILL.mdを使っている人は全員"gh skill"も知っておいてください - Qiita
SKILL.mdを使っている開発者の皆さん、gh skillというコマンドを知っていますか？ ぱっと見、GitHubのリポジトリやPRの操作を最適化させるためのAgent Skillsのように見えますが、実際は SKILL.mdを管理するためのコマンドです。 2026年4月16日、GitHub CLI v2.90.0 のリリースと同時に、新たにgh skillサブコマンドが追加されました。このコマンドを使えば、これまで手作業でやっていた「リポジトリからSKILL.mdを探してきてコピーする」という作業が、1コマンドで完結するようになります。 しかも Claude Code、GitHub Copilot、Cursor、Codex、Gemini CLI など 30以上のAIエージェントに対応しており、1つのSkillを異なるエージェント向けに配り直せます。 本記事では、このgh skillコマ
S3 Files を本番 EKS で運用し、imageビルド時間を 19→4分に改善した
副次的なメリットとして、assets の更新は Docker イメージの再ビルド・再デプロイ無しに 数秒〜十数秒で本番反映できるようになり、デザイナーから素材追加の hot reload が可能になった。一番懸念していたレイテンシ悪化も production canary で計測した限り平均値は誤差範囲 (158ms → 154ms)、tail もほぼ同等で杞憂に終わった。 ハマりどころも多かったので、本記事ではゴールに辿り着くまでの設計判断と落とし穴を共有する。 背景 対象システム ユーザーがアップロードした画像と、商品テンプレート画像 (T シャツやトートバッグなどの白地画像) を合成してプレビューを返すバックエンド API。EKS 上で稼働。 合成素材 (assets) は商品の白地画像、レイアウト設定 yaml など 1402 ファイル / 約 1.7 GB ある。これがアプリのソ
NetHack 5.0.0: Release Notes
The NetHack DevTeam is announcing the release of NetHack 5.0.0 on May 2, 2026 NetHack 5.0 is an enhancement to the dungeon exploration game NetHack, which is a distant descendent of Rogue and Hack, and a direct descendent of NetHack 3.6. NetHack 5.0.0 is a release of NetHack. As a .0 version, there may be some bugs encountered. Constructive suggestions, GitHub pull requests, and bug reports are al
「沖縄独立論」を唱える中華マフィアのドンが明かす 沖縄の指定暴力団・旭琉会と交流、「琉球国の復活を援助することが中国人の責任」と主張
高市早苗首相の「台湾有事発言」で日中関係が冷え込むなか、中国の浸透工作が激化しているのが沖縄だ。地政学上の重要拠点となる沖縄について、中国のネット上では「琉球は中国の朝貢国」とする意見が飛び交っている。近年は中華マフィアと沖縄暴力団の関わりも指摘され、浸透工作との関連が懸念されてきた。中国事情に詳しい紀実作家の安田峰俊氏が、台湾に拠点を置く中華圏最大級のマフィア・竹聯幇（ちくれんほう）の長老で中華マフィアのドン、張安楽（ヂャンアンラー、78）に接触し、真相に迫った。（文中敬称略）【全3回の第1回】 「琉球は歴史的に中国と関係が密接で、朝貢関係」 「琉球は日本を離脱し、『国家』として復活すべきだ。琉球は歴史的に中国と関係が密接で、朝貢（従属）関係にあった」 今年2月、台湾・台北市内のオフィス。中華服に身を包んだ眼光鋭い老人がそう嘯いた。沖縄を中国の従属国として独立させよという主張だ。 彼の名
トランプ氏の行う「人々の感情の操作」 ホックシールド氏の警鐘：朝日新聞
トランプ米大統領の「誇りを取り戻そう」という呼びかけが、2期目は「誇りは盗まれた」となり、支持者たちが抱える「恥」を「怒り」に転換している――。8年ぶりにインタビューした社会学者アーリー・ホックシー…
小学生向けＡＩ教室人気 将来なりたい１位「ＡＩ」が追い風
ＡＩを目指す子ども向け「ＡＩ教室」の人気が高まっている。小学生を対象にした「将来なりたい職業」では、ＡＩが初めて１位に選出されるなど、雇用不安に対する子どもや保護者の危機意識が人気の背景にあるようだ。 「『それは無理です』をやさしく言い換えてみましょう。」 講師の問いかけに、児童たちは素早く一斉に応答する。 「現時点では難しいかもしれません。」 東京都世田谷区にある学習塾「玉虫ゼミナール小学部 世田谷校」が今年開講した「ＡＩなりきり教室」での一幕。同校では、ユーザーに寄り添った言い換え方を学ぶ「いいかえトレーニング」の他、どんな発言にも肯定的に返答する「ほめ上手チャレンジ」、選択肢の中から最も無難な答えを選ぶ「あんぜんクイズ」など、楽しみながらＡＩらしさを身につけるカリキュラムを用意した。 このような「ＡＩ教室」が全国的に増える背景には、子どもの職業観の変化がある。同社が小学４年生から６年
動画から退屈な部分を自動的にカットするツールを作った｜shi3z
Metaが公開したTRIBE v2は、さまざまな刺激から脳の活動を推定するモデル。元が英語の映画やPodcastから学習されているので基本的には英語向けではあるのだが、内部で日本語を英語に翻訳して動画の中から「たるい」ところを見つけて自動カットするツールを作ってみた。 動画をアップロードすると自動的に解析が始まり、音声の波形と翻訳されたセリフ、映像の刺激度などから被験者の脳活動を推定し、興奮しているかどうかや退屈さを感じてないかどうかを分析し、「ここいらないんじゃないの ?」という部分を自動カットする。自動カットが推定されると、ffmpegのコマンドラインが出力され、これを手元で実行するとカット済みの動画が得られるという寸法。結構面白い
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Millions at Risk: Apache HTTP Server Fixes Critical Remote Code Execution Flaw
NetBird - Open Source Zero Trust Networking
https://support.me.moneyforward.com/hc/ja/articles/57504390625305--%E9%87%8D%E8%A6%81-GitHub-%E3%81%B8%E3%81%AE%E4%B8%8D%E6%AD%A3%E3%82%A2%E3%82%AF%E3%82%BB%E3%82%B9%E7%99%BA%E7%94%9F%E3%81%8A%E3%82%88%E3%81%B3%E9%8A%80%E8%A1%8C%E5%8F%A3%E5%BA%A7%E9%80%A3%E6%90%BA%E6%A9%9F%E8%83%BD%E3%81%AE%E4%B8%80%E6%99%82%E5%81%9C%E6%AD%A2%E3%81%AB%E9%96%A2%E3%81%99%E3%82%8B%E3%81%8A%E7%9F%A5%E3%82%89%E3%81%9B