➡️
继续阅读
-
smolts:面向教学语言的教学型IDE
作者开发了名为smolts的教学IDE,用于SMoL教学语言,灵感来自Stacker项目。该IDE支持S表达式编程,可逐步执行并可视化显示continua...
-
入蜀记 day467 小小的真理
文章记录了作者在成都的日常生活与思考,包括买菜、阅读、观看农业节目等。作者反思实践的重要性,感叹农业的脆弱与科技应对天灾的局限,并讨论文化个体化趋势、地震...
-
入蜀记 day466 近谿
作者在2026年9月的日记中记录了梦境中与老同学重逢的喜悦,反思了苏轼等古人思想被忽视的现象,分享了使用AI工具优化工作流程的体验,并强调了真实生活不可被...
-
入蜀记 day465 一点秋高气爽
作者在九月记录生活:得知父亲患肺癌晚期后心情沉重,但仍维持日常。天气转凉,秋意渐浓,在少城街区散步感受市井气息。工作中尝试开发多平台发布工具遇阻,并观察到...
-
系统设计两种抽象:Java藏细节 TLA+砍细节 根本两码事!
本文区分系统设计中两种抽象:模块化抽象(如Java)通过隐藏内部细节简化使用,建模抽象(如TLA+)通过削减无关信息提炼核心以精确推理。前者隐藏并发,后者...
-
本周看什么 | 最近值得一看的 8 部作品
本周影视佳作推荐涵盖多部剧集与电影,包括《人生复本》第二季、《不眠》第三季、《成年人》第二季、《邻人可疑》等,题材涉及科幻、悬疑、喜剧等。另有动画《太空见...