分类 - Edward's blog

Computer Science 333

分布式架构学习PaperList

【HDU-1829】解题报告（带权并查集）【HDU-1272】解题报告（并查集，集合数量）【HDU-3172】解题报告（并查集）【HDU-6222】解题报告（大数，打表）【HDU-1808】解题报告（数论，鸽巢定理）【HDU-2048】解题报告（递推，DP，数论，错排）【HDU-1548】解题报告（BFS）【HDU-1430】解题报告（数论，康拓展开逆展开，简单哈希，BFS）【HDU-3746】解题报告（KMP，循环节）【HDU-1686】解题报告（KMP） More...

【CSU-2187】解题报告（维护顺序极差）【CSU-2179】解题报告（水题）【CSU-2185】解题报告（水题）【CSU-2163】解题报告（水题）【CSU-2184】解题报告（水题）【CSU-2183】解题报告（水题）【CSU-2181】解题报告（枚举分界点）【CSU-1112】解题报告（模拟，水题）【CSU-1104】解题报告（博弈游戏，找规律）【CSU-1111】解题报告（水题） More...

【洛谷-P2430】解题报告（01背包）【洛谷-P2756】解题报告（二分图最大匹配）【洛谷-P2104】解题报告（模拟）【洛谷-P1914】解题报告（字符串）【洛谷-P1909】解题报告（水题）【洛谷-P1781】解题报告（排序）【洛谷-P1716】解题报告（排序）【洛谷-P1603】解题报告（排序）【洛谷-P1598】解题报告（字符串）【洛谷-P1583】解题报告（排序） More...

【UVA-679】解题报告（二叉树）【UVA-12657】解题报告（双端链表）【UVA-11988】解题报告（链表）【UVA-442】解题报告（STL，栈）【UVA-10474】解题报告（STL，排序，二分）【UVALive-7734】解题报告（水题）【UVALive-7737】解题报告（概率，时间独立性，暴力）【UVA-12100】解题报告（STL，queue）【UVA-1595】解题报告（STL,Vector）【UVA-10391】解题报告（STL） More...

【POJ-1611】解题报告（并查集）【POJ-3660】解题报告（Floyd传递闭包）【POJ-1200】解题报告（字符串hash，进制）【POJ-1651】解题报告（区间DP入门）【POJ-1654】解题报告（计算几何，longlong）【POJ-1269】解题报告（计算几何，直线相交求交点）【POJ-1066】解题报告（计算几何，线段交点）【POJ-1664】解题报告（递推，dp）【POJ-3111】解题报告（二分，牛顿迭代，最大化平均值）【POJ-2785】解题报告（二分水题） More...

【CodeForces-579A】解题报告（二进制）【CodeForces-348A】解题报告（直接或二分）【CodeForces-600B】解题报告（二分，stl二分函数应用）【CodeForces-978F】解题报告（二分，排序，数据结构）【CodeForces-978E】解题报告（暴力，数学）【CodeForces-978D】解题报告（暴力，数学讨论）【CodeForces-978C】解题报告（水题，前缀和）【CodeForces-978B】解题报告（水题，贪心，字符串）【CodeForces-978A】解题报告（水题）【CodeForces-455A】解题报告（DP，long long） More...

【AtCoder-4247】解题报告（水题）【AtCoder-4242】解题报告（思维，水题）【AtCoder-4244】解题报告（暴力，DP）【AtCoder-4245】解题报告（水题）【AtCoder-4152】解题报告（数学，进制，贪心）【AtCoder-3881】解题报告（简单DP）

【LeetCode-847】解题报告（最短路）【LeetCode-16-22】解题报告（模拟，集合）【LeetCode-955】解题报告（暴力，贪心）【POJ-1182】解题报告（带权并查集）

【Aizu-ITP2_11_C】解题报告（二进制枚举）【Aizu-ITP2_11_B】解题报告（二进制枚举）【Aizu-ITP2_11_A】解题报告（二进制枚举）

