火星的夜空是怎样的？ (www.skyatnightmagazine.com)
这篇文章探讨了火星的夜空不同于地球夜空的方式。文章讨论了火星上的大气层如何使天空呈现出不同的颜色，以及如何影响火星上的星星和行星的可见性。文章还讨论了火星上独有的天文现象，例如火星极冠的极光。
政治家起诉博客网站，要求揭露匿名评论者身份 (yro.slashdot.org)
本文讲述了政治博客网站 Daily Kos 创始人 Markos Moulitsas 与总统候选人小罗伯特·F·肯尼迪之间的法律纠纷。肯尼迪起诉 Daily Kos，要求该网站揭露一名批评他与新纳粹分子关系的匿名评论者的身份。Moulitsas 拒绝透露该用户的身份，并援引了美国联邦法律《通信规范法》第230条，该条款保护网站免于对其用户发布的内容承担责任。经过三年的法律斗争，肯尼迪最终撤销了诉讼。
超级计算机“夏延”拍卖结束，最后出价 480085 美元 (www.tomshardware.com)
美国各州西部高速铁路公司 (WSHR) 已以 480085 美元的价格购买了曾经属于怀俄明大学的超级计算机“夏延”。拍卖于 2023 年 2 月 28 日在资产处置公司 Liquidity Services 的网站上结束。夏延最初于 2019 年部署，耗资 3800 万美元建造。当时，它被评为全球排名第 22 位的超级计算机。它由 20 个机架组成，每个机架由两个机柜组成，总共包含 40 个机柜。共有 1140 个计算节点、2280 个英特尔至强 6248 处理器核和 13680GB 内存。这项技术对于 WSHR 来说是一个重要的补充，WSHR 计划在犹他州和内华达州之间建造一条高速铁路。该公司在一份声明中表示，将使用夏延来模拟其列车系统，并为其业务运营提供数据分析支持。
关于词汇的辩论 (dstrohmaier.com)
这篇文章总结了一系列关于词汇本质的哲学辩论。文章以David Kaplan于1990年发表的论文“Words”为起点，讨论了Kaplan提出的阶段延续理论以及他对词汇个体化的看法，特别关注了专有名词。文章接着介绍了John Hawthorne和Ernie Lepore对Kaplan理论的回应，以及Kaplan对回应的回应。文章还提到了Sylvain Bromberger的观点，他强调了词汇作为短语和句子成分的功能，并对当时关于词汇本质的辩论缺乏对语言学现实的考虑表示担忧。文章最后总结了这场辩论，指出深入理解词汇本质需要整合大量不同信息，并强调了关注词汇的语言学和认知方面的必要性。
日记 (www.lrb.co.uk)
该网站是《伦敦书评》杂志在线版的一个部分，包含作家朱利安·巴恩斯的个人日记。他每周写一篇日记，涵盖从文学、艺术、食物到政治和当前事件的广泛话题。巴恩斯的写作以其机智、直率和对人性的敏锐洞察力而闻名。
Ryzen 9 7950X3D浮出水面：L3缓存增加192MB，比零售CPU多64MB (www.tomshardware.com)
AMD尚未正式宣布Ryzen 9 7950X3D，但其规格已通过Geekbench 5基准测试泄露。根据基准测试，该处理器将拥有192MB L3缓存，比当前零售版本的Ryzen 9 7950X多64MB。这表明7950X3D将采用3D V-Cache技术，该技术将额外的缓存堆叠在现有缓存之上，以提高游戏性能。泄露的基准测试还显示了其他规格，包括16个内核、32个线程、3.6GHz的基本时钟和5.7GHz的升压时钟。预计Ryzen 9 7950X3D将于2023年2月底或3月初推出。
Ubuntu 24.04 带有缺陷 (www.linux-magazine.com)
Linux Magazine 报道了 Ubuntu 24.04 中的一个错误，该错误可能允许攻击者在没有密码的情况下提升权限。该错误与 polkit 中的缺陷有关，polkit 是一种用于控制特权操作的框架。虽然 Ubuntu 团队已发布更新以解决此问题，但仍建议用户安装它以保护他们的系统。
微软计划前所未有地封锁 Windows DNS (arstechnica.com)
微软计划通过强制使用加密 DNS over HTTPS (DoH) 和加密 DNS over TLS (DoT) 协议来锁定 Windows DNS。此举旨在提高 DNS 查询的安全性，并阻止攻击者劫持用户流量和执行中间人攻击。该更新预计将于 2024 年 5 月发布。
雅达利传奇设计师迈克·扬逝世 (arcadeblogger.com)
本文回顾了雅达利公司传奇工业设计师迈克·扬的一生和设计生涯。迈克·扬在70年代中期加入雅达利，见证了街机游戏的黄金时代，并为其街机柜的设计做出了巨大贡献，设计了许多经典街机柜，包括导弹指令、星球大战等。迈克·扬的设计理念注重人体工学和游戏体验，他致力于为玩家提供最佳的游戏交互体验。他的设计遗产将继续影响着街机游戏行业。
Cogent Communications以IPv4地址为抵押发行2.06亿美元担保债券 (circleid.com)
Cogent Communications (CCOI) 最近宣布将发行价值2.06亿美元的担保债券，其不寻常之处在于其抵押品：部分IPv4地址及其租赁协议。由于互联网的增长导致IPv4地址稀缺，Cogent多年来一直出租这些地址，每年收入约3600万美元。该公司正在创建一个特殊目的的、破产隔离的子公司来持有这些地址，即使Cogent破产，债券持有人也可以从该子公司获得这些地址并在市场上出售。IPv4地址的潜在价值取决于市场需求，而云计算公司一直是最大的买家。
每个有志向的程序员都应该至少访问一次的网站 (cscrunch.com)
本文精选了各个主题的网站，对于有志向的程序员来说这些网站必不可少。这些网站涵盖了编程语言、框架、工具和资源，是程序员学习、成长和保持领先地位的宝贵资源。其中一些网站提供交互式教程、代码示例和社区论坛，而另一些网站则提供行业新闻、最佳实践和专家见解。无论您的技能水平或兴趣如何，这些网站都能为您的编程之旅提供支持和指导。
CookingSense：一个具有多学科断言的烹饪知识库 (arxiv.org)
本文介绍了 CookingSense，这是一个从网络数据、科学论文和食谱等各种来源提取的烹饪领域知识断言的描述性集合，从中获得了涵盖广泛方面的知识。CookingSense 通过一系列基于字典的过滤和基于语言模型的语义过滤技术构建，从而形成了一个丰富的多学科食品相关断言知识库。此外，我们还提出了 FoodBench，这是一个用于评估烹饪决策支持系统的新颖基准。通过 FoodBench 的评估，我们凭经验证明 CookingSense 提高了检索增强语言模型的性能。我们还通过定性分析验证了 CookingSense 中断言的质量和多样性。
State Farm 宣布一项重大的保险变更 (finance.yahoo.com)
State Farm 宣布推出一项新的保险变更，将使房主和企业主的保险费降低。该公司宣布，从 2023 年 7 月 1 日起，将把汽车保险费平均降低 6%，房屋保险费平均降低 12%。State Farm 表示，这些变化是由于该公司的财务业绩强劲以及对客户服务的承诺。该公司还宣布，将投资 10 亿美元用于其数字平台，以改善客户体验。
GitHub - verus-lang/verus: 用于低级系统代码的经过验证的 Rust (github.com)
Verus 是一个用于验证 Rust 代码正确性的工具。 开发人员编写代码应该做什么的规范，Verus 会静态地检查可执行的 Rust 代码是否在代码的所有可能执行中始终满足规范。 Verus 没有添加运行时检查，而是依靠强大的求解器来证明代码是正确的。 Verus 目前支持 Rust 的一个子集（我们正在努力扩展），并且在某些情况下，它允许开发人员超越标准的 Rust 类型系统，并静态地检查代码的正确性，例如，操作原始指针。
Analog Sky 魔法观星双筒望远镜，50mm 双筒望远镜 (www.analogsky.co)
Analog Sky 魔法观星双筒望远镜是一款DIY套件，通过视频课程指导用户组装，旨在提供一种全新的沉浸式观星体验。该双筒望远镜采用90度视角设计，有效减轻颈部疲劳，并可通过更换目镜实现5倍至40倍的变焦，内置激光指示器方便用户快速定位目标。此外，该产品还兼容标准2英寸观星滤镜，可提升深空天体的观测效果。
Dillo 3.1.0 发布 (dillo-browser.github.io)
Dillo 浏览器在经历了漫长的沉寂后，发布了 3.1.0 版本。此次更新包含自 2015 年 3.0.5 版本以来的大量改进，包括支持浮动 HTML 元素、默认启用 HTTPS、添加 CI 管道以在 Ubuntu、MacOS、FreeBSD 和 Windows 上构建 Dillo、自动 HTML 渲染测试以及改进和扩展 Dillo 手册等。
如何建造一座价值200亿美元的半导体工厂 (www.construction-physics.com)
这篇文章详细介绍了建造一座现代半导体工厂所需的技术和成本。由于摩尔定律的驱动，半导体元件尺寸不断缩小，对制造环境的精度要求也越来越高。文章从半导体制造工艺的四个基本操作（ layering, patterning, doping, and heat-treating）出发，阐述了建造过程中需要克服的挑战，例如微粒污染、震动控制、电磁干扰等。文章还介绍了工厂的结构，包括洁净室、子晶圆厂、支持设施等，以及这些设施所需的特殊设备和严格的建造标准。最后，文章分析了半导体工厂成本不断上升的原因，包括设备成本、建筑成本、工艺复杂性增加等。
使用统一内存和 OpenMP 将 HPC 应用程序移植到 AMD Instinct™ MI300A (arxiv.org)
本文介绍了如何利用 AMD Instinct™ MI300A 的统一内存和 OpenMP 5.2 标准将高性能计算 (HPC) 应用程序移植到该平台。文章重点介绍了统一内存架构的优势，包括简化数据管理、提升开发效率以及与 OpenMP 的良好兼容性。文章以 OpenFOAM 软件为例，展示了如何利用 OpenMP 指令轻松地将完整应用程序卸载到 MI300A APU 上。
杰克·多西的Block公司将每月比特币利润的10%用于购买比特币 (bitcoinist.com)
杰克·多西的金融服务和数字支付公司Block宣布，将开始将其每月比特币相关毛利润的10%用于购买比特币。这一决定是在Block公布2024年第一季度收益后做出的，该公司在比特币业务中获得了可观的利润。仅在第一季度，Block就报告了8000万美元的比特币相关毛利润。如果这种趋势持续下去，新的美元成本平均(DCA)计划的实施可能会使该公司在一年内投资约2400万美元购买比特币。
大数据揭示了全球航空旅行对气候的真正影响 (norwegianscitechnews.com)
这项研究分析了来自全球航空公司 5 年的 240 亿条航班数据，并发现航空旅行的碳足迹比以前估计的要大得多。研究发现，航空旅行占全球温室气体排放量的 8.5%，比之前认为的 2.5% 高出很多。
世界最高天文台在智利的阿塔卡马高原开放 (www.space.com)
日本东京大学阿塔卡马天文台 (TAO) 在智利阿塔卡马高原上正式开放。该天文台位于海拔超过 16,400 英尺（5,000 米）的地方，是世界上海拔最高的天文台。TAO 将使用最先进的技术研究暗能量以及其他宇宙学课题。