2026-10-01 Cuis 参加 Smalltalks 2026。Smalltalks 2026 于 10 月 14 日至 16 日在阿根廷罗萨里奥的 UTN 罗萨里奥地区学院举行，Cuis 将出席：节目中的八场演讲来自 Cuis 社区或展示在 Cuis 中完成的工作。我们希望在那里见到大家！ 2026-06-02 七月 Cuis 会议 是什么。这是一个“演示会议”，用于演示然后讨论。Milan Lajtos 将介绍他使用代码代理开发 Blueprint 的经验，Blueprint 是对 Cuis Smalltalk 系统桌面的重新构想。 2026-06-01 Cuis 7.8 发布。Cuis 7.8 稳定版发布！
每日HackerNews RSS
一篇 Hacker News 帖子讨论了 Cuis——一个现代的 Smalltalk-80 实现。Cuis 与 Pharo 一样都从 Squeak 分叉而来，但它去除了冗余，成为一种极简、易上手的 Smalltalk（类比为 Alpine 与 Debian/Arch 的关系）。它与 Squeak/Pharo 共享虚拟机，速度相当，但库更少，被视为开源贡献的机会。评论者称赞其简化的 Morphic UI，支持矢量图形（包括字体）以及通过 VM 插件实现硬件加速渲染，并且从上到下易于理解。有用户用 Pocketbase/lighttpd 构建静态站点。其他人指出 Pharo 的优势（Fuel、Soil、Seaside）以及技能在两者间可迁移。帖子还涉及 Smalltalk 的历史——最初是儿童教学语言、Alan Kay 的自举哲学、以及关于继承在面向对象编程中作用的争论——并提到通过每月聚会实现的 AI 辅助工作流。总体而言，Cuis 被欢迎为一个干净、现代的 Smalltalk 入门途径。
Lasm 将普通的 Lean 4 程序提前编译为 WebAssembly，因此一个代码库可以变成 Node 服务器、serverless/edge 函数、WASI/Fastly 模块或浏览器应用。作为 Lean，你可以证明已部署代码的性质；旗舰 Conduit（RealWorld 应用）包含 117 个已证明的定理。Lasm 通过 npm 分发，并捆绑 Lean、Lake 和构建工具——只需要 Node（或 Bun/Deno）。支持的目标包括 Node、AWS Lambda、Vercel、Netlify、Azure、GCF、Cloudflare Workers、Vercel/Netlify Edge、Deno Deploy、Supabase、Bun、Deno、Fastly、WASI 和浏览器。JS/npm 互操作通过每个函数一行 `@[js "pkg" "export"]` 声明，没有预置绑定。Lean 框架包括 Lasm.Fetch（HTTP）、Lasm.UI（使用已证明 DOM 差异的 Elm 架构浏览器应用）、Lasm.RPC、Lasm.Web 和 Lasm.KV。运行时，elaboration、`#eval`、`.olean` 加载和 Lean 内核不可用（它们在构建时可用）。它需要精确的 Lean 4.35.0，可在 Linux/macOS/Windows（主要是 x64）上构建，并且运行需要 Node ≥24。采用 MIT 许可。首次构建会下载约 250MB；开发重建约 1–2 秒。基准测试显示 Node（Hono）上约 25k req/s，浏览器传输约 152KB。
Hacker News 讨论了“Show HN: Lasm”，一个用于在浏览器、Node、无服务器和边缘环境中编写 Lean 形式化验证 Web 应用的项目。作者说 Lean 将通用编程与形式化验证结合，Lasm 主要由 Claude Opus 5.5 在他的指导下构建。他称自己为“agentic engineer”，认为 AI 代理已成为核心工具，并预测软件工程可能在 2027 年前基本解决。评论者质疑这一术语，将其与工具而非工程学科相比较，并质疑形式化验证如何帮助 CSS、布局和服务器问题等常见 Web 故障。作者承认自己仍在学习要指定什么，早期 Lean 代码几乎没有人工精修。总体而言，讨论串在对 Lean 更广泛使用感兴趣的同时，也对炒作和实际 Web 应用验证表示怀疑。
研究：全校范围的手机禁令对心理健康无显著影响 Study: Schoolwide phone bans show no significant impact on mental health
7 天前
请启用 JavaScript 和 Cookie 以继续
Hacker News 上的讨论围绕一项研究展开，该研究表明全校范围的手机禁令对青少年心理健康没有显著影响。评论者认为，这可能部分是因为手机在课堂上早已受到限制，因此禁令并未减少整体屏幕使用时间。一些人认为禁令仍可能有助于成绩或课堂行为，而另一些人则质疑仅在校内实施的限制是否能影响更广泛的手机和社交媒体使用。讨论还涉及屏幕或社交媒体是否是社会分裂的根本原因，指出执行方面的漏洞，并对结论从冰岛推广到其他地方的普适性提出质疑。总体而言，评论者认为这一结果表明仅靠学校手机禁令不足以改善心理健康，而非证明手机使用可能无害。
此仓库已被所有者于 2026 年 10 月 4 日归档。现已只读。👍 1 人点了赞表情 👎 1 人点了踩表情 😄 1 人点了笑表情 🎉 1 人点了庆祝表情 😕 1 人点了困惑表情 ❤️ 1 人点了爱心表情 🚀 1 人点了火箭表情 👀 1 人点了眼睛表情 当前无法执行该操作。
Pico CSS 不再维护。维护者认为 AI 如今使极简语义 CSS 框架变得不那么必要，而保持相关性需要使用 OKLCH、级联层、Popover 和锚点定位等现代 CSS 特性进行重大重写，再加上回退方案和编译器。评论者表达了悲伤和感激，也有人质疑潮流功能的必要性，讨论 OKLCH 的直观性与色域问题，并对向后兼容性，尤其是旧浏览器，表示担忧。提到了多个替代品和分支，包括 Blades、Nimble、Sumi.css、Oat 和 actual-css。一些开发者表示 AI 可以快速生成自定义 CSS 框架；另一些人认为人为设计的框架在一致性和审美上仍有价值。总体而言，该讨论反映了前端实践的变化，以及现代化与简洁性之间的分歧。
Herdr 是一个桌面终端与编码代理工作区。它将工作组织为空间、标签页和面板；未命名空间会跟随其首个终端的文件夹。代理会以状态（working、blocked、done、idle）显示在侧栏中，worker 可在 peek 或标签页中打开。关闭窗口时终端仍会在 herdr-core 中运行，而关闭面板或标签页会结束它们；重启或 core 崩溃后，保留的面板会在其最后文件夹中重新打开新 shell。SSH 机器运行远程空间，共享结构和实时终端，并保留每屏焦点与缩放。可通过 Linux、macOS Apple Silicon 和 Windows x64 的平台脚本安装。Herdr 包含命令面板、设置、布局和 JavaScript mods；随附的布局和 mods 会自动更新，而用户副本会保留。更新会下载到运行中应用旁，源码构建不会自动更新。遥测默认开启，可禁用。Mods 是受信任的、非沙盒代码。CLI 命令可检查打开的窗口、状态和可用命令。从源码构建需要 Rust 1.95.0 和 Zig 0.16.0。基准脚本比较绘图性能。
Herdr 发布了基于 herdr-core 的原生桌面应用 herdr-app，扩展了其面向代理的终端复用器。该工具可在项目和工作树间组织 Claude Code、Codex 等编码代理，检测代理状态（空闲/工作中/等待），并支持会话间的跨 harness 通信。用户将其与 tmux、Zellij 以及 Rex、Orca、Paseo、Conductor 等竞品比较。粉丝称赞其精致度、基于 libghostty 的渲染、远程 SSH 会话支持和可自定义 UI；批评者不喜欢模糊的营销文案，并担心 VC 资助导致的产品劣化、TUI 与原生应用之间的碎片化，以及不明确的变现方式。有人指出原生应用与现有 herdr TUI 会话不兼容，且新 core 缺少 TUI。移动客户端（Moshi、Collie、Heeler）和远程访问工作流也被讨论。总体而言，Herdr 将自己定位为“harness for harnesses”——一个专为代理式编码工作流构建的终端/工作区管理器。
哎呀！
访问被拒绝：错误代码 bbad9d30a7348992。
返回首页
由 Anubis 保护，来自 Techaro。在 🇨🇦 用 ❤️ 制作。
吉祥物设计：CELPHASE。
本网站运行 Anubis v1.27.0。
Hacker News 的用户讨论了由田纳西大学诺克斯维尔分校托管的科马克·麦卡锡个人图书馆。一位评论者强调托马斯·伯恩哈德的《Correction》是一部实验性、幽闭恐惧的小说，引发对伯恩哈德密集、阴郁风格的推荐与警告，并将其与叔本华和利戈蒂相比较。其他人指出，麦卡锡的图书馆既包含受赞誉的作品，也包含普通书籍，还有许多重复副本，包括超过100本莎士比亚书籍。有些人质疑他究竟读了多少。帖子还辩论了麦卡锡对普鲁斯特和詹姆斯的批评，其中一人认为这可能是一种姿态。许多评论聚焦于《The Road》：读者将其描述为阴郁却有希望，尤其对父母而言，同时将其灰暗与《Blood Meridian》和《No Country for Old Men》进行比较。其他言论提到麦卡锡的家庭生活和写作风格。总体而言，讨论混合了文学推荐、对麦卡锡品味与形象的批评，以及对他小说的个人感受。
在 C 中，许多反向迭代的尝试都会失败：使用无符号索引并写 `i >= 0` 是恒真条件，并会在零处下溢；而改用有符号的 `ssize_t` 则会引入转换、可移植性和提升问题。推荐的惯用法是 `for (size_t i = count; i--; )`，它使用后置递减：循环体看到的索引从 `count-1` 到 `0`，且当之前的值为零时条件停止。无符号回绕是有定义的行为。这保持索引为无符号类型，避免有符号转换问题，并使反向迭代简单且易于验证。
Hacker News 上的一个帖子讨论了如何在 C 语言中反向遍历数组，尤其是使用无符号 `size_t` 索引时。核心问题是，对于无符号值，像 `i >= 0` 这样的条件永远为真，有导致无限循环或回绕的风险。评论者分享了一些惯用写法，如 `while (i--)`、`for (size_t i = count; i--;)` 以及视觉上的 `i --> 0` 技巧，指出它们虽有效但可能晦涩难懂。其他人更偏好更明确的形式，例如从 `count` 开始计数并使用 `i - 1`，或使用有符号计数器如 `ssize_t` 或 `int`，以使终止条件检查更直接。讨论还涉及 C 语言的有符号/无符号转换规则、指针算术和现代编译器优化，多位用户认为可读性和可维护性比技巧性更重要。一些人将 C 与 C++ 的反向迭代器、Zig 的溢出运算符和 Fortran 风格的循环进行比较。总体而言，没有单一被普遍接受的惯用写法；选择取决于类型安全、可移植性和团队约定。
在一次图书巡回签售的休息期间，作者参观了哈佛大学历史科学仪器收藏馆。此次参观与他的小说《D：重水》相关。哈佛收藏着一枚来自德国二战反应堆计划的黑色氧化铀立方体，该计划使用铀立方体与重水；与费米后来的反应堆一样，它依赖中子慢化，但德国缺乏足够的材料。作者还描述了哈佛的科尼希分析器，一种装有充气共振球体的声学装置，其火焰显示共振频率，以及用于观察火焰大小的惠斯通镜。这种频率分析与阿贝·卡里埃尔的声学研究有关。
Hacker News 讨论了一篇关于历史科学仪器的文章。评论者推荐佛罗伦萨的伽利略博物馆，并称赞手工制作仪器的美感。另一条评论解释，德国二战反应堆努力失败部分原因是石墨不纯和重水不足，再加上盟军破坏和规模扩大挑战。一位收藏家分享了对古董科学仪器的兴趣，并希望找到一台 1800 年代的地下水数据记录仪。另一条评论补充了关于铀密度、比金更密的金属，以及“adamant”和铂的历史趣闻。总体上，该讨论串将对古董仪器的欣赏与历史和科学旁注融在一起。
要使用 Mastodon 网页应用，请启用 JavaScript。或者，尝试使用适合你平台的 Mastodon 原生应用。
Hacker News 的讨论聚焦于 Proton 的激进 AI 推动。据报道，CEO Andy Yen 告诉员工，工程师旧有工作已经消失，他们的角色现在是引导 LLM 和代理，同时将安全测试请求斥为“失败者思维”。据报道，员工因提出担忧而感到恐惧，包括关于用 AI 开发安全产品。评论者批评 CEO 的语气和公司文化，一些人说 Proton 看起来不再值得信赖；另一些人提到 Proton VPN 经过法庭验证的无日志状态，并担心失去一个隐私选项。用户讨论了 Tuta、Fastmail 或自托管等替代方案。讨论串还包含更广泛的辩论：一些人认为 AI 会让编码更快并取代工作，而另一些人认为 AI 仍不适合安全、测试和自主软件开发，人类仍然负责。总体而言，该公告损害了 Proton 在注重隐私用户中的声誉。
``` ```
Flint-interactive：面向 AI 生成交互式图表的高级语言
微软团队发布了 Flint-interactive，一种用于创建交互式数据可视化的新语言，AI 智能体可以轻松、可靠且高质量地生成它。基于他们更早的 Flint 项目，团队针对一个常见痛点：虽然 AI 模型能生成交互式产物，但结果常出现不希望的交互、性能慢、成本高，以及在调整修改时样式、布局或数据发生不可预测的变化。
他们认为根本原因是，智能体使用的是低级语言，其中视觉编码、样式和交互逻辑相互纠缠——需要自底向上的努力。Flint-interactive 在规范层面分离视觉与交互逻辑，而编译器通过双向转换完成繁重工作，维护像素/视觉空间与数据语义之间的映射。
关键设计原则包括面向聊天/应用中智能体使用的高级声明式规范与预设，同时不牺牲表达能力——加上用于定制交互（如旋转地球演示）的编程 API。用户可以在聊天中将其作为 MCP 应用试用，或集成到应用和仪表板中。团队认为，尽管 AI 编程能力很强，但目的明确的语言在对齐人类与 AI 的沟通方面仍然有价值。