たより

Zennの「Rust」のフィード icon

Zennの「Rust」のフィード

Zennのトピック「Rust」のRSSフィードです

コピーミスに気づける macOS アプリ「Cliip Show」を作った

ごーや

コピーした内容を画面上に HUD 表示する、macOS 向けのメニューバー常駐アプリを作った リポジトリ 背景 私は脳が雑なので、コピペしようとしてうまくコピーできておらずペースト時にコピーミスに気づくことが多い。 そのストレスを解消

時相論理の形式仕様の Quint を使って、denoland/celld の二重 writer バグを見つけた

mizchi

本記事は、AIに分散システムのバグを探させて、そのレポートを自分が理解できるように整形させたものです。 実際に見つかったバグは以下の Issues で、現在修正済みです。 https://github.com/denoland/celld/

Rustのハードウェア最適化 ― 構造が変える計算モデル

Rhetro

過去の3つの投稿では、まず「動的計算の静的トポロジーへの還元」について、そしてその実装例として2つの独自クレートであるAxiomaとZan-sortを挙げ、具体的な構造的アプローチについて記述しました。 Rustの標準ライブラリに採用されて

Rust製のマルチプラットフォーム開発フレームワーク「Whisker」を作りました

Takeshi Tsukamoto

こんにちは。itome(@itometeam)です。 Rustでアプリが書けるフレームワークを作ったので、その紹介をします。 TL;DR RustでひとつのコードベースからiOS/Androidアプリが作れるフレームワークです。 すでに

Markdownノートを日本語で全文検索できるCLI「mikke」を作った

木村 駿介 / Shunsuke KIMURA

はじめに 学んだことや調べたことをMarkdownファイルとしてリポジトリに溜めているのですが、数百ファイルを超えたあたりから「あのメモどこだっけ」と探し回る時間が増えてきました。grepは速い一方でヒットが関連度順に並ばず、Obsidia

Rustの「比較」を構造で消す ― 順序付けの幾何構造への還元と帯域飽和

Rhetro

