Hi, I'm 執迷

Latest Posts

1. 对torch中einsum函数的一些分析

   @執迷 in [ 數學 ] 2025-03-15

2. Linear Transformer论文精读

   @執迷 in [ 自然語言處理 ] 2025-03-01

3. Lean语言数学之旅——一阶逻辑

   @執迷 in [ Lean 4 ] 2025-02-16

4. Lean语言数学之旅——命题逻辑

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

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

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

6. 记录一些端口映射的配置命令：iptables、ssh和netsh

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

7. Sutton的The Bitter Lesson阅读笔记

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

8. 生成式模型的Beam Search采样原理

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

9. 浅谈MinHash：求文档的交并比

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

10. 大模型算法工程师面试经验

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

11. 用numpy实现神经网络梯度下降

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

12. 游戏王小世界现象一卡的检索链分析

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

13. 批归一化（Batch Normalization）原理分析和代码实现

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

14. 手写Multi-Head Attention：从公式到代码实现

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

15. 导向滤波原理及其Python实现

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

16. 基于PID控制器的循迹小车简单演示

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

17. Softmax函数的性质

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

18. 五度相生律和十二平均律的计算

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

19. 相机模型和相机标定

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

20. 前景分割任务和ViBe算法

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

21. 最小二乘法求解直线拟合问题

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