我们设计系统的时候，不能光考虑对应系统的功能，如何让整个系统对于其他团队的开发者和使用者易用，也非常关键
系统的简单性
135 Matching Annotations
- Jan 2025
-
book.originit.top book.originit.top
-
-
book.originit.top book.originit.top
-
“我怎么早没想到”的数据分区
分区建的选择可能导致数据倾斜，从而导致整体翻倍扩容部分倾斜度低的服务器资源过剩
-
不得不进行的“翻倍扩容”
常规分库分表策略需要进行翻倍扩容，且扩容后缩容同样麻烦，原本想要加部分服务器也不得不翻倍进行 如果换成一致性 hash 确实能改善翻倍扩容问题
-
- 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
-
-
-
计算机的最底层指令是动态类型(dynamic typing)的还是静态类型(static typing)的?
-
-
www.zhihu.com www.zhihu.com
-
为什么JavaScript里面typeof(null)的值是"object"？
-
-
www.zhihu.com www.zhihu.com
-
推荐系统或信息发现领域，有哪些经典的论文?
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
如何学习推荐系统？
-
-
www.zhihu.com www.zhihu.com
-
Hadoop 一般用在哪些业务场景？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
互斥锁，同步锁，临界区，互斥量，信号量，自旋锁之间联系是什么？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
Java分布式应用如何入门以及有哪些资料？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
从事分布式系统、计算、hadoop 等方面工作需要哪些基础？
Tags
Annotators
URL
-
-
www.zhihu.com www.zhihu.com
-
怎样学范畴论？
-
- Sep 2022
-
www.ruanyifeng.com www.ruanyifeng.com
-
诺拉·劳森还说了一个观点。大家通常认为，复杂系统往往会在经济繁荣的时候崩溃，因为业务太多，支撑不过来，但他认为不是这样的，系统崩溃往往发生在经济收缩期。 经济繁荣时期，软件公司会大量雇佣新员工，投入更多的财力和人力，支撑复杂系统。等到经济收缩期，公司开始减少投入、冻结招聘或裁员，复杂系统可能就会在这个时候出问题，变得难以维护。 现在就是经济收缩期，那么接下来，会不会就是软件故障的高发期，我们将看到很多复杂系统的崩溃？
The collapse of complex software | Read the Tea Leaves
在 产品沉思录精选：对少即是多的误解 说过一个相似的观点
![[20220617022101_Id-ILu3kEeySMK_1nuBKzQ]]
Tags
Annotators
URL
-
- Aug 2022
-
blog.csdn.net blog.csdn.net
-
ubuntu中的日志文件位置，用于错误查找
Tags
Annotators
URL
-
-
mp.weixin.qq.com mp.weixin.qq.com
-
把请求键值快速传输给缓存更新方，它们之间不关心对方的业务
系统解耦
Tags
Annotators
URL
-
-
time.geekbang.org time.geekbang.org
-
还有助于我们实现函数类型
类型系统与函数式编程在静态类型语言中相辅相成
Tags
Annotators
URL
-
- Apr 2022
-
blog.csdn.net blog.csdn.net
-
组件与服务 自从我们从事软件行业以来，一直希望能够构建由组件组成的系统，就像我们所看到的实现世界由物件构成的一样 。在过去的几十年里，我们已经看到了大部分语言平台的公共库的进行了精简，并取得可观的进展。 当我们谈论组件的时候，有可能会因为组件的不同定义引起混乱。因此我们申明，这里谈到的 组件是指软件中独立的单元，它能独立替代和独立更新。
希望能构建由组件组成的系统，就像我们所看到的现实世界由物件构成的一样。 （大部分语言平台的公共库进行了精简） 谈论组件的时候，可能会因组件的不同定义引发混乱。 这里谈到的组件是指软件中独立的单元，它能独立替代和独立更新。 （组件，软件中独立的单元，它能独立替代和独立更新。）
Tags
Annotators
URL
-
- Dec 2018
-
yiddishkop.github.io yiddishkop.github.io
-
https://www.jiqizhixin.com/technologies/6ca1ea2d-6bca-45b7-9c93-725d288739c3
https://blog.csdn.net/zhufenglonglove/article/details/51602162
关于推荐的多种形式,看一看 coursera 这一节课: Movielens Tour
https://www.coursera.org/learn/recommender-systems-introduction/lecture/HcINn/movielens-tour
movielens 网址: https://movielens.org/
很经典
- 如何用 Lambda 架构做实时推荐
- 从头开始做推荐系统
- 上面的文章作者写的工程代码 github
https://github.com/alonsoir/awesome-recommendation-engine
- github 上的推荐系统 from scratch
https://github.com/alonsoir/recomendation-spark-engine
- 网络论文 关于 spark 构建实时推荐
http://ceur-ws.org/Vol-1609/16090628.pdf
- Streaming data analytics design patterns
- 超经典实时推荐系统 PPT
DONE: 5. 国内博客非常好： spark-streaming 实时推荐系统
-