作者介绍了“华莱士”（Wallace），这是一台为便携式深空观测而定制的 153mm f/2.8 超广角望远镜。受户外内容创作者的启发，该文章捕捉了徒步深入荒野使用望远镜的“环境氛围”，并强调了记录这段旅程——包括声音、环境和装备——如何增强了他们与体验之间的联系。
从技术上讲，华莱士是一个令人印象深刻的 DIY 项目。它使用自制的主镜，并配备了优化后的经济型 GSO 彗差改正镜，以提供令人惊叹的广角视野。尽管主镜中心有一个小孔，但该望远镜表现优异，能提供 4 度的视场，使得 NGC7000 等目标看起来如梦似幻。其结构设计向 Coulter CT-100 致敬，采用轻量化的 3D 打印 ASA 框架，并以碳纤维杆进行加固。
虽然华莱士已经非常高效，但作者已经在计划一个更宏大的继任者：一种更轻、基于弯月透镜设计的反射镜，旨在实现更快的冷却速度和更高的光学精度。对于对手工艺感兴趣的人，作者已将设计文件公开发布在 Printables 网站上。
每日HackerNews RSS
这个 Hacker News 讨论帖探讨了手工制作望远镜的技艺，灵感源于一款便携式 6 英寸 f/2.8 道布森望远镜的展示。
**主要内容：**
* **入门建议：** 鼓励初学者从小项目开始。推荐的入门级 DIY 项目包括“Hadley”4.5 英寸望远镜（拥有成熟的社区支持）以及“开放式最小望远镜”（一款可折叠的 6 英寸型号）。
* **核心理念：** 参与者强调，虽然与购买成品相比，自制光学镜片并不一定更经济，但这种经验对于未来想要制造更大、更昂贵设备的人来说至关重要。
* **技术演进：** 现代制作者仍沿用传统的“道布森”机械结构（聚四氟乙烯与防火板轴承），但引入了 3D 打印技术和先进软件（如 Bath 干涉测量法和 DFTFringe），以提升便携性、光轴校准和镜面精度。
* **目视与摄影：** 原作者专注于“目视天文学”，比起长时间曝光摄影，更偏好广阔的夜空视野。
* **参考资源：** 感兴趣者可访问 Stellafane.org、CloudyNights 论坛以及 Sam Brown 的著作《All About Telescopes》。此外，处理磨镜粉尘和抛光化合物时的安全防护，仍是新手必须重视的重要课题。
请启用 JavaScript 并关闭广告拦截器
抱歉。
本网站正在使用安全服务来抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。
关于形式化验证（FV）的 Hacker News 讨论揭示了其理论前景与实际应用之间的巨大分歧，尤其是在常见的增删改查（CRUD）应用程序中。
批评者认为形式化验证是一种“海妖的歌声”——它对内核、编译器或解析器等逻辑孤立且关键的领域非常有效，但对 Web 应用程序来说却不切实际。这些应用大多由 I/O、用户界面和第三方集成主导，而这些都不在可验证逻辑的范畴之内。此外，许多参与者指出，“证明的质量取决于规范的质量”，由于业务需求经常变动或定义模糊，维护形式化证明的成本高得令人望而却步。
支持者则建议采取更细致的方法，主张利用模型检测或对不变性进行部分验证。即便无法实现完整证明，定义形式化属性也能促使开发者更清晰地思考各种边界情况，从而编写出更高质量的代码。
最终，共识倾向于务实：虽然形式化验证对关键基础设施具有巨大价值，但对于标准的商业软件来说，它依然是一项成本高昂且边际收益递减的投资，而在这些领域，基于属性的测试往往能在工作量与可靠性之间取得更好的平衡。
现代软件开发需要管理海量的并发关注点，从核心业务逻辑和安全性到可观测性及国际化，不一而足。面向切面编程（AOP）最初在 20 世纪 90 年代提出，旨在将这些关注点模块化，但它依赖于“连接点模型”——一种脆弱的、基于运行时的机制，常被比作“COME FROM”语句，导致调试和维护十分困难。 作者认为，借助大语言模型（LLM），AOP 值得重新兴起。程序员无需依赖复杂的运行时模式，可以将每个关注点（如安全性、日志记录、代码风格）定义为独立的、可复用的文档。LLM 充当“织入者”，将这些模块化的需求合成为清晰、可读且静态的代码。 与传统 AOP 不同，LLM 采用语义理解而非脆弱的字符串匹配来应用这些关注点。这种方法不仅通过分离复杂的职责减轻了开发者的心智负担，还利用了 LLM 固有的能力来确保项目间的一致性。通过将 AOP 作为人工智能驱动开发的一种组织框架，程序员可以更有效地管理软件复杂性，确保在不让核心逻辑被杂乱的横切关注点淹没的前提下，满足所有需求。
Qwen 3.6 是本地 AI 领域的一个重要里程碑，其性能足以媲美顶尖模型。作者重点介绍了两个版本：混合专家模型 35B A3B（速度更快）和稠密模型 27B（质量更高，是推荐选择）。尽管硬件要求较高，但这些模型在复杂推理、创意写作和实际编码任务中表现出色。
使用 `llama.cpp` 和 Hugging Face 上的 GGUF 量化权重，在本地运行这些模型非常简单。作者演示了如何设置 `llama-server` 以实现工具调用及与编码智能体的集成，并指出即使在消费级硬件上，其性能依然令人印象深刻。
作者认为，本地模型具有显著优势：数据隐私、摆脱对服务商的依赖，以及能够针对特定需求进行微调。随着技术进步——例如近期出现的 GLM 5.2——在本地运行“顶尖级别”智能已成为现实，这标志着 AI 正在向更私密、更具韧性的方向发展。尽管运行这些模型对硬件负载较高，但作者总结认为，所获得的智能水平和自主掌控权完全值得这一投入。
关于 Qwen 3.6 27B 本地开发的 Hacker News 讨论揭示了硬件爱好者与务实开发者之间的分歧。
**核心主题：**
* **散热限制：** 用户警告称，在高端 MacBook (M5/M4 Max) 上运行大模型（27B–35B）会导致严重的过热和风扇噪音。普遍共识是，笔记本电脑并非为持续推理而设计；使用无头 Mac Mini 或放置在其他房间的专用工作站，是更优越且符合人体工程学的解决方案。
* **硬件效率：** 尽管 Mac 用户看重统一内存，但许多人认为，与 Apple Silicon 相比，配备双 NVIDIA 3090 或 5090 的 PC 能提供更好的性能、更低的成本以及更标准的软件支持（CUDA/Linux）。
* **“玩具”之争：** 批评者认为本地模型是昂贵且耗电的“玩具”，不如前沿模型（Claude/GPT）；而支持者则看重本地运行在隐私性、减少厂商锁定方面的优势，以及亲自管理推理架构所带来的直观学习体验。
* **实用性：** 用户强调，对于“真正的”智能体工作，成功的配置通常涉及通过 VPN/Tailscale 将任务分流到专用服务器，并使用如 Qwen 3.6 27B 或 Gemma 4 31B 等模型，这些模型目前被认为是性能与智能之间的最佳平衡点。
HamsterOS：一个能装进 1.44MB 软盘的图形化桌面操作系统 HamsterOS: A graphical desktop OS that fits on a 1.44MB floppy
26 天前
开发者 John Swiderski 目前正在开发 HamsterOS，这是一个专为 386 和 486 时代硬件设计的全新 32 位图形化多任务操作系统。该系统定于 2026 年 11 月发布，体积小巧，足以容纳在一张 1.44 MB 的软盘中，同时提供全套原生应用程序和集成 DOS 支持。
HamsterOS 包含专为老式系统设计的用户友好功能，例如 CMOS 崩溃计数器，在多次启动失败后会自动触发 VGA 安全模式。为了协助用户将系统写入物理介质，Swiderski 还发布了“HamsterWeazle”，这是一款用于 Greaseweazle USB 软盘接口工具的图形化前端。
该项目反映了复古计算社区内现代创新的日益增长趋势，继 GentleOS 等类似努力之后，HamsterOS 有望成为那些希望为老旧硬件注入新活力的爱好者们一个稳健且易于使用的选择。
抱歉。
美国最高法院裁定：地理围栏搜查令需受宪法保护 US Supreme Court rules geofence warrants require constitutional protections
26 天前
在美国最高法院对“Chatrie诉美国案”作出的一项6比3的里程碑式裁决中，法院裁定执法部门使用“地理围栏搜查令”收集智能手机位置数据的行为，构成了第四修正案所指的搜查。 此类搜查令允许警方强制科技公司交出特定区域和时间内所有人的位置记录，这往往会将数千名无辜民众的数据一并卷入。政府此前辩称，由于用户会与谷歌等第三方共享这些数据，因此他们缺乏“合理的隐私预期”。 法院驳回了这一观点。埃琳娜·卡根大法官指出，携带智能手机是一项“普通”活动，且用户往往是在未能完全理解监控影响的情况下，被动开启了位置跟踪功能。索尼娅·索托马约尔大法官则强调，即使是短期的位置监控，也可能揭示一个人私生活的亲密细节。 虽然该裁决确认了地理围栏搜查令受宪法隐私保护的约束，但此案现已发回下级法院，以确定Chatrie案中使用的具体搜查令是否“合理”且有正当理由支持。隐私倡导者对该裁决表示欢迎，称其为数字权利对抗政府大规模监控的重大胜利。
美国最高法院近日裁定，“地理围栏令”（允许执法部门搜索谷歌在特定区域和时间范围内所有人的位置数据）受到宪法第四修正案的保护。
该案涉及奥凯洛·查特里（Okello Chatrie）。警方通过获取案发现场附近所有人的谷歌位置记录，将其锁定为银行抢劫嫌疑人。尽管下级法院曾质疑该搜查令的特定性，但根据“善意例外”原则，仍采纳了相关证据。
最高法院的裁决确立了此类请求属于第四修正案定义的“搜查”，必须具备“相当理由”并符合具体性要求。不过，法院并未宣布所有地理围栏令皆属违宪，而是将案件发回下级法院，以评估该特定搜查令是否符合上述标准。
黑客新闻（Hacker News）的用户正在讨论该裁决的实际影响。一些人将其视为隐私保护对抗大规模监控的胜利，而另一些人则持怀疑态度，指出“善意例外”原则和第三方数据销售可能仍会使警方绕过这些限制。此外，许多观察人士认为，随着谷歌将位置数据存储转向设备端等技术手段的改变，无论法律裁决如何，此类搜查令最终可能会变得过时。
请启用 JavaScript 和 Cookie 以继续。
由于现代 Windows 系统臃肿且过度依赖遥测技术，微软正迅速失去其核心开发者和高级用户群体，他们正大量转向 macOS 和 Linux。为扭转这一颓势，作者提议推出“Windows Lite”——一个精简且注重隐私的操作系统版本。 Windows Lite 将是一个极简平台，剔除了广告、人工智能及不必要的服务，仅保留基础的 Win32 支持、轻量化外壳和驱动稳定性。通过以 49 美元的买断制价格（无需订阅）提供一个纯净、稳定的环境，微软有望重新吸引开发者和游戏玩家。作者认为，由于该版本会成为技术用户的首选，它将自然而然地在企业、学术及政府领域得到采纳。 归根结底，转向精简的 Windows Lite 模式将降低微软的维护成本，提升用户信任度，并为 Windows 平台构建一个可持续且高利润的未来。
关于“Windows Lite”（一种精简、无臃肿程序的 Windows 版本）的 Hacker News 讨论指出，此类产品不太可能出现，且从根本上与微软的商业模式背道而驰。
尽管许多用户对 Windows 的遥测数据、广告和臃肿程序表示不满，但评论者认为，微软已不再将消费者视为主要目标。相反，Windows 是 Azure、Office 365 和数据驱动型收入的载体。从操作系统中剔除这些功能将削弱公司的经济利益和“平台”战略。
针对该提议的技术批评指出，移除 .NET 等组件会破坏大多数现代软件，导致该系统对开发者而言失去实用性。许多参与讨论者指出，Windows LTSC（长期服务版本）本质上就是“Windows Lite”，尽管它仅限于企业授权用户使用。
最终的共识是，对于高级用户和开发者而言，解决方案并非等待微软转型，而是转向 Linux。随着 Wine、Proton 和 VS Code 等工具的日趋成熟，许多用户认为在微软生态系统之外，已经可以实现一个整洁、高性能且“无臃肿”的计算环境。
作者提出了一种名为“外壳”（Outer Shell）的新型架构范式，旨在将远程服务器和边缘设备转化为图形化计算环境。该系统摒弃了传统的终端界面，转而让各应用程序以私有 HTTP 服务器的形式运行，并通过 SSH 和 Unix 域套接字而非本地端口进行访问。 该系统提供了一个统一的“外壳”或主屏幕，模块化的 Web 应用可以在此注册功能并实现互操作，例如为特定文件类型指定默认文本编辑器。通过将加密工作交由 SSH 层处理，这些应用能够保持轻量且无依赖。 作者认为，尽管 Jupyter 等工具在服务器端 UI 领域进行了先行探索，但业界一直缺乏一套管理此类应用的统一框架。随着人工智能辅助编码技术的成熟，开发原生且适配平台的应用程序，从而作为现代桌面环境的替代方案已变得切实可行。归根结底，这种方法预示着未来服务器将通过与浏览器集成的原生图形界面进行管理，从而在 Web 的可移植性与原生性能之间架起桥梁。
这篇 Hacker News 帖子讨论了一个名为 **“Outer Shell”** 的新项目。它是一个原生的 SSH 图形化 Shell，旨在为远程服务器交互提供更现代的图形界面。
作者认为，目前的 SSH 工作流受限于 20 世纪 60 年代的终端局限性。因此，他提出了一种系统架构：图形化前端组件在本地运行，同时与远程后端进行通信。作者认为这是一种“远程优先”的操作系统理念，比传统的 TUI（文本用户界面）或 X11 转发具有更好的可用性。
**讨论要点总结：**
* **关于“Shell”定义的争议：** 用户讨论了“Shell”一词是否应仅限于命令行界面，还是可以包含图形环境（如 GNOME Shell、DOS Shell）。
* **可行性与替代方案：** 许多评论者认为，Cockpit、MobaXterm、XPipe 或标准的 SSH 功能（隧道/SOCKS）已经解决了这个问题。批评者质疑允许浏览器访问套接字（socket）的安全风险，尽管作者强调了严格的许可列表（allow-list）机制。
* **用户体验与简洁性：** 支持者赞扬该项目对第一性原理 UI 设计的探索；而怀疑论者则认为，“简化”界面往往会掩盖必要的功能，并产生不必要的开销。
这次讨论凸显了传统终端高级用户与追求现代图形化远程管理体验者之间持续存在的矛盾。