１つ目の記事では、Crate群全体を貫く構造的哲学として、「ランタイムコストを静的なコンパイル時コストへの転嫁」について書きました。 ２つ目の記事では、具体的な[Axioma](https://github.com/rhetro/axiom

AIが吐いたHTMLとMarkdownを「見たまま」直せるエディタを作った話

だいち

はじめに こんにちは。GENSHI AI代表で元医師の長嶋です。 https://daichi.ai/ 今回、Velq（ヴェルク） というデスクトップアプリを作りました。 Markdown と HTML を 見たままの画面で直せるエディタで

「一覧じゃ流れが見えない」を消すために、React Flow + dagreで依存関係グラフを作った話

NumazuGaki

この記事の要点 自社のプロジェクト管理ツール「WIP」(Rust + React、OSS公開済み)に、React Flow + dagreでタスク依存関係をグラフ表示する画面を追加しました きっかけは「一覧やガントチャートでは、タスクの流

[Bevy 入門] #3 Component について

ライト

この記事の執筆では補助的にLLMを使用していますが、具体的な内容は全て人間が書いたことを保証します。 開発環境 Bevy: 0.19.1 （執筆時最新） OS: Windows x64 ! Bevy は非常に活発に更新が行われており

DjangoからRustへ、AIと二人三脚で移行してOSS公開するまで

NumazuGaki

はじめに 自社のプロジェクト管理ツール「WIP」を、Django + ReactからRust(Axum) + Reactへ全面移行し、先日OSSとして公開しました。 https://github.com/macplanning-labs/w

「乳首なぞなぞ」を無限に作りたくて、AI に音を教える MCP サーバを書いた

ゴリラビット

「乳首なぞなぞ」を無限に作りたかった https://www.youtube.com/watch?v=H0ZR1N15ASk Q「乳首みたいなお菓子ってなんだ？」 A チョコビ AI に聞いても、全然それっぽい問題を作ってくれない 「『

AI駆動開発の品質はプロンプトよりフィードバックループで決まる：生ログから見る OpenSpec × DDD × 型 × MCP のリアル

kacky

はじめに 本記事は、戦国シミュレーションゲームをLLMと「一緒に」プレイするシステム『sengoku-mcp』の開発秘話に迫るアーキテクチャ解説（後編）です。 前編 25年前の自作ゲームをLLMと一緒に遊んでみたら、アジャイルのトップランナ

【Rust】AIに「自分の文脈」を自動で叩き込む、プライバシー重視の生産性ログコンソールを作った

internal ghost

「今日、何してた？」を可視化して、目標に近づくためのRust製アプリ「Internalium」を開発しています。 ちなみに「Internalium」という名前は、「自身の内面（Internal）を、プラネタリウムやアクアリウムのように静かに

コマンドラインから直接Obsidianのディリーノートに記載するツール『Qwato』を作った

夕日

この記事が書かれた時点でのバージョンはqwato 0.1.0です 作ったもの https://github.com/c0b23092db/qwato https://crates.io/crates/qwato 読者対象 Obsi

AIエージェント64体に1つのリポジトリを書かせたら、マージの57/64が衝突した。0にするまでの話

たつはら

64体の書き手に1つのリポジトリを並列で書かせると、何が起きるか。 素のgit worktreeで実測したら、64回のマージのうち57回が衝突し、衝突ハンクは132個になりました。 ガードを入れたら、衝突は0件になりました。 ただし、この「

2000年代初頭のレトロなCGI風掲示板を、RustとAntigravityで作ってみた

大乱 -TaiLang-

はじめに 最近、仲間内で特定の趣味やテーマについてじっくり語り合ったり、知見をログとしてストックできる場所が少ないと感じていました。 LINEグループやDiscordなどのチャットツールは「フロー型のリアルタイムな会話」には最適ですが、後か

スマートホーム前提で家を建てて自作Rust CLIで操っている

nogu3

家を建てました。設計の段階から目指していたのは、スマートホームを前提とした家です。そしていま、その家じゅうの機器を、自分で書いたRust製のCLIから叩いて動かしています。照明も、電動シャッターも、エアコンも、テレビも、分電盤の電力の実測値

無言で壊れるC++、コンパイルで止まるRust

クテノポマ

この記事について 「Rustは安全」 という言葉だけが独り歩きしています。 何がどう安全なのか、どこは安全ではないのか。 MicrosoftもGoogleもChromiumも、自社製品の深刻な脆弱性の約7割がメモリ安全性のバグだと公表し

【最速7分】ローカルLLM×Tauriで爆速Markdownビューアを作らせた必勝パターン

KotaX

はじめに 普段エディタでMarkdownを書いているエンジニアの皆様、「ちょっと中身を確認したいだけなのに、エディタを立ち上げるのが重い…」と感じることはありませんか？ そこで今回は、起動が爆速で閲覧に特化した「軽量マークダウンビューアー（

whisper.cppをやめた理由。PCだけで動く日本語文字起こしを4モデルで比べてわかったこと

Beside Works

会議の内容を、その場で文字にするデスクトップアプリ Beside Works を個人で開発しています。Windows PCとAppleシリコン搭載Macに対応し、RustとTauri v2で作っています。 Beside Worksが大切にし

Rustでx86エミュレータを書く 32bit編 — ブラウザでLinuxが起動するまで

HAL

Rust でゼロから書いている x86 エミュレータを、プロテクトモード・ページングへ 引き上げ、本物の 32bit Linux (Alpine 6.18) をブラウザで起動するまでの記録です。 「プロテクトモードの正体は隠しレジスタ」と

LLMを賢くするのではなく「境界」を作る——AXIOM Framework Prototypeを作ってみた

kishimoto-void

LLMを賢くするのではなく「境界」を作る——AXIOM Framework Prototypeを作ってみた 正直に言うと、最初から「AIの共通基盤を作ろう」と考えていたわけではありません。 自分が作りたいものを作るためにLLMを使っていたら

teai.ioに都度チャージ(pay-as-you-go)機能を実装した話

濱田優貴

はじめに teai.io はこれまで、Free / Pro（¥4,350/月）/ Business（¥14,800/月）という月額サブスクリプション中心の料金体系でやってきた。Freeプランでもサインアップ時に1,000 credits・N

Gemini 3.7 Flash を使ってみた

大乱 -TaiLang-

はじめに・背景 待望の Gemini 3.5 Pro を心待ちにしていたのですが、なかなかリリースされず……と思っていたら、先に Gemini 3.7 Flash が登場しました。 最近エンジニア界隈でも話題の「ループエンジニアリング（AI

Xの「おすすめ」を候補取得からランキングまで読み解く - x-algorithm

suwa-sh / 諏訪真一

X（旧Twitter）の「おすすめ」フィードは、フォロー中の投稿を時系列に並べるだけではありません。公開リポジトリの x-algorithm では、フォロー中の投稿と機械学習で見つけたフォロー外の投稿を集め、ユーザー文脈を付与し、複数アクシ

型契約書を SSoT にする — TDDD（型定義駆動開発）

flip451

型システムは雄弁だ。それだけでコードの意図や制約を表現できる。この性質は、自然言語で書かれた仕様書と実装の間のギャップを仲介するのに役立つ。さらに型そのものに制約をかければ、アーキテクチャ上の約束やコーディングの作法も、守られているかを機械

CI 高速化：再利用できる考え方と実践

kogamitora

その CI、1 回まわすのに何分かかっていますか 「ちょっと長いな」と感じたのなら、それだけで改善の余地があると考えていいと思います。 CI の待ち時間は、頻度を掛け算したコストです。開発者ひとりひとりが、PR を出すたび、レビュー後に修正

WindowsのUSB接続を可視化するツールをRustで作った

Hiroki

はじめに：なぜ作ったか Windowsでは、デバイスマネージャーから接続中のデバイスを確認できます。しかし、その表示を見ただけでは、PnP Managerが管理するデバイスツリー、USB HubとPortから構成されるUSBトポロジー、アプ

AI エージェントの記憶を、圧縮の向こう側まで運ぶ ― amtr の設計と24世代の観測

naoto256

※ この記事とソフトウェアは、Claude Code / Codex と一緒に作りました。 圧縮のたびに、別人になる AI エージェントで長く作業していると、必ずぶつかる境界があります。コンテキストが埋まり、圧縮（compaction）

AIに『見張らせて、最後の判断だけは人間が握る』EDRを作ろうとしている話

loki

導入 市販のセキュリティソフトを入れていないパソコンを使う機会があって、「じゃあ自分で 見張り役を作ってしまえばいいのでは」と思ったのが、このツールを作り始めたきっかけです。 気づけば結構本格的な作りになってきたので、今の状態を紹介します。

Rustの動的パースを構造で消す ― macro_rules! による JSON のコンパイル時座標空間投影

Rhetro

AxiomaというCrateをつくった動機は、RustにおけるJSONの扱いが煩雑であるという理由からです。 一般的なプログラムにおいて、動的にJSONをパースし処理する必要性は多く存在します。 外部APIから送られてくるデータやユーザーか

ESP32でWASMアプリを動かす (18) APIを増やさずにメトロノームを磨く — 1刻み・長押し連打・音量調整

wurly

はじめに 本記事はどの編にも属さない単発回です。メトロノームアプリ編(第 13 回〜第 17 回)はいったん完結していますが、そのあとに小さな磨き込み依頼が 2 つ来ました。 BPM の調整が ±5 刻みしかできない。1 刻みで追い込める

C#で書かれた映像通信規格OMTをRustに移植した

FlowingSPDG

! 人間が書きました ふろーです。C#で書かれた映像通信規格のOpenMediaTransport(OMT)をRustで実装し、OMT便利ツール群をOMT Toolsとして公開しました。 https://github.com/Mikans

Rustにおける所有権と借用をGeminiに聞きながら学んだことを記録した

Kentaro Azuma

TL;DR AIの普及に置いていかれないようにするために、Google検索を自力で使うのを辞め始めた。 その過程で、Rustの所有権と借用について、どこか引っかかっていた点を何とか言語化してGeminiに質問したので、そのときに入力した内容

AI時代でも、Rustはコンパイルが通っただけで終わらせないほうがいい話

M Sakai

AIにRustを書かせると、想像以上にそれっぽいコードが返ってきます。 CLIツール、簡単なWeb API、ファイル処理、非同期処理のひな形まで、かなりの速度で出力してくれます。 しかしRustに関しては特に、そこで油断しないほうがいいと強

Rustのランタイムコストを構造で消す　―　動的計算の静的トポロジーへの還元

Rhetro

1. Rustの構造的制約と計算モデルの再解釈 2025年末にCognitive OSという非LLM型AIのアーキテクチャを着想し、2026年にその概要の論文をZenodoに発表しました。研究機関には所属はしておらず、Rhetroという名前

ESP32でWASMアプリを動かす (17) アクセントをAPIに入れない — 汎用トーンパレットの設計

wurly

はじめに 本記事は連載「ESP32でWASMアプリを動かす」メトロノームアプリ編の第 17 回です。編の全体像と到達点は第 13 回: メトロノームアプリをつくるへ。第 15 回で持ち越した宿題 —— メトロノームの音のアクセント(1 拍目

Rustほぼ読めへんけどRust製コンパイラを作っている

KentaroMorishita

Seseragiのcompilerは今、Rustでできている。 俺はRustをほぼ読めない。 文章にするとだいぶ意味が分からない。 昔なら成立しなかったと思う 自分でcompilerを作るなら、普通は実装言語をかなり理解している必要があ

[Bevy 入門] #2 System について

ライト

この記事の執筆では補助的にLLMを使用していますが、具体的な内容は全て人間が書いたことを保証します。 開発環境 Bevy: 0.19 （執筆時最新） OS: Windows x64 ! Bevy は非常に活発に更新が行われており、破

Rustのボイラープレートを解消するマクロの作り方とユニットテスト

fits

Rustは割と優れたプログラミング言語だと思いますが、ボイラープレートが多くなりがちなのが不満点の一つです。 例えば、次のようなものが挙げられます。 ボイラープレート 概要 Iterator Vecにflat_mapやand_