Zennの「Rust」のフィード
信じないものを、追跡する ― L2A-SCP の計測基盤 legixy 紹介
cognitiveosmdl
TL;DR legixy(旧称 Traceability Engine V3)は、成果物間のトレーサビリティを有向グラフとして保持し、その整合性を機械検証するツールである。 前記事(品質「最大化」をやめる ― L2A SCP)で第3の防御線
すべて
azukiazusa のテックブログ2
ワークフローを再利用可能なスキルに変換する Record & Replay を試してみた
Codex の Record & Replay は macOS 上でのユーザーの操作を実演することで再利用可能なスキルに変換する機能です。例えば経費精算の提出や勤怠アプリへの打刻や工数入力、定期的なレポートの作成などをスキルとして記録し、煩
kawarimidoll.com
USB-Cケーブルの実力を可視化するwhatcableが良さげかも
接続したUSB-Cケーブルの能力を表示するmacOSアプリwhatcableの紹介です。
kawarimidoll.com
ターミナル出力をPNGにするtermshotが良さげかも
コマンドの出力をPNG画像として保存するツールtermshotの紹介です。
Zennのトレンド
メモリダンプの模様とはどのようなものなのか(実践編)
sat
本記事は、以下6年前にKameさんが書いて話題になった、メモリダンプの模様が具体的にはどういうものなのかについて説明したのものです。 https://note.com/hkamezawa/n/na4a01c712142 その後、わたしもフォ
Zennの「Rust」のフィード
Rustを使って3DSソフトを開発する #3 - スプライトの描画
キノコフ
はじめに さて、六月の菖蒲ももうじき終わろうかという今日この頃、みなさまいかがお過ごしだろうか。私はというと、英語の授業で辞書を要求され家を確認したが一冊もなく、家計も火の車なのでブックオフで中古ゲームを見ていたら500円かそこらで「漢字そ
Zennの「Rust」のフィード
Rust | rmcp で Remote MCP Server を実装する
山とコード
Rust で Model Context Protocol (MCP) のサーバーを実装するなら、公式 Rust SDK の rmcp が第一候補だと思います。 この記事では rmcp の使って、Streamable HTTP transp
Zennのトレンド
DNSとSNIが見えにくくなる時代に、外部通信をどう見るか
catatsuy
以前、以下の記事を書きました。 https://zenn.dev/catatsuy/articles/e2fc71d810613a https://zenn.dev/catatsuy/articles/3b1e07e674c875 今回はそ
Zennの「Rust」のフィード
RustでMNISTをやってみたら、TraitがBatcherの設計図になっていた話
niikun
参考: Burn公式ドキュメント - Data はじめに Rust Bookを読み終えて、「次は何か作ってみよう」と思い、機械学習フレームワーク burn を触ってみることにした。 [dependencies] burn = { ve
Zennのトレンド
Windowsのファイル読み書きを高速化するアプリを作ってみた
nori3
はじめに 個人開発で、メモリを使用して、ファイルの読み書きを高速化するアプリを作成しました。 内部的にはRAMディスクを作成して、普段良く使われるキャッシュファイルをRAMディスクに移す事で高速化を行っています。 そもそも「RAMディス
Zennのトレンド
AI以後の受託システム開発はどうなっていくのか（2026年6月版）
terurou
筆者について どういうポジショントークなのかがわかるように、筆者の属性を先に書いておきます。 零細システム開発会社（デンキヤギ）の社長 自社製品（yagisan-reports）の開発・販売もやっているが、売上比率は受託のほうが大きい
Zennのトレンド
HTTP 418を本当に返すページをCloudflare Pages (+ functions)で作る
taka1156
はじめに 418 I'm a teapot というHTTPステータスコードをご存知でしょうか。RFC 2324（Hyper Text Coffee Pot Control Protocol）という、1998年のエイプリルフールに公開されたジ
Zennの「Rust」のフィード
Tauri・React・Rustで作る 日本株の押し目スクリーナー
Nifumafu🍊
こちらの本にご興味を持っていただきありがとうございます。 この本では、東証上場銘柄から日本株の押し目候補を探し、日足チャートで確認できるデスクトップアプリを作ります。 画面にはTauri 2、React、TypeScript、MUIを使
Zennのトレンド
プログラミング経験者が初めてWebアプリを作るときに知っておきたい基礎知識
koji
はじめに プログラミング自体は知っているけれど、「Webアプリを一つ作って公開する」のは初めて、という人は意外と多いと思います。アルゴリズムは書けるし、関数やクラスの概念も分かる。でも「フロントエンドとバックエンドって何が違うの？」「Rea
Zennの「Rust」のフィード
WebAssembly FaaSプラットフォームをRustで自作している開発記（マルチテナント＆セキュリティ設計編）
yukiharada1228
こんにちは。現在、Rust と WebAssembly を使って マルチテナント対応のセキュアな FaaS（Function as a Service）プラットフォーム を自作しています。 FaaS を一から作るにあたり、単に「Wasm を
azukiazusa のテックブログ2
AI エージェントフレームワーク eve を試してみた
Vercel が新しい AI エージェントフレームワーク eve を発表しました。Next.js の設計思想に基づいて構築された eve は、AI エージェントの開発に必要な機能がすべて揃ったフレームワークです。この記事では、eve を使っ
Zennの「Rust」のフィード
DeepSeek V4 向けオープンソース Agent harness「Zagens」— チャット壳ではなく、機械検証付き Harness
Jason
Zagens は DeepSeek V4 向けの Agent harness（MIT）。IDE プラグインでもチャット壳でもない。完了ゲートで機械検証、イベントログでリプレイ、ローカル sidecar + 実行承認。macOS/Linux
Zennのトレンド
Obsidian(Markdown) よりも快適に書く: vscode-scb で Cosense 記法
sta
Obsidian や Markdown よりも書きやすい手段がほしい 1: Obsidian では物足りぬ ローカルでメモするツールとして Obsidian が注目されてます。最近は生成 AI との絡みで AI 驚き屋による AI Sl
Zennのトレンド
GitHub Copilotのクレジット消費がユーザー単位でAPI取得可能に：監視を自動化する ai_credits_used の使い方
こばやし うきょう
はじめに GitHub Copilotの従量課金については、これまで2本の記事を書いてきました。 https://zenn.dev/headwaters/articles/github-copilot-ai-credits-billing-
kawarimidoll.com
YAMLを構造で比較するdiffymlが良さげかも
YAMLファイルを行ではなく構造で比較するdiffymlの紹介です。