5 Vitalia

尚未进行身份认证

我要认证

Rebuild the world with 0s and 1s.

等级
TA的排名 8w+

How (and How Not) to Write a Good Systems Paper 摘录

An Evaluation of the Ninth SOSP Submissions or How (and How Not) to Write a Good Systems Paperthe intent: to point out the common problems that appear repeatedly in technical papers in a way that will make it easier for future authors to avoid themClas

2020-09-07 03:15:42

OS reading list/操作系统论文(持续更新)

The Structure of the “THE”-Multiprogramming SystemThe Nucleus of a Multiprogramming System

2020-09-04 11:11:11

Rust自学笔记_Packages_Crates_Modules

第六章 Packages, Crates and Modules

2020-08-11 23:30:01

Rust自学笔记_struct_enum

第五章 structstruct User { username: String, email: String, sign_in_count: u64, active: bool,}fn main() { let mut user1 = User { email: String::from("someone@example.com"), username: String::from("someusername123"),

2020-08-10 02:44:32

Rust自学笔记_Ownership

Rust自学笔记_Ownership

2020-08-07 22:36:54

Rust自学笔记_入门篇_Demo(猜数游戏)_基本概念

Rust自学笔记

2020-08-05 12:02:05

Haskell语言_学习笔记(持续更新ing)

What’s Haskell?Haskell is a purely functional programming language. In purely functional programming you don’t tell the computer what to do as such but rather you tell it what stuff is. Haskell i...

2018-09-03 20:00:54

Avoid Write-only Code(MATLAB编程风格学习)

官方文档命名规约变量常量结构体函数通用语句变量和常量全局量循环条件通用层次、注释和文档层次空格注释文件与组织m文件输入和输出工具箱风格箴言命名规约变量大小写混合的变量名以小写字母开头尽量不使用下划线名字长度和作用域范围正相关前缀n表示对象个数; m表示行数, 如mRows变量单复数的区分point,...

2018-04-11 20:33:43

LL(1)文法与左递归

没有超群的记忆力和过目不忘的能力,担心自己忘了,就写下来好啦。考虑如下文法, S -> SA | A A - >a如何说明该文法是LL(1)的?我们首先要明确,LL(1)是文法的一种性质,它描述的是这样一种文法, Predictive parsers, that is, recursive-descent parsers needing no b...

2018-04-02 11:15:55

如何修改git注释信息(强迫症患者的福音)

最新的一次提交当你不小心写错了提交的注释信息,该如何处理呢?理论上,SCM是不应该修改历史的信息的,包括提交的注释。 不过在git中,其commit提供了一个--amend参数,可以修改最后一次提交的信息。但是如果你已经push过了,那么其历史最后一次,永远也不能修改了。 使用git commit --amend,在出来的编辑界面直接编辑注释的信息,保存退出。历史提交gi...

2018-03-25 18:57:52

形式语言与自动机_笔记整理(六)_Petri网与时间自动机

Petri netTimed Automata

2018-01-01 08:39:00

形式语言与自动机_笔记整理(五)_迁移系统

Transition SystemCTL*

2017-12-31 11:02:42

形式语言与自动机_笔记整理(四)_可判定性与可计算性

DecidabilityComplexity

2017-12-30 10:35:26

形式语言与自动机_笔记整理(三)_图灵机与递归语言、递归可枚举语言

Turing MachinesRecursively Enumerable LanguagesRecursive Languages

2017-12-25 20:08:00

形式语言与自动机_笔记整理(二)_上下文无关文法与下推自动机

Context Free GrammarPushdown AutomataThe Pumping Lemma

2017-12-24 14:29:06

形式语言与自动机_笔记整理(一)_有穷自动机与正则表达式

Finite AutomataRegular Expression

2017-12-24 09:02:08

密码学原理_Crypto++实现RSA加密

用Crypto++实现RSA加密和解密

2017-12-22 00:01:00

密码学原理_Crypto++实现SHA-1近似碰撞寻找

Crypto++实现SHA-1 的 “近似碰撞”寻找

2017-12-21 23:44:01

密码学原理_Crypto++实现3DES加密

用Crypto++实现TripleDES加密和扩展的TripleDES加密

2017-12-21 23:13:10

密码学原理_Crypto++实现一次性密码本(OTP)

Crypto++实现 One Time Pad

2017-12-21 22:46:07

查看更多

勋章 我的勋章
  • GitHub
    GitHub
    绑定GitHub第三方账户获取
  • 持之以恒
    持之以恒
    授予每个自然月内发布4篇或4篇以上原创或翻译IT博文的用户。不积跬步无以至千里,不积小流无以成江海,程序人生的精彩需要坚持不懈地积累!
  • 勤写标兵Lv1
    勤写标兵Lv1
    授予每个自然周发布1篇到3篇原创IT博文的用户。本勋章将于次周周三上午根据用户上周的博文发布情况由系统自动颁发。