一款用Rust和ggez引擎开发的复古风格赛车游戏，致敬经典游戏《TRON》。游戏支持单人和双人模式，玩家可以操控光轮在赛道上竞速，留下轨迹并避免碰撞。游戏中设有AI对手，难度可调，并增加了能量冲刺等策略性玩法。游戏画面采用8-bit复古风格，并加入了粒子特效等视觉效果。项目开源，基于MIT许可证。
阅读更多
Intuitive Machines公司的第二个月球着陆器“雅典娜”号于3月6日着陆月球南极附近时翻倒，最终未能完成既定科学任务。尽管如此，NASA的月球勘测轨道器(LRO)拍摄到了“雅典娜”号及其着陆点的照片，为未来的月球探测提供了宝贵的经验。这次任务虽然以失败告终，但其在极地恶劣环境中的尝试，为未来在该区域寻找水冰资源的探索铺平了道路。
阅读更多
作者在 Rust 到 C 编译器项目上取得了显著进展，核心测试通过率达到 95.9%，并在 Rust Week 大会上进行了演讲。文章详细介绍了修复 128 位整数内在函数、检查算术运算和子切片错误等问题，并讨论了对 C 编译器兼容性的改进，以及对内存效率更高的内部 IR 的迁移。尽管遇到了一些挑战，例如在某些平台上获取编译器存在困难，但作者仍致力于提高 C99 兼容性并支持更多平台。
阅读更多
谷歌今天发布了Android 16系统，率先支持Pixel系列手机，其他品牌手机将在今年晚些时候陆续更新。这是Android近年来最早发布的重大版本更新，旨在让用户更快地获得最新功能。Android 16引入了Material 3 Expressive设计，提升了易用性和可访问性。新特性包括：实时更新通知，让你无需频繁打开应用即可了解外卖或网约车等实时状态。该功能初期支持部分外卖和网约车应用，并与三星的Now Bar、OPPO和一加的实时提醒功能集成。
阅读更多
Gartner预测，生成式AI市场将在未来几年经历大规模整合，最终可能仅剩少数巨头。目前，众多大型语言模型（LLM）提供商面临着高昂的研发和运营成本，而市场竞争日益激烈，导致许多公司难以盈利。 Gartner分析师John-David Lovelock认为，市场将走向类似云计算市场的格局，由少数几家巨头主导。企业用户也更倾向于采用现成的商业解决方案，而非自行研发。虽然生成式AI市场增长迅速，预计到2025年将达到6440亿美元，但LLM提供商们目前的首要任务是迅速获得市场份额，而非盈利。这场竞争将导致一些公司被淘汰，但过程会相对缓慢，不会像互联网泡沫破裂那样迅速。
阅读更多
Google AI Studio迎来重大更新，集成Gemini 2.5 Pro模型，显著提升代码生成能力。开发者可通过简单的文本、图片或视频提示，快速构建和部署AI驱动型网页应用。新版本还整合了Imagen、Lyria RealTime和Veo等多模态模型，支持一键部署至Cloud Run，并提供便捷的代码版本比较和回滚功能。此外，新增原生音频支持和URL Context工具，进一步增强了应用的交互性和信息获取能力。
阅读更多
微软发布了Edge浏览器的Copilot模式，这是一项实验性功能，利用AI技术重新定义网络浏览体验。Copilot模式通过整合搜索、聊天和导航功能于一体的输入框，理解用户意图并提供更快捷的浏览体验。它可以跨越多个打开的标签页理解上下文，帮助用户进行比较、决策并更高效地完成任务。Copilot模式还支持语音导航以及访问浏览器历史记录和凭据等高级功能（需用户授权），进一步提升用户效率。未来，Copilot模式将持续改进并添加更多功能，用户可随时在设置中关闭该模式。
阅读更多
智谱AI发布了其最新的旗舰模型GLM-4.5和GLM-4.5-Air，它们将推理、编码和自主能力融为一体。GLM-4.5拥有3550亿参数，GLM-4.5-Air拥有1060亿参数。这两个模型都采用混合推理模式，可在复杂推理和工具使用中进行思考，也可快速响应。它们在多个基准测试中取得了领先的成绩，尤其在自主任务方面表现出色，例如网页浏览和代码生成。模型权重已在Hugging Face和ModelScope上公开发布。
阅读更多
CopyParty是一个令人惊叹的项目，它能将几乎任何设备（包括你的旧电脑）变成一个功能强大的文件服务器，支持任何网络浏览器进行可恢复的上传和下载。它具有友好的用户界面，支持各种文件类型，并提供丰富的功能，例如文件索引、媒体预览、音频转码、权限控制等等。只需运行`copyparty-sfx.py`即可快速上手，或者访问地下室NUC上的只读演示服务器。CopyParty的目标是简单易用，功能强大，并且在各种环境下都能运行良好，是一个理想的紧急文件传输解决方案。
阅读更多
大型语言模型（LLM）在代码生成方面表现出色，但其上下文窗口的限制使其难以处理大型代码库。文章探讨了LLM辅助编程的“效能”：用多少token表达一个程序。作者认为，Python比Go更适合LLM，因为其更简洁，能容纳更多功能在token限制内。 进一步推测，Ruby，以其简洁优雅著称，可能是LLM的理想语言，因为它能用更少的token表达更多功能。 尽管存在一些问题，如缺乏类型检查，但Ruby的“以人为本”设计使其成为LLM的潜在最佳选择，这颇具讽刺意味。
阅读更多
一项新的研究量化了电动汽车在减少有害尾气排放和减少个人车辆产生的其他类型污染方面的贡献。研究发现，电动汽车的再生制动系统可减少高达83%的刹车粉尘，远高于混合动力车和插电式混合动力车的减排效果。尽管电动汽车的轮胎磨损略高于燃油车，但由于刹车粉尘更容易成为空气污染物，电动汽车的整体非尾气排放仍显著减少。研究建议，除了推广电动汽车外，还应优先发展公共交通，鼓励步行和骑自行车，并研发更耐磨的轮胎和刹车片。
阅读更多
Anthropic的Claude AI模型现在可以通过网络搜索来获取最新的信息，从而提供更准确、及时的答案。此功能允许Claude访问最新的事件和数据，并直接引用来源以方便事实核查。付费用户（美国地区）可以立即启用此功能，免费用户及其他地区将很快支持。这项更新使得Claude能够在销售、金融分析、研究和购物等领域提供更有效的帮助，例如分析行业趋势、评估市场数据、撰写研究报告和比较产品信息等。
阅读更多
HDMI论坛正式发布了下一代视频标准HDMI 2.2，其最大带宽可达96GB/s，得益于全新的Ultra96线缆。这将支持16K 60Hz和12K 120Hz分辨率（带色度子采样），以及4K 240Hz 12位色深无压缩输出。虽然与DisplayPort 2.1b相比带宽优势有限，但HDMI 2.2依然具有显著提升，并具备向后兼容性以及新的音频视频同步技术。AMD的下一代RDNA GPU预计将成为首批采用HDMI 2.2的显卡之一，但其具体支持的带宽还有待观察。
阅读更多
法国海关部门报告称，2024年查获了创纪录数量的掺有伟哥和其他药物的非法进口“壮阳蜂蜜”。这种蜂蜜主要来自土耳其、北非和东南亚，在法国黑市和夜店以“纯天然”性增强剂的名义出售。但实际上，它常常含有西地那非或他达拉非等药物成分，这些成分与其他药物（例如治疗高血压的药物）相互作用可能很危险。去年11月，马赛海关一次性查获了来自马来西亚的13吨此类蜂蜜。美国食品药品监督管理局（FDA）也于2021年和2022年发布警告，提醒消费者注意声称具有“性增强”功效的蜂蜜类补充剂的风险。
阅读更多
德国弗劳恩霍夫研究所开发了一种名为VibroDraw的超声波深冲压技术，通过在冲压过程中引入超声波振动，显著降低了摩擦力（至少20%），从而减少材料损伤、延长工具寿命，并提高生产效率。该技术已成功应用于汽车高压电池的电芯外壳制造，未来有望进一步提升电动汽车续航里程。
阅读更多
本文深入浅出地讲解了现代 C++ 中的 RAII（资源获取即初始化）机制。RAII 通过将资源管理与对象生命周期绑定，利用构造函数获取资源，析构函数释放资源，从而避免资源泄漏。文章以文件描述符为例，展示了如何通过 RAII 实现安全的文件操作，并解释了“三法则”、“五法则”以及“零法则”的概念，以及如何避免资源管理中的常见错误。最终，文章总结了 RAII 的优势和局限性，并提供了进一步阅读的资源。
阅读更多
两位生物物理学家研究了牧羊犬如何控制羊群，发现牧羊犬利用羊群的随机行为，而非抑制它。他们通过观察比赛和建模，发现牧羊犬采用两步法：先轻推羊群，再靠近驱赶。这启发了他们设计算法，预测小型、易变群体行为，并可能应用于机器人和无人机编队等领域。尽管模型仍有局限性，但这项研究为群体控制策略提供了新的视角。
阅读更多
这个C语言程序高效地计算给定位数的右截断素数数量。它使用自定义哈希表进行快速素数查找，并使用primesieve库进行高性能素数生成。右截断素数是指一个素数，当其最右边的数字被连续移除时，会产生一系列素数。程序可以计算1到19位数的右截断素数，并给出运行时间。例如，对于8位数，它找到了5个8位右截断素数，以及总共83个右截断素数。
阅读更多
微软最新补丁星期二更新中披露了五个Windows零日漏洞，引发了对系统安全性的担忧。此外，微软的Recall功能（屏幕截图功能）也受到了广泛批评，其每隔几秒钟捕获并存储用户屏幕内容的做法被认为存在严重隐私风险，即使用户未启用该功能，政府也可能强制开启，进一步加剧了担忧。
阅读更多
美国国家科学基金会（NSF）近日裁员168人，引发科技界担忧。此次裁员旨在响应特朗普政府精简联邦政府的行政命令，但许多被裁员工为项目官员，负责评估科研经费申请，其离职将严重影响科研项目的推进和评审，延缓科学发现，并可能损害美国的科技竞争力。被裁员工中包括一些表现优异的员工，甚至有在试用期内被违规解雇的情况，引发争议。此举不仅浪费资源，也打击了科研人员的积极性，对美国科技发展造成负面影响。
阅读更多
一个渔夫捞到一条会说话的比目鱼，比目鱼许诺满足妻子的一切愿望。起初，妻子想要一间小屋，然后是宫殿，接着是国王的地位，最后甚至想成为教皇，甚至上帝！然而，每一次愿望实现后，妻子的贪婪都变本加厉。最终，他们失去了所有，回到了破旧的小屋。这个故事警示了人们贪婪的危害，以及知足常乐的重要性。
阅读更多
2024年，Jeff Keacher、Sean Beever和Sophie设计出一款无需电池的电子贺卡。这款贺卡巧妙地利用环境中的无线电波和光能（而非传统太阳能电池板）为LED灯供电，并能通过2.4GHz WiFi网络进行远程控制。其设计注重节能，平均功耗仅为400纳瓦，甚至可利用微波炉泄漏的射频能量供电。
阅读更多
以色列希伯来大学的物理学家团队发现，玫瑰花瓣独特的形态并非简单的生长，而是由一种名为“Mainardi-Codazzi-Peterson不相容性”的几何受挫机制所驱动。该机制导致花瓣在生长过程中无法实现理想的平滑弯曲，从而形成多个卷曲和尖锐的边缘。这项研究结合理论分析、计算机模型和物理实验，揭示了玫瑰花瓣形状形成的物理机制，并为新型形状变形材料的研发提供了启示。
阅读更多
阿联酋的G42公司与Mohamed bin Zayed人工智能大学合作，发布了名为K2 Think的开源AI模型，在标准基准测试中与OpenAI的ChatGPT和中国的DeepSeek不相上下。K2 Think参数量仅为320亿，却超越了参数量大20倍的旗舰推理模型，在数学性能方面也领先所有开源模型。阿联酋大力投资AI，旨在经济多元化，摆脱对石油的依赖，并积极参与全球AI竞争，这与沙特阿拉伯和卡塔尔等国的举动类似。然而，阿联酋与美国合作建设AI数据中心也面临国家安全审查。
阅读更多
作者认为，对于工程师而言，对所用技术的浅层理解就足够了。深入理解数据库索引、大型语言模型等技术，能帮助工程师做出更明智的决策，例如选择合适的模型进行JSON输出，并避免因小模型的局限性而导致错误。作者建议，与其深入研究某一领域，不如广泛了解多个领域，这样才能更好地适应新的技术趋势。学习新技术时，应注重理解其背后的基本原理，并能用通俗易懂的语言解释给其他人，同时利用大型语言模型进行事实核查，以确保理解的准确性。
阅读更多
马斯克旗下人工智能公司xAI在孟菲斯的数据中心因使用35台甲烷燃气涡轮机而引发强烈反弹。这些涡轮机被认为是“临时”的，因此无需联邦排放许可，但其排放的NOx和其他有害空气污染物（如甲醛）对当地环境造成严重影响。更令人担忧的是，这些涡轮机未安装减排设备，仅计划在获得空气排放许可后才安装。这引发了公众对xAI环境责任的质疑，以及对“临时”豁免的质疑。卫报的报道更指出，实际运行的涡轮机数量与市长说法不符，加剧了争议。
阅读更多
作者在安全课程中发现虚拟机更新文件（*.gpg）包含用于提交答案的令牌。通过分析更新程序installUpdate，发现其使用GPG解密，并依赖于`/root/.vmPassphrase`和`/root/.gnupg`文件。作者通过挂载虚拟磁盘，获取这些文件，成功解密更新文件，提取令牌并提前完成作业。更新文件包含Java代码，用于生成基于AES加密的令牌。作者指出，这种攻击方式依赖于对虚拟机磁盘的完全访问权限，并提出了使用远程虚拟机的改进方案。尽管提前完成作业，作者仍然强调学习过程的重要性，并表示最终仍需认真完成课程作业。
阅读更多
OpenAI建议特朗普政府介入，以联邦法规优先于州级法规，从而保护人工智能公司免受日益增多的州级监管困扰。OpenAI认为，数百项待决的州级人工智能相关法案可能会损害美国的科技进步。作为交换，公司将自愿向联邦政府提供其AI模型。此举旨在应对来自中国的竞争，并确保美国在人工智能领域的领导地位。OpenAI建议美国人工智能安全研究所作为政府与私营部门之间的主要联络点。
阅读更多
作者回顾了在硅谷早期使用BugSplat进行项目管理的经验，它遵循四个关键原则：所有任务均作为bug记录，bug记录拥有统一且详尽的模式，每个bug只分配给一人负责，以及灵活的查询功能。作者发现现今的GitHub Issues等系统远不如BugSplat高效，因为它缺乏完善的模式，责任分配模糊，查询功能有限。文章最后介绍了作者团队如何通过改进开源项目Gitea来弥补这些不足，最终实现按优先级排序bug列表的功能。
阅读更多