Zennの「Rust」のフィード
RustでComputer-Aided Synthesis Planningエンジンを開発している話
kent-tokyo
新薬を作りたいとき、「この化合物を合成するにはどの原料から始めればいいか」を自動で答えるツール「renkin」を Pure Rust で開発しています。 https://github.com/kent-tokyo/renkin 逆合成解
すべて
Zennの「Rust」のフィード
AI compiler + runtime (inference) のようなものを作った (LLM Part)
jame443
前回 の続きです。LLM パートについて書きます。リポジトリはこちら。 https://github.com/kcvlex/my-nn-engine LLM の方は、一応 CPU でも動くはずですが、基本的には GPU (CUDA) の使用
Zennのトレンド
GPUDirect RDMA 入門: NIC が GPU メモリに直接読み書き
littlemex
はじめに ! この記事のゴール: 「GPU 同士がネットワーク越しに、CPU をほとんど介さず直接データをやり取りする」仕組みである GPUDirect RDMA を、初学者向けに解説します。 そもそも RDMA とは何か（Buffer
Zennのトレンド
自動運転OSSのAutowareの解説サイトを作っている件
Kazuya Kurihara
概要 Autowareという自動運転OSSの解説サイトを作っています（Linux版のPoCのようなものをAutowareを対象に作る） とりあえず、一部localizationと一部perceptionを作ったところで、GPUが必要になっ
Zennのトレンド
バックエンドエンドエンジニアができるべき 設計
engineer reborn
なぜ設計フローを理解する必要があるのか? ウォーターフォールの開発でないかぎり、開発フローは会社によって、短縮されていることがあるし、全体像を掴めていないと、設計に抜け漏れがあるので、全体像を把握しておく必要がある フロー 業務要件を考
Zennの「Rust」のフィード
UUIDを実装してみた！安全な乱数源から
Riku Tatsumi
Rustの標準ライブラリだけでUUIDを作りました。OSから暗号学的に安全な乱数を取得して、それを元にB7EEF135-1372-43B9-AADF-95C4A6D19609のようなIDを生成します。 unsafeを使用するため、Rustで
Zennのトレンド
LocalStack が有料になったので MiniStack + Terraform でローカル AWS 環境を作り直した
かめさん
はじめに 個人開発で AWS のインフラを Terraform で管理していると、こういう悩みが出てきます。 「terraform apply のたびに実 AWS を使うのはコストが怖いし、壊すのも嫌だ。ローカルで試したい」 そこで従来
Zennのトレンド
バグハンター視点で学ぶ Caido 実践入門
morioka12
📕【概要】 本書は、急速に支持を広げる Web プロキシツール「Caido」を、バグハンターの視点で使い倒すための入門書です。ブラウザとサーバの間に割り込んで通信を傍受し、書き換え、再送し、自動化する。その一連の作業をCaidoでどう行
Zennの「Rust」のフィード
RustでABC463 (A ~ D)
石垣島産石垣
ABC 463 参加記録 戦績 問題 結果 時間 ペナルティ A AC 1:52 0 B AC 5:29 0 C AC 13:56 0 D AC 90:02 0 レート変動： 991 -> 988（-3）
Zennの「Rust」のフィード
RustでABC463 (A ~ D)
石垣島産石垣
ABC 463 参加記録 戦績 問題 結果 時間 ペナルティ A AC 1:52 0 B AC 5:29 0 C AC 13:56 0 D AC 90:02 0 レート変動： 991 -> 988（-3）
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ディス