那伽邪無 Tech notes of DeerRIDER

Free Resource for Computer Science


Utilities

Linux commands

Runoob.com

Logic Matters

Programming Language Research

Lambda the Ultimate

Resources for Programming Language Research

Oleg’s FTP

Classic Papers in Programming Languages and Logic

Readscheme.org - Functional Programming Resources

Papers

Papers We Love

Cite Seer X

Ixueshu

类型论驿站写作计划

link: https://zhuanlan.zhihu.com/p/32182423

0. 基础概念介绍

1. 无类型 \lambda 演算学习笔记(进度:100%)

2. 有类型 \lambda 演算 à la Curry学习笔记(进度:100%)

3.有类型 \lambda 演算 à la Church学习笔记(进度:100%)

4. Luo’s UTT 学习笔记(进度:90%,继续更新)

5. HoTT 学习笔记(进度:16.7%,等待拓扑学笔记开工再更新)

6. Coq 学习笔记(进度:100%)

7. MTT语义学学习笔记(进度:14%,继续慢速更新)

  • MTT语义学简介
  • 判断和 \Pi -多形
  • 子类型
  • 命题作为类型
  • 依赖事件类型
  • MTT语义学既是模型论语义学也是证明论语义学
  • 依赖范畴语法

8. 泛代数学习笔记

  • 泛代数简介
  • 代数举例
  • 代数和态射
  • 构造
  • 代数类

9. 范畴论学习笔记(进度:100%)

10. 拓扑学学习笔记(正在更新,但不在本专栏发布)

11. 模型论学习笔记

12. 递归论学习笔记(预计暑期以视频方式发布)

13. 证明论学习笔记

14. 格论学习笔记(进度:50%)

业余程序员的个人修养 - 总诀式

link: https://zhuanlan.zhihu.com/p/41179053

柯里化的前生今世

  1. 函数面面观
  2. 括号神教
  3. 语言和同像性
  4. 编译器与解释器
  5. 动态作用域
  6. 词法作用域和闭包
  7. first-class continuation
  8. 尾调用与CPS
  9. For Great Good
  10. 类型和类型系统
  11. Pure and Lazy
  12. 多态性
  13. Weak head normal form

Emacs之魂

  1. 开篇
  2. 一分钟学会人界用法
  3. 列表,引用和求值策略
  4. 标识符,符号和变量
  5. 变量的“指针”语义
  6. 宏与元编程
  7. 变量捕获与卫生宏
  8. 反引用与嵌套反引用
  9. 读取器宏

递归函数

  1. 开篇
  2. 编写递归函数的思路和技巧
  3. 归纳原理
  4. 全函数与计算的可终止性
  5. 递归集与递归可枚举集
  6. 最多有多少个程序
  7. 不动点算子
  8. 偏序结构
  9. 最小不动点定理

你好,类型

  1. 开篇
  2. Lambda calculus
  3. Combinatory logic
  4. Propositional logic
  5. Predicate logic
  6. Simply typed lambda calculus
  7. Recursive type
  8. Subtype
  9. Let polymorphism
  10. Parametric polymorphism

语言背后的代数学

  1. 语义解释
  2. 初等代数
  3. 语义模型
  4. 哥德尔定理
  5. Σ代数
  6. Henkin模型
  7. 数学结构
  8. 范畴
  9. 笛卡尔闭范畴
  10. Curry-Howard-Lambek correspondance

编程哲学

  1. 愚者无疑,智者多虑
  2. 让我们想个办法
  3. 是什么影响了我们的开发效率
  4. 把控间接性
  5. 未雨绸缪
  6. 从正确归因到个人影响力
  7. 我写不出好代码
  8. 偿还不起的技术债务
  9. 让技能被使用

工程趣闻

  1. 如何落子
  2. 检验假设
  3. 臣妾做不到
  4. 不要制造问题
  5. 小步快跑
  6. 历史不可修改
  7. 不责于人
  8. 不要一拥而上
  9. 柔性设计
  10. 最有价值的产品

设计模式奏鸣曲

  1. 开篇
  2. 描述与外在表现
  3. 系统边界处的异常处理
  4. 可配置化与领域特定语言
  5. 领域知识的本体模型
  6. 沟通结构
  7. 依赖管理
  8. 要不要相信类型
  9. 软件设计者的自身修养

GitHub 上有意思的项目推荐

link: https://www.jianshu.com/p/f6fdd6007670

更新于 2016/08/23

教程

Web 前端

polyfill(兼容浏览器API的shim)

CSS 效果

测试

安全

很酷的项目

Mac & iOS

其他

Lecture Notes

Artificial-Intelligence

  • CMU-15-381-Intro-to-AI
  • MIT-6.034-Artificial-Intelligence-2010
  • CMU-15-780-Graduate-AI
  • MIT-6.871-Knowledge-Based-Applications-Systems-2005

Distributed-Systems

  • MIT-6.827-Multithreaded-Parallelism:-Languages-and-Compilers-2002
  • CMU-15-418-618-Parallel-Computer-Architecture-and-Programming

Mathematics-and-Logic

  • Decision-Procedures
  • CMU-15-859S-2007:-Analysis-of-Boolean-Functions
  • MIT-6.251J-Introduction-to-Mathematical-Programming-2009

Programming-Language

  • CMU-15-312-Foundations-of-Programming-Languages
  • CSE505:-Concepts-of-Programming-Languages,-Fall-2012
  • Essential-Coding-Theory
  • CMU-15-411-Compiler-Design

Automated-Thereom-Proof

  • CIS-500:-Software-Foundations—Fall-2017

Operating-System

  • CMU-15-410-605-Operating-System-Design-and-Implementation
  • CMU-15-213-Introduction-to-Computer-Systems-2015
  • CMU-15-213-Introduction-to-Computer-Systems-2006
  • MIT-6.826:-Principles-of-Computer-Systems.

Theoretical Computer-Science

  • MIT-6.080-Great-Ideas-in-Theoretical-Computer-Science-2008
  • MIT-6.042J-Mathematics-for-Computer-Science-2015
  • MIT-6.045J-Automata,-Computability,-and-Complexity-2011
  • MIT-6.438-Algorithms-for-Inference-2014
  • MIT-6.046J-Design-and-Analysis-of-Algorithms
  • CMU-15-853-Algorithms-in-the-Real-World
  • CMU-15-451-651-Algorithm-Design-and-Analysis
  • CMU-15-451-ALgorithms

Programming

  • MIT-6.189-A-Gentle-Introduction-to-Programming-Using-Python-2011

Program-Analysis

  • pku-Software-Analysis
  • CS243:-Program-Analysis-and-Optimization
  • MIT-6.820-Fundamentals-of-Program-Analysis-2015
  • EECS-219C:-Computer-Aided-Verification
  • Aarhus-University—Static-Program-Analysis
  • MIT-6.041-Probabilistic-Systems-Analysis-and-Applied-Probability
  • CMU-15-819-O:-Program-Analysis

Comments

Content