Elixir 团队发布了 Elixir v1.0 版本，该版本引入了逐步类型系统。这意味着开发者可以在代码中混合使用动态类型和静态类型，从而在保持灵活性和可维护性的同时，提高代码的可靠性和性能。 📎 原文：Elixir v1.20: Now a gradually typed language | 来源：Hacker News

这篇文章介绍了 Google 的新开源语言模型 Gemma 4 12B。该模型采用了统一的架构，并且在训练过程中不需要使用编码器，从而简化了模型的构建和部署。文章重点强调了 Gemma 4 12B 在处理多种模态数据的能力，例如文本、图像和音频。它展示了该模型在各种任务上的表现，包括自然语言理解、生成和跨模态推理。文章还讨论了 Gemma 4 12B 的优势，如其高效的训练过程、相对较小的规模以及在资源受限环境中的适用性。 📎 原文：Gemma 4 12B: A unified, encoder-free multimodal model | 来源：Hacker News

公司正在缩减员工规模，同时退出22个国家/地区，减少管理层级，并投资于基础设施，以便扩展其平台。这些举措旨在支持公司在人工智能领域的发展，并提高运营效率。 📎 原文：GitLab cuts 14% of staff as it scales its platform to serve AI workloads | 来源：TechCrunch

Dreambeans 是由 Google 账户个人数据构建的、以人工智能绘制的“故事”集合。该项目利用用户的 Google 数据，生成个性化的、具有动画风格的故事内容。Dreambeans 通过分析用户在 Google 上浏览和搜索的历史记录，以及其他相关信息，来创建这些独特的“故事”。 📎 原文：Google’s Dreambeans, its weirdest-named AI tool to date, will turn your life into a cartoon | 来源：TechCrunch

Google 在发布补丁之前，提前披露了该漏洞代码。此前报道指出，该漏洞已存在42个月之久，现在已被修复。 📎 原文：Google publishes exploit code threatening millions of Chromium users | 来源：Ars Technica

用户评论 📎 原文：Ian’s Secure Shoelace Knot | 来源：Hacker News

黑客似乎在 Meta 声称修复了其基于人工智能的支持聊天机器人后，仍然成功控制了受害者的账户。该聊天机器人曾允许黑客访问受害者账户。 📎 原文：Instagram is alerting users who were targeted by hackers during AI chatbot attacks | 来源：TechCrunch

Kiki 是一个小型、易于使用的工具，用于快速构建个人或小型企业的首页。它提供了一系列预定义的模板和自定义选项，无需复杂的编码知识即可轻松创建专业且美观的网站。Kiki 的优势在于其轻量级设计，这意味着它可以快速加载，并且对服务器资源的要求较低。对于希望拥有自己网站但又不想花费大量时间和精力进行开发的用户来说，Kiki 是一种理想的选择。它还支持与各种第三方服务集成，例如 Google Analytics 和社交媒体平台。 📎 原文：Kiki – a tiny homepage construction kit with a small footprint | 来源：Hacker News

生产版本补丁已经上线，建议立即安装以修复安全风险。此次漏洞影响了多个Linux发行版，可能导致系统不稳定或被恶意利用。用户应密切关注官方发布的更新信息，并尽快将系统升级至最新版本。 📎 原文：Linux bitten by second severe vulnerability in as many weeks | 来源：Ars Technica

Lovable 和 Google 签署了一项扩展的多年协议，该协议涉及 Lovable 在 Google Cloud 上的足迹扩大 5 倍，并获得 Anthropic Claude 的扩展访问权限。 这标志着 Lovable 在云计算领域的进一步扩张，并利用了 Google Cloud 强大的基础设施和 Anthropic Claude 的先进 AI 功能来提升用户体验和业务增长。 📎 原文：Lovable signs multiyear deal with Google Cloud to up usage 5x, source says | 来源：TechCrunch