【ZOJ-1633】解题报告（字符串递推，二分查找）【ZOJ-1709】解题报告（BFS）

【URAL-1081】解题报告（递推，斐波那契）

【SCU-1114】解题报告（DP，路径，DFS）

分布式系统 26

BUILDING-A-SCALABLE-SHARED-LOG 分布式一致性——EPaxos接入常见KV系统实验记录分布式系统学习——NVM717会议记录分布式系统学习——NVM-Level-Hash实验分布式系统学习——SOSP2006亚马逊DynamoKV存储系统分布式系统学习——OSDI2018PM哈希方案分布式系统学习——Raft拓展版本论文学习分布式系统学习——FAST2016NOVA系统论文学习分布式系统学习——NVM相关资料整理分布式系统学习——MIT6.824-Lecture4课程笔记 More...

形式化验证 20

Coq学习——《Software-Foundation》Volume1.9-ProofObjects Coq学习——《Software-Foundation》Volume1.8-Maps Z3学习——Z3-guide Coq学习——《Software-Foundation》Volume1.7-IndProp Coq学习——Coq-vs.-Set-Theory Coq学习——《Software-Foundation》Volume1.6-Logic Coq学习——《Software-Foundation》Volume1.5-Tactics A-Basic-Introduction-to-SSA-Lustre-and-K2 Coq学习——《Software-Foundation》Volume1.4-Poly Coq学习——《Software-Foundation》Volume1.3-Lists More...

数字图像处理 12

数字图像处理——章节总复习数字图像处理——色彩数字图像处理——图像分割数字图像处理——图像复原（频率域）数字图像处理——图像复原（空间域）数字图像处理——图像复原与重建初步数字图像处理——理想滤波器与振铃特性数字图像处理——高斯滤波器与零填充避免DFT固有周期性影响数字图像处理——频率域平滑锐化图像常用滤波器数字图像处理——频率域滤波初步 More...

大数据隐私Project可选课题密码技术学习——Keccak论文总结密码技术学习——Keccak攻击进度工作文档密码技术学习——Keccak三轮破解论文整理密码技术学习——Keccak线性结构攻击论文整理密码技术学习——Keccak二轮破解论文整理密码技术学习——Keccak一轮破解论文整理密码技术学习——Keccak原像破解赛题前置知识点总结密码技术学习——密码学课程PPT复习提纲密码技术学习——基于RSA的不可否认签名方案 More...

操作系统 10

操作系统学习——文件系统崩溃一致性操作系统学习——知识点复习整理提纲 Linux操作系统——Linux复习 UbuntuToGo——Ubuntu系统便捷设置 UbuntuToGo——Ubuntu系统配置与UI美化 UbuntuToGo——打造属于自己的移动固态热插拔Liniux操作系统操作系统学习——Linux基础学习篇（第6章）操作系统学习——Linux基础学习篇（第1章）操作系统学习——Linux基础学习篇（第0章）操作系统学习——集群技术初识

OCaml学习——Substitution-and-Evaluation OCaml学习——Representing-Program-Syntax OCaml学习——OCaml-Datatypes OCaml学习——Configuration-for-merlin OCaml学习——OCaml-Code-Problems OCaml学习——《Real-World-Ocaml》Chap4 OCaml学习——《Real-World-Ocaml》Chap3 OCaml学习——《Real-World-Ocaml》Chap2 OCaml学习——《Real-World-Ocaml》Chap1

Rust学习——TRPL-Part8 Rust学习——TRPL-Part7 Rust学习——TRPL-Part6 Rust学习——TRPL-Part5 Rust学习——TRPL-Part4 Rust学习——TRPL-Part3 Rust学习——TRPL-Part2 Rust学习——TRPL-Part1

计算机系统 7

CSAPP——Attack Lab Report CSAPP——Bomb Lab Report CSAPP——Data Lab Report CSAPP——Lab1-3 Report CSAPP——第3章程序的机器级表示 CSAPP——第2章信息的表示和处理计算机系统——Part1

