2026-03-05T08:12:00.167Z https://wjk.moe/ am009@github.com Hexo https://wjk.moe/2026/MLstruct-%E5%9C%A8%E7%BB%93%E6%9E%84%E7%B1%BB%E5%9E%8B%E7%9A%84%E5%B8%83%E5%B0%94%E4%BB%A3%E6%95%B0%E4%B8%AD%E8%BF%9B%E8%A1%8C%E4%B8%BB%E7%B1%BB%E5%9E%8B%E6%8E%A8%E6%96%AD/ 2026-02-18T03:11:12.000Z 2026-03-05T08:12:00.167Z

<p>MLstruct-在结构类型的布尔代数中进行主类型推断</p>

https://wjk.moe/2026/%E6%97%A7%E6%98%BE%E5%8D%A1%E5%9C%A82026%E5%B9%B4%E7%9A%84AI-LLM%E7%94%9F%E5%AD%98%E6%8C%87%E5%8D%97/ 2026-01-20T03:11:12.000Z 2026-01-21T10:18:33.750Z

<p>旧显卡在2026年的AI-LLM生存指南</p>

https://wjk.moe/2025/%E6%8A%95%E8%B5%84%E7%AD%96%E7%95%A5%E4%B8%8E%E5%B8%82%E5%9C%BA%E8%B5%B0%E5%8A%BF%E7%9A%84%E6%A6%82%E7%8E%87%E5%88%86%E5%B8%83/ 2025-12-31T03:11:12.000Z 2025-12-31T08:45:40.604Z

<p>投资策略与市场走势的概率分布</p>

https://wjk.moe/2025/%E4%BB%A3%E6%95%B0%E5%AD%90%E7%B1%BB%E5%9E%8B%E7%9A%84%E7%B2%BE%E9%AB%93SimpleSub%EF%BC%88%E5%8F%8C%E8%AF%AD%E4%BA%A4%E6%9B%BF%E7%89%88%E6%9C%AC%EF%BC%89/ 2025-12-09T03:11:12.000Z 2026-01-30T01:48:09.264Z

<p>一篇论文(SimpleSub)的中英文翻译版本：</p> <p>《The Simple Essence of Algebraic Subtyping. Principal Type Inference with Subtyping Made Easy (Functional Pearl)》 --- LIONEL PARREAUX, EPFL, Switzerland</p>

https://wjk.moe/2025/%E5%88%86%E6%9E%90%E6%95%B0%E6%8D%AE%E7%9A%84%E7%9B%B8%E5%85%B3%E6%80%A7%E5%92%8C%E5%9B%A0%E6%9E%9C%E6%80%A7/ 2025-12-05T03:11:12.000Z 2026-01-05T06:36:23.733Z

<p>分析数据的相关性和因果性</p>

https://wjk.moe/2025/%E5%9F%BA%E4%BA%8E%E5%AF%B9%E6%95%B0%E6%9C%9F%E6%9C%9B%E7%9A%84%E6%8A%95%E8%B5%84%E5%B0%BA%E5%AF%B8%E8%AE%A1%E7%AE%97/ 2025-11-27T03:11:12.000Z 2025-12-31T10:54:50.026Z

<p>基于对数期望的投资尺寸计算</p>

https://wjk.moe/2025/%E6%B7%B1%E5%85%A5%E7%90%86%E8%A7%A3%E6%8A%95%E8%B5%84%E4%B8%AD%E7%9A%84%E5%87%AF%E5%88%A9%E5%85%AC%E5%BC%8F/ 2025-11-26T03:11:12.000Z 2026-01-19T03:44:37.488Z

<p>凯利公式在投资上的应用</p>

https://wjk.moe/2025/%E5%A4%9A%E6%80%81%E7%B1%BB%E5%9E%8B%E6%8E%A8%E7%90%86SimpleSub%E5%92%8CMLsub/ 2025-11-20T03:11:12.000Z 2026-01-30T07:40:42.413Z

