Jinpeng Wang (王锦朋)

Jinpeng Wang (王锦朋)

he/his

Young, simple, and naive

Blog posts

2025

2024

DOM

less than 1 minute read

Published:

DB04 Storage

less than 1 minute read

Published:

开头讲了一些硬件小常识

DB03 SQL

1 minute read

Published:

其实有点无聊，不过俺还从来没写过SQL，所以记一记

浅谈Verilog中的X

1 minute read

Published:

打算做成一个系列，希望不要变成征讨檄文

DB01 Intro

less than 1 minute read

Published:

鸽了很久，再一次打算补上了。去年在家看网课的时候遇上了手机脱焊，希望今年能平安无事地搞完。

2023

Tour de SAT

1 minute read

Published:

最近对 SAT 求解器很感兴趣，来个三天带我入门

SA03 narrowing & widening

less than 1 minute read

Published:

一句话：Widening 和 Narrowing 分别提供了对格上数据流分析的加速trick和精度trick。

Cpp Lambda Quirks

1 minute read

Published:

C++11 引入了匿名函数。类似 Java，C++ 中的匿名函数也是通过构造匿名类来实现的，不同之处在于 C++ 允许重载 operator()，因此可以实现看上去和函数一样的调用语法。本文主要关注 lambda 函数中一些反直觉行为，以及这些反直觉背后的直觉。

SA02 lattice

3 minute read

Published:

因为懒，所以具体的含义请读之前仔细认领一下，不对符号重载滥用造成的误解负责，但可以戳我…

SA01 Type

1 minute read

Published:

看的是Anders Moller那本教材，感觉还挺全面的

大三下荒唐实录

less than 1 minute read

Published:

今年非常懒，决定不再按照月份写流水帐了。

LLHD 踩坑记

less than 1 minute read

Published:

最近要用到这个

CMU-DB Lab

less than 1 minute read

Published:

Intro

2022

TAOMP01 Intro

less than 1 minute read

Published:

八月份已经过去了，放假前立下的 flag 还有好多没有实现…

TAPL04 Typed Lambda

1 minute read

Published:

Simply Typed Lambda Calculus 通常记为 $\lambda_{\rightarrow}$

操作系统05 调度

less than 1 minute read

Published:

事实上后面还有很多关于实时性和 case study 的高端内容，打算咕咕咕了回头再看。

TAPL03 Untyped Lambda

2 minute read

Published:

之前写形式语义已经来过一次了，这里就跳过一点写过的

TAPL02 Basics

less than 1 minute read

Published:

Notations

TAPL01 Intro

less than 1 minute read

Published:

Type System

Algebra03 同态与同构

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

Algebra02 子群和商群

3 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

Algebra01 群的定义

3 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

ANTLR4 笔记

less than 1 minute read

Published:

写在前面

计算方法07 电阻网络

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

计算方法06 FFT

less than 1 minute read

Published:

据助教说不考这么麻烦的计算，我就摸了

博弈论02 零和游戏

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

Zero Sum Games

操作系统 Lab2 kmt

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

Lab2-kmt

操作系统 Lab1 pmm

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

Lab1-pmm

博弈论01 策略游戏

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

Pure Strategy Games

Ubuntu下的数电实验环境配置

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 针对南京大学 数字逻辑与计算机组成实验 课程的环境配置，本机是Ubuntu 21.10

计算方法01 函数求根

less than 1 minute read

Published:

严格写就太累了，这个就当是随手的笔记得了。大概看看原理，不求甚解。

数理逻辑03 一阶逻辑

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

写在前面

数理逻辑02 推演系统

9 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

写在前面

数理逻辑01 命题逻辑

4 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

写在前面

大二上躺平经验

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

大二上躺平经验

PA4 附加关卡

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

试验进度

2021

密码学07 OWF&HC

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 这一章比较轻松，主要是科普一些东西，都是概念性的

密码学06 HASH

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

密码学05 MAC

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

PA3 附加关卡

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 这次做起来还是很有收获的，虽然最后阶段基本在写库函数，和ICS已经没啥关系了

