Zig 语言没有内置接口的概念，但这并不意味着它不支持多态性。本文介绍了一种在 Zig 中实现动态分发的多态性的方法，通过使用 vtable 接口，将接口和实现清晰地分离，无需修改实现类型，即可实现动态分发。这种方法利用函数指针构建 vtable，并通过 `implBy` 函数连接实现和接口，最终实现了像传统面向对象语言中接口一样的功能，支持将不同实现存储在数组或映射中。虽然存在一些样板代码，但这种方法的优点是简洁、灵活且可重用，且对实现类型的影响极小。
阅读更多
作者用四天时间，借助AI编程助手Claude，创造了一个名为Protocollie的软件。这并非依靠精湛的编程技巧，而是通过四个文档（架构概述、技术考量、工作流程、故事分解）来引导AI，将模糊的想法转化为可运行的代码。作者将此过程比作“往墙上扔意大利面”，强调实验性而非预先计划，展现了AI时代编程方式的变革，程序员角色的转变以及对未来不确定性的接纳。
阅读更多
著名极限运动员Felix Baumgartner在意大利一次滑翔伞事故中不幸去世，享年56岁。Baumgartner因2012年从平流层边缘跳伞而闻名于世，他以超过音速的速度坠落地面，创造了历史。此次事故发生前几小时，Baumgartner还在Instagram上发布了“风太大”的信息。Red Bull公司对他的去世表示哀悼，称其为一位“天生飞行家”，并回顾了他辉煌的职业生涯，包括创下多项世界纪录，如从马来西亚双子塔跳伞和从巴西基督像跳伞等。Baumgartner的逝世标志着极限运动界一位传奇人物的陨落，他用自己的勇气和决心，激励了无数人追逐梦想。
阅读更多
作者尝试记录西班牙5G n78频段（3.3-3.8GHz）的信号，以分析其特性。由于该频段带宽较大（通常为100MHz），使用普通SDR设备难以完整捕捉。作者与穆尔西亚大学ANTS研究小组合作，利用高端USRP设备和多天线进行数据采集。过程中遇到USRP X410在该频段存在干扰的问题，最终使用USRP N310和高性能存储设备成功记录了来自Movistar, Orange和Vodafone的5G信号，并以SigMF格式发布了数据集。
阅读更多
研究人员使用MathArena平台评估了五种最先进的大型语言模型（LLM）在2025年国际数学奥林匹克竞赛（IMO）中的解题能力。结果显示，Gemini 2.5 Pro表现最佳，但其得分仅为31%（13分），远低于获得铜牌所需的19分。其他模型表现更差。研究使用了最佳-n选择策略，为每个问题生成32个答案，然后通过LLM评判筛选出最佳答案，这极大地增加了计算成本。尽管如此，结果表明，当前的LLM在解决IMO这种高难度数学问题方面仍然存在很大差距，即使在大量计算资源的投入下也未能达到奖牌水平。研究还对模型的错误类型进行了定性分析，发现一些模型存在诸如引用不存在的定理、答案过于简短等问题。
阅读更多
一项新的研究表明，早期太阳系中一颗恒星的飞掠事件，塑造了海王星外天体（TNO）奇特的轨道和颜色分布。科学家们通过超级计算机模拟，模拟了一颗0.8倍太阳质量的恒星飞掠太阳系原行星盘的过程，成功再现了TNO的螺旋臂状分布、轨道特征及其红到灰色的颜色梯度。模拟结果表明，颜色与轨道倾角相关，红色天体主要位于低倾角轨道，而绿色到蓝色天体则占据高倾角轨道。这项研究为早期太阳系中恒星飞掠事件提供了新的证据，并为未来韦拉·鲁宾天文台的观测提供了预测，有望加深我们对太阳系形成的理解。
阅读更多
Linux Secure Boot 系统依赖于一个即将在9月过期的微软密钥。此密钥用于签名引导Linux内核的第一阶段UEFI引导加载程序（shim）。虽然微软自2023年提供了新的密钥，但许多系统可能尚未安装，甚至可能需要硬件厂商更新固件。这将给Linux发行版和用户带来额外的工作。一些系统可能需要通过LVFS和fwupd更新固件，但这并非总是有效，一些老旧的BIOS可能存在空间不足的问题，甚至需要重置BIOS才能成功更新。厂商提供的更新也可能存在问题，例如某些厂商丢失了平台密钥。最终，禁用Secure Boot可能是某些情况下唯一的选择。
阅读更多
arXivLabs是一个允许协作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与坚持这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
全球每年产生超过6000万吨电子垃圾，其中很多是还能用的电脑。惠普推出PCFax，类似于汽车的CarFax报告，记录电脑的完整使用和维护历史。通过在固件层嵌入安全遥测功能，收集并存储电脑的健康和使用数据，这些数据存储在SSD的写保护区域，防止未经授权的访问。PCFax报告整合了来自多个来源的数据，包括工厂记录、客户支持记录等，为IT团队和二手电脑买家提供全面的设备历史信息，促进二手电脑的再利用，减少电子垃圾，并提升电脑资源利用效率。未来，惠普还计划整合AI，预测潜在故障，进一步提升效率。
阅读更多
奥地利极限运动员菲利克斯·鲍姆加特纳（56岁）周四下午在意大利马尔凯大区阿德里亚海沿岸城市波尔托圣埃尔皮迪奥的一次滑翔伞事故中不幸身亡。消防部门称，鲍姆加特纳因突发疾病失去对动力滑翔伞的控制，坠入酒店泳池，当场身亡。事故还造成一名酒店员工受伤。鲍姆加特纳因2012年从36公里高空跳伞而闻名世界，他的一生充满了惊险刺激的挑战和争议言论。他的离世令全球惋惜，也引发了人们对极限运动安全性的反思。
阅读更多
Piramidal公司招聘一名软件工程师，负责其神经数据旗舰平台的基础设施和后端系统建设及维护。该职位需要与机器学习工程师紧密合作，迭代应用最新的模型，并与产品团队及内部客户合作，解决问题，实施有效方案。理想候选人拥有5年以上产品驱动型公司工程经验，精通Python和其他后端语言，熟悉容器化和编排技术（例如Kubernetes），熟练掌握关系型数据库（例如Postgres/MySQL）和Web技术（例如JavaScript, React）。公司致力于利用科技最大限度地提升人类潜能，支持认知自由。
阅读更多
一位作者分享了他拒绝使用大型语言模型（LLM）进行写作的原因。他认为，过度依赖LLM会降低写作原创性，削弱独立思考能力，并使写作过程缺乏个性化的深度思考和联想。他引用了MIT和英国的研究，佐证了LLM可能导致认知惰性和降低学习动机。此外，作者认为LLM生成的文本缺乏个性和情感，无法捕捉阅读过程中产生的独特联想和顿悟，这与他所追求的深度阅读体验相悖。他最终选择坚持独立写作，认为只有这样才能保持写作的真实性和原创性。
阅读更多
本文作者，一位经验丰富的自行车技师，发出警告：现代自行车的轻量化和高度集成化设计，虽然提升了性能，却也增加了安全隐患。从车把、转向管到轮胎、刹车，甚至链条、座杆等看似不重要的部件，都可能因设计缺陷、安装不当或使用不当而导致事故。作者呼吁骑行者和技师们重视每一个部件的安全，定期检查维护，并选择信誉良好的品牌和技师进行维修保养。
阅读更多
这款开源的 Firefox 桌面扩展程序可以阻止 YouTube 的自动翻译功能。它可以保留视频标题、音频轨道和描述的原始语言，并只显示所选语言的真实字幕（忽略自动生成的字幕）。该扩展程序完全免费，但用户可以选择通过 Ko-fi 进行捐赠以支持开发。Chrome 浏览器用户也可以在 Chrome 网上应用店找到它。
阅读更多
美国国务卿马可·卢比奥宣布，除了亚历山大·德·莫赖斯法官外，还将撤销其他七名巴西最高法院法官的签证。此举是针对巴西最高法院对前总统博索纳罗下达搜查令及限制令的回应，这些令状源于博索纳罗涉嫌寻求美国总统特朗普干预巴西法院的指控。博索纳罗否认所有指控，并称法院的行动是“懦弱”的表现。这一事件加剧了美巴两国之间的紧张关系，也凸显了特朗普对博索纳罗的支持。
阅读更多
Ilograph提供两种团队协作绘图订阅方案：Team和Team+。Team方案最多支持5位编辑，最多20位查看者，提供无限团队图表和图表历史记录以及自定义图标功能；Team+方案则支持6位及以上编辑，查看者数量不限，并额外提供单点登录、图表导出、API访问和可分享链接等高级功能。选择哪个方案取决于团队规模和对高级功能的需求。
阅读更多
传统观点认为多边形数量决定渲染性能，但现代渲染更受微小三角形的影响。文章指出，微小三角形（小于10x10像素）的渲染成本呈指数级增长，因为GPU会计算整个2x2像素块，即使三角形只覆盖其中一个像素。作者建议关注“线框视图密度”，当视图接近实心时，应切换到更低细节等级的模型，或直接使用单个LOD和远处遮挡物（imposter）。Epic的Nanite技术通过计算着色器和屏幕空间着色器来解决这个问题，将微小三角形的渲染成本降到最低。
阅读更多
Oddly Specific Objects推出了无需焊接的Sensor Watch Pro，升级经典卡西欧F-91W腕表。它配备加速度计和定制LCD，显示效果更佳，且提供浏览器端模拟器方便调试固件。升级过程简单，只需拆卸原表，替换内部组件即可。作者还自定义了固件，去除了英制单位和12小时制，并添加了计数器、加速度计和光线传感器显示屏。
阅读更多
你是否好奇为什么一个14KB的网页加载速度远快于15KB的网页？这并非偶然，而是TCP慢启动算法的结果。文章解释了TCP协议如何可靠地传输数据，以及慢启动算法如何通过逐步增加发送的数据包数量来优化网络带宽利用率。尤其在高延迟网络环境下，例如卫星互联网，减少网页大小至关重要，因为每个往返时间的延迟都可能导致显著的加载时间增加。文章建议开发者将网页大小控制在14KB以内，或者至少确保前14KB数据包含关键内容，以提升用户体验。
阅读更多
本文讲述了New World Computing公司在1999年推出《英雄无敌3》和《魔法门7》的幕后故事。创始人Jon Van Caneghem对赛车的热情日渐高涨，导致他对游戏的热情下降，公司面临挑战。然而，《英雄无敌3》由David Mullich和新人Greg Fulton开发，在有限的预算和时间内，成功地延续了前作的成功，成为系列最受欢迎的作品。同时，《魔法门7》作为系列续作，虽然没有革命性创新，但在细节上有所提升，并加入了广受好评的卡牌游戏Arcomage。尽管两款游戏在商业上取得成功，但这也标志着New World Computing巅峰时期的结束，为日后的衰落埋下伏笔。
阅读更多
Kimi研究员团队在设计AI研究报告界面时，并非一蹴而就，而是经历了漫长的迭代过程。最初简洁的UI设计被认为“平庸”，团队因此制定了“反平庸”的设计标准，并通过案例分析、团队协作，不断完善设计。过程中，他们面临“美观性、交互性和数据准确性”的“不可能三角形”挑战，通过大量测试和实验，最终采用Bento布局、意大利斜体与粗体字搭配等设计元素，并加入JS动画提升交互性，最终实现了兼具美观、实用和准确性的设计。团队强调协作的重要性，以及持续迭代的重要性。
阅读更多
本文讲述了一个团队如何通过恢复被破坏的任天堂Wii U工厂测试SD卡数据，意外发现并利用Boot1漏洞的故事。团队成员WiiCurious收集了大量被损坏的SD卡，DeadlyFoez通过精湛的焊接技术修复并读取了其中的数据。逆向工程师Rairii在这些数据中发现了Boot1漏洞，并开发了名为“paid the beak”的exploit，可以修复大多数Wii U软件砖。同时，团队成员还开发了利用Raspberry Pi Pico和PICAXE 08M2模拟工厂专用工具的方案，以触发该漏洞。该exploit为修复Wii U砖提供了更便捷的方法，无需拆机焊接。
阅读更多
微软近期进行了大规模裁员，超过15000名员工被解雇，引发业内震动。此次裁员波及多个部门，包括游戏工作室、销售团队和AI团队，甚至一些资深员工和长期贡献者也未能幸免。裁员背后，是微软在AI时代战略调整的无奈之举，以及对未来发展方向的迷茫。虽然微软声称要将资源集中在AI领域，但此次裁员的粗暴方式和一些不当的应对措施，却暴露了其内部管理的混乱和对员工的缺乏尊重。这不仅对微软的企业文化造成负面影响，也引发了业界对AI时代科技公司发展模式的深思。
阅读更多
微软宣布将于7月18日关闭其微软商店中的电影和电视商店，这意味着用户将无法再通过微软商店购买新的电影和电视内容。虽然此前微软已于2017年关闭了Groove音乐流媒体服务，但这标志着微软近20年在线销售电影和电视的业务正式结束。用户此前购买的内容仍可通过电影和电视应用程序访问，但微软建议用户转向Netflix、亚马逊Prime Video等第三方平台。此举对长期依赖微软平台的用户来说可能造成不便，他们需要重新适应新的平台和服务。
阅读更多
LibreOffice 近日再次抨击微软，指责其故意使用过于复杂的 OOXML 文件格式（如 .docx, .xlsx）来锁定用户，使其难以切换到其他办公套件。LibreOffice 认为，虽然 XML 本应促进互操作性，但微软的 OOXML 格式过于复杂，如同一个只有微软才能制造的“火车”，其他厂商无法构建兼容的“火车”，从而限制了竞争。文章以铁路系统作比喻，生动形象地说明了微软这种行为的本质，并呼吁用户转向 Linux 和 LibreOffice。
阅读更多
一场Coldplay演唱会上，公司CEO和首席人事官在巨蛋屏幕上被拍到亲密举动，引发网络热议。此事并非简单的八卦，它暴露了我们无需等待AI监控就能实现自我监控的可怕现实。从波士顿马拉松爆炸案的错误指控到日常生活中因不当行为被网络曝光而丢掉工作的人，我们乐于利用科技来惩罚那些我们认为违反社会契约的人。我们口袋里的手机就是监控工具，网络就是审判场。与其担心大型科技公司监控，不如先看看我们自己，我们是否已经成为我们自己最严厉的监察者？
阅读更多
注重隐私的搜索引擎DuckDuckGo上线了新的设置，允许用户过滤搜索结果中的AI生成图片。此举是为了回应用户反馈，许多用户表示AI图片干扰了他们寻找真实图片。用户可以在DuckDuckGo的图片搜索页面找到“AI图片”下拉菜单，选择“显示”或“隐藏”来控制AI图片的显示。DuckDuckGo表示该功能依赖于手动维护的开源黑名单，虽然不能完全过滤所有AI图片，但能显著减少其数量。未来DuckDuckGo计划添加更多过滤器。
阅读更多
英特尔已停止对Clear Linux OS的支持，该操作系统在其近十年的发展历程中曾备受瞩目。这一举动来得突然，没有详细说明原因，也未提供迁移路线图。Clear Linux OS以其高性能和对英特尔硬件的优化而闻名，但最终未能获得主流采用。对于仍在使用该系统的用户，英特尔建议尽快迁移到其他活跃维护的Linux发行版，例如Fedora、Ubuntu或Arch Linux。Clear Linux OS的终结提醒我们，即使是大型公司支持的Linux发行版也可能随时消失。
阅读更多
纽约苏富比拍卖会上，一块重达25公斤的火星陨石NWA 16788以530万美元成交，成为有史以来拍卖价格最高的陨石。然而，这场拍卖的焦点却是一具罕见的年轻恐龙骨骼化石，它在激烈的竞价中以3050万美元的高价成交，成为拍卖会上的最大赢家。这具属于Ceratosaurus nasicornis的幼年恐龙骨骼化石，是已知的仅有的四具完整骨骼之一，也是唯一一具幼年骨骼。 这块火星陨石的发现者在2023年11月于撒哈拉沙漠发现它，它经历了漫长的太空旅行，最终落到地球。
阅读更多
科学家首次在逻辑量子比特上实现了“魔法态蒸馏”，这是构建容错量子计算机的关键一步。这项技术能够纯化量子态，使其能够运行复杂的量子算法，从而实现超越超级计算机的计算能力。这项突破标志着量子计算领域取得了重大进展，为构建真正实用的量子计算机铺平了道路。
阅读更多