Hi, I'm 執迷

Latest Posts

1. Lean语言数学之旅——命題邏輯

   @執迷 in [ Lean 4 ] 2025-01-12

2. Lean语言数学之旅——环境配置和一些基础概念

   @執迷 in [ Lean 4 ] 2025-01-09

3. 記錄一些端口映射的配置命令：iptables、ssh和netsh

   @執迷 in [ 網絡技術 ] 2024-12-01

4. Sutton的The Bitter Lesson閱讀筆記

   @執迷 in [ 機器學習 ] 2024-10-13

5. 生成式模型的Beam Search採樣原理

   @執迷 in [ 自然語言處理 ] 2024-09-02

6. 淺談MinHash：求文檔的交並比

   @執迷 in [ 自然語言處理 ] 2024-07-20

7. 大模型算法工程師面試經驗

   @執迷 in [ 大模型 ] 2024-07-13

8. 用numpy實現神經網絡梯度下降

   @執迷 in [ 深度學習 ] 2024-06-29

9. 遊戲王小世界現象一卡的檢索鏈分析

   @執迷 in [ 遊戲 ] 2024-05-02

10. 批歸一化（Batch Normalization）原理分析和代碼實現

    @執迷 in [ 深度學習 ] 2024-03-18

11. 手寫Multi-Head Attention：從公式到代碼實現

    @執迷 in [ 深度學習 ] 2024-03-11

12. 導向濾波原理及其Python實現

    @執迷 in [ 計算機視覺 ] 2024-02-02

13. 基於PID控制器的循跡小車簡單演示

    @執迷 in [ 自動控制原理 ] 2024-01-29

14. Softmax函數的性質

    @執迷 in [ 深度學習 ] 2024-01-09

15. 五度相生律和十二平均律的計算

    @執迷 in [ 樂理 ] 2024-01-04

16. 相機模型和相機標定

    @執迷 in [ 計算機視覺 ] 2022-02-22

17. 前景分割任務和ViBe算法

    @執迷 in [ 計算機視覺 ] 2022-02-18

18. 最小二乘法求解直線擬合問題

    @執迷 in [ 機器學習 ] 2022-01-04