← 返回归档

日报


新出现

GALA 语言为 Go 生态添加 Scala 式特性

GALA 转译到 Go,添加密封类型、穷尽模式匹配、Option/Try 单子等 Scala 式特性,同时兼容 Go 生态和第三方模块。

允许在 Go 项目中使用 exhaustive pattern matching 和单子,编译器拒绝不完整匹配。

  1. Scala on Go Lobsters #5
新出现

AI 辅助 vibecoding 导致代码控制权丧失

Vibecoding 使开发者逐步失去对代码的掌控,代码审查困难,即使资深专家也难在百行代码中找出隐藏 bug。

帮助判断在 AI 工程项目中是否继续依赖生成式工作流。

  1. Faulty Towers, vibe sickness, and the vibe bobsled Lobsters #9
新出现

开放权重模型接近闭源水平且成本大幅下降

Mozilla 2026 报告显示,开放权重模型性能已接近闭源,推理成本 36 个月内下降 50 倍,采用率上升。

帮助基于事实更新 AI 部署优先级,优先考虑开源模型。

  1. Mozilla: The state of open source AI Hacker News #11
新出现

企业用 Haskell eDSL 生成多语言安全实现

H-E-B 八年实践显示,可用 Haskell eDSL 编码领域模型和业务逻辑,一次性生成 Haskell、TypeScript、Java 等多语言安全实现。

其他团队无需学习 Haskell 即可无缝接入安全代码。

  1. Enterprise Haskell at H-E-B Lobsters #6
新出现

GitRoot 提供单二进制全 Git 存储的 Git forge

GitRoot 是单二进制 Git forge,将代码、issues、权限全存储在 Git 平文文件中,支持分支权限控制和独立插件扩展。

适合自建轻量可定制托管工具,可直接按架构部署到项目。

  1. GitRoot Lobsters #2
新出现

GCC 和 Clang 不符合 C++ 标准语言链接要求

GCC 与 Clang 未按 C++ 标准区分函数类型的语言链接,导致类型相同并引发重载与 ODR 编译问题,作者认为标准应改为实现定义。

帮助重新判断混合 C/C++ 代码的合规风险和重载行为。

  1. neither gcc nor clang are compliant with standard c++ Lobsters #1