## Gova：Go 的原生 GUI 框架
Gova 是一个声明式 GUI 框架，使开发者能够使用单一的 Go 代码库构建适用于 macOS、Windows 和 Linux 的原生桌面应用程序。它优先考虑简洁性，提供类型化组件、响应式状态管理和真正的平台对话框——所有这些都打包成一个静态二进制文件，*无需* JavaScript、浏览器或复杂的 C++ 工具链。
主要特性包括清晰、明确的响应式作用域、原生集成（例如通过 cgo 实现 macOS 警报，其他平台使用 Fyne 作为后备方案）以及具有热重载功能的快速开发周期。组件定义为 Go 结构体，从而促进编写简洁且可预测的代码。
目前版本低于 1.0，API 可能会发生变化，因此建议为生产环境使用固定标签。Gova 构建于 Fyne 之上，但对其进行了抽象，提供了一个稳定的公共 API。它需要 Go 1.26+ 和 C 工具链进行编译。
更多信息和示例请访问 [gova.dev](https://gova.dev)。
每日HackerNews RSS
对不起。
## 软件开发中一致性的必要性 十多年来，作者观察到编程概念的优雅与构建和维护复杂系统的现实之间存在令人沮丧的差距。现代软件基础设施显得脆弱、难以改变且容易出错，导致人们专注于测试和部署，而*牺牲*了创新。这源于一个根本问题：碎片化。 当前系统由不同的组件（数据库、服务等）构建而成，每个组件都有其自身的内部逻辑，但被迫使用低级别的“网络和操作系统”模型进行交互。这牺牲了领域特定清晰度，并创建了复杂的依赖网络，阻碍了优化并增加了出错的风险。 作者认为，解决方案在于一个**一致的系统**，该系统建立在单一、通用且与领域对齐的模型之上——允许工具在整个应用程序中无缝运行。虽然存在许多专门的模型，但统一的互联网软件模型仍然难以捉摸。 他们创立了Cambra来追求这个目标，相信编程语言理论和数据库系统的进步现在使其成为可能。尽管人工智能正在兴起，但对强大底层模型的需求仍然至关重要；人工智能在一致的系统*内部*表现出色，但无法消除碎片化架构的根本挑战。最终，更好的模型将使开发人员和人工智能能够构建更强大、更可扩展和更具创新性的软件。
Nev 是一款用 Nim 开发的新型快速文本编辑器，设计用于终端和 GUI 环境。它借鉴了 Neovim、Helix 和 Zed 等流行编辑器的灵感，并集成了开发者工具，包括 Git 支持、Treesitter 高亮、LSP 和 DAP 调试。它还支持 WASM 插件以扩展功能。
目前 Nev 仍是一个个人项目，仍在积极开发中，并存在一些限制：它仅支持不带回车符的 UTF-8 编码，并且语言服务器/调试器需要手动安装。虽然前景可期，但用户应预计缺少功能和潜在的不稳定性。
感兴趣的用户可以下载预构建版本或从源代码编译。提供备忘单和入门指南等资源，并欢迎贡献——详情请参阅 `CONTRIBUTING.md` 文件。Discord 服务器提供支持和讨论的空间。该项目采用 MIT 许可证开源。
对不起。
熟悉是敌人：企业系统为何失败了60年
Familiarity is the enemy: On why Enterprise systems have failed for 60 years
3 天前
## 企业知识系统六十年的失败 六十年来，企业知识管理系统始终未能兑现其承诺——有效捕获和利用组织知识，据估计造成了高达二千五百亿美元的投资浪费。 核心问题并非技术限制，而是购买决策中持续优先考虑*熟悉度*而非*正确性*。 买家出于规避风险，倾向于选择他们了解的成熟供应商和技术，即使这些技术明显劣等，也将它们视为“保险单”。 这延续了一个创新受阻的循环，并用不充分的解决方案反复解决现有问题。 最近试图“在维基百科中添加人工智能”是这种失败的最新表现。 作者认为，需要进行根本性的转变：超越手工编码知识（昂贵且不可持续）或依赖非结构化数据（不智能）。 他们的解决方案侧重于利用 Clojure、Datomic 和确定性人工智能的图原生架构，旨在从内容中*推断*结构，从而创建一个可持续审计且具有主权的知识库。 这种方法通过优先考虑技术正确性，并为市场上占据主导地位的熟悉但有缺陷的系统提供可行的替代方案，挑战了现状。 作者的呼吁是恳求买家优先考虑真正的智能而非感知到的安全性，并认识到熟悉度的成本远远超过创新的风险。
对不起。
本次发布在桌面、服务器和云环境中显著提升了安全性、性能和易用性。Ubuntu 26.04 LTS 引入了基于 TPM 的全盘加密、扩展的内存安全组件使用、改进的应用程序权限控制以及对 Arm 系统的 Livepatch 支持，有助于减少停机时间并增强系统弹性。[...] 今天还发布了最新的 Edubuntu、Kubuntu、Lubuntu、Ubuntu Budgie、Ubuntu Cinnamon、Ubuntu Kylin、Ubuntu Studio、Ubuntu Unity 和 Xubuntu。有关这些版本的更多详细信息，请阅读官方风味版部分下的各自发布说明：https://documentation.ubuntu.com/release-notes/26.04/#official-flavors Ubuntu Desktop、Ubuntu Server、Ubuntu Cloud、Ubuntu WSL 和 Ubuntu Core 将提供 5 年的维护更新。所有其他风味版本将获得 3 年的支持。
## 咖啡、肠道微生物群与行为：研究摘要 这项研究调查了咖啡消费对62名爱尔兰健康成年人（30-50岁）的肠道微生物群、大脑功能和行为的影响。参与者分为不喝咖啡者（NCD）和适度喝咖啡者（CD），CD组经历了两周的咖啡戒断期，随后进行了为期三周的干预，期间饮用含咖啡因或脱咖啡因咖啡（双盲）。 研究人员收集了参与者的基本信息、精神/胃肠道健康状况、认知表现、压力反应（通过社会评估冷压试验）以及生物样本（粪便、血液、尿液、唾液）在多个时间点的数据。分析包括微生物群测序、代谢组学、炎症标志物评估和皮质醇水平测量。 该研究旨在比较NCD和CD组的基线水平，并评估CD组在咖啡因戒断和重新摄入后的变化。研究人员还对参与者进行了与咖啡因敏感性相关的SNP基因分型。使用了统计分析，包括混合模型和线性模型，以识别显著差异，并控制潜在的混淆因素。研究结果旨在阐明咖啡、肠脑轴和人类健康之间的复杂关系。数据已存入公共数据库以供进一步研究。
## Mythos 与 Firefox 150：现实评估 Anthropic 的 Mythos AI 漏洞发现工具最初引发了兴奋，声称能够以低于 20,000 美元的成本识别问题。然而，更仔细的观察显示出更为细致的图景。Mythos 在 Firefox 150 中发现的 271 个漏洞，并非可利用漏洞的简单计数；该数字代表了一个大规模搜索过程，涉及数千次运行和大量发现，包括跨多个版本的聚合“内存安全漏洞”。 对 Firefox 提交历史的分析表明，这些发现的严重程度各不相同——从关键安全修复到预防性维护和代码清理。虽然 Mythos 确实*发现*了漏洞，但确定有多少漏洞代表真正可利用的漏洞是困难的。许多修复早于 Mythos 的公告，并且该公告并未提供漏洞与 271 个数字之间的一一对应关系。 该工具似乎擅长大规模地发现可疑代码模式，可能加速防御性安全工作。然而，尚不清楚 Mythos 在发现*高价值*漏洞方面是否优于其他 LLM 或人类研究人员。目前，Mythos 似乎更像是一种加固工具，而不是革命性的进攻能力，其在更健壮代码库上的有效性还有待观察。最终，数据表明这是一种对防御者有用的工具，但尚未证明其在人工智能驱动的漏洞研究方面取得了重大突破。
## DeepSeek-V4：新一代开源语言模型 DeepSeek-AI 发布 DeepSeek-V4 系列，包含两个混合专家 (MoE) 语言模型：**DeepSeek-V4-Pro (1.6T 参数，激活 49B)** 和 **DeepSeek-V4-Flash (284B 参数，激活 13B)**，均支持 **一百万 token 的上下文长度**。 主要创新包括 **混合注意力架构**（结合压缩稀疏和高度压缩注意力以提高效率 – 与 V3.2 相比，FLOPs 减少 73%，KV 缓存减少 90%）、**流形约束超连接**以提高稳定性，以及 **Muon 优化器** 以加快训练速度。 两个模型均在 32T token 上进行了预训练，并通过一个两阶段的后训练过程进行优化，重点在于特定领域的专业知识和统一模型整合。**DeepSeek-V4-Pro-Max** 目前领先于开源性能，在编码、推理和代理任务方面与闭源模型相媲美。**DeepSeek-V4-Flash-Max** 提供可比的推理能力，但规模更小。这些模型利用 FP4/FP8 精度以提高效率，并采用 MIT 许可证。提供了资源，包括编码脚本和本地部署说明。
## DeepSeek-V4：新的开源竞争者
新的DeepSeek-V4模型在开源AI社区引起了兴奋，它提供了一个潜在的高效替代方案，可作为Claude和OpenAI模型等闭源选项的替代。虽然完整的1.6T参数模型很大，但讨论的重点在于它能够在消费级硬件上运行——尽管速度较慢——尤其是在使用量化和流式传输等技术时。
一个较小的“闪电”版本（约200B参数）被证明特别容易访问且具有成本效益，一些用户报告称，对于特定任务，其性能可与更昂贵的模型（如Opus 4.6/4.7）相媲美。DeepSeek的API定价也具有竞争力，显著低于GPT-5.5等替代方案。
用户已经发现了实际应用，包括代码生成和大规模数据分类，突出了该模型在需要处理数十亿token的任务中的价值。这次发布被誉为开源模型的一个积极步骤，为开发者和研究人员提供了一个强大且经济实惠的选择。
美国陆军主士官冈农·肯·范戴克被捕并被指控涉及内幕交易，与捕获委内瑞拉总统尼古拉斯·马杜罗有关。检察官指控范戴克在“绝对决心行动”期间利用其接触到的机密信息，在预测市场Polymarket上下注，赌注金额约为3.2万美元，赌马杜罗将在1月份前被下台。 他成功预测了结果，赢得了超过40万美元，随后据称将这笔钱转移到外国加密货币金库和在线经纪账户，以掩盖资金来源。商品期货交易委员会也已提起诉讼，寻求处罚。 此案凸显了对地缘政治事件投注以及潜在滥用敏感政府信息以谋取个人利益的日益增长的担忧。Polymarket配合了调查，并坚持对内幕交易零容忍政策，而立法者正在考虑对预测市场实施更严格的监管。
一名美国特种部队士兵因多项罪名被逮捕并起诉——包括非法使用机密政府信息、盗窃、商品欺诈和电汇欺诈——据称他利用对委内瑞拉计划突袭的内幕消息，在预测市场（Polymarket）上赢得了40万美元。讨论的重点在于核心问题是泄露机密信息还是从中获利，以及为何该士兵被起诉，而其他可能从事类似行为的人（如国会议员或高级官员）却常常不受追究。
许多评论员质疑法律选择性执行的问题，指出存在感知到的双重标准以及财富和权力的影响。一些人认为，Polymarket本身不是问题，而是机密信息的滥用。另一些人则争论预测市场是否本质上存在问题，因为它们可能被操纵并激励有害结果。此案引发了对安全风险以及当机密信息被用于个人利益时可能破坏国家安全的担忧。
```python import os from openai import OpenAI client = OpenAI( api_key=os.environ.get('DEEPSEEK_API_KEY'), base_url="https://api.deepseek.com" ) response = client.chat.completions.create( model="deepseek-v4-pro", messages=[ {"role": "system", "content": "You are a helpful assistant"}, {"role": "user", "content": "Hello"}, ], stream=False, reasoning_effort="high", extra_body={"thinking": {"type": "enabled"}} ) print(response.choices[0].message.content) ```