Go学习——《Go语言程序设计》Chap5 Go学习——《Go语言程序设计》Chap4 Go学习——《Go语言程序设计》Chap3 Go学习——《Go语言程序设计》Chap2 Go学习——《Go语言程序设计》Chap1

算法与数据结构 5

算法与数据结构学习——DP背包问题备课提纲算法与数据结构学习——01背包问题常数优化算法对问题解集的影响算法与数据结构学习——数论专题算法与数据结构学习——最小生成树算法与数据结构学习——线索二叉树

软件测试学习——期末复习汇总软件测试学习——测试工具学习软件测试学习——TDD流程实验报告软件测试学习——黑盒测试实验报告软件测试学习——白盒测试实验报告

形式化方法 4

形式化方法——Software-Reliability-Methods-Chap3 形式化方法——Software-Reliability-Methods-Chap2 形式化方法——Software-Reliability-Methods-Chap1 形式化方法——形式化验证方法概述

机器学习——复习大纲机器学习——PCA原理研究机器学习——支持向量机机器学习——决策树实现（Python版）

Haskell——《Real-World-Haskell》Chapter1 Haskell——Monadic-Programming-in-Haskell Haskell——自定义数据类型

Python学习——Anaconda使用相关 Python学习——《FlaskWeb开发》笔记（一） Python学习——《笨方法学Python3》笔记（一）

多媒体原理与系统 3

多媒体原理与系统——期末复习知识点汇总多媒体原理与系统——视频应用系统程序设计多媒体原理与系统——音频wave文件

数据分析与融合 3

数据分析与融合——粗糙集理论算法优化数据分析与融合——幂集格角度分析证据计算与粗糙集的关系数据分析与融合——偏序格角度看决策系统代数约简

编译原理学习——下推自动机PDA与有限自动机DFA 编译原理学习——《编译原理》龙书读书笔记（一）编译原理学习——基本概念梳理

计算机图形学 3

计算机图形学——复习计算机图形学——曲面表达计算机图形学——OpenGL编程基础

校园导航系统CampusNavigation（C++实现） C++运算符重载与无名对象引用问题的一点思考

人机交互——总结笔记人机交互——中南大学计算机学院主页Web交互设计文档

高级数据库系统 2

高级数据库系统——Data-Storage 高级数据库系统——Introduction

CUDA学习——编程入门

FPGA学习——Week1

JavaScript学习——《精通JavaScript》读书笔记

Computation Theory 1

Learn-and-review-computation-theory

Model Checking 1

Learning-Transition-System

PHP学习——Laravel框架入门

Sail——RISCV-Sail-Model

一路向楠——2020夏南行记第四站（广州、中山）

容器技术学习——非root用户管理Docker

数据挖掘学习——数据驱动比赛笔记

《台北人》读书摘录《我承认我不曾经历沧桑》读书摘录《必有人重写爱情》读书摘录《奶奶的星星》读书摘录《北岛作品》读书摘录《病隙随笔》读书摘录《美国的反智传统》读书摘录《暴力拓扑学》读书摘录《鼠疫》读书摘录《一个叫欧维的男人决定去死》读书摘录 More...

【转载】“我躲在虹桥的卫生间，不知道去哪。” 《走吧——给L》北岛【转载】美国的六十年代：嬉皮、新左派与越战【转载】小镇青年，没钱，敢花、 22岁，仍为少年的一年和李睿珺导演的短暂交流近期关注点数统院不需要自我贬低 “世界将是你们的” 关于超融合 More...

越野装备选择攻略一路向楠——2020夏南行记第五站（重庆）一路向楠——2020夏南行记第三站（上海）一路向楠——2020夏南行记第二站（南昌）一路向楠——2020夏南行记第一站（合肥）细数我去过的那些博物馆（院） 2019-07-08广东省游记 2018-12-01武汉游记 2018-02-03武汉游记

