Linux man-pages 项目维护者 Alejandro Colomar 近日宣布，由于个人经济原因，将暂时无限期停止对该项目的维护工作。他表示，过去四年一直以志愿者身份利用业余时间维护该项目，从未得到任何公司的赞助。如果未来有公司有意向赞助该项目的维护工作，请与其联系。
阅读更多
由Rust语言编写的开源操作系统Redox OS在7月份取得了重大进展，其中包括实现了首个Web服务器。该服务器是Simple HTTP Server，同样是用Rust编写的。此外，Redox OS还致力于将Apache HTTP服务器引入该平台。
阅读更多
Oak 是一个用于构建分布式系统的软件平台，以透明的方式提供关于系统行为的外部可验证（或可证伪）声明。Oak专注于基于虚拟机的可信执行环境（TEE）（例如AMD SEV-SNP、英特尔TDX）作为飞地应用程序的硬件信任根。Oak鼓励采用分离架构，将飞地应用程序和主机应用程序分开，以最小化攻击面和可信计算库（TCB）。Oak 使用多阶段协议来度量启动过程中每一层的身份（而不仅仅是引导加载程序），并使用DICE方法将其与 TEE 证据进行加密绑定。
阅读更多
Mynewsdesk 团队耗时 7 个月，基于 Kubernetes 构建了一个平台以替代 Heroku，用于其 SaaS 产品。结果是成本降低了 90%，性能提高了 30%，部署时间缩短，工具更快、更容易访问，从而显著改善了开发体验。现在，团队开源了整个堆栈，旨在帮助其他开发者在几天内实现同样的目标。
阅读更多
这篇文章深入探讨了苹果 IIGS 电脑 CPU 速度背后的原因，反驳了苹果公司为了避免与 Macintosh 竞争而故意限制其速度的传言。作者通过分析 IIGS 开发历史、65C816 CPU 的技术细节以及业界相关人士的访谈和评论，指出芯片产量、技术缺陷以及市场策略等因素才是导致 IIGS 速度低于预期的主要原因。
阅读更多
Mako 是蚂蚁集团开源的一款基于 Rust 的前端构建工具，主打“极速”和“生产级”。Mako 在构建速度方面进行了大量优化，与 Webpack 相比，速度提升了 4 倍，并已在蚂蚁集团内部数百个项目中得到验证。文章介绍了 Mako 的由来、特点、性能优势以及参与方式，并对参与 Mako 开发和提供帮助的个人和团队表示感谢。
阅读更多
文章介绍了作者如何利用 Git 工作树来管理并发任务，而不是将其作为分支的替代品。作者创建了五个工作树，分别用于查看原始代码、编写代码、审查代码、运行模糊测试以及处理其他临时任务。这种方法提高了作者的编码效率，并能更好地管理并发任务。
阅读更多
CodiumAI发布了Cover-Agent，它是Meta的TestGen-LLM的第一个开源实现。TestGen-LLM是一个完全自动化的工具，用于增加测试覆盖率，它首先生成大量测试，然后过滤掉那些无法构建/运行的测试，删除任何未通过的测试，最后丢弃那些没有增加代码覆盖率的测试。Cover-Agent 在实现TestGen-LLM的过程中遇到了一些挑战，例如处理 Python 中重要的空格、为 LLM 提供额外的上下文、处理复杂的代码需要多次迭代，以及无法在扩展现有测试套件时添加库导入。
阅读更多
欧盟理事会比利时主席国提出了一项危险的提案，可能导致对数十亿人的私人文件进行扫描。该提案遭到电子前线基金会（EFF）和欧洲数字版权组织（EDRi）等团体的强烈反对。他们认为该提案将侵犯欧盟居民的人权，并敦促欧盟理事会拒绝所有与端到端加密不一致的提案。EFF一直倡导保护在线私人对话的权利，并反对任何以保护儿童网络安全的名义在加密通信中开“后门”的行为。
阅读更多
本文介绍了 Elixir 语言与机器学习生态在 2024 年的最新进展，包括 Numerical Elixir (Nx) 项目对 MLIR 的支持、Explorer 项目对 Apache Arrow 数据类型的兼容、Scholar 项目对传统机器学习算法的实现，以及其他社区项目和学习资源的更新。
阅读更多
Flexport 是一家处于贸易和互联网交叉领域的货运代理公司，正在招聘工程师。公司致力于构建代表物流复杂性的数据模型，并创建易于理解和访问的软件。Flexport 发展迅速，工程师团队负责确定、优先排序和执行关键项目，并与内部运营团队紧密合作。
阅读更多
这篇文章以通俗易懂的方式解释了麦克斯韦方程组，并用矢量场和流体流动的概念来阐释其物理意义。文章首先介绍了标量场和矢量场的概念，并以温度和速度场为例进行了说明。然后，文章解释了散度和旋度的概念，并用图表展示了如何理解这些概念。接下来，文章详细解释了麦克斯韦方程组的四个方程，分别为高斯电场定律、高斯磁场定律、法拉第定律和安培-麦克斯韦定律。文章用微分形式和积分形式分别表述了这些方程，并用图表和例子解释了它们的物理意义。最后，文章讨论了电磁场的统一性，并解释了如何将磁场解释为电场的相对论效应。
阅读更多
网络安全公司CrowdStrike发布的软件更新导致Debian和Rocky Linux系统出现故障，问题已持续数月但一直未被重视。受影响的系统出现崩溃和无法启动等问题，CrowdStrike的测试和更新流程因此受到质疑。此次事件凸显出软件更新测试不足和兼容性问题可能带来的风险，企业应谨慎对待CrowdStrike更新并制定应急预案。
阅读更多
Dart 3.4版本正式发布，该版本支持WebAssembly，可用于Flutter Web应用程序。此外，Dart 3.4还引入了宏的概念，这是一种元编程解决方案，可用于代码生成，例如简化JSON数据的序列化和反序列化。文章介绍了名为JsonCodable的新宏，它可以自动生成toJson()和fromJson()方法，从而简化开发人员的工作。未来，Dart团队计划允许社区创建自己的宏，以进一步提高Dart编程的抽象级别。
阅读更多
戴尔科技集团选择FreeBSD作为其瘦客户端操作系统ThinOS的基础，看重其安全性和稳定性。ThinOS采用“安全设计”理念，提供封闭的桌面体验，保护敏感数据。FreeBSD的稳定内核和BSD许可证允许戴尔根据自身需求定制操作系统。未来，戴尔计划升级到FreeBSD 14，增强硬件支持，改进Linux应用程序兼容性和驱动程序可移植性，并引入更高级的安全功能。
阅读更多
本文介绍了如何使用VSCode和Nix将Android平板电脑转变为IDE。作者首先安装了termux，然后使用nix-on-droids安装了Nix包管理器。最后，作者配置了Nix包，安装了VSCode和其他开发工具，成功在Android平板电脑上运行了VSCode。
阅读更多
本文探讨了如何使用Unsloth微调LLaMA-3 8B模型，以进行金融情感分析。文章详细介绍了构建自定义数据集、使用Unsloth笔记本微调模型以及评估模型性能的步骤。作者比较了不同微调模型的性能，包括推理速度、情感得分方差和平均置信度，并讨论了LLaMA 3 8B量化方面的争议。文章还提供了对结果的分析，并为希望使用Unsloth微调模型进行情感分析的读者提供了指导。
阅读更多
新的研究发现，由于许多大型网络托管提供商和域名注册商的身份验证存在漏洞，超过一百万个域名（包括许多财富 100 强公司和品牌保护公司注册的域名）很容易被网络犯罪分子接管。这些域名被称为“坐以待毙的鸭子”，因为它们的 DNS 记录配置错误，允许攻击者在无需访问真实所有者帐户的情况下控制域名。
阅读更多
本文是家庭实验室系列文章的第五篇，主要介绍了作者如何使用NixOS和K3s构建家庭实验室。作者详细介绍了NixOS的优势和配置方法，包括使用agenix进行秘密管理，以及如何将Docker Compose服务迁移到Kubernetes。此外，文章还探讨了K3s的安装和配置，以及如何使用Traefik进行服务代理和TLS证书配置。作者还分享了一些关于Kubernetes PersistentVolumes的经验，以及如何将DNS与Kubernetes服务集成。
阅读更多
这篇文章列出了GitHub平台上raivo-otp/ios-application项目的相关问题，内容主要涉及用户在使用该应用程序过程中遇到的错误和故障，例如更新后验证器丢失、应用程序无法加载、数据丢失以及应用程序崩溃等问题。
阅读更多
华为在2024年HDC开发者大会上发布了自研编程语言“仓颉”。华为称，“仓颉”语言具有原生智能、全场景、高性能和强安全等特点，并将集成到HarmonyOS生态系统中，为开发者提供友好的开发体验。“仓颉”采用AgentDSL框架，混合了自然语言和编程语言，支持函数式、命令式和面向对象编程风格。
阅读更多
本文介绍了一个名为“Educator Tool Suite '87”的BASICA程序套件，由作者的父亲Mike Knox在20世纪80年代后期编写。该程序套件旨在自动化和简化八年级科学教学中的日常工作，例如评分测试、分配课堂和实验室座位、监控出勤率、评分测试和州立 Regents 考试等等。该程序套件包括用于评分测试、生成随机学生座位分配、处理出勤率和曲线评分的实用程序。
阅读更多
在 Kinopio 五周年之际，开发者决定将其开源。Kinopio 是一款轻量级思维导图软件，用户可以在本地运行、修改和分享改进。开源有利于分担软件开发的工作量，但也存在一些风险，例如代码被盗用或维护成本增加。开发者期待看到开源后社区的贡献，并表示将继续维护和改进 Kinopio。
阅读更多
索尼旗下娱乐工作室索尼影业网络公司计划斥资 150 亿美元收购派拉蒙全球公司，以获得对这家拥有 150 年历史的电影、电视和数字娱乐公司的控制权。索尼影业网络公司已向派拉蒙全球公司提出全面现金报价，收购价为每股 105 美元，总价值接近 150 亿美元，高于派拉蒙全球公司 102 美元的收盘价。这笔交易将使索尼影业网络公司获得派拉蒙全球的大量娱乐资产，包括派拉蒙影业、派拉蒙电视工作室、派拉蒙网络以及 SHOWTIME、MTV 和黑人娱乐电视台等有线电视网络。
阅读更多
近年来，全球范围内发生多起船东弃船，导致船员被困海上数月甚至数年，生活无着落。究其原因，疫情、通货膨胀、物流瓶颈等因素增加了船东的成本，导致部分船东选择弃船。此外，船旗国监管不力、国际公约执行不到位也加剧了这一问题。文章讲述了叙利亚籍工程师萨利赫和菲律宾籍渔民达加利亚被困海上的遭遇，揭露了航运业存在的剥削和不公现象，呼吁加强监管，保障海员权益。
阅读更多
这篇访谈中，Ben Titzer分享了他对WebAssembly的看法，以及V8 TurboFan优化编译器的设计和实现，还有Virgil编程语言。也谈到了将高级语言功能引入受限硬件、V8团队如何应对Spectre和Meltdown侧信道攻击，以及如何设计高性能虚拟机。
阅读更多
《奇点临近》是雷·库兹韦尔的新作，是对其里程碑式著作《奇点临近》的继承，探讨了未来几十年科技将如何改变人类。库兹韦尔认为，人工智能将在2029年达到人类水平，并以指数级速度增长，最终将人类智能扩大百万倍，彻底改变人类生活。书中探讨了纳米技术、生命延长、人工智能的风险和机遇等议题，并认为科技进步将推动创新，改善人类福祉。
阅读更多
微软的搜索引擎必应搜索和 AI 聊天机器人 Copilot 遭遇全球范围内的宕机，许多用户无法访问。根据 Downdetector.com 的数据，宕机报告出现在几个小时前，但微软尚未说明原因和恢复时间。用户报告称，访问 Bing.com 时遇到错误信息、灰色网页或加载错误。此次宕机似乎也影响了必应图片生成器等服务。
阅读更多
1997年9月21日，美国海军“约克城”号巡洋舰在演习中因软件故障瘫痪近三个小时。该舰在现代化改造中引入了“智能舰船”系统，但数据库应用程序中的除零错误导致舰船控制系统崩溃。尽管故障最终排除，“约克城”号事件暴露了软件开发、系统设计和项目管理中的缺陷，引发了对智能舰船计划的质疑。
阅读更多