Jinpeng Wang (王锦朋)

Jinpeng Wang (王锦朋)

he/his

Young, simple, and naive

Sitemap

A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.

Pages

Posts

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:

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

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

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}

试验进度

密码学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} 实数完备性的几个定理可以互相推导，这里给出了一个比较简单的完整推导链条

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退役以来第五场比赛，也是和队友打的第三场，前面零星有几次个人赛。

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.

portfolio

publications

Paper Title Number 4

Published in GitHub Journal of Bugs, 2024

This paper is about fixing template issue #693.

Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Download Paper

talks

Verilator: The Fast Free Hardware Simulator

Published:

This is a course presentation talk about a widely-used tool, Verilator, which is a fast free hardware simulator that serves as the foundation of hardware design and verification.

teaching