PA2 附加关卡

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 完成了声卡的实现，可以流畅播放If I Could Tell Her~

PA1 附加关卡

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 写了很多代码，更宝贵的应该是这些思考和经验，所以就放上来了

形式语义05 Semantics

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

Formal Semantic

密码学04 PRG&PRF

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

形式语义04 Types

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

Types

密码学03 Computational

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

Background

形式语义03 Lambda

3 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} $\lambda$-calculus

密码学02 Perfect

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

概率论前置技能

形式语义02 Math

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

Basic Set Theory

形式语义01 Intro

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 感觉第一节课都差不多

密码学01 Intro

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 密码学关心的问题和应用

Compiler03 语法分析

4 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 写的时候复制到笔记2那里去了…晕，这个点还不睡就是不行啦

Compiler02 词法分析

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

词法分析的作用

DFA到等价正则表达式的转化

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

思考题的引入

软件分析08 Datalog

1 minute read

Published:

Datalog = Data + Logic，是声明式编程语言(Declarative Programming Language) Prolog的一个子集

软件分析07 Security

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

软件分析06 CSA

less than 1 minute read

Published:

CSA=Context Sensitive Analysis 上下文敏感分析

软件分析05 PA

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

软件分析04 CGC

less than 1 minute read

Published:

CGC=Call Graph Construction

大一下存活纪实

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

大一下享受生活&课程存活经验

集训补题合集

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 好多题都不会啊，这可咋整

图论04 平面图与可平面图

2 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 本来应该(被)科普一些拓扑的姿势的，但是目前好像也不太用得上，就先咕了吧。

软件分析03 DFA

less than 1 minute read

Published:

这里的DFA可不是有限状态自动机哦

软件分析02 IR

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

软件分析01 Intro

1 minute read

Published:

决定要好好开干了，于是有了这个系列的笔记

图论03 染色

4 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

图染色(Coloring)

图论01 基本概念&定义

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 还是记一下吧，方便看博客的人(真的会有人看吗喂！)

数据结构01 搜索树

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

ICPC 2021 银川划水记

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 一个周末发生了很多事情，值得记录一下

图论02 匹配

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

CSAPP实验06 : shlab

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

CSAPP实验05: cachelab

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

大一上存活经验

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

大一上存活经验

CSAPP实验04: archlab

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

半音阶口琴谱合辑

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

CSAPP实验03 : attacklab

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

CSAPP实验02 : bomblab

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

CSAPP实验01 : datalab

8 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 考试周除了学习什么都好玩，偶然发现了B站上的“精翻”视频，就冲了

信息与计算科学导论03

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} ##集合的大小

信息与计算科学导论02

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 这里的递归实际上也可以理解为递推

信息与计算科学导论01

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 信息与计算科学导论一

数学分析01 实数完备性的六个定理

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 实数完备性的几个定理可以互相推导，这里给出了一个比较简单的完整推导链条

2020

Compiler01 Introduction

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 看的是英文版的龙书,各种翻译看看就好…

几个关于集合的有趣证明

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 在离散数学的第一堂课就被介绍了Set和Proper Class的区别。

有关集合大小的比较

1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert}

写在前面

Hello World!

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 脱离了高中生活，进入大学的也接触了一些有意思的事情。 希望这个博客的存在意义在于写一些有趣的东西，记录一些好玩的事情，而不仅仅只是放一些算法题解 目前想法还有很多，最近这一个月遇到的人和事情都给了我很多灵感，根据某学长“想法不记录下来就等于没想”的说法， 我决定记录一下，写点东西，有点输出，这样也好回头看看自己的成长历程。 那就这样吧！Hello World！我的新博客

2020 ICPC 小米邀请赛 部分题解

less than 1 minute read

Published:

\newcommand\norm[1]{\left\lVert#1\right\rVert} \newcommand\abs[1]{\left\lvert#1\right\rvert} 这是oi退役以来第五场比赛，也是和队友打的第三场，前面零星有几次个人赛。

2012

Blog Post number 1

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.