Wasm モジュールの関数を Lean で形式検証する

#WebAssembly#Lean#形式検証

2026-10-24

PSBT を理解したい

#Bitcoin#PSBT

2026-10-07

PyMC を wasm にコンパイルしてブラウザで動かした

#pymcwasm#tapewasm#PyMC#WebAssembly#Rust

2026-09-27

#SeedSignerSeedSigner は何を信頼して動いているのか

#SeedSigner#Bitcoin#サプライチェーン

2026-09-19

#WebGPUdraftBonsaiのWebGPUカーネルを読み解く

#WebGPU#LLM#量子化

2026-09-08

#stanwasmwasm 上で動く Stan ランタイムを作った

#stanwasm#Stan#WebAssembly#Rust

2026-09-06

エンジニア。飯の食い方変わったよね。

#生成AI#エンジニアリング#キャリア

2026-04-02note