<p>多态类型推理SimpleSub和MLsub</p>

https://wjk.moe/2025/SVF-LLVM%E6%8C%87%E9%92%88%E5%88%86%E6%9E%90%E6%A1%86%E6%9E%B6/ 2025-09-21T03:11:12.000Z 2025-11-27T06:28:19.334Z

<p>本文解析SVF的代码框架。</p>

https://wjk.moe/2025/C%E6%8C%87%E9%92%88%E5%88%86%E6%9E%90%E5%9F%BA%E7%A1%80/ 2025-09-01T03:11:12.000Z 2025-09-06T05:38:57.306Z

<p>C指针分析基础。</p>

https://wjk.moe/2025/%E7%B1%BB%E5%9E%8B%E7%B3%BB%E7%BB%9F%E4%B8%8E%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80/ 2025-09-01T03:11:12.000Z 2025-09-01T14:52:17.166Z

<p>类型系统与编程语言，《Types and Programming Languages》TAPL的阅读笔记。</p>

https://wjk.moe/2025/Fuzzbench%E6%9E%B6%E6%9E%84/ 2025-06-29T03:11:12.000Z 2026-01-20T06:11:25.546Z

<p>Fuzzbench的代码架构解析</p>

https://wjk.moe/2025/AlgebraticSubtyping/ 2025-04-08T03:11:12.000Z 2025-04-08T08:54:52.782Z

<p>读论文：《Algebraic Subtyping》 -- Dolan</p>

https://wjk.moe/2025/AFLplusplus%E7%9A%84enhancedDeterministicMode/ 2025-04-03T03:11:12.000Z 2025-06-29T04:51:56.423Z

<p>AFL++的<a href="https://github.com/AFLplusplus/AFLplusplus/pull/1972">Enhanced Deterministic mode</a>的实现解析</p>

https://wjk.moe/2026/%E7%9B%98%E7%82%B9%E5%BC%80%E6%BA%90Fuzzer%E7%9A%84%E7%AD%96%E7%95%A5-LibAFL-AFL++-Honggfuzz/ 2025-04-02T03:11:12.000Z 2026-01-30T01:50:48.884Z

<p>盘点开源Fuzzer的策略-LibAFL-AFL++-Honggfuzz</p>

https://wjk.moe/2025/LLVM-SROA/ 2025-04-02T03:11:12.000Z 2025-07-01T13:31:19.028Z

<p>LLVM的<a href="https://llvm.org/docs/Passes.html#sroa-scalar-replacement-of-aggregates">SROA（Scalar Replacement of Aggregates）</a>的实现解析</p>

https://wjk.moe/2025/Fuzzing-MOpt-Mutator/ 2025-04-02T03:11:12.000Z 2026-01-21T03:39:03.510Z

<p>Fuzzing-MOpt-Mutator。再次阅读这篇paper《MOpt: Optimized Mutation Scheduling for Fuzzers》</p>

https://wjk.moe/2025/AFLplusplus%E7%9A%84%E5%8A%A8%E6%80%81dict%E7%94%9F%E6%88%90%E4%B8%8Ecmplog%E6%8F%92%E6%A1%A9/ 2025-04-02T03:11:12.000Z 2025-06-17T16:12:25.751Z

<p>AFL++的动态dict生成与cmplog插桩</p>

https://wjk.moe/2025/Honggfuzz%E7%9A%84DynamicFeedbackDict/ 2025-04-02T03:11:12.000Z 2025-06-17T08:22:37.638Z

<p>Honggfuzz的DynamicFeedbackDict机制</p>

https://wjk.moe/2025/BTIGhidra%E5%92%8CBinSub%E4%BB%A3%E7%A0%81%E8%A7%A3%E6%9E%90/ 2025-02-06T03:11:12.000Z 2025-02-06T13:37:32.131Z

<p>BTIGhidra和BinSub代码解析</p>