IMFF-Volunteer-Meeting 《Minecraft诞生纪录片》观后感《黑豹》观后感

《蛤蟆先生去看心理医生》读书摘录《法治的细节》读书摘录

Steve-Jobs-2005-Stanford-Commencement-Address

OSDI18——The-FuzzyLog SOSP21——Boki-Stateful-Serverless-Computing-with-Shared-Logs New Directions in Cloud Programming | Joseph Hellerstein SOSP21——Understanding-and-Detecting-Software-Upgrade-Failures-in-Distributed-Systems Geo-Replication阅读笔记 Everything-about-Logging-Research USTCReadingGroup——AIFM-High-Performance-Application-Integrated-Far-Memory ASPLOS08——Learning-from-Mistakes ATC18-Fine-grained-consistency-for-geo-replicated-systems POPL16——Reasoning-about-Consistency-Choices-in-Distributed-Systems More...

讲座会议 18

算法，计算复杂度与交互式证明系统投稿写作经验分享会墨奇科技AI知识数据库讲座 APSys2021云笔记（三） APSys2021云笔记（二）高斯、黎曼与希尔伯特——兼谈哥廷根数学学派讲座笔记华为科大创新研讨会——新兴内存管理技术华为科大创新研讨会——新型架构下的纠删码技术研究华为科大创新研讨会——超算应用与复杂网络拓扑优化华为科大创新研讨会——新硬件驱动的存储创新 More...

Geo-replicated-Database-Research Weekly-Report-2022-03-23 USTC-SYS-Reading-Group OLTPbenchmark-Course分析记录 Consistency-Research-Meeting HealthPlus-分析记录 Consistency-Research-Reading Weekly-Report-2020-11-15 Weekly-Report-2020-11-08

CSU-ReadingGroup计划书读《与学生合作开展研究的体会》感受读《一名系统研究者的攀登之路》感受文献学习方法——如何高效的阅读学术论文（简）

科技写作-USTC出品-1

金融学辅修——金融学笔记（十）金融学辅修——金融学笔记（九）金融学辅修——金融学笔记（八）金融学辅修——金融学笔记（七）金融学辅修——金融学笔记（六）金融学辅修——金融学笔记（五）金融学辅修——金融学笔记（四）金融学辅修——金融学笔记（三）金融学辅修——金融学笔记（二）金融学辅修——金融学笔记（一）

投资银行学 7

投资银行学——Lec4 投资银行学——Lec3 投资银行学——Lec2 投资银行学——Lec1 行为金融学——禀赋效应行为金融学——线性成长与指数成长行为金融学——博弈论一些经典实验

微观经济学 6

金融学辅修——微观经济学笔记（六）金融学辅修——微观经济学笔记（五）金融学辅修——微观经济学笔记（四）金融学辅修——微观经济学笔记（三）金融学辅修——微观经济学笔记（二）金融学辅修——微观经济学笔记（一）

VSCode使用跳板机远程登陆共享内网穿透 Emacs——基本操作入门 IOS——IOS系统使用Google服务 WordPress——Hexo导出xml并迁移 WordPress——网站搭建常见问题 Git——《精通Git》笔记（一） VSCode——Git配置及终端替换 VSCode——通用插件推荐与介绍 VSCode——基础配置

字节跳动分布式存储系统研发实习生面试记录

开源软件供应链点亮计划-2021暑期

数论学习——黄金分割率数论学习——Stirling数数论学习——欧拉函数与中国剩余定理数论学习——同余式、幂与欧拉公式数论学习——同余式、幂与费马小定理数论学习——同余式、线性同余定理

希尔伯特规划与哥德尔不完备性定理集论悖论与基础危机康托尔辩辞录：数学的自由与制约

数学建模——美赛2019E题

OSDI12——RedBlueConsistency Fingerprint-Based-Fuzzy-Vault阅读笔记 USTCReadingGroup——Taurus

TOFEL写作