欢迎来到我的博客
这里记录了我的技术探索和生活点滴。
热门文章
混淆矩阵(confusion matrix)与TP/FP/FN/TN
What? 什么是混淆矩阵 混淆矩阵是一个表格，填充的是所有样本点的预测结果，他可以是二分类也可以是多分类。 对于二分类的情况，混淆矩阵形状是2x2，表格的含义如下。 | | Positive (预测为正) | Negative…
Batch Norm v.s. Layer Norm
Why do we need normalization? 存在问题： 内部协变量偏移 (Internal Covariate Shift):…
Coq | case analysis to prove goal with OR
This goal to be prove(see the right part in the figure) includes \/ notation, which means OR in informal way people…
How to proof a theorem in Coq?
Task Use these 2 theorems to prove a theorem: Keywords: pattern matching, goal, tactic, rewrite What is goal? goal is…
编译原理 | 直接编码的词法分析器
![2025-03-24T08:29:37.png][1] [1]: https://blog.ghhu.xin/usr/uploads/2025/03/3272402223.png…
BitField in struct/union in C
阅读NEMU源码时，发现了没见过的结构体成员声明方式，就是这个":"，问了gpt并STFW了解这个叫做位域指定(Bitfield)。…
NVBoard项目搭建
在刚接触NVBoard时感到非常棘手，因为不知道怎么配置引脚，也不知道怎么在cpp文件中接入nvboard，后来想到了阅读example项目的makefile，尝试模仿example的项目结构搭建，最后算是顺利完成了 <h1…
verilator Getting Started
What Verilator Does Verilator is invoked with parameters similar to GCC or Synopsys's VCS. It "Verilates" the specified…
strncpy() & char*/char[]
这是在做笨办法学C 中文版 | 《笨办法学C 中文版》时，ex17碰到的问题 同时附上gdb pdf:gdb cheatsheet char s2 = "str2"; char s2[] = "str2"; 发现，使用char…
二叉树的(前序|中序|后序)遍历
Definition 树的结构如下： 前序遍历 preorder 中序遍历 inorder 后序遍历 postorder Note: 一定要先判断当前节点是否为NULL，不然就会访问错误的内存，导致segmentation fault
西电计组课设 计科 模拟栈
写在前面 首先很感谢各位西电的学长在互联网上开源了自己的计组课设，实验的第一个下午我对着手册看了三四个小时还没看明白，后来看了一些学长写的文章以及和班上同学讨论了才大致理清了思路，其中包括但不限于以下文章： - 西安电子科技大学…
Markdown Feature Demo
Styles Demo This post demonstrates the new styling capabilities. Code Blocks Quotes > Simplicity is the ultimate…
My First Post
This is my very first post added via the new file system. Adding a new post is as easy as creating a .md file in the…
Welcome to My Blog
Welcome! Welcome to my new blog running on Cloudflare Workers. It is fast, cheap, and runs on the edge. This content is…