Blog by Eacls ·

仅从设计美学谈论手机操作系统

📝

内容提要

短谈大部分手机操作系统目前存在的设计问题

➡️

系统设计两种抽象：Java藏细节 TLA+砍细节根本两码事！
本文区分系统设计中两种抽象：模块化抽象（如Java）通过隐藏内部细节简化使用，建模抽象（如TLA+）通过削减无关信息提炼核心以精确推理。前者隐藏并发，后者...
分析哲学史没有通史：揭秘与大陆哲学通史的根本分野
分析哲学缺乏公认通史，因其内部包含逻辑实证主义、日常语言哲学等十二个分支，彼此独立无统一问题，统一性仅源于制度标签。通史写作易成拼盘或扭曲叙事，专家多不推...
大脑充血 Vol.97
作者分享了个人兴趣与思考，包括对The Clash音乐的喜爱、与柏琳对谈中关于人际交流与语言懒惰的共鸣、对社交媒体影响孩子的批判性观点，以及关于Java内...
GS Caltex’s Saehong Hur: Leading from the top; moving forward—together
For Saehong Hur, continued communication and an integrated mindset are vital ...
开源P2P工具Mirall：直接传输TB级文件无需云端服务器
Mirall是一款开源P2P文件传输工具，支持TB级文件直接设备间传输，无需云端服务器。它通过端到端加密和分布式哈希表确保隐私与安全，支持断点续传和原地共...
电梯里的柯基
电梯里常见一只肥胖柯基，走路像大青虫，眼神不屑。主人油腻且无边界感，常套问我的隐私。最近少见柯基，希望它注意健康。