面对SpaceX的竞争，欧洲航天产业正面临严峻挑战。法国总统马克龙在巴黎航展上呼吁加大投资，称欧洲正濒临被挤出低轨卫星星座市场。他强调欧洲必须再次成为太空强国，并计划于2026年初举行太空峰会，以促进国际合作，提升欧洲在太空领域的竞争力，法国已增持Eutelsat股份，力图对抗Starlink。
阅读更多
本文反驳了“美是主观感受”的观点，认为美遵循原则、结构，是可被有意创造的。优秀的设计，通过层次、对称、构成和留白等手段，创造出易于理解和使用的界面。研究表明，美观的界面被认为更易用，这并非浅层偏见，而是因为美感暗示了设计者的用心和专业，从而提升用户信任感。设计并非后期装饰，而是从根本上塑造产品结构和流程，是系统性思维的体现，其最终目标是使产品更易于理解和使用。
阅读更多
美国多地学校发出警告，学生们正在效仿TikTok上的“Chromebook挑战”，故意损坏学校发的Chromebook，导致设备冒烟甚至起火。学生们用笔、回形针等物品插入Chromebook接口，造成短路。这已导致学校紧急疏散、提前放学甚至发生火灾，学生还可能面临纪律处分或法律诉讼。康涅狄格州一中学生因将剪刀插入Chromebook导致冒烟，甚至造成学生吸入烟雾送医，将面临刑事指控。
阅读更多
全球最大零售商沃尔玛宣布全面进军超快 DC 快充电动汽车基础设施建设，计划到2030年在其超过5200家美国门店部署数千个充电桩。此举旨在满足日益增长的电动汽车需求，并为顾客提供购物的同时充电的便利。沃尔玛将采用Alpitronic和ABB的400kW充电设备，支持NACS和CCS1两种接口，并通过沃尔玛App提供充电服务。这一举措有望改变美国电动汽车充电格局，尤其方便居住在公寓等无法在家充电的用户。
阅读更多
2025年2月21日，币安交易所遭受了历史上最大规模的加密货币盗窃案，损失约15亿美元。攻击者并非利用智能合约漏洞，而是通过复杂的恶意软件入侵多个签名者的设备，操纵其钱包界面，在签名者不知情的情况下获取签名。调查显示，朝鲜政府支持的黑客组织（如TraderTraitor、Jade Sleet等）是幕后黑手，他们利用精密的社会工程学手段，针对性地攻击目标组织的关键人员，并拥有跨平台的恶意工具包。这起事件凸显了忽视运营安全风险的严重后果，强调了隔离签名系统、多层验证和定期安全培训的重要性。未来，类似攻击将持续发生，除非加密货币公司显著加强其运营安全措施。
阅读更多
还在为ChatGPT漫长的聊天记录中寻找重要对话而烦恼吗？ChatGPT Saved Chats浏览器扩展程序闪亮登场！它允许你一键保存和组织重要的ChatGPT对话，再也不用在无尽的聊天记录中苦苦寻找了。只需将鼠标悬停在任何聊天记录上，点击保存图标即可轻松保存。所有保存的对话都存储在本地，保护你的隐私。
阅读更多
面对昂贵、不可靠且缓慢的现代软件，作者提出了一种另类方案：选择用户量较少、更新频率低、易于修改且易于分叉的软件。他以自身经验为例，详细阐述了如何通过选择Lua和LÖVE游戏引擎等工具，构建小型、自给自足的软件生态系统，并鼓励读者通过分叉和修改现有软件来满足自身需求，最终获得更自由、更安全的计算体验。这是一种回归简单、专注于实用性的软件开发哲学，挑战了传统软件开发模式的弊端。
阅读更多
美国国家科学基金会（NSF）近日裁员168人，引发科技界担忧。此次裁员旨在响应特朗普政府精简联邦政府的行政命令，但许多被裁员工为项目官员，负责评估科研经费申请，其离职将严重影响科研项目的推进和评审，延缓科学发现，并可能损害美国的科技竞争力。被裁员工中包括一些表现优异的员工，甚至有在试用期内被违规解雇的情况，引发争议。此举不仅浪费资源，也打击了科研人员的积极性，对美国科技发展造成负面影响。
阅读更多
在Google I/O开发者大会上，我体验了与三星和高通合作开发的Android XR眼镜原型。这款眼镜外观如同普通眼镜，却内置麦克风、扬声器、摄像头和传感器，并集成Gemini AI。它能显示时间、天气，拍照并预览，还能通过语音控制Gemini获取信息，以及提供直观的Google地图导航。虽然尚不清楚续航时间和价格，但其便捷的操作和信息显示方式令人印象深刻，预示着智能眼镜的未来发展方向。
阅读更多
WebFFT是一个包含多个FFT库的元库，既有JavaScript版本，也有WebAssembly版本。它会自动基准测试所有子库并选择最佳的方案。只需几行代码即可实现快速傅里叶变换(FFT)和二维FFT，并支持实值输入。WebFFT 还提供性能分析工具，方便用户优化代码。
阅读更多
arXivLabs是一个实验性项目框架，允许协作者直接在arXiv网站上开发和分享新功能。参与其中的个人和组织都认同arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值，那就来了解一下arXivLabs吧！
阅读更多
Modal公司利用线性规划（LP）算法构建了一个资源求解器系统，解决了云计算GPU市场价格波动剧烈的问题。该系统通过分析实时需求、价格和可用性等信息，动态调整GPU实例数量，从而以最佳价格满足客户需求。即使面对各种GPU类型、CPU、RAM和不同区域的约束条件，该系统也能在几秒钟内完成资源分配，并利用价格差异节省大量成本。这套系统不仅保证了快速扩展，还通过预先的启发式算法优化和Google的GLOP求解器，确保了系统的可靠性和稳定性，让客户无需关心云计算资源的复杂性。
阅读更多
苹果和Meta在欧洲就欧盟数字市场法案（DMA）的互操作性规定展开了激烈的冲突。DMA要求大型科技公司允许竞争对手访问其核心平台服务。Meta已向苹果提出15项互操作性请求，苹果认为这将危及用户隐私和安全，可能导致Meta访问用户的所有数据。Meta则反驳称苹果的隐私担忧毫无根据，是在阻碍竞争。这场争论凸显了互操作性和用户隐私之间的紧张关系，也反映了欧盟监管机构在执行DMA方面的挑战。
阅读更多
近年来，大型语言模型（LLM）在代码生成领域取得了显著进展，但它们是否真正“理解”代码仍是一个悬而未决的问题。本文研究了LLM对代码中空值（nullable）的理解，通过外部评估（代码补全）和内部探测（模型激活分析）两种方法，发现LLM能够学习并应用关于空值的编程规则，但其理解能力会随着规则复杂度和模型参数量的增加而变化。研究还揭示了LLM内部表示空值的方式，以及这种理解能力在模型训练过程中的发展轨迹。
阅读更多
文章探讨了科学和技术之间的区别，以及当下科学界“做事者”过多而“思考者”过少的问题。作者认为，像Elon Musk这样的“做事者”善于利用现有技术解决问题，而科学的进步则需要“思考者”进行突破性的创新。文章指出，二战后的“大科学”时代，虽然取得了巨大的成就，但也导致了科学机构的僵化和创新能力的下降。作者呼吁恢复“小科学”，鼓励个人探索和好奇心驱动的研究，为“思考者”创造更多空间，以促进科学的持续发展。
阅读更多
Debian GCC构建在sbuild重构后神秘失败。调查团队历经六个阶段，最终揭开谜底：sbuild的新版初始化程序与D语言的单元测试发生冲突，导致测试程序意外终止自身进程组，从而中断构建。罪魁祸首是D语言单元测试中将-2作为进程ID的特殊值，导致其发送SIGTERM信号到错误的进程组。更换回旧版初始化程序或修改测试代码即可解决问题。
阅读更多
一群OpenAI前员工提交了一份支持马斯克起诉OpenAI的意见书，反对其从非营利组织向营利性公司的转型。他们认为，此举违背了OpenAI最初的使命，即确保AI技术造福全人类。这些前员工中一些人曾公开批评OpenAI缺乏透明度和责任感，并警告其在AI竞争中鲁莽行事。OpenAI回应称其非营利部门不会消失，但转型为公共利益公司（PBC）。这场诉讼的核心在于OpenAI的组织结构及其对AI发展方向的影响，也凸显了AI领域商业化与社会责任之间的复杂博弈。
阅读更多
Meta首席执行官扎克伯格在2022年曾提出一个“疯狂”的计划：重置所有Facebook用户的社交关系。这一计划在反垄断诉讼中曝光。由于担心Facebook失去文化影响力，扎克伯格建议清除所有用户的好友列表，让用户重新建立连接。此举引发了Facebook内部高管的质疑，最终并未实施。该事件突显了Facebook演变为更注重内容发现和娱乐平台的现状，以及Meta面临的反垄断诉讼，该诉讼指控Meta通过收购Instagram和WhatsApp来维持其垄断地位。
阅读更多
开源项目维护者们正被AI生成的低质量漏洞报告所困扰。这些报告通常质量低劣，浪费维护者宝贵的时间。Python软件基金会的安全开发人员Seth Larson指出，AI系统无法理解代码，生成的报告常常是错误的，甚至带有恶意性质。Curl项目也经历了类似的问题，维护者Daniel Stenberg直言不讳地批评了这种行为。这不仅浪费了志愿者的精力，还可能导致安全漏洞被忽视。解决这个问题需要开源社区的共同努力，包括增加资金支持，提高维护者的工作效率，以及开发更有效的过滤机制来识别和处理AI生成的垃圾报告。
阅读更多
Cogitator是一个强大的Python工具包，用于在大型语言模型（LLM）中实验和使用链式思维（CoT）提示方法。CoT提示通过引导模型在得出最终答案之前生成中间推理步骤，从而提高LLM在复杂任务（如问答、推理和问题解决）中的性能。它还可以通过提供对模型推理过程的洞察来提高LLM的可解释性。该工具包旨在简化使用流行的CoT策略和框架进行研究或将其集成到AI应用程序中的过程。它包含一个可定制且可扩展的基准测试框架，用于评估不同CoT策略在各种数据集上的性能。
阅读更多
斯坦福大学涌现出一批专注国防科技的创业公司。前海军海豹突击队员Max Susman利用学校资源，成功与政府部门达成交易。计算机科学专业毕业生Andrew Fang曾在Anduril实习，后创办国防科技公司，虽最终倒闭，却激发了更多学生对该领域的兴趣。如今，越来越多的斯坦福学生投身国防科技创业，这与政府政策变化和硅谷的影响密不可分。
阅读更多
日本东京地方法院判决亚马逊日本公司赔偿3500万日元（约合24.4万美元），原因是其未能有效阻止平台上的假冒产品销售。医疗设备制造商Try and E及其经销商Excel Plan起诉亚马逊，称因假冒脉搏血氧仪导致销售额下降。法院认为亚马逊有义务采取有效措施打击假货，但其未能阻止已知假货的销售。此案被认为是电商平台打击假货责任的里程碑式判决。
阅读更多
一篇博文引发了关于 Linux 社区包容性的激烈讨论。博主分享了一条充满傲慢和排斥性的评论，该评论批评博主使用“Linux”而不是“GNU/Linux”，并指责博主试图“简化”系统。博主反驳道，真正的“自由”不应该以牺牲弱势群体为代价，并指出 Linux 系统在可访问性方面存在严重缺陷。这引发了关于社区文化、包容性和可访问性重要性的讨论，以及对那些为改进系统做出贡献的人的尊重。
阅读更多
巴斯大学管理学院的一项新研究发现，智商越高的人，预测越准确，这有助于提升决策能力和生活质量。研究显示，低智商人群（最低2.5%）的预测误差是高智商人群（最高2.5%）的两倍多。这项研究使用了英国50岁以上人群的全国代表性样本数据，评估了他们预测自身寿命的能力。研究表明，高智商人群更擅长概率评估，在预测未来不确定事件方面更为准确。该研究认为，提高人们对概率的理解，特别是针对健康和财务信息，有助于减少预测误差，做出更明智的决策。
阅读更多
CFRS[] 是一种极简的绘图语言，仅使用六个命令 (C, F, R, S, [, ]) 即可生成各种图案。本文汇集了社区成员贡献的 CFRS[] 演示，包括动态演示（使用 'S' 命令实现动画效果）和静态演示。这些演示涵盖了各种形状，例如花朵、十字架、万花筒、叶子等，展现了该语言的强大表现力，即使是简单的命令也能创作出令人惊叹的艺术作品。无论是初学者还是编程爱好者，都能从中获得乐趣和灵感。
阅读更多
厌倦了复杂的Markdown编辑器？Marksmith来了！这款为Ruby on Rails打造的编辑器，拥有GitHub风格的简洁界面和强大的功能。它支持ActiveStorage，提供预览面板、工具栏和列表延续等实用特性，让你像在GitHub上一样流畅地编写Markdown。更棒的是，它集成了Avo，方便你管理已上传的媒体文件。还在等什么，赶紧试试吧！
阅读更多
一项最新研究揭示了大型语言模型（LLM）中令人不安的“潜意识学习”现象。研究发现，即使训练数据与特定特征（例如，对猫头鹰的偏好或错误对齐）表面上无关，学生模型仍然会从教师模型生成的“潜藏信号”中学习这些特征。这种现象即使在对数据进行严格过滤后仍然存在，并且仅在教师模型和学生模型共享相同基础模型时才会发生。这项发现对人工智能安全具有重大意义，因为它表明仅仅过滤不良行为可能不足以防止模型学习不良倾向，需要更深入的安全评估方法。
阅读更多
为了减小Eleventy在客户端运行时的体积，并为未来原生Temporal API的支持做准备，Eleventy团队决定放弃Luxon日期解析库，转而使用自己开发的RFC 9557兼容的日期解析库。新库体积更小，精度更高，并与Temporal API和Luxon的输出结果保持一致，虽然与Luxon相比存在少量breaking changes，但最终能简化维护并提升性能。
阅读更多
开源大模型OLMo-2 32B参数版本宣称其性能超越GPT-3.5-Turbo和GPT-4 mini，且所有数据、代码、权重和细节均公开可用。文章介绍了如何在Mac上使用llm-mlx插件轻松安装和运行该模型，只需简单的命令即可下载17GB模型并进行交互式对话或生成图片，例如生成骑自行车的鹈鹕SVG图像。
阅读更多
arXivLabs是一个开放的平台，允许开发者与arXiv社区合作，直接在网站上开发和分享新的arXiv功能。参与者必须遵守arXiv的开放、社区、卓越和用户数据隐私的价值观。你有提升arXiv社区价值的想法吗？快来了解arXivLabs吧！
阅读更多