JaneZ's Arch and Compiler Arch & Compiler 此楼用于记录JaneZ 在暑假学期7-10周Arch课程和Compiler项目的学习,Arch课程的学习资料已开源,可参考。战Arch,战编译,启动! 8-4 Day 0 学习了SJTU 编译原理Lecture2-3,Compiler Pipeline 逐渐清晰,大概知道了Semantic需要做哪些事 重开了Arch w1d2 8-5 Day 1 学了 2025-08-05 Computer Architecture #Computer Architecture #Compiler
Before Everything Before Everything 前言 By JaneZ,2025.1.21,M Stand Coffee,Nanjing Well, hello world ! This is the owner of this blog! My name is JaneZ , a student from Shanghai Jiaotong University.I major in Computer Sc 2025-01-21 #JaneZ's Wonderland
JaneZ's PPCA JaneZ’s PPCA 开一个楼 ,用于记录PPCA每天的多线程,消解没有暑假的哀愁😢 6-23 Day 0 选了DHT(Distributed Hash Table),也是很早之前就计划好的,虽然早上差一点被Raft动摇了,但还是决定写一个比较top-level的东西 PPCA的好处就是可以戴耳机写代码,0人管你,爽听6小时歌😆 又爱上我霉了🥰 吉他调音成功! 主要的进展是学习了Go基 2025-06-23 PPCA #JaneZ's Wonderland #PPCA #DHT
Mathematical Logic Cheating Paper ML CT Paper 前言 这是留给25级往后ACM班学弟学妹的一份遗产了,很详细地总结了CS2950 Mathematical Logic这门课程涉及的主要知识点(有所删减)。特别值得注意的是,我在25.6.5晚在前三位作者整理的基础上,增添了6个example,是拟合了近3年ML Final的结果。今晚考完,更觉得整理地挺到位(精准吧 这是能说的嘛🤣)。分数还没出,也不知道实际到底考的怎样 2025-04-19 Mathematical Logic #Mathematical Logic
PerlinNoise Perlin Noise 起因 隔壁班PPCA的小作业,感觉挺有意思,遂玩玩。室友说很无聊,全是调参,且渲染对电脑配置有一定要求,X1 carbon的不好之处在dht并发爆炸后越来越明显,且我忘了我把MC下在C盘哪里了,故选择不写,但可以学习一下。 柏林噪声 为所有整数点随机生成一个梯度,每个采样点的噪声值即为所有相邻角点的梯度向量与指向向量的点积之和 的确保证了采样点变化的连续性和随机性 Na 2025-07-19 #PPCA #Perlin Noise
Proxy Proxy Server 代理服务器 Basic Define:代理服务器是位于客户端和目标服务器之间的中间服务器。 Func:隐藏真实IP、加速访问、访问限制内容、过滤内容 Socket Secure 5 Socks5 是一个万能的中间人代理协议,可以绕过防火墙、隐藏 IP、访问受限内容,并支持更广泛的网络应用 支持 TCP 和 UDP,比 HTTP 代理更强大 TCP:传输控制协议(可靠 2025-07-15 #PPCA #Proxy #Network #TCP #UDP #Socks5
State Spaces & Uninformed Search CS-188 Lecture 2 State Spaces and Search Problems Given our agent’s current state,how can we arrive at a new state that satisfies its goals in the best possible way? Elements of a search problem: A s 2025-06-11 CS188_Introduction to AI #Artificial Intelligence
Graph Algorithm Graph Algorithms ps: 上机课是05.18上的,算法是05.23学的🤣(评价是这周事还是太多了)perhaps和这节上机课量巨大也有关系吧😢 术语回顾 DAG 有向无环图 点度 = 入度 + 出度 SPT 最短路径树 最短路 单源/多源 Q:给出一个加权图和图上的一个节点s,找出s到图中每一节点的最短路径 Dijkstra 算法 Core: v=argmin_u∈SPT, 2025-05-23 Algorithms #Algorithm #Dijkstra #Bellman Ford #Floyd #SPFA #SLF #Tarjan #Kosaraju
Theories and Decidability Theories and Decidability Recall The 4 Questions we’re gonna answer. Q1: What is a mathematical proof? Q2: What makes a proof correct? Q3: Is there a boundary of provability? Q4: Can computers find 2025-05-18 Mathematical Logic #Mathematical Logic
Proof of the Undecidabilty of FO Mathematical Logic 11 Proof of the undecidability of FO Undecidability of FO Basic Thoughts of the Proof We’ve already proved that Π halt is not R-decidable by using Π’halt ⩽m Π halt. So we only need 2025-05-17 Mathematical Logic #Mathematical Logic