O6lvl4 Knowledge の knowledge base。

Notes

3d

ai

ai-planning

aituber

almide

business

compiler

computer-science

concept

cryptography

css

design-principle

distributed-systems

economics

edge-computing

editor

formal-language

formal-methods

frontend

game-engine

go

graphics

hardware

homeos

language

law

learning

license

logic

networking

neuroscience

pdf

product

programming-paradigm

rails

ruby

rust

safety-critical

streaming

testing

tools

tts

type-theory

vtuber

web-framework

web-history

webassembly

All Notes

3tene vtuberapp3djapan ADT / GADT type-theorycomputer-science Agent Framework — スコープ概念設計 (仮) almideagentframeworkplanningdraftscope Agent Framework — 設計詳細 (仮) almideagentframeworkplanningdraftdesign AI エージェント向けエラーメッセージ（型エラーアブレーション） aillmcompilertype-theoryerror-handling AI-DLC (AI-Driven Development Life Cycle) aillmmethodologysoftware-engineeringaws AI-DLC 入門 — 開発1年目向け aimethodologybeginneraws AITuber 応答のエンゲージメント最適化 aituberaillm AITuber 配信コスト構造 aitubercostllmttsstreaming AITubeStudio (仮) almideaituberagentproductdraftplanning AivisHub ttsaudioapiaituber Algebraic Effects programming-paradigmcomputer-sciencetype-theory almai almideaillm Almide languagellmcompilerrustwasm Almide Agent Framework — 抽象スケッチ (仮) almideagentframeworkplanningdraftsketch Almide コンパイラエラー体験 almidecompilerdxerror-handling Almide の list in-place mutation (push/pop) 設計 almidecompilermemory-management Almide 差分ゲート (differential gate) almidecompilertesting almide-bindgen almideclifficodegen almide-dojo almidellmbenchmark almide-grammar almidelanguage-tooling almide-js almidewasm almide-kernel — 検証付き高性能カーネル almidecompilerformal-methodsoptimization almide-lander almideclicodegen almide-lsp almidelspeditortooling almide-playground almidewasmbrowser almide-repl almidereplclicompiler almide-sqlite almidedatabase almide-wasm-bindgen almidewasmcodegen almide-web almidewasmbrowser Android Delivery toolsandroidbusiness Android Release Flow toolsandroidbusiness Android Studio toolsandroidai ANF パスとクロージャリフティングのバグ事例 almidecompilerdebugging animula aitubervtuber Anycast / CDN edge-computingnetworkingcdnanycastbgp App Delivery toolsapplebusiness App Release Flow toolsapplebusiness App Store businessapplelaw App Store Review businessapplelaw axum rustweb-frameworkasynctokio base64 (Almide) almidestdlib Blender graphics3ddccopen-sourcemodeling bonsai-almide almidellmwasm Borrow Checker の価値 — 制約が信頼に変わる体験 rustdesign-principledeveloper-experience BTreeMap computer-sciencedata-structurerust Bytecode Alliance webassemblywasmorganizationedge-computing ceangal almidegraphicsuiwasm ceangal-anime almidegraphicsanimation Clojure languageprogramming-paradigm Coeffect programming-paradigmtype-theory Comonad programming-paradigmtype-theory Component Model webassemblywasmcomponent-modelstandard Convention over Configuration design-principleframeworkphilosophy Copy-on-Write (COW) computer-sciencememory-managementoptimization Creative Commons lawlicenseintellectual-property CSR (Client-Side Rendering) frontendwebrendering CSS Paged Media csspdfdocument-generationstandard csv (Almide) almidestdlib Dead Code Elimination (DCE) computer-sciencecompileroptimizationwasm DirectX graphicsgpumicrosoft DO-178C (航空ソフトウェア認証) safety-criticalformal-methods docs (Almide) almidedocumentation Edge / WebAssembly ランドスケープ edge-computingwebassemblymeta Edge Computing edge-computingdistributed-systemsarchitecture Edge Computing 実務設計パターン edge-computingarchitectureweb-performancedesign-pattern Edge Security edge-computingsecurityddoswaftlszero-trustbot-management Edge vs Cloud vs On-premise edge-computingarchitecturedecision-framework Edge データストア edge-computingdatabasedistributed-systemsdata Edge プラットフォーム比較 edge-computingplatformcloudflaredenofastly Emacs editorlisptools Equality Saturation computer-sciencecompileroptimizationalgorithm Exo — exocompilation languagecompileroptimizationhardwareformal-methods F# languageprogramming-paradigm FBX graphics3dformatautodesk Ferrocene rustsafety-critical FIFO / LIFO computer-sciencedata-structurealgorithm Forth languageprogramming-paradigmstack Functional Core, Imperative Shell design-principleprogramming-paradigm github.com/mruby/mruby rubylanguageembedded github.com/syumai/workers edge-computingwebassemblygo github.com/tinygo-org/tinygo gocompilerwebassembly glTF graphics3dformatstandard Go を Cloudflare Workers で動かす edge-computingwebassemblygo Google Play businessandroidlaw Google Play Review businessandroidlaw GPU hardwaregraphicscomputer-science Grain languagewebassemblyfunctional-programming hashbrown rustdata-structurehash-tablecrate Hindley–Milner 型推論 type-theorycomputer-science HOF インライン融合とクロージャ変換 almidecompileroptimization HomeOS を関数型で作る — 計画 (仮) homeoselixirbeamfunctional-programminghome-automationlocal-firstplanningdraft homullus almideaiagentcli Hooked モデル — 習慣を作る4段ループ productbehavioral-economicspsychology HTN Planning（階層型タスクネットワーク） ai-planningtask-managementformal-methods IEC 62304 (医療機器ソフトウェア) safety-criticalformal-methods ISO 26262 (自動車機能安全) safety-criticalformal-methods libobs streamingarchitectureclibrary LISP programming-paradigmcomputer-sciencelanguage Live2D graphicsvtuberanimation LLM ソーシャルシミュレーション aillmcomputational-social-science LLM を使った学習 — 答えない存在として設定する learningai lumen almidegraphicsmath Metal graphicsgpuapple Mind languageprogramming-paradigmstackjapanese Mixamo graphics3drigginganimationadobe Monad programming-paradigmcomputer-sciencetype-theory mruby rubylanguageembedded nendo almidegraphics3dvrm NIST テストベクタ cryptographytestingstandard nn (Almide) almideaineural-network OBS Studio streamingrecordingopen-sourcevideo OBS Studio アーキテクチャ streamingarchitectureopen-sourcevideo OBS Studio プラグインシステム streamingarchitecturepluginopen-source obsid almidegraphicswasm OCaml languageprogramming-paradigm OpenGL graphicsgpu Paged.js pdfcss Pagina pdfcssdocument-generationrustoss Perceus computer-sciencememory-managementreference-countingcompiler porta almidesecuritymcpagent Prince pdfcssdocument-generationproprietary QUIC / HTTP/3 networkingprotocoledge-computingtransporthttp rayon rustconcurrencyparallelismcrate Region Inference computer-sciencememory-managementtype-theorycompiler Relaxed SIMD computer-sciencewebassemblysimdwasm Ruby languagedynamicscripting Ruby on Rails web-frameworkrubyhistorydx Rust languagesystemsprogramming Rust と安全臨界 (Ferrocene / RustBelt) rustsafety-criticalformal-methods Ryū (最短往復の float→文字列変換) computer-sciencecompiler Simple vs Easy design-principlephilosophycomputer-science snaidhm almidegraphicsgpuwasm SOUP (Software of Unknown Provenance) safety-criticalsoftware-supply-chain SPA (Single Page Application) frontendwebarchitecture SSG (Static Site Generation) frontendwebrenderingjamstack SSR (Server-Side Rendering) frontendwebrendering Stream Fusion computer-sciencecompileroptimizationfunctional-programming Style-Bert-VITS2 ttsaudioaiopen-sourceaituber svg (Almide) almidestdlibgraphics sweep（差分テスト / 生成ベースのバグ発見） testingverificationcomputer-science SwissTable computer-sciencedata-structurehash-tablealgorithm Tagless Final programming-paradigmtype-theory TAPL type-theorycomputer-sciencebook The Almide Doctrine (仮) almidephilosophydesign-principlellmdoctrinedraft The Rails Doctrine railsphilosophydesign-principledoctrine TinyGo gocompilerembeddedwebassembly toml (Almide) almidestdlib tree-sitter-almide almidelanguage-tooling Type 0 文法（句構造文法） formal-languageautomata-theorycomputer-science Type 1 文法（文脈依存文法） formal-languageautomata-theorycomputer-science Type 2 文法（文脈自由文法） formal-languageautomata-theorycomputer-science Type 3 文法（正規文法） formal-languageautomata-theorycomputer-science Unity game-engine3dc-sharpmultiplatform V8 Isolates edge-computingruntimejavascriptv8 ViralBERT ainlpwriting VN3 ライセンス licensevtuber3dvr VOICEVOX vtuberaudiottsopen-source VRM graphicsvtuber3dformat VRoid Hub vtuber3dplatformpixiv VRoid Studio vtuber3dcharacter-creatorjapanpixiv VRoid Studio ライセンス vtuber3dlicensepixiv vscode-almide almidelanguage-toolingeditor Vulkan graphicsgpu WASI edge-computingwebassemblywasmwasistandard WASM at the Edge edge-computingwebassemblywasmruntime Wasmtime webassemblywasmruntimeedge-computingcrate Web 2.0 web-historyeramovementweb-stack WebAssembly Core — バイナリ・WAT・スタックマシン・形式的安全性 webassemblycomputer-scienceformal-methods WebAssembly SIMD computer-sciencewebassemblysimdwasm WebGPU graphicswebgpu wgpu graphicsgpurustwasm WinterTC edge-computingjavascriptstandardecma Work-Stealing computer-scienceconcurrencyschedulingalgorithm Xcode toolsappleai yaml (Almide) almidestdlib λ計算 programming-paradigmcomputer-sciencetype-theory アクターモデル computer-scienceprogramming-paradigm エピソード記憶 neuroscienceaicognitive-science エンゲージメント駆動生成 aillmwriting カリー=ハワード同型対応 type-theorylogiccomputer-science キャラクタークリエイター 3dconceptvtuber コード生成の走査網羅性 (traversal/site totality) almidecompilerverification コンパイルの決定性 (Determinism/Purity Belt) almidecompilerbuild-systems サーキットブレーカ — 連鎖障害を止める耐障害パターン distributed-systemsresiliencedesign-pattern システムにおける「許容される安全性」とは safety-criticalsystems-engineering スタック指向プログラミング programming-paradigmcomputer-science チョムスキー階層 formal-languageautomata-theorycomputer-science デコーダパターン programming-paradigmtype-theory なでしこ languagejapaneseeducation パーサコンビネータ programming-paradigmcomputer-science パラメトリシティ / 自由定理 type-theoryprogramming-paradigm ビルドキャッシュとプリコンパイル済み stdlib compilerbuild-systemscomputer-science フェイストラッキング conceptcomputer-visionvtuberar プッシュダウン・オートマトン (PDA) formal-languageautomata-theorycomputer-science フリーミアム / 無料トライアル businesspricinggrowth プログラミング言語 computer-sciencelanguage ペトリネット formal-methodsconcurrencycomputer-science ポリモーフィズム type-theorycomputer-science モデル検査 formal-methodscomputer-science レンダリング戦略 — CSR / SSR / SSG frontendwebrenderingarchitecture レンダリング戦略のフェーズ全体図 — いつ何が見えるか frontendwebrenderingteaching ロスリーダー（撒き餌価格） businesspricing ロックイン / スイッチングコスト businesseconomicsstrategy 不正な状態を表現不能にする design-principletype-theory 人間の文章 vs AI 文章 aillmwriting 代数的演算 (algebraic operations) type-theoryprogramming-paradigm 仮想スクロール computer-sciencewebmobile 依存型 type-theorycomputer-science 信義則 lawcivil-law 偶有的複雑性 / 本質的複雑性 design-principlecomputer-science 共用型 / Union 型 type-theoryprogramming-languagecomputer-science 再帰スキーム programming-paradigmtype-theory 分散システムの一貫性 — CAP定理, CRDT, 一貫性モデル computer-sciencedistributed-systemsedge-computingconsistency 列挙型 (Enum) type-theoryprogramming-languagecomputer-science 制約が自由を生む (constraints liberate) design-principlephilosophycomputer-science 効果ハンドラ (effect handlers) programming-paradigmtype-theory 双対 computer-sciencetype-theorymathematics 双方向型検査 type-theorycomputer-science 商用オフザシェルフ (COTS) ソフトウェア safety-criticalsoftware-supply-chainbusiness 圏論 type-theorycomputer-science 報酬 (強化学習) aimachine-learningllm 報酬系と内発的動機 neuroscienceaicognitive-science 多段階計算 programming-paradigmcomputer-science 学習システムの設計 — 動力学とパイプラインの分離 learningdesign-principle 安全臨界ソフトウェア認証と Almide のギャップ formal-methodsalmidesafety-critical 安全臨界の認証に関わる団体(標準化・評価・規制) safety-critical 定理証明 formal-methodscomputer-science 実行機能 neuroscienceaicognitive-science 射影 (projection) conceptmathematicstype-theory 幽霊型 type-theorycomputer-science 形式手法 formal-methodscomputer-science 形式的言語能力 vs 機能的言語能力 aineurosciencellm 心の理論 neuroscienceaicognitive-science 忘却曲線 — 何を測ったもので、何を言っていないか neurosciencecognitive-sciencelearning 想起練習 — 知識はどう獲得されるか neurosciencecognitive-sciencelearning 手がかりを削る — 学習技法を1本の軸で選ぶ learningcognitive-science 抽象機械 programming-paradigmcomputer-science 推論時アライメント aillmmachine-learning 推論規則 type-theorylogiccomputer-science 時相論理 formal-methodscomputer-sciencelogic 書面の自動生成 pdfdocument-generationconcept 末尾呼び出し最適化 (TCO) computer-scienceprogramming-paradigm 漸近的 (asymptotic) — 触れない線への規律 conceptmathematicsphilosophy 無料配布の設計（なぜ「N本無料」なのか） businessmarketing 番組表 OSS / EPG ライブラリ streamingreference 番組表アーキテクチャ streamingreference 番組表アプリ / EPG streamingreference 直観主義論理 logiccomputer-sciencetype-theory 等式推論 programming-paradigmtype-theory 篩型 type-theorycomputer-science 簡約（α, β, η） programming-paradigmcomputer-sciencetype-theory 純粋関数型言語 programming-paradigmcomputer-science 継続 / 限定継続 programming-paradigmcomputer-science 著作権法 lawlicenseintellectual-property 行動経済学 — 人が「合理的でなく」動く法則 economicscognitive-scienceproduct 記号接地問題 aiphilosophycognitive-science 部分評価 programming-paradigmcomputer-science 配信ソフトウェア streamingvideoconcept 関数型言語 programming-paradigmcomputer-science 音声クローン ttsaudioaiaituber 顧客獲得単価（CAC）と顧客生涯価値（LTV） businesseconomicsgrowth 高階型 (HKT) type-theoryprogramming-paradigm