Tags¶
¶
- 01 Propositional Logic
- 02 Proof
- 03 Mathematical Induction
- 04 The Stable Matching Problem
- 05 Graph Theory
- 06 Modular Arithmetic
- 07 Public Key Cryptography
- 08 Polynomials
- 09 Error Correcting Codes
- 10 Counting
- 11 Countability
- 12 Self Reference and Computability
- 13 Introduction of Discrete Probability
- 14 Conditional Probability
- 15 Distribution and Expectation
- 16 Variance
- 17 Concentration Inequalities and the Laws of Large Numbers
- 18 Misc
- Discrete Mathematics and Probability Theory
¶
- CAI on KG
- DeepSeek R1
- Reasoning to Defend
- SafeChain
- The Hidden Risks of Large Reasoning Models
- ThinkGuard
¶
¶
¶
- Begin
- Chrome begin
- Emmet begin
- Logisim begin
- Mkdocs begin
- Obsidian begin
- Python begin
- Typst begin
- Url begin
- Utools begin
- Vim begin
- Zsh begin
¶
- 2025 暑假小结
- K 路合并算法
- Requirements begin
- Windows MacOS 协同工作流
- 使用 Chrome 内置 AI 进行翻译
- 山西阳泉 -矿区赛鱼小学-刘慈欣展览馆&科学宫
- 浙江大学第二十二届大学生数学建模竞赛
¶
¶
¶
- 01 Intro to AI Rational Agents
- 02 State Spaces Uninformed Search
- 03 Informed Search Astar and Heuristics
- 04 Local Search
- 05 Trees Minimax Pruning
- 06 Expectimax Monte Carlo Tree Search
- 07 Propositional Logic and Planning
- 08 DPLL&ForwardChaining
- 09 First Order Logic
- 10 Intro to Probability
- 11 Bayesian Network Intro
- 12 Variable Elimination
- 13 Approximate Inference
- 14 Markov Models
- 15 Hidden Marko Models
- 16 PF DN VPI
- 17 Markov Decision Processes
- 18 Iteration
- 19 Navie Bayes
- 20 Perceptron
- 21 Regression
- 22 Neural Networks
- 24 Reinforcement Learnin
- Logic
- MultiAgent
- Search
- The Pac-Man Projects
- Tracing
- Tutorial
- cs188 - sp24
- intro in English
¶
- AI
- Audio
- Base code
- Basic math in crypto
- CRYPTO
- CTF
- CTF_Tools
- Crypto
- Flow analysis
- Homomorphic encryption
- Img
- Info leak
- Jail
- Lattice
- MISC
- MOECTF2024
- Misc
- Osint
- Padding oracle attack
- Qrcode
- RSA attack
- Reverse
- SQLinjection
- Stream cipher
- Symmetric Ciphers
- WEB
- Web
- Welcome
- What to do after get shell
- Yafu
- ZJS-DASCTF2024
- ZJUCTF2024
- Zip rar
- crypto
¶
¶
¶
- 0 Introduction
- 01 Basic
- 01 Intro to AI Rational Agents
- 01 Propositional Logic
- 02 Perceptron
- 02 Proof
- 02 State Spaces Uninformed Search
- 03 Informed Search Astar and Heuristics
- 03 KNN
- 03 Mathematical Induction
- 04 Local Search
- 04 Naive Bayes
- 04 The Stable Matching Problem
- 05 Decision Tree
- 05 Graph Theory
- 05 Trees Minimax Pruning
- 06 Expectimax Monte Carlo Tree Search
- 06 Modular Arithmetic
- 06 logistic
- 07 Propositional Logic and Planning
- 07 Public Key Cryptography
- 07 SVM
- 08 Adaboost
- 08 DPLL&ForwardChaining
- 08 Polynomials
- 09 Error Correcting Codes
- 09 Expect Max
- 09 First Order Logic
- 1 Recall CF
- 1 Recall graph
- 1 Recall vector
- 1 pipeline
- 1 terminal
- 10 Cluster Methods
- 10 Counting
- 10 Intro to Probability
- 11 Bayesian Network Intro
- 11 Countability
- 11 SVD
- 12 PCA
- 12 Self Reference and Computability
- 12 Variable Elimination
- 13 Approximate Inference
- 13 Introduction of Discrete Probability
- 13 MCMC
- 14 Conditional Probability
- 14 Markov Models
- 14 grad
- 15 Distribution and Expectation
- 15 Hidden Marko Models
- 16 PF DN VPI
- 16 Variance
- 17 Concentration Inequalities and the Laws of Large Numbers
- 17 Markov Decision Processes
- 18 Iteration
- 18 Misc
- 19 Navie Bayes
- 2 OS
- 2 Rank
- 2 git
- 20 Perceptron
- 21 Regression
- 22 Neural Networks
- 24 Reinforcement Learnin
- 3 Process
- 3 Rerank
- 3 typesetools
- 4 CodeStart
- 4 Scheduling
- 4 remote
- 5 IPC
- 5 Improve
- 5 misc
- 6 Synchronization
- ADS PPT
- ADS problems
- Base code
- Basic math in crypto
- CNN&RNN
- Computer system II
- Crypto
- Crypto
- Discrete Mathematics and Probability Theory
- FDS questions
- Flow analysis
- Graph Embedding
- Graph Neural Network
- Graph Representation Learning
- Homomorphic encryption
- I/O 系统
- Lattice
- Logic
- Misc
- MultiAgent
- National commercial cryptography
- Note link
- Other
- PBFX
- Padding oracle attack
- Physics1 problems
- Physics2 problems
- RSA attack
- Reverse
- Sage math
- Search
- Stream cipher
- Symmetric Ciphers
- The Pac-Man Projects
- Toturial
- Tracing
- Tutorial
- Web
- Welcome
- What to do after get shell
- crypto
- cs188 - sp24
- cs188 - sp24 note
- intro in English
- 主存储器
- 合作博弈与数据估值
- 多臂老虎机算法基础与应用
- 大容量存储结构 (Mass-Storage Structure)
- 大物实验数据处理脚本
- 大物实验绪论课作业
- 拍卖与机制设计基础
- 指令级并行 (ILP)
- 操作系统核心概念回顾
- 数据交易定价
- 数据级到线程级并行
- 文件系统 (File System)
- 最优机制
- 第一讲 数据要素市场简介
- 第二讲：数据合规与安全
- 虚拟内存 (Virtual Memory)
- 计算机体系结构课程回顾
- 计算机系统 III：存储层次结构 (Memory Hierarchy)
- 计算机系统基础
- 贝叶斯劝说
- 非合作博弈论基础 (二)
- 非合作博弈论基础（一）