My Posts
Zero Knowledge Proof
- Zero-Knowledge Proofs: A Layman’s Introduction - Aventus Network
- Efficient Cryptographic Arguments and Proofs – Or How I Became a Fractional Monetary Unit – Bentham’s Gaze
- What is a zero-knowledge proof? | Zero-Knowledge Proofs
- 区块链学习笔记 (1)：零知识证明的江湖 - 知乎
- “第一类协议中，在零知识证明协议部署前，需要一台机器生成一些初始参数，这些参数将在每一次证明与验证中被用到。参数生成后，参数生成算法运行中使用的所有数据必须销毁，否则整个协议将不安全。协议的安全性依赖于一台机器的数据销毁，那么最简单粗暴的想法就是在所有人的见证下毁掉这台机器。”
- zkPoD:区块链，零知识证明与形式化验证，实现无中介、零信任的公平交易 - 知乎
- 零知识证明：一个略微严肃的科普 - 知乎
- 从零开始学习 zk-SNARK（一）——多项式的性质与证明 - 知乎
- “如果我们有两个阶为 d 的不相等多项式，他们相交的点数不会超过 d。”
- 从零开始学习 zk-SNARK（二）——多项式的非交互式零知识证明 - 知乎
Blockchain
- Joel Monegro’s serial about fat protocols and thin clients
- 为什么比特币可以防篡改 - Why’s THE Design?
- Optimistic vs. ZK Rollup: Deep Dive
链闻: Optimistic Rollup 支持通用合约，短期内能上线。ZK Rollup 不需要挑战，但是目前还不支持通用合约。
- “大部分现有的代码库都可以轻松移植到 Optimistic Rollup 上。”
- “大型区块的欺诈证明可能需要比 Layer 1 区块 gas limit 所允许的更多的 gas。那么，这些欺诈证明必须被分解为多个 ETH 交易。”
- 观点 | 生产性资产的质押获利模型 » 论坛 » EthFans | 以太坊爱好者
Rust
- Build your own block_on() | Stjepan’s blog
- Build your own executor | Stjepan’s blog
- spacejam/extreme: extremely boring async function runner!
- Why Discord is switching from Go to Rust - Discord Blog
COVID-19
- ❤️ Sp. 005 Everything about the Novel Coronavirus (2019-nCoV)
- ❤️ 【BBC】人体的奥妙细胞内部隐藏的生命暗战_腾讯视频
- ❤️ Bill Gates: The next outbreak? We’re not ready What we need to prepare for the next epidemic.
- Philosophia哲学社: 对本次疫情的结构性反思：谣言、官僚和国家主义（上）
- Philosophia哲学社: 对本次疫情的结构性反思：谣言、官僚与国家主义（下）
- 宝坻百货大楼疫情、东丽一家三口疫情警示了我们什么？
- 传统中医药，能治新冠病毒肺炎么？_手机新浪网 对于有效的处方需要分析远离，提炼疗法
- 网易号｜五痴生活：清朝的那一场大瘟疫，是如何变成赞颂皇帝圣明的 | 中国数字时代
- 统计数字之外的人：他们死于"普通肺炎"？
- 江浙沪人民应该感到幸福，看看武汉和长三角的差距
- 如何自助 —— 助人即助己
Other Read and Watched
- ❤️ Jonathan Blow - Preventing the Collapse of Civilization (English only) - YouTube
- Technology will, by itself, degrade
- ❤️ Feature Prioritization: 7 Ways to Prioritize Features and Product Improvements | Planio
- Categorize the tasks
- Measure value and effort to determine the priority
- Sometimes it requires someone in the team to break the dead lock and decide the priority.
- Open-ended vs. closed-ended questions: how to survey your users
- Make it so: Zaps you can trigger with your voice Over a third of the U.S. population uses voice assistants like Alexa, Siri, or Google Assistant to accomplish everyday tasks like checking calendars, getting…
- NP (complexity) - Wikipedia
- NP-completeness - Wikipedia
- Sublinear function - Wikipedia
- Your brain isn’t a computer, and that’s a good thing
You are not a machine—and that’s a good thing. You can do things, right now, that no machine ever could. And I’m not talking about mushy stuff like loving your…
- “You can’t run faster than a car, or swim faster than a motorboat. It’s so obvious that we don’t think to compare runners to cars or swimmers to boats. We compare ourselves to computers all the time, though, which causes us to miss the ways in which our minds are different.”
- How containers changed the world
- The case of the 500-mile email
References
- Custom Vim Functions to Format Your Text Use vimscript to automate file editing.
- Reset NVRAM or PRAM on your Mac - Apple Support
- How to reset the SMC of your Mac - Apple Support
- 印象笔记高级检索语法
- TextExpander Help: Date, Time, and Math Macros
- UTS #35: Unicode LDML: Dates Textexpander date format reference
- Note Links - Evernote Developers
- Restoring Hazel from backups – Noodlesoft
- Uniq - Removing duplicate lines | Vim Tips Wiki | Fandom
- “:sort u”
- Here’s A Collection Of Apps Every Mac User Should Be Aware Of
Bookmarks
- ❤️ RSSHub Radar - Chrome Web Store Awesome Chrome extensions to discover RSS
- ❤️ JetBrains Mono: A free and open source typeface for developers | JetBrains: Developer Tools for Professionals and Teams
- Sci-Hub: устраняя преграды на пути распространения знаний
- Protocol documentation - Bitcoin Wiki
- MDS: 3XX | LibraryThing
- OCLC Classify – an Experimental Classification Service
rixcloud.com已经停止服务- Proxifier - The Most Advanced Proxy Client
- Morning Edition : NPR