今天我们要和大家聊的主要是三个话题。第一个话题讨论开源AI的优势所在，看看相比商业公司，开源社区在人工智能领域有什么特别的贡献。第二个话题要给大家介绍最新发布的LLAMA 3.1大语言模型，看看它有什么革命性的突破和创新。最后一个话题是关于Let's Encrypt的，它决定放弃使用OCSP协议，改用传统的证书撤销列表，这对提升用户隐私会有什么帮助。好了，话不多说，我们现在就进入第一个话题。

开源 AI 是未来的路径

开源 AI

在 "Open Source AI is the Path Forward" 这篇文章中，作者充满热情地主张开源在先进 AI 技术发展中的优越性，并将其与 Unix 和 Linux 的发展历程进行了类比。Meta 公司以 LLAMA 3.1 版本的发布为例，认为相比封闭系统，这些开源模型在成本效率、定制化和安全性方面表现更加出色。Meta 与 Amazon、NVIDIA 等公司的合作，旨在将 LLAMA 确立为行业标准，让全球都能共享 AI 带来的好处。

原文链接: Hacker News

LLAMA 3.1：最大开源 AI 模型的发布与争议

LLAMA 3.1 AI模型

近日，一个新的大语言模型 LLAMA 3.1 发布了，这是目前最大的开源 AI 模型，拥有三个不同规模的版本：8B、70B 和 405B。LLAMA 3.1 主要面向微调、知识蒸馏和实际应用部署，可以支持多语言翻译、复杂逻辑推理、编程辅助等各种场景。然而，它的商业使用限制引发了不少争议，讨论焦点包括它是否真正开源，以及与 GPT-4 的比较。

原文链接

Let's Encrypt 宣布计划终止 OCSP 服务

OCSP certificate revocation

Let's Encrypt 宣布计划终止 OCSP 服务，将采用证书吊销列表（CRL）来代替。这一改变旨在保护用户隐私并简化证书认证机构的基础设施。虽然此变动不会影响正常访问，但部分非浏览器软件可能需要调整。

原文链接

更新 Google Calendar 数据库设计：全面教程

在一篇名为《Google Calendar 的数据库设计》的教程中，作者 Alexei Makotkin 带领读者深入了解如何为一个复杂的真实项目设计数据库表。该教程详细讲解了如何创建逻辑模型，定义用户和日程事件等关键实体，并将日程事件关联到具体的时间段，最后再转化为物理表结构。评论区用户讨论了不同 iCalendar 实现方式的效率问题以及其它数据模型的优劣，特别是时区和重复事件的处理。

阅读原文

美国机场的旅客可以拒绝使用面部识别

在美国机场，旅客实际上可以拒绝使用面部识别系统，但很多人并不知情。尽管拒绝扫描并不难，但由于缺乏宣传和担心耽误登机，大部分旅客选择默许使用面部识别技术。这种技术不仅存有道德和隐私风险，还有信息泄露和数据滥用的风险，引发了公众的广泛讨论。

原文链接

Unix卡牌游戏：让学习Unix基本命令不再枯燥

Unix Pipe Card Game

Unix Pipe Card Game 是一款面向孩子的教育卡牌游戏，通过互动任务教授 Unix 基本命令。家长可在电脑上演示命令帮助孩子理解，游戏售价 5 欧元，亦可自行打印。

原文链接

一款免费工具 F3，助你识别和修复假冒 U 盘

最近，一款名为 F3 的免费软件引发了广泛关注。F3 能帮助用户检测并修复假冒的 U 盘，通过探测 U 盘的实际容量来揭示真相，还能修复这些问题，让用户放心使用。该工具支持多种操作系统，如 Windows、Mac 和 Linux，并提供简单的安装步骤和命令。社区还开发了更方便上手的图形界面版本，用户反馈热烈，许多网友分享了使用 F3 识别假 U 盘的经历，并呼吁平台加强对造假商家的监管。

原文链接

《Linux 音频堆栈解密：ALSA、Jack、PulseAudio 和 PipeWire 的角色与未来》

PipeWire

一篇名为《Linux 音频堆栈,解密和更多》的文章，以清晰优雅的方式阐述了 Linux 音频基础设施的复杂性。文章深入探讨了 ALSA、Jack、PulseAudio 和 PipeWire 等组件在 Linux 生态系统中的角色和功能，并通过实际示例解释了采样、量化等数字音频处理过程。作者将 PipeWire 定位为一个前景光明的统一解决方案，有望简化 Linux 系统的音频管理。

在评论区，大家就 Linux 音频系统的复杂性和使用中遇到的挫折展开了激烈的讨论。一些用户赞扬 Linux 音频的强大和灵活，认为在特定场景下它的表现优于 macOS 和 Windows。但也有人吐槽经常碰到问题和 bug，分享了排错的艰辛经历。网友还对比了不同 Linux 发行版在音频系统的差异，推荐专业用途使用定制的发行版。至于蓝牙音频的问题是不是 Linux 独有，大家的看法则存在分歧。

原文链接：The Linux audio stack demystified (and more)

利用类型系统开发棋盘游戏：类型作为通信接口的实践

Chessboard

开发者在《Types as Interfaces》一文中展示了如何利用类型系统作为数据通信的接口来实现棋盘游戏。通过定义一个包含消息发送者和接收者信息的 MSG 类型，简化了消息过滤的过程。评论区的讨论热烈，支持者认为高级类型系统可以提高程序健壮性，而反对者担心其复杂性影响开发灵活性。相较于 NoSQL 和 protobufs 等方案，这篇文章对类型编程的发展具有启发性。

阅读全文

奥运会官员如何捕捉机械兴奋剂

Olympics Officials Work to Prevent Motor Doping in Cycling

Peter Farrelly 的文章《奥运会官员如何捕捉机动兴奋剂》生动地记录了竞技自行车运动中打击使用隐藏电机的持久战。尽管已经采用了电磁扫描仪和 X 射线成像等先进的检测手段，但由于过去的兴奋剂丑闻，信任问题依然存在。大家在评论区热烈讨论了在这场科技与诚信的较量中，哪种技术手段最有可能获得胜利，也探讨了统一装备标准和加大对赞助商处罚力度等潜在对策。

原文链接

非常感谢大家收听本期的黑客新闻中文日报,我们希望您能够喜欢今天精选的这些有趣的科技资讯。也期待明天您能够继续和我们一起关注最新的科技动态。在此祝您度过一段美好的时光,我们明天podcast再见!

2024-07-25 | 最强大模型 Llama 3.1 405B 发布，扎克伯格称开源引领新时代, 12:22 Share

Hacker News

Shownotes Transcript

2024-07-25 | 最强大模型 Llama 3.1 405B 发布，扎克伯格称开源引领新时代,