Recent Notes
263 notes
手がかりを削る — 学習技法を1本の軸で選ぶ 学習システムの設計 — 動力学とパイプラインの分離 LLM を使った学習 — 答えない存在として設定する 想起練習 — 知識はどう獲得されるか 忘却曲線 — 何を測ったもので、何を言っていないか 商用オフザシェルフ (COTS) ソフトウェア AI-DLC 入門 — 開発1年目向け AI-DLC (AI-Driven Development Life Cycle) レンダリング戦略のフェーズ全体図 — いつ何が見えるか CSR (Client-Side Rendering) SPA (Single Page Application) レンダリング戦略 — CSR / SSR / SSG SSR (Server-Side Rendering) SSG (Static Site Generation) Exo — exocompilation almide-kernel — 検証付き高性能カーネル Ryū (最短往復の float→文字列変換) コード生成の走査網羅性 (traversal/site totality) 漸近的 (asymptotic) — 触れない線への規律 AI エージェント向けエラーメッセージ（型エラーアブレーション） sweep（差分テスト / 生成ベースのバグ発見） 射影 (projection) github.com/mruby/mruby github.com/tinygo-org/tinygo mruby TinyGo github.com/syumai/workers Go を Cloudflare Workers で動かす 制約が自由を生む (constraints liberate) Borrow Checker の価値 — 制約が信頼に変わる体験 コンパイルの決定性 (Determinism/Purity Belt) 代数的演算 (algebraic operations) BTreeMap 効果ハンドラ (effect handlers) Emacs LISP animula Paged.js Algebraic Effects 継続 / 限定継続 Copy-on-Write (COW) 双対 純粋関数型言語 直観主義論理 モデル検査 ペトリネット 時相論理 ADT / GADT カリー=ハワード同型対応 推論規則 Monad 幽霊型 簡約（α, β, η） TAPL Type 0 文法（句構造文法） Type 2 文法（文脈自由文法） Type 1 文法（文脈依存文法） Type 3 文法（正規文法） チョムスキー階層 関数型言語 λ計算 プログラミング言語 依存型 形式手法 篩型 定理証明 Coeffect ビルドキャッシュとプリコンパイル済み stdlib 双方向型検査 行動経済学 — 人が「合理的でなく」動く法則 サーキットブレーカ — 連鎖障害を止める耐障害パターン Hooked モデル — 習慣を作る4段ループ 顧客獲得単価（CAC）と顧客生涯価値（LTV） フリーミアム / 無料トライアル ロックイン / スイッチングコスト ロスリーダー（撒き餌価格） Android Studio App Delivery Google Play Review Clojure F# Functional Core, Imperative Shell OCaml 多段階計算 パラメトリシティ / 自由定理 パーサコンビネータ 抽象機械 Comonad 等式推論 再帰スキーム 高階型 (HKT) 不正な状態を表現不能にする Hindley–Milner 型推論 圏論 デコーダパターン アクターモデル 部分評価 末尾呼び出し最適化 (TCO) ポリモーフィズム 偶有的複雑性 / 本質的複雑性 Tagless Final 無料配布の設計（なぜ「N本無料」なのか） 仮想スクロール HomeOS を関数型で作る — 計画 (仮) Android Delivery Android Release Flow Google Play App Release Flow 番組表 OSS / EPG ライブラリ 番組表アーキテクチャ App Store Review 番組表アプリ / EPG App Store Xcode 安全臨界の認証に関わる団体(標準化・評価・規制) Ferrocene Rust と安全臨界 (Ferrocene / RustBelt) SOUP (Software of Unknown Provenance) IEC 62304 (医療機器ソフトウェア) ISO 26262 (自動車機能安全) DO-178C (航空ソフトウェア認証) システムにおける「許容される安全性」とは 安全臨界ソフトウェア認証と Almide のギャップ Almide 差分ゲート (differential gate) Almide の list in-place mutation (push/pop) 設計 HOF インライン融合とクロージャ変換 AITuber 応答のエンゲージメント最適化 推論時アライメント LLM ソーシャルシミュレーション 報酬 (強化学習) エンゲージメント駆動生成 ViralBERT 人間の文章 vs AI 文章 Simple vs Easy プッシュダウン・オートマトン (PDA) ANF パスとクロージャリフティングのバグ事例 Almide エピソード記憶 実行機能 形式的言語能力 vs 機能的言語能力 Grain 報酬系と内発的動機 スタック指向プログラミング 記号接地問題 心の理論 WebAssembly Core — バイナリ・WAT・スタックマシン・形式的安全性 Equality Saturation Stream Fusion HTN Planning（階層型タスクネットワーク） Perceus Anycast / CDN Bytecode Alliance Component Model Dead Code Elimination (DCE) 分散システムの一貫性 — CAP定理, CRDT, 一貫性モデル Edge データストア Edge Computing Edge Computing 実務設計パターン Edge プラットフォーム比較 Edge Security Edge vs Cloud vs On-premise Edge / WebAssembly ランドスケープ FIFO / LIFO hashbrown QUIC / HTTP/3 rayon Region Inference Relaxed SIMD Rust SwissTable V8 Isolates WASI WASM at the Edge WebAssembly SIMD Wasmtime WinterTC Work-Stealing NIST テストベクタ AITuber 配信コスト構造 AivisHub Almide コンパイラエラー体験 almide-lsp almide-repl axum CSS Paged Media 書面の自動生成 列挙型 (Enum) libobs OBS Studio プラグインシステム OBS Studio アーキテクチャ OBS Studio Pagina Prince Style-Bert-VITS2 共用型 / Union 型 VN3 ライセンス 音声クローン VOICEVOX base64 (Almide) csv (Almide) docs (Almide) almide-js almide-playground nn (Almide) almide-sqlite svg (Almide) toml (Almide) yaml (Almide) bonsai-almide ceangal-anime キャラクタークリエイター 著作権法 Creative Commons DirectX フェイストラッキング Forth glTF 信義則 GPU lumen Metal Mind Mixamo なでしこ nendo OpenGL 配信ソフトウェア The Almide Doctrine (仮) tree-sitter-almide VRoid Hub VRoid Studio ライセンス VRoid Studio Vulkan Web 2.0 WebGPU wgpu almai almide-bindgen almide-dojo almide-grammar almide-lander almide-wasm-bindgen almide-web ceangal homullus obsid porta snaidhm vscode-almide Agent Framework — スコープ概念設計 (仮) Agent Framework — 設計詳細 (仮) AITubeStudio (仮) Almide Agent Framework — 抽象スケッチ (仮) Convention over Configuration Ruby on Rails Ruby The Rails Doctrine 3tene Blender FBX Live2D Unity VRM