Rust 製 Nostr リレー nostrfy のバージョン v0.1.12 をリリースしたし、秒間何件配信できるのかを実測してみたンゴ
どうも僕です。 Nostr ばかりですが...。 僕は nostrfy という Nostr リレーを Rust で書いています。今回は理屈を並べるだけではなく、リポジトリに同梱してある WebSocket 負荷クライアントを releas
Zennのトピック「Rust」のRSSフィードです
どうも僕です。 Nostr ばかりですが...。 僕は nostrfy という Nostr リレーを Rust で書いています。今回は理屈を並べるだけではなく、リポジトリに同梱してある WebSocket 負荷クライアントを releas
「先週末時点で」と話したのに、文字起こしには「時点で」とだけ出る。「スケジュール」が「ケジュール」になる。 私が開発している会議録音・文字起こしアプリBeside Worksで音声認識モデルを比較していたとき、こうした語頭の欠落が何度も起き
GitHubは2026年9月16日、Copilotのagent runtimeをTypeScript/Node.jsからRustへ移行した経緯を公開した。完成した実装は832,378行のproduction Rust。AI Agentがコー
前作で、rekordboxのプレイリストを Camelot Key + BPM でソートする rbsort の話を書きました。rekordboxの中だけで完結しているソフト機能はUSBの向こう側のCDJには引き継がれないので、ファイル側に焼
この記事の執筆では補助的にLLMを使用していますが、具体的な内容は全て人間が書いたことを保証します。 開発環境 Bevy: 0.19.1 (執筆時最新) OS: Windows x64 ! Bevy は非常に活発に更新が行われており
Microsoftが2026年6月に公表した「Crypto Clipper」というマルウェアは、クリップボードを約500ミリ秒間隔で監視し続け、仮想通貨ウォレットの12語/24語のシードフレーズやBitcoin/Ethereumの秘密鍵がコ
はじめに Claude Code、OpenAI Codex、OpenCode など、CLI から自律的にコードを読み書きする AI エージェントを日常的に複数動かす開発スタイルが定着しつつあります。 しかし、エージェントを 3 つ、5 つと
リアルタイム市場データ、執行制御、注文突合、リスク管理、障害復旧、監視、そして Rust アーキテクチャを備えた本番向け Polymarket ボットの作り方。 著者 / 連絡先 By Bo$onaX Polymarket tradin
落ちないのに数字が合わないとき、どこを直せば消えるのか。自分のアプリ(Rust/Tauri・クローズドβ・ソロ開発)で「データの整合性に問題 8 件」というバナーが消えず、4 本の PR で 4 つの層を順に直して、ようやく消えました。その
生成 AI に書かせたコードは、どこで壊れるのか。症状の一覧ではなく、自分のリポジトリ(Rust/Tauri のデスクトップアプリ・クローズドβ・ソロ開発)で実際に踏んで直した 3 件を、PR と commit の番号つきで書きます。ローカ
要約 直近半年でZennに投稿されたRustトピックのすべての記事のLike数などのデータを収集し、投稿時期別にその変化を分析しました。 その結果、全体のLike数は減少し、Likeが上位の記事に偏りつつあることが確認できました。 はじめ
第 6 回(末尾に連載の一覧があります) いまのところ、ここが最後です。ここまでは「証明が空洞でないか」「証明の境界がどこか」を書いてきました。 今回はその手前の話です。そもそも制約として書かれなかったもの、書かれたのに機械へ落ちなかった
ターミナルで Excel や Markdown のファイルを開き、セルや行にコメントを付けると、Claude Code などの AI エージェントがそれを読んで対応し、返事をくれるツール docrev を公開しました。 https://g
これは何の記事? 個人開発している P2D という、Tauri v2 + React + WebRTC のデスクトップ画面共有アプリがあります。コンセプトは「インフラゼロ」——メディアを運ぶサーバーを立てず、シグナリング(電話帳)だけが外部
Claude Code のようなAIコーディングエージェントを、ピクセルアートのオフィスでキャラクターとして可視化するOSSが何本もあります。星の数が多いほど、実装も丁寧だろうと思いますよね。私もそう思っていました。 自分でも、Claude
はじめに AI エージェントの実装言語として Rust を選ぶ選択肢が、2026 年に入って現実的なものになってきました。候補は主に 2 つ、rig と AutoAgents です。この記事では両者を実際に cargo new から触り、f
要約 Const Genericsは依存型ではありません。 依存型を導入すると、型検査時に値の評価が必要になり、停止性問題が生じます。 実はトレイトも似たような表現力を持つので、依存型がないRustでもトレイトを用いて型検査が停止しないプ
第 5 回(末尾に連載の一覧があります) ここまで 4 回、証明が空洞でないことをどう確かめるかを書いてきました。常に真になる assert を潰し、双条件を生成し、ミューテーションで判別力を測る。 今回は、そこを完璧にやっても届かない領
ターミナルで動くコーディングエージェントの中身を、行数まで全部読める日が来るとは思っていなかった。7月15日、xAIが自社の grok コマンドの実体である Grok Build をApache 2.0で丸ごとGitHubに置いた。Rust
目的 AWSのAthenaを使って開発をすると、SQLを使って開発することになりますが、SQLは動かしてみないと正しく動作するかわからないです。 これはSQLの単体テストができないため、開発がスムーズにできません。 AWSのAthenaは内
Rust製エディタ「綴」開発ログ:ワークスペース切り替え・未保存保護・セッション復元まで実装した 個人制作しているRust製エディタ「綴(Tsuzuri Editor)」の開発を進めた。 今回の大きな目標は、単なるテキストエディタから一歩進
! ChatGPT & Claude Code に実装してもらった内容が一般的にも役に立つかなと思ったのでそのまま記事にしてもらいました。内容は確認して調整したつもりですが AI 生成記事を読みたくない方はそっ閉じしてください。 ログから
はじめに Rust で MCP サーバーを書くとき、公式 SDK の rmcp には legacy_session_mode という真偽値の設定があります。既定は false で、この状態のサーバーは initialize を要求しません。
この記事の執筆では補助的にLLMを使用していますが、具体的な内容は全て人間が書いたことを保証します。 開発環境 Bevy: 0.19.1 (執筆時最新) OS: Windows x64 ! Bevy は非常に活発に更新が行われており
この記事でいいたいこと 複数ソースから取得したデータを「合成(merge)」する処理を書くとき、つい 1 つの関数に全部のロジックを詰め込みがちです。今週、Rust であるドメインを設計するなかで、merge を「合成する対象の粒度」ごとに
第 4 回(末尾に連載の一覧があります) 前回、証明が空洞でないことを確かめる手段としてミューテーションを置きました。実装だけを壊して、証明が落ちるかを見る。落ちれば、その証明は何かを守っています。 今回は、そのミューテーション自体が空虚
Excelをインストールできない環境で、既存のExcelファイルを編集したり、VBAを動かしたりしたいことがあります。 CIやサーバーのバッチで実行するたびにExcelを起動するのは扱いにくいです。大きなファイルになると、読み込みと保存だけ
Rust 製 GUI ツールキットの Slint を、アットマークテクノの Armadillo-X2 で動かしました。 以下の3ステップで動かすことができます。 開発機で cross build ABOS のコンテナ設定を 10 行書く
はじめに 今回、Rustを用いて世界最速のC#コンパイラを開発してみました。 C#公式のコンパイラであるRoslynよりも最大11倍程度高速にコンパイルすることが可能です。 ただし、.NETバックエンドは現在実装できておらず、UdonAss
AIエージェントを何枚も並べて動かすことだけを考えて作った、Windows 用のターミナルを公開しています。SHIKISHA-TERM といいます。 ターミナルでAIを動かすのが当たり前になってから、Mac には最初からそういう設計の端末が
TL;DR te claude — Claude Code を teai.io 経由で起動するランチャーを作った。環境変数の手動設定なしで、裏側のモデルを Kimi K3 などカタログ上の任意モデルに差し替えられる model: "t
はじめに こんにちは。Androidエンジニアの@syarihuです。 普段の開発で、Claude CodeなどのAIコーディングエージェントを実務に投入する場面がすっかり定着してきました。Issueを渡せば調査から実装、PR作成まである程
第 3 回(末尾に連載の一覧があります) 前回、cargo kani が全部 SUCCESSFUL でも、認証バイパスの実装が素通りしうる話を書きました。見つけた手段はミューテーションでしたが、あれは人間が手で当てたものです。29 機能の
会議の途中でBluetoothイヤホンの電源が切れ、つなぎ直したとします。音声アプリが「再接続できました」と表示したら、録音も元に戻ったと思うのが自然です。 ところが、私が開発している会議録音・文字起こしアプリBeside Worksでは、
TL;DRのつもり Tauri2 を用いて、開いた瞬間メモできる超簡素なメモ帳アプリ 『QMem』 を作った。 Drafts と言うものがあるらしい。でも、私はそんなものには屈しない。 ChatGPT 6-Astra は5.6族に比べ
こんにちは、僕です。 先日、こんな記事を書きました。 https://zenn.dev/iqbqioza/articles/5b0b84b7931518 当初、nostrd で公開しましたが、不運なことに Rust crates に nos
最近、複数のマシンやOSで、AI Agentに開発を手伝ってもらっています。 実装を頼む。テストを回してもらう。別のAgentにレビューしてもらう。性能が気になったら測ってもらう。 ほんと便利ですよね。かなり。 ただ作業が進むほど、ログや計
Palleria は、Pixiv のイラスト・小説閲覧に特化した Android 向けオープンソースクライアントです。その中で複数端末間のデータ同期を実現するのが PallaSync Protocol です。本稿では、このプロトコルの設計思
第 2 回(末尾に連載の一覧があります) 前回、Kani が保証するのは制約と実装の無矛盾性であって、その制約に価値があるか(妥当性)ではない、と書きました。 今回はその実例です。AI に生成させた業務アプリ 29 機能・検証ハーネス 4
kubetsuとはRDBMSなどを扱うアプリケーションなどでテーブルが違うidを同じi64として扱うと引数の順番をまちがえるなどのミスが発生してしまう可能性があるのでそれらをwrapした型で区別して使いわけられるようにしよう、というライブラ