这篇论文研究了通过添加动态二进制修改（DBM）到静态编译器（AoT）中来提高其性能的可能性。研究人员在Hopc AoT JavaScript编译器中添加了一种基于DBM的内联缓存（IC）优化，但实验结果表明，这种优化并没有缩短执行时间。研究发现，减少内存访问次数在现代架构上并不一定能提高速度，这挑战了以往的优化策略，并指出复杂的编译器优化只有在处理器无法自行加速代码时才值得付出努力。这一发现适用于AoT编译器和JIT编译器。
阅读更多
市面上便携式录音机的规格参差不齐，难以客观评估其录制微弱动物声音的能力。本文对比测试了多款录音机的麦克风输入噪声，数据包括等效输入噪声（EIN）、输入削波电平、最大增益下的动态范围等，以A加权和未加权两种方式呈现20Hz-20kHz频响范围内的噪声水平。结果显示，不同型号录音机的噪声性能差异显著，为用户选择合适的录音设备提供了参考依据。
阅读更多
B站开源了其强大的AI动画视频生成模型AniSora，该模型能够一键生成各种风格的动漫视频，包括番剧、国创、漫画改编、虚拟主播内容、PV等。AniSora基于IJCAI'25的论文，其优势在于专注于动漫和漫画风格，提供高质量动画，并拥有直观的界面，方便各种水平的创作者使用。
阅读更多
一项新的研究揭示了细胞核是一个独特的代谢区室，其代谢活动与细胞其他部分不同，并对基因表达和细胞命运起着关键作用。研究人员发现，细胞核中的代谢酶动态调节着表观遗传标记，例如组蛋白的乙酰化修饰，这些修饰会随着营养物质的丰度而变化。在胚胎发育早期，细胞核的代谢活动对于细胞分化至关重要，而代谢物，例如α-酮戊二酸，则在干细胞分化和癌症抑制中扮演着关键角色。这一发现为癌症治疗提供了新的思路，可以通过调控细胞代谢来改变细胞命运，从而治疗由细胞分化异常引起的疾病。
阅读更多
面对日益紧张的地缘政治局势，超过80个欧洲科技组织联名致信欧盟，呼吁采取“激进行动”，减少对外国数字基础设施和服务的依赖，以增强欧盟的经济前景、韧性和安全。他们倡导构建一个“欧洲科技栈”（Euro Stack），优先发展具有强大商业潜力的本土替代方案，从应用程序、平台和AI模型到芯片、计算、存储和连接。这封信强调了减少对美国科技巨头依赖的重要性，并建议通过“购买欧洲产品”的公共采购要求以及对本土供应商的补贴来刺激需求，从而促进欧洲科技产业的增长和创新。
阅读更多
10月24日上午，谷歌云的全球IAM服务出现故障，导致数十种GCP产品出现身份验证失败。依赖于谷歌托管后端存储的Cloudflare Workers KV也随之宕机，影响了访问、WARP和其他零信任功能。运行在GCP上的Anthropic也遭遇文件上传失败和错误率上升。7.5小时后，所有服务才完全恢复。此次故障暴露了云服务间的紧密依赖关系，以及单点故障的巨大风险。
阅读更多
谷歌正在加速其搜索引擎的AI化进程。他们最新推出的“AI模式”，一个以搜索为中心的聊天机器人，将改变用户与搜索引擎互动的方式。该模式利用谷歌的搜索索引生成答案，并提供少量支持链接，类似于Gemini或其他聊天机器人，但更擅长利用实时数据和与网络直接交互。此举表明AI生成内容对谷歌搜索的重要性日益提升，尽管其模型仍存在一些问题。谷歌同时扩展了AI概述功能，使其能够处理更复杂的问题，例如数学和编码。虽然有人担心这会减少对网站链接的依赖，但谷歌表示AI模式和AI概述旨在补充现有功能，而非完全取代传统的搜索结果，吸引更多用户并提高用户粘性。
阅读更多
GREASE是一款开源工具，利用欠约束符号执行技术帮助软件逆向工程师分析二进制文件并发现难以察觉的漏洞，从而增强系统安全性。它支持多种架构和格式的二进制文件分析，并可作为Ghidra的插件、独立命令行工具或Haskell库使用。GREASE 通过在完全符号化的寄存器上运行目标函数，并在出现错误时使用启发式方法来细化符号前提条件，从而迭代地发现bug。虽然存在一些局限性，例如可能出现误报或漏报，但GREASE 在提高软件安全性方面具有重要作用，尤其是在分析仅提供二进制形式的COTS软件时。
阅读更多
作者和朋友用Python从零构建了一个博客搜索引擎，核心技术是Word2Vec词嵌入。他们将文章和搜索词嵌入到300维向量空间，用余弦相似度计算匹配度排序结果。为了适应Web应用，他们将Word2Vec模型拆分成索引和向量两部分，用HTTP Range请求仅下载所需数据，显著减小了网页加载负担。最终，他们还设计了一个指标来评估搜索引擎的准确性，并讨论了未来改进方向，例如使用TF-IDF技术减少噪声。
阅读更多
作者通过24小时编程马拉松的经历，发现现有开发工具和流程存在诸多问题，例如文档缺失、API设计缺陷等，导致开发体验极差。然而，编程代理的出现改变了这一现状。作者利用代理进行客观评估，通过测量代理在不同语言和工具上的表现，量化了开发体验的优劣，例如测试覆盖率、错误报告质量、生态系统稳定性等。作者认为，代理的反馈与人类开发者的感受高度一致，为改进代码质量和开发流程提供了新的思路。
阅读更多
AP5 是 Common Lisp 的一个扩展，允许用户以更“规范性”的级别进行编程，更关注机器做什么而不是怎么做。它结合了 Lisp 和 Gist 规范语言的优点，并提供了注释机制来控制性能。AP5 使用关系模型表示数据，并支持一阶逻辑语言进行数据访问和操作。程序员可以定义关系、规则和约束，并通过注释优化程序性能。手册详细介绍了 AP5 的语法、数据库操作、规则、类型、等价性和实现细节，并提供了大量的示例和说明。
阅读更多
Piramidal公司招聘研究工程师，致力于构建基于神经数据的AI系统，实现前所未有的任务。理想候选人需具备扎实的工程技能，包括大规模分布式机器学习系统的设计、实现和增强，以及神经科学基础知识。公司提供具有竞争力的薪酬和股权激励，其使命是通过技术提升人类潜能，捍卫认知自由，反对思想商品化。
阅读更多
大型语言模型的Transformer架构因其自注意力机制而闻名，但长对话会造成二次计算瓶颈，导致速度慢。IBM研发的Bamba模型，通过结合状态空间模型（SSM）和Transformer，有效解决了这个问题。Bamba利用SSM的优势，减少了内存需求，速度提升至少一倍，同时保持了与Transformer相当的准确性。该模型已开源，未来有望处理百万级别token的对话，并进一步提升速度。
阅读更多
据悉，苹果即将发布的macOS 26系统可能不支持2018款MacBook Pro和2017款iMac Pro等老款Mac。内部测试版显示，macOS 26将主要支持2019年及以后的MacBook Pro、M1及以后的MacBook Air等较新款的Mac设备。这意味着部分老用户将无法体验到macOS 26带来的全新用户界面和AI增强功能。虽然目前macOS 26的最终版本号和正式名称尚未确定，但苹果会在WWDC 2025上正式公布。
阅读更多
美国信用卡债务达到历史新高，高昂的利率和经济因素加剧了这一问题。众议员奥卡西奥-科尔特斯和卢娜提出了一项两党合作的法案，旨在将信用卡年利率上限设定为10%。该法案旨在帮助陷入债务循环的民众，但目前仍在等待投票。 信用卡利率十年内几乎翻倍，达到21%，消费者债务和逾期付款也随之增加。
阅读更多
PixiEditor 2.0不再仅仅是一款像素艺术编辑器，它进化为一款功能强大的通用2D编辑器，支持光栅、矢量、动画和程序化效果。其核心是可配置的渲染管线和节点图，赋予用户前所未有的控制力，甚至可以创建3D纹理工作区。该软件免费开源，并通过付费扩展和资源包来维持发展。2.0版本新增了帧动画、矢量编辑工具以及多种工作区，例如卡片构建器和3D立方体纹理工具，并提供多种调色板。虽然对硬件要求略有提高，但开发者承诺会持续改进以支持更多配置。
阅读更多
Janet 是一款用标准 C99 编写的轻量级系统脚本语言，可在 Windows、Linux 和 macOS 上运行。它拥有简洁的设置方式，内置线程、网络和事件循环支持，并提供一流的闭包、垃圾回收和绿色线程等特性。此外，Janet 还支持宏、尾调用优化以及与 C 的直接互操作，并附带 REPL 和交互式调试器。丰富的内置函数和宏，以及 jpm 构建工具，让开发更加高效便捷。
阅读更多
我们通常认为耐力是体力和竞争力的体现，但本文指出，真正的耐力远不止于此。它是一种坚持价值观和承诺的能力，尤其是在面对困难时。这种耐力不仅体现在长跑中坚持不懈，也体现在团队合作中克服挑战，反复攻克难题，以及在疲惫不堪时仍能耐心陪伴家人。它意味着即使进展缓慢，也能坚持不懈地追求目标；在充满干扰的世界中保持专注；按时完成任务；克服困难；遵循指示或独立完成工作；保持开放的心态并不断更新视角。作者认为，耐力是一种普遍适用的优秀品质，比力量、智力、速度等情境性优势更为重要。拥有耐力的人，即使不如天赋异禀者那样快速解决单个难题，却能更可靠地解决接踵而来的众多问题。
阅读更多
作者记录了他们第一次尝试自制两级火箭的经历，从充满信心的倒计时到火箭仅仅升空几米就“扑街”的滑稽场面，过程充满笑点和意外。文章详细描述了火箭的设计、制造过程，包括推进系统（自制固体火箭发动机）、结构（纸质火箭筒、3D打印的鼻锥和尾翼）、航电系统（基于Arduino和NodeMCU的飞行电脑，用于实时监测加速度和高度，实现主动级间分离）以及回收系统。虽然第一次发射失败，但作者从中学到了宝贵的经验，并强调了在学习过程中，简单设计的重要性，以及如何从失败中获得教训。
阅读更多
arXivLabs是一个实验性项目框架，允许合作者直接在arXiv网站上开发和分享新功能。参与其中的个人和组织都认同arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果你有提升arXiv社区价值的项目想法，欢迎了解更多关于arXivLabs的信息。
阅读更多
玛丽·米德利，一位20世纪的哲学家，在50年代撰写了一篇名为《戒指与书籍》的广播剧，探讨了哲学史中男性主导的现象及其对哲学本身的影响。这篇稿件因被认为“琐碎”而未被播出。直到她90多岁时，这篇稿件才被重新发现。米德利认为，哲学家的生活方式会影响他们的哲学观点，男性主导的哲学传统忽略了女性和家庭生活经验，导致哲学的局限性。她以笛卡尔为例，指出其孤立的思考方式忽略了人与人之间关系的重要性。米德利的主张与当今的女性主义哲学观点不谋而合，体现了知识的社会性与情境性，挑战了传统的客观知识观。
阅读更多
在Google I/O开发者大会上，我体验了与三星和高通合作开发的Android XR眼镜原型。这款眼镜外观如同普通眼镜，却内置麦克风、扬声器、摄像头和传感器，并集成Gemini AI。它能显示时间、天气，拍照并预览，还能通过语音控制Gemini获取信息，以及提供直观的Google地图导航。虽然尚不清楚续航时间和价格，但其便捷的操作和信息显示方式令人印象深刻，预示着智能眼镜的未来发展方向。
阅读更多
谷歌已在美国全面推出整合到搜索引擎中的AI模式，该模式由Gemini 2.5驱动，并新增购物、票务比价、自定义图表等功能。AI模式旨在处理更复杂的查询，例如比较不同健身追踪器。未来，谷歌计划将AI模式的许多功能整合到核心搜索体验中，并引入“深度搜索”功能，允许用户生成更全面的报告。此外，AI模式还将集成网络任务执行能力，例如预订机票和餐厅，并通过与Gmail等应用连接实现个性化推荐。
阅读更多
Mystery-o-matic是一个提供每日免费谋杀悬案的网站，由两位热衷于解谜的开发者创建。与传统解谜游戏不同，网站上的每日谜题更注重演绎推理，并模拟现实生活场景的不可预测性，难度各异。每个每日谜题都是随机生成的，而非预设的解谜路径，为玩家带来耳目一新的体验。该网站还在测试阶段，规则、界面和设计可能会有所更改。
阅读更多
生成式AI时代，创业公司发展速度远超以往。数据显示，多数企业级AI公司首年ARR超过200万美元，消费者级AI公司甚至达到420万美元，远高于以往的百万美元基准。这种快速增长得益于用户对优质产品的巨大需求，但也意味着“优秀”和“卓越”之间的差距日益扩大。虽然收入增长迅速，但用户留存和参与度等指标依然重要。消费者级AI公司凭借模型迭代带来的收入激增，展现出惊人的盈利能力。总之，现在是构建应用层软件公司的绝佳时机。
阅读更多
本文探讨了在 Tcl 语言中模拟闭包的实现方法。Tcl 本身并不支持闭包，作者通过巧妙地利用命名空间和 TclOO 对象系统，创建了一个可以模拟闭包行为的类。这个类可以捕获外部变量，并在其作用域之外保持有效，从而实现了类似于其他语言中闭包的功能。虽然该实现与 C++ 中的闭包实现略有不同，但它有效地解决了在 Tcl 中使用闭包的问题，并为需要在 Tcl 中使用闭包功能的开发者提供了一种可行方案。
阅读更多
模拟人类大脑一直是科学界的圣杯，但其复杂性令人望而却步。科学家们将目光转向了拥有仅302个神经元的线虫C. elegans。历经25年，无数尝试失败后，借助最新的光片显微镜、超分辨率显微镜和机器学习技术，模拟线虫大脑终于成为可能。这些技术能够实时观察活体线虫大脑的神经活动，并利用机器学习推断神经元的生物物理参数。成功模拟线虫大脑不仅是科学上的巨大突破，更重要的是，它将为模拟更复杂的大脑，最终包括人类大脑，提供宝贵的经验和方法，为未来人工智能和脑科学研究奠定坚实基础。
阅读更多
本文讲述了作者使用Lean证明助手，形式化验证一个关于线性代数中特征向量线性无关性的简单定理的过程。文章详细解释了Lean的语法、Mathlib库的使用，以及如何利用自动化推理工具简化证明过程。作者还探讨了如何改进和推广该定理，并介绍了Mathlib库的版本控制和社区协作模式。最后，文章展望了证明助手和AI技术在未来数学研究中的作用。
阅读更多
想象一下你家里的WiFi网络，所有设备都共享同一个公网IP地址。这得益于网络地址转换（NAT）技术。由于IPv4地址数量有限，NAT通过在路由器上建立私网IP到公网IP的映射表，让多个设备共享同一个公网IP地址，从而解决了IPv4地址短缺的问题。文章深入探讨了NAT的工作原理、不同类型（例如，全锥型NAT、受限锥型NAT、对称NAT）以及在Linux系统（例如，使用nftables）中的实现细节，并以Docker为例说明NAT在日常应用中的广泛存在。虽然NAT暂时解决了IPv4地址耗尽问题，但也带来了一些局限性，例如破坏端到端连接和增加加密难度。最终，IPv6的全面普及才是解决问题的根本途径。
阅读更多
作者在慕尼黑度过了三天半，并将这座城市与他居住的汉堡进行了对比。文章从历史角度出发，探讨了维特尔斯巴赫家族对慕尼黑的影响，以及汉堡作为自由帝国城市的独立发展轨迹。慕尼黑的宗教氛围浓厚，而汉堡则更偏向于世俗化。慕尼黑拥有更多的博物馆和自然景点，但汉堡的城市绿化更好，生活节奏相对更慢。作者认为，慕尼黑更适合科技行业人士，而汉堡则更符合他的个人喜好。
阅读更多