归档 | jjppp

2024

04-12

03-19

Futamura Projections

03-01

02-05

01-30

浅谈Verilog中的X

01-23

DB02 Relational

01-23

01-02

SA04 Abstract interpretation

2023

12-30

12-26

A subtle bug in a static analysis framework

11-29

SA03 narrowing & widening

08-23

Cpp Lambda Quirks

08-11

08-04

08-03

大三下荒唐实录

06-14

03-18

Compiler04 语法制导翻译

02-15

Network06 Wireless

02-15

02-08

01-28

cmm Compiler Design

01-10

01-09

Network04 Network

01-03

大三上昏睡日志

2022

12-08

Automata06 Complexity

12-07

11-09

11-09

11-09

11-07

Concurrency05 Linearizability

11-07

Concurrency04 Promising

10-17

Linguistics02 Phonetics

10-17

Linguistics01 Intro

10-16

Network03 Transport

10-04

09-25

Concurrency03 Axiomatic

09-25

Concurrency02 Operational

09-25

Concurrency01 HMM

09-12

Network02 Application

09-07

09-02

09-01

08-29

TAPL09 Recursive Types

08-28

TAPL08 Subtyping

08-28

TAPL07 Exceptions

08-27

TAPL06 References

08-14

Network01 Intro

08-09

TAPL05 Extensions

08-04

TAPL04 Typed Lambda

08-03

操作系统05 调度

07-26

Haskell Parser Combinator

07-23

TAPL03 Untyped Lambda

07-17

07-16

07-15

操作系统04 进程与线程

07-09

Algebra03 同态与同构

07-06

Algebra02 子群和商群

07-06

Algebra01 群的定义

07-04

操作系统03 内存管理

07-03

操作系统02 并发

07-03

操作系统01 导引

07-02

06-23

操作系统 Lab3 uproc

06-20

大二下摸鱼记录

06-15

计算方法07 电阻网络

06-14

计算方法06 FFT

06-09

博弈论02 零和游戏

05-28

操作系统 Lab2 kmt

05-28

操作系统 Lab1 pmm

05-10

计算方法05 图的代数性质

05-10

计算方法04 图的随机游走

05-08

计算方法03 线性方程组求解

05-08

计算方法02 插值与函数逼近

03-12

博弈论01 策略游戏

03-08

Ubuntu下的数电实验环境配置

03-07

计算方法01 函数求根

02-13

数理逻辑03 一阶逻辑

01-24

数理逻辑02 推演系统

01-20

数理逻辑01 命题逻辑

01-11

大二上躺平经验

01-11

PA4 附加关卡

2021

12-21

密码学07 OWF&HC

12-21

密码学06 HASH

12-20

密码学05 MAC

12-11

PA3 附加关卡

12-01

PA2 附加关卡

12-01

PA1 附加关卡

11-07

形式语义05 Semantics

10-19

密码学04 PRG&PRF

10-05

形式语义04 Types

09-27

密码学03 Computational

09-16

形式语义03 Lambda

09-15

密码学02 Perfect

09-09

形式语义01 Intro

09-09

形式语义02 Math

09-02

密码学01 Intro

09-01

Compiler03 语法分析

09-01

Compiler02 词法分析

08-20

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

08-14

软件分析10 Soundiness

08-13

软件分析09 CFL-R&IFDS

08-13

软件分析08 Datalog

08-08

软件分析07 Security

08-08

软件分析06 CSA

08-04

软件分析05 PA

08-04

软件分析04 CGC

08-02

大一下存活纪实

07-17

集训补题合集

07-03

图论04 平面图与可平面图

06-11

软件分析03 DFA

06-11

软件分析02 IR

06-11

软件分析01 Intro

06-04

图论03 染色

06-01

图论01 基本概念&定义

05-29

数据结构01 搜索树

05-17

ICPC 2021 银川划水记

04-30

图论02 匹配

04-21

CSAPP实验06 : shlab

03-07

CSAPP实验05: cachelab

02-19

大一上存活经验

02-17

CSAPP实验04: archlab

02-14

半音阶口琴谱合辑

02-04

CSAPP实验03 : attacklab

01-24

CSAPP实验02 : bomblab

01-14

CSAPP实验01 : datalab

01-06

信息与计算科学导论02

01-06

信息与计算科学导论03

01-06

信息与计算科学导论01

01-01

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

2020

12-26

Compiler01 Introduction

11-23

几个关于集合的有趣证明

10-28

有关集合大小的比较

10-26

2020 ICPC 小米邀请赛部分题解

10-26