机器学习中，高维Hessian矩阵的计算一直是瓶颈。本文介绍自动稀疏微分（ASD），一种利用矩阵稀疏性加速Hessian和Jacobian矩阵计算的方法。ASD通过稀疏性模式检测和矩阵着色技术，将多个结构正交的列（或行）组合成一个向量进行计算，从而减少计算量和内存需求。文章详细解释了ASD的原理，包括正向和反向模式自动微分、稀疏矩阵表示、着色算法等，并通过Julia语言的示例演示了其应用和性能优势，最终指出ASD在需要计算稀疏Jacobian或Hessian矩阵的应用中具有显著优势，例如牛顿法等优化算法。
阅读更多
生成式AI技术因其建立在“窃取”的基础上，正将我们引向一个缺乏人性的未来。文章作者认为，虽然机器学习技术本身具有优点，但生成式AI的发展方向却存在严重的道德问题，它威胁着人类最宝贵的财富——创造力。作者选择了一条与众不同的道路，他们认为关注人类创意，而非盲目追逐技术，才是更令人兴奋和富有成效的选择，即使这意味着可能落后于潮流。
阅读更多
Stack AI，一家由两位MIT博士创立，并获得Y Combinator和Gradient Ventures投资的AI公司，正在招聘10倍工程师！他们致力于通过一个用户友好的无代码平台，让每个人都能构建AI驱动的应用。该平台集成OpenAI、Anthropic等顶级AI模型和多种数据源，现已拥有超过8.5万用户和300多付费客户。此次招聘主要面向前端工程师，要求精通React、TypeScript等技术，并具备良好的用户体验设计能力。如果你对AI充满热情，并渴望在快速发展的初创公司工作，这将是一个绝佳机会。
阅读更多
本文探讨了著名的Collatz猜想，以及它与密码学中ARX算法（例如ChaCha）的关联。Collatz猜想描述了一个简单的迭代函数，其最终结果是否总是收敛到1，至今仍未得到证明。文章将Collatz函数与图灵机进行类比，并指出其基于位运算的实现中，加法运算的进位传播特性导致了其难以预测的复杂性，这与ARX算法中利用加法、旋转和异或运算实现高效扩散的原理形成了有趣的对比。文章暗示，Collatz猜想的未解之谜可能与计算的固有复杂性有关，如同停机问题一样难以解决。
阅读更多
Red Hat发布了备受期待的Red Hat Enterprise Linux 10，带来了诸多令人兴奋的特性。它内置了AI驱动的助手Lightspeed，简化了系统管理；强化了安全性，支持后量子密码学；采用新的镜像模式，简化了容器的构建和维护；升级了开发工具链，包括Python、Ruby、Node.js等最新版本；并改进了安装程序和Web控制台。总而言之，RHEL 10 是一款面向未来，兼顾安全、易用性和开发效率的企业级Linux发行版。
阅读更多
长期以来，人类对浩瀚深海的了解远不及月球和火星。但SWOT卫星的出现改变了这一切。它利用先进的Ka波段雷达干涉仪，通过测量海面细微高度变化（低至几厘米），来探测隐藏在水下的海山等地貌。这使得我们可以绘制出更精细的海底地图，不仅能发现此前未知的海山，还能更好地了解洋流、海洋生物活动以及海底资源分布，为海底建设、航运以及海洋科学研究提供宝贵数据。SWOT与传统的船载声呐技术相辅相成，有望在2030年前绘制完成全球海底地图。
阅读更多
Weave，一家由顶级投资者支持的快速发展且盈利的初创公司，正在寻找一位杰出的 AI 工程师。你将直接向 CTO 和 CEO 汇报，参与构建一个理解并提升软件工程师工作效率的 AI 系统。该公司更看重你的潜力和学习能力，而非既有技能。你需要具备顽强、务实、同理心、沟通能力和团队合作精神。熟悉 React、TypeScript、Go 或 Python 优先。你的目标是让产品能够显著提升客户的工作效率。
阅读更多
微软利用其新一代AI模型Muse，制作了一个基于Quake 2的AI生成演示版。该演示版可以通过网页浏览器运行，但其画面模糊，且存在记忆限制（仅能记住0.9秒内的游戏画面），游戏体验与原版相去甚远。虽然微软强调这只是技术演示，但许多社交媒体用户对此表示强烈不满，批评其浪费资源且对游戏开发者不尊重。该事件也引发了业界对AI在游戏开发领域应用的广泛讨论，有人担忧其可能导致失业和剽窃问题，也有人认为AI可以促进就业和创新。
阅读更多
在法国波尔多一家书店，作者偶然发现一本二战时期纳粹枪决受害者遗书集。这些临终信件直击人心，展现了人们在面对死亡时的真实情感：否认、愤怒、讨价还价、沮丧和接受。作者从中体会到，死亡迫近时，人们会回顾人生中最珍贵的瞬间，并表达对亲人的爱与不舍。这些遗书不仅展现了战争的残酷，也让人反思生命的意义，以及如何更好地生活。
阅读更多
在竞争激烈的就业市场中，Z世代年轻人发明了一种新的求职策略——“职业猫钓”。他们通过伪造理想化的求职形象来吸引招聘经理的注意，以此应对冗长的面试流程和招聘经理的“放鸽子”行为。这种现象反映了年轻一代对传统求职模式的挑战和对更公平、透明的招聘过程的渴望。
阅读更多
据彭博社马克·古尔曼报道，苹果正在“探索”在其苹果地图应用中投放搜索广告的可能性。这并非苹果首次考虑此举，但此前由于种种原因搁置。此次，苹果尚未开始工程开发工作，这意味着地图广告的推出可能仍需时日。这些广告并非传统的横幅广告，而是付费搜索结果，例如快餐连锁店可以付费使其在用户搜索“汉堡”或“薯条”时排在结果靠前位置。类似的搜索广告模式已在谷歌地图、Waze和Yelp等应用中广泛采用。此举将进一步提升苹果的服务收入。
阅读更多
Onyx（前身为Danswer）是一个开源的AI平台，能够连接你的公司文档、应用程序和员工。它提供了一个功能丰富的聊天界面，并支持多种大型语言模型（LLM）。Onyx可以通过40多个连接器（如Google Drive、Slack、Confluence等）同步知识和访问控制。你可以创建自定义AI代理，赋予其独特的提示、知识和操作能力。Onyx支持多种部署方式，包括本地部署、私有云部署和公有云部署，并提供社区版和企业版。企业版包含更多功能，例如高级安全特性、知识管理功能和可扩展的部署选项，适合大型组织使用。
阅读更多
研究人员开发了 Clean，一个基于 Lean4 的嵌入式领域特定语言 (DSL) 和形式化验证框架，用于构建零知识 (ZK) 电路。ZK 电路容易出错，Clean 通过允许在 Lean4 中定义电路、指定其所需属性并正式证明它们来提高其正确性。该项目是 zkEVM 形式化验证项目的一部分，旨在为 zkEVM 提供基础设施和工具，以实现形式化验证。Clean 支持四种基本操作来定义电路：witness、assert、lookup 和 subcircuit，并提供一种单子接口来增强可用性。其核心是 FormalCircuit 结构，它以依赖类型的方式紧密打包电路定义、假设、规范、健全性和完整性证明。通过将子电路的约束替换为其（经过正式验证的）规范，可以正式验证大型电路。该框架已成功验证了 8 位加法等简单电路，未来计划添加更多低级组件、定义常用哈希函数电路并构建形式化验证的 RISC-V 子集最小虚拟机。
阅读更多
在Google I/O开发者大会上，我体验了与三星和高通合作开发的Android XR眼镜原型。这款眼镜外观如同普通眼镜，却内置麦克风、扬声器、摄像头和传感器，并集成Gemini AI。它能显示时间、天气，拍照并预览，还能通过语音控制Gemini获取信息，以及提供直观的Google地图导航。虽然尚不清楚续航时间和价格，但其便捷的操作和信息显示方式令人印象深刻，预示着智能眼镜的未来发展方向。
阅读更多
NASA的OSIRIS-REx任务带回了小行星贝努的样本，分析结果显示其中含有地球生命所需的氨基酸和核碱基等分子，以及蒸发盐沉积物，表明早期太阳系可能广泛存在孕育生命的条件。这些发现虽然没有直接证明地外生命存在，但增加了生命可能在太阳系其他星球或卫星上形成的可能性。贝努样本中氨的含量尤其高，这对于氨与甲醛反应形成复杂分子至关重要。此次研究也强调了样本返回任务在探寻生命起源方面的关键作用。
阅读更多
伊夫林·沃的《重访布莱兹海德庄园》讲述了查尔斯·莱德与弗莱特家族的纠葛，以及他最终皈依天主教的历程。小说以华丽的文笔描写了上流社会的奢靡生活，却最终指向了信仰的救赎。尽管出版时因其天主教视角和对上流社会的描写而备受争议，但小说深刻探讨了信仰、救赎和人性的主题，使其成为20世纪英国文学的经典之作。
阅读更多
作者分享了两年使用Rust开发B2B SaaS产品后端的经验。Rust的性能卓越，工具链优秀，类型安全和错误处理机制完善，但模块系统和构建性能是其不足之处。借用检查器虽然强大，但学习曲线陡峭。异步编程虽然复杂，但性能高。总的来说，Rust开发体验良好，但需要权衡利弊。
阅读更多
你相信吗？从C++模板到魔法：聚会卡牌游戏，甚至连PowerPoint都能实现图灵完备！这篇文章列举了一系列令人意想不到的事物，它们竟然拥有模拟任何算法的能力。这些例子涵盖了编程语言、硬件指令集、游戏规则、甚至图像压缩技术，充分展现了图灵完备性的广泛存在，以及其在不同领域中的奇特应用。其中一些应用甚至利用了系统中的漏洞或缺陷，从而实现了意想不到的计算能力。
阅读更多
Google Tag Manager（GTM）已成为互联网上最具破坏性的隐私侵犯工具。它以看似无害的面貌隐藏着各种侵入式脚本，并将谷歌分析（GA）的监控能力提升到新的水平。文章揭露了GTM如何通过转向第一方Cookie和服务器端运行等方式绕过内容拦截，并详细介绍了几种禁用GTM监控的方法，包括禁用JavaScript、使用uBlock Origin等浏览器扩展程序，以及使用Lynx浏览器等。作者呼吁用户积极抵抗这种监控行为，维护自身网络隐私。
阅读更多
摩根士丹利分析师Brian Nowak指出，亚马逊在机器人领域的低调投入正在扩大其在零售业的竞争优势，并可能大幅提升利润率。过去三年，亚马逊悄然建设了六个采用下一代自动化的物流中心，这些中心利用工业机器人提高了仓储、库存管理、拣选包装和分拣等环节的效率。Nowak预测，到2030年，如果亚马逊30%到40%的美国订单通过机器人仓库处理，每年可节省100多亿美元。这项投资不仅提高效率，还使其在竞争对手面前占据显著优势，甚至可以将其物流网络扩展到为非亚马逊商品提供服务。亚马逊北美零售业务的运营利润率已连续五个季度上升，这可能就是机器人投资带来的回报。
阅读更多
开源3D Gaussian Splats编辑和发布平台SuperSplat迎来重大更新！它搬到了新域名superspl.at，并新增了网页发布功能，用户只需登录PlayCanvas账户即可轻松将作品分享到网络。此外，2.0版本还加入了时间线功能，方便创建相机飞越动画，以及.ssproj项目文件格式，方便保存和加载项目。支持AR和VR沉浸式体验，可在Meta Quest 2/3、安卓手机和Apple Vision Pro上使用。SuperSplat采用MIT开源许可证，欢迎社区贡献！
阅读更多
Svader是一个用于创建GPU渲染Svelte组件的库，它利用WebGL和WebGPU片段着色器实现高性能图形渲染。开发者可以使用片段着色器编写程序，自定义像素颜色，并通过参数传递控制渲染效果。该库支持Svelte 4和Svelte 5，提供了WebGL和WebGPU两种渲染模式，并包含丰富的内置参数，例如分辨率、缩放比例和时间等。Svader还提供易于使用的组件，简化了GPU渲染的开发流程，即使在不支持WebGL或WebGPU的环境下，也能通过回退机制提供基本的渲染功能。
阅读更多
哈佛大学科学家将电极阵列植入青蛙、小鼠和蝾螈发育中的大脑，创造了“半机械人”胚胎。这项技术能够记录大脑活动，并随着胚胎发育而伸展。研究人员发现，这种技术不会影响胚胎发育，并揭示了神经活动在发育和再生中的作用。虽然研究人员认为在人类胚胎中植入电极是不道德的，但这项技术未来可能用于研究和治疗儿童的神经发育疾病。
阅读更多
本文是与《Andor》第二季摄影指导克里斯托弗·努延斯的一次访谈。努延斯分享了他从电工到电影摄影师的职业历程，以及他对电影制作从胶片到数字化的转变的看法。他谈到了如何在有限预算下实现高品质的电视剧制作，以及如何在《Andor》中将第一季与《侠盗一号》的视觉风格巧妙融合。访谈还涵盖了他对技术的热爱、与特效团队的合作、以及在不同国家和文化背景下的拍摄经验。
阅读更多
作者尝试使用Figma Slides制作演示文稿，初体验惊艳：强大的网格视图、自动布局和组件功能让制作过程高效便捷。然而，实际演示却遭遇滑铁卢：离线模式下无法正常播放，动画效果异常，甚至需要反复点击才能推进幻灯片。与之形成鲜明对比的是，作者多年来一直使用的Keynote，尽管功能相对简单，却始终稳定可靠。最终，作者以亲身经历证明了“可靠的旧技术”的价值。
阅读更多
W3C 技术架构组（TAG）发布声明，强烈呼吁所有浏览器立即停止支持第三方 Cookie。第三方 Cookie 严重危害用户隐私，被广泛用于跨站点数据追踪。虽然移除第三方 Cookie 会影响一些现有功能（如单点登录、广告投放），但TAG认为，开发旨在保护隐私的替代技术更重要。他们强调，任何替代方案都必须经过严格审查，确保不会重蹈覆辙，并呼吁浏览器厂商制定明确的时间表以彻底清除第三方 Cookie。
阅读更多
作者讲述了在一次演讲中，他谈到“真诚”的重要性，并以一位知名风投为例。这位风投在采访中多次强调自己的“透明”和“真诚”，但在作者朋友（一位女CEO）的经历中，这位风投却展现出操纵和欺骗的一面，通过散播谣言、谎报事实等手段来达到自己的目的。最终，这位风投的虚伪面目被揭露，他的名声也受到了影响。这篇文章警示我们，要警惕那些只说不做的人，要擦亮眼睛，辨别真伪。
阅读更多
洛杉矶反ICE抗议活动演变成暴乱，苹果Tower Theatre门店遭到洗劫，盗贼偷走了多部展示用iPhone。但苹果公司迅速反击，远程锁定并追踪这些手机，手机屏幕上闪烁着“请返回苹果Tower Theatre剧院，此设备已被禁用并正在被追踪。当地执法部门将被告知”的警告信息，并发出警报声。这一高科技反盗措施成功阻止了盗贼，至少三名嫌疑人被捕。事件凸显了科技公司在应对盗窃方面的创新能力，也反映了洛杉矶抗议活动中出现的暴力冲突和社会动荡。
阅读更多
丹麦一名工程师在朋友的麦田里用金属探测器意外发现了一批1500年前的黄金饰品，其中包括一枚刻有“他是奥丁的人”铭文的护身符，这是迄今为止发现的最古老的奥丁书面记载，将奥丁的崇拜历史提前了150年。这得益于丹麦独特的金属探测政策，允许爱好者探测并上交文物，极大地推动了考古研究，使得丹麦的考古发现远超邻国。
阅读更多
作者在五一劳动节参加同事聚会，聚会上传统的五月柱舞蹈引发了他的数学思考。他将舞蹈中彩带的编织与群论中的辫子群联系起来，发现传统的辫子群不足以描述五月柱舞蹈中的所有编织模式。他提出了一种新的群，称为“五月柱辫子群”，并用生成元和关系式对其进行了定义，解释了新的生成元和关系如何扩展了传统辫子群，从而能够更全面地描述五月柱舞蹈中的编织模式。
阅读更多