132 Matching Annotations
- May 2023
-
-
我的学习系统本身有两个组成部分:一个抽认卡系统和一个受 Zettelkasten 启发的定制笔记库——这是一个由社会科学家尼克拉斯·卢曼开发的笔记系统。Zettelkasten 是我花时间处理、分类和连接我阅读的内容的地方。
Anki用于记忆(事实),Zettlekasten用于联系(思想)。
-
- Dec 2022
-
pdai.tech pdai.tech
-
分布式系统 - 全局唯一ID实现方案
Tags
Annotators
URL
-
-
houbb.github.io houbb.github.io
-
如何从零开始设计权限管理系统
Tags
Annotators
URL
-
-
mp.weixin.qq.com mp.weixin.qq.com
-
浅谈系统实现层面稳定性保障
Tags
Annotators
URL
-
-
mp.weixin.qq.com mp.weixin.qq.com
-
我理解的分布式系统
Tags
Annotators
URL
-
-
blog.csdn.net blog.csdn.net
-
脚本学习_Linux_Sed命令_替换
Tags
Annotators
URL
-
-
juejin.cn juejin.cn
-
从用户端到后台系统,严选分销教会我这些事
Tags
Annotators
URL
-
-
draveness.me draveness.me
-
调度系统设计精要
Tags
Annotators
URL
-
-
sichengingermay.com sichengingermay.com
-
一些 System Design 面试的建议
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
问一个java问题:如何利用第三个类实现两个类的传递?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
分布式事务选型该怎么取舍?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
如何画架构图?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
分布式高并发系统如何保证对外接口的幂等性?
Tags
Annotators
URL
-
-
github.com github.com
-
MIT 的 6.824
-
分布式系统原理与范型
-
-
www.zhihu.com www.zhihu.com
-
普通码农一枚,分享一下自己最常使用的几个效率生产工具。
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
关于 DDIA 上对 Raft 协议的这种极端场景的描述,要如何理解?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价DDIA作者的旧博文“Turning the database inside-out”?
Tags
Annotators
URL
-
-
zhuanlan.zhihu.com zhuanlan.zhihu.com
-
《DDIA》读书笔记 // TODO
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
2017年,Web 后端出现了哪些新的思想和技术?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
要达到什么样的规模才适合分布式/微服务架构?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
开发一个大型后台管理系统,前端选择 Vue 还是 React?
Tags
Annotators
URL
-
-
icyfenix.cn icyfenix.cn
-
凤凰架构
-
-
www.zhihu.com www.zhihu.com
-
Kubernetes 可以完全替代 Spring Cloud 吗?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价开源数据库lealone的分布式事务模型?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
有没有了解国内做SAAS招聘管理系统的,哪些是比较知名好用的?云招、北森都怎么样
-
-
www.zhihu.com www.zhihu.com
-
Java io和Linux io有什么对应关系?
-
-
www.zhihu.com www.zhihu.com
-
Java中的泛型会被类型擦除,那为什么在运行期仍然可以使用反射获取到具体的泛型类型?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
看一些 Type Inference 的论文感觉吃力,需要补哪些知识?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编程语言中, type, typed, typing 有什么区别?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
什么样的类型系统才是 Unsound 的?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 hegel 这个 type checker?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Daniel P. Friedman的新书The Little Typer怎么样?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Cut elimination对于STLC以及其他type system的意义?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
OCaml 语言能做些什么?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Racket有contract为什么还要加一个type system?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
学习程序语言设计与类型系统如何找到工作?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
读 CS PhD 之前没有工业界经历真的没关系吗?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
现今编程语言的理想类型系统是怎样的?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
www.zhihu.com www.zhihu.com
-
哪门语言的设计最能规避运行时错误?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么大部分编程语言不支持宏?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
程序在编译的时候,会转换成汇编,然后是机器指令,那么运行的时候,操作系统充当什么呢?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
lisp是否和静态类型基因上就不合?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解linear logic?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
什么语言最适合写编译器/解释器?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
是否可以说 Contract 和 Type Inference 模糊了静态类型和动态类型的界限?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 MSR 的 Lean Theorem Prover?
-
-
www.zhihu.com www.zhihu.com
-
如何看待 Lean 和 Agda 逐渐成为年轻人的第一个 prover?
-
-
www.zhihu.com www.zhihu.com
-
简单图灵机怎么模拟高级的?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
TAPL这本书适合作为入门读物吗?
-
-
www.zhihu.com www.zhihu.com
-
为什么有些程序语言的类型推断可以推断函数参数,有些不会,哪种更好?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何证明一个语言的类型系统是sound的?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
类型应该是一等公民吗?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Haskell 和 Scheme, 哪一个更适合用于生产环境?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
有人说动态语言没有类型系统,这个认识是对是错?如果是错的,应该从什么角度进行回应呢?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 Abstracting Gradual Type?
-
-
www.zhihu.com www.zhihu.com
-
Julia 究竟是静态类型还是动态类型?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
应该怎么理解编程语言中的协变逆变?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编程语言为什么有变量类型这个概念?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
类型系统里的概念 Soundness 和形式系统中的概念一致性(Consistency)有什么异同?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Y Combinator 的函数签名该如何表达?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么HASKELL这类语言要用代数概念描述类型的组合(ADT) 而不是看作集合去运算和组合?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价王垠的《Sum types and union types》?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
typed shell是否是未来?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
可以给类型系统设计解释器吗?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
哪些学校的类型系统与编译器方向不错?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
写一个操作系统内核有多难?大概的内容、步骤是什么?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编程语言的类型系统为何如此重要?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
systemd 为什么会有那么大的争议?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价 Midori(Operating System)?
-
-
www.zhihu.com www.zhihu.com
-
如何看待王垠的新文章:《关于微内核的对话》?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
一个成熟的自动化运维系统具备什么功能?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何更深入地学习 Linux?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
服务器集群负载均衡原理?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
第三方支付公司风控系统都有哪些?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何搭建风控规则引擎?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
交易系统和风控系统的架构怎么设计?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
知乎的技术架构是什么样的?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
面对数万台服务器运维工程师们是怎么装系统、管理配置,监控管理,用什么平台和工具?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何控制Linux清理cache机制?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
网易云音乐每日歌曲推荐的原理是什么?
Tags
Annotators
URL
-
-
zhuanlan.zhihu.com zhuanlan.zhihu.com
-
代数数据类型中的代数 Part 1
-
-
www.zhihu.com www.zhihu.com
-
代数数据类型是什么?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解编程语言的类型安全性?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
程序语言设计界是否开始认为 Subtyping 是 Anti-pattern?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
设计、更新一门通用编程语言的一般流程是怎样的?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
编程语言为什么区分常量和变量?
Tags
Annotators
URL
-
-
-
为什么函数式语言里有recursive data type但没有recursive function type?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
类型(Types)和集合(Sets)二者之间有何区别?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
类型推导是否可以理解为一种编译期计算?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
高级语言为什么要添加数据类型?
-
-
www.zhihu.com www.zhihu.com
-
C# 作为一种静态类型语言,为什么会引入 var?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何看待Python中加入static typing?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
OCaml 类型系统的缺陷有哪些?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
dependent type之上还有更高级的类型系统吗?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
C++、Julia 允许「泛型」的参数是数值,这属于 Dependent Type 吗?
-
-
www.zhihu.com www.zhihu.com
-
Haskell 的 Typeclass 怎么理解?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Higher-kinded type到底有什么用?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
为什么声明性语言往往适合于并行执行,命令代码很难在多个内核和多个机器之间并行化?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解多态?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
柯里-霍华德(Curry-Howard)同构有什么意义?
-
-
www.zhihu.com www.zhihu.com
-
子类型(subtyping)是不是错误(ill-defined)的东西?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何理解types are not classes ?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Java 泛型 <? super T> 中 super 怎么 理解?与 extends 有何不同?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何评价Liquid Types?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
程序语言中的类型系统怎么理解,它有哪些要素?如何由它演化出一门编程语言的?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
GHC扩展-XRankNTypes是什么?如何理解forall .?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
学习分布式系统需要怎样的知识?
-
-
www.zhihu.com www.zhihu.com
-
如何理解 dependent type?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Hindley-Milner 是什么,以及函数式编程中它的用途是什么?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
动态类型的语言的优缺点有哪些?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
js中string类型和int类型的界限到底怎么回事?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
JavaScript 内置对象类型的 Date、String,具体是怎么实现的,可以给出一段代码吗?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何系统的学习动态语言的类型推导,类型系统等知识?
Tags
Annotators
URL
-