巴塞尔城市州税务局因宣传册上的一个小错误，不得不购买了一个巴哈马的网址。宣传册上印有数字报税的网址，但缺少“.ch”后缀，导致网址指向了巴哈马。这个错误的网址已申请注册，注册完成后将重定向到正确的巴塞尔州网址。尽管如此，这个失误还是给税务局带来了大约900瑞郎的额外开支，而重新印刷宣传册则需要超过10万瑞郎。
阅读更多
arXivLabs是一个允许协作者直接在arXiv网站上开发和共享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果您有想法可以为arXiv社区增值，请了解更多关于arXivLabs的信息。
阅读更多
美国蜜蜂数量锐减，严重威胁农业生产。Beewise公司研发的AI智能蜂箱BeeHome，利用人工智能和机器人技术，实时监测蜂群健康状况，自动进行疾病治疗和环境调节，显著降低蜂群死亡率。BeeHome已在美国广泛应用，并获得了巨额投资，有望彻底改变养蜂业，保障全球粮食安全。
阅读更多
最近，一篇发表在《化学球》杂志上的研究论文声称黑色塑料厨具中含有致癌的阻燃剂，引发公众恐慌。然而，麦吉尔大学的科学家发现该研究存在一个简单的数学错误，将暴露量高估了十倍。尽管如此，研究人员仍然建议人们关注黑色塑料厨具中可能存在的潜在风险。
阅读更多
马斯克旗下X平台更新开发者协议，禁止第三方使用其内容训练大型语言模型。此举源于xAI公司（马斯克的AI公司）今年三月收购X后，为防止竞争对手免费获取数据。此前，X曾允许第三方使用其公开数据训练AI模型，此番转变反映了其对数据保护和竞争策略的调整。这一举动也与Reddit和Dia浏览器等平台采取的类似措施相呼应，显示出科技公司对AI数据使用的谨慎态度日益增强。
阅读更多
中国哈尔滨工业大学航天学院研制出一款仅重300克的轻型无人机，该无人机可用于火星探测。它能够在地面滚动或空中飞行，飞行时间是同等大小传统无人机的六倍以上。该无人机采用独特的双旋翼设计，并通过调整重心来实现地面滚动。研究团队希望该无人机能够在火星上展示其长续航能力和观测能力，未来还可用于探索地下空间。这项研究与NASA的“机智号”火星直升机有所不同，后者重量更大，已完成72次飞行后因损坏而报废。
阅读更多
近期巴黎发生多起加密货币相关的绑架勒索案，手法极其残忍。犯罪分子绑架加密货币富豪的亲属，并残忍切断其手指以索要巨额赎金。警方通过电话信号等技术手段成功解救人质并逮捕多名嫌疑人。这些案件凸显了加密货币财富带来的安全风险，也暴露出犯罪团伙的嚣张气焰。
阅读更多
罗格斯大学的研究人员首次利用先进显微技术，对活体植物细胞24小时连续构建细胞壁的过程进行了实时观测，拍摄到细胞壁主要成分纤维素的合成和组装过程。这项突破性研究揭示了植物细胞壁形成的动态机制，为提高农作物产量、降低生物燃料成本以及开发新型生物材料提供了重要方向，研究成果发表在《科学进展》杂志上。
阅读更多
这篇博文尖锐批评了Tenstorrent的AI计算架构设计，认为其过度依赖抽象层（LLK），导致效率低下，无法与英伟达等巨头竞争。作者建议Tenstorrent聚焦三个核心模块：前端（PyTorch/ONNX等）、编译器（MLIR/LLVM等）和运行时。运行时需具备硬件无关性，编译器专注于内存分配、操作调度和内核融合，避免引入不必要的激活函数如ELU。作者强调，只有简化架构，提升核心组件性能，Tenstorrent才能在AI计算领域取得成功。
阅读更多
2023年机器人学习大会（CoRL）上，一个核心问题引发热议：能否通过在大型数据集上训练大型神经网络来解决机器人问题？一部分研究者认为，鉴于大型模型在计算机视觉和自然语言处理领域的成功，这种方法值得尝试，并举例说明了谷歌DeepMind的RT-X和RT-2等模型的初步成果。他们认为，数据和计算能力的进步为这一方向提供了动力。然而，反对者则指出，目前缺乏足够的机器人数据，且不同机器人和环境的差异性巨大，使得大规模数据集的收集成本极高。此外，即使模型能达到较高的准确率，要达到实际应用所需的99.X%的可靠性仍面临巨大挑战。一些人建议结合经典控制方法和学习方法，另一些人则认为需要探索全新的方法。总之，CoRL 2023的讨论揭示了机器人领域面临的机遇与挑战，并为未来的研究方向提供了宝贵的借鉴。
阅读更多
开源多媒体框架FFmpeg近日对Rust编写的AV1解码器rav1d发起挑战，认为其性能与C语言编写的dav1d相比仍存在差距，并讽刺道“Rust如此优秀，你竟然需要2万美元才能使其达到C语言的速度”。这一言论引发了关于Rust在性能、成本和内存安全方面的权衡的讨论。虽然Rust因其内存安全性和性能而受到青睐，甚至得到美国白宫的认可，但其在Linux内核中的集成也面临阻力。这场争论凸显了在选择编程语言时，开发者们对性能和安全性的不同考量。
阅读更多
研究人员开发了一种新型脂质纳米颗粒（LNP X），能够高效地将mRNA递送至静息的CD4+ T细胞，无需预先刺激。这与现有的LNP制剂形成鲜明对比，后者需要激活T细胞才能有效递送mRNA。LNP X的改进在于其脂质成分，它包含SM-102和β-谷甾醇，从而提高了mRNA的胞质递送效率和蛋白质表达。研究还表明，LNP X能够递送编码HIV Tat蛋白的mRNA，有效逆转HIV潜伏感染，并能递送CRISPRa系统，激活HIV转录。这项研究为开发新型HIV疗法提供了新的可能性，有望显著改善患者预后。
阅读更多
作者因久坐工作导致身体不适，发明了一个名为“蜂鸣器”的DIY装置来解决这个问题。该装置由硬件（ESP8266开发板、开关、蜂鸣器）、固件（Lua脚本）和软件（macOS脚本）三部分组成。当电脑屏幕解锁时间过长时，“蜂鸣器”会发出刺耳的蜂鸣声，迫使作者起身关闭它，从而避免久坐。作者分享了硬件电路、Lua脚本和macOS脚本的详细代码，并讨论了软件设计的迭代过程，以及如何避免在视频会议中误触发蜂鸣器。虽然简单，但这个装置有效地改善了作者的健康状况。
阅读更多
Brandon Li开发了一款强大的半导体仿真器，可在浏览器中运行。该程序允许用户绘制电路图，并实时模拟电磁场，支持多种材料（金属、半导体、电介质等）。该仿真器提供了丰富的示例，涵盖简单电路、半导体器件和数字逻辑等方面，例如RC电路、PN结二极管、BJT晶体管以及MOSFET等。为了获得最佳性能，建议使用高性能电脑，也提供可下载的Java版本。
阅读更多
美国机器人公司正呼吁制定国家机器人战略，以应对中国在智能机器人领域日益增长的竞争力。文章指出，尽管美国在AI和机器人技术方面具有优势，但缺乏国家战略可能导致其丧失领先地位。美国公司建议政府提供税收激励、资助培训项目和研发，并设立专门的联邦机器人办公室。中国已投入巨资发展机器人产业，并取得显著进展，但在市场应用方面，实用性更强的多功能机器人可能更具竞争力。这场机器人竞赛不仅关乎技术领先，更关乎国家战略和未来经济发展。
阅读更多
数据压缩曾是计算的关键成就，但如今，大型语言模型（LLM）却带来了“LLM通胀”现象：人们利用LLM将简洁信息扩展成冗长文本，再用LLM将其压缩回简洁版本。这反映出一种潜在的沟通问题：我们是否在奖励含糊其辞和浪费时间？LLM或许能帮助我们直面并解决这一问题。
阅读更多
尽管DNSSEC技术旨在提升域名系统安全性，但其部署率却令人堪忧，仅为34%。文章分析了造成这一现状的原因：缺乏用户可见性是核心问题。与HTTPS的锁形图标不同，DNSSEC并不会直接告知用户其连接是否安全，因此用户难以感知其价值。此外，DNSSEC的依赖链路长，从根区域到叶子节点都需要部署，增加了部署难度。文章还探讨了DoH/DoT等技术，以及它们与DNSSEC的互补性，并呼吁持续努力改进DNS安全性。
阅读更多
本文探讨了大型科技公司值班制度的弊端。作者以自身经历为例，对比了大型科技公司和小型创业公司在处理软件问题上的差异。大型公司由于激励机制问题，导致软件质量下降，值班成为常态。作者认为，AI和机器学习技术可以改变值班模式，例如利用LLM简化日志、搜索相似问题等，从而减少工程师的负担，提高效率。
阅读更多
苹果公司更新了其过时和淘汰产品列表，其中包括多款Mac电脑、iPad、配件等。备受争议的2013款“垃圾桶”Mac Pro在发布12年后被列入古董产品名单。这款Mac Pro由于其独特的圆柱形设计和难以升级的内部组件，最终未能满足专业用户的需求，成为苹果公司一次著名的产品设计失误。此次更新还将多款其他产品列入古董或淘汰产品名单，标志着这些产品已停止维修服务。
阅读更多
三星位于德克萨斯州泰勒市的芯片工厂建设面临延期，原因是芯片需求不足。尽管工厂建设接近完成，但原计划生产的4nm芯片已不再满足市场需求，升级至2nm则需要巨额投资和时间。这与台积电在亚利桑那州工厂产能爆满形成鲜明对比。三星面临产能利用率低、地缘政治风险以及中国芯片自给自足政策带来的挑战。虽然三星表示仍计划于2026年投产，但延期凸显了在全球芯片市场竞争激烈的背景下，建设新工厂的巨大挑战。
阅读更多
研究人员开发了一种新技术，利用JPEG XL格式对光谱图像进行压缩，压缩率可达10到60倍，大小与普通高质量照片相当。该技术通过对高频光谱系数进行加权处理，优先丢弃不重要的细节信息，从而实现高效压缩，同时保留元数据和高动态范围支持。虽然该方法属于有损压缩，但其在科学可视化和高端渲染等领域具有巨大潜力，有望解决光谱图像文件过大导致的存储和传输难题。
阅读更多
本文探讨了数十年来教育编程语言设计原则的演变。尽管Wirth等人的工作强调了简洁性、模块化等原则，但教育工作者对适合初学者的编程语言仍存在分歧。文章分析了当前技术环境下这些原则的诠释变化，以及为什么没有一种面向教育且全球广泛使用的编程语言。作者认为，教学语言和工业语言各有优劣，每一代学习者都需要自己的语言。
阅读更多
微软正逐步减少对OpenAI的依赖，内部研发了自己的推理模型MAI，并测试了xAI、Meta和DeepSeek的模型，意图取代Copilot中的ChatGPT。此举源于对ChatGPT成本和速度的担忧，以及OpenAI不愿分享o1模型技术文档的摩擦。微软此前的巨额投资和合作协议似乎已无法阻止这场AI巨头间的竞争，双方都开始争夺市场份额，未来AI领域将更加精彩纷呈。
阅读更多
一部名为《未来世界》的电影引发了作者对科技伦理的深思。电影中，Delos公司建造的主题公园允许游客对机器人进行杀戮和性侵，反映了科技公司对AI的误用。作者认为，这并非对AI伦理的探讨，而是对权力和性欲的满足。这种将人视为工具，忽略其意愿和尊严的做法，与当今AI技术滥用数据、剥削创作者的现象类似，最终可能导致对人类的全面奴役。文章呼吁人们警惕科技进步带来的潜在风险，重视伦理和尊重，而非将技术视为满足私欲的工具。
阅读更多
当前流行观点认为AI主要通过自动化研发来影响经济。但本文反驳了这一观点，指出研发在经济中的价值被高估，其对生产力增长的贡献远小于人们的预期。作者认为AI的经济价值将主要来自广泛的劳动力自动化，这将带来生产力和产出的显著提升，而非仅仅局限于研发领域。虽然AI最终能自动化研发，但那将发生在广泛自动化之后，届时AI已具备执行更广泛任务的能力。
阅读更多
传统的搜索引擎依赖关键词匹配和算法排名，假设用户并不知道自己想要什么。但随着计算机语言理解能力的提升，MatterRank应运而生。它允许用户用自己的话语定义排序标准，不再是被动接受搜索结果，而是主动掌控信息获取方式，开启了搜索引擎的新纪元。
阅读更多
HyperDX 是 ClickStack 的核心组件，它能够帮助工程师快速诊断生产环境问题。通过在任何 ClickHouse 集群之上轻松搜索和可视化日志和追踪信息（类似于 ClickHouse 版本的 Kibana），HyperDX 提供了闪电般的搜索速度和直观的界面，支持全文本搜索和属性搜索，并能分析异常趋势、设置警报以及监控从 HTTP 请求到数据库查询的性能。HyperDX 可与 OpenTelemetry 集成，支持多种编程语言和平台，并提供多种部署方式，包括 Docker 和 ClickHouse Cloud。其目标是让工程师能够轻松利用生产遥测数据来快速解决棘手的生产问题，并克服现有工具价格昂贵、难以使用以及需要在多个工具之间切换的缺点。
阅读更多
乐鑫信息科技宣布其支持2.4GHz和5GHz双频Wi-Fi 6、蓝牙5（LE）和IEEE 802.15.4（Zigbee，Thread）连接的业界首款RISC-V SoC芯片ESP32-C5正式量产。该芯片采用32位单核处理器，最高时钟频率可达240MHz，拥有384KB片上SRAM和外部PSRAM支持，并具有低功耗协处理器。ESP32-C5旨在满足对高效率、低延迟无线传输要求的应用，并提供丰富的GPIO、高速接口和一流的安全功能。配套的ESP-IDF v5.5将提供初步支持，开发板现已发售。
阅读更多
Mozilla 近期举动激怒了许多 Firefox 用户，促使他们转向替代浏览器。文章介绍了几个 Firefox 分支，如 GNU IceCat、Floorp、LibreWolf 和 Zen，它们在隐私保护和自由软件理念上各有侧重。IceCat 重视自由软件，使用 LibreJS 和 JShelter 等扩展增强隐私；Floorp 侧重用户体验，拥有双侧边栏和工作区等特色功能；LibreWolf 专注于隐私和安全，移除 Firefox 中的追踪功能；Zen 则拥有现代化的界面和强大的自定义功能。虽然这些分支为用户提供了更多选择，但它们都依赖于 Mozilla 的底层开发，面临着安全更新和维护的挑战。
阅读更多
OpenCut是一个免费开源的视频编辑器，支持网页、桌面和移动端。它强调用户隐私，所有视频都保存在本地设备上。虽然其基础功能目前都处于付费墙后，但其易用性已得到验证。OpenCut采用时间轴编辑，支持多轨、实时预览，且无水印或订阅限制。项目采用Next.js开发，包含前端组件、自定义React钩子、实用程序和API逻辑、状态管理以及TypeScript类型定义等。项目还提供详细的安装和开发指南，欢迎贡献代码。
阅读更多