安全研究人员发现，起亚汽车网站存在一个安全漏洞，黑客可以利用该漏洞重新分配对大多数现代起亚汽车联网功能的控制权，从而追踪车辆位置、解锁车门、鸣笛或启动点火装置。该漏洞影响了数百万辆汽车，突显了汽车行业网络安全防护的薄弱性。虽然起亚已采取措施修复该漏洞，但这起事件凸显了汽车制造商在网络安全方面需要更加重视，尤其是在智能功能和联网汽车日益普及的今天。
阅读更多
韦伯太空望远镜发现了一个黑洞，其吞噬速度是理论上限的40倍，挑战了现有理论。该黑洞名为LID-568，位于一个矮星系中，质量约为太阳的百万倍。研究人员估计，它已经维持这种超高速吞噬状态超过1000万年，这可能是早期宇宙中超大质量黑洞快速形成的原因。这一发现可能解释了早期宇宙中超大质量黑洞的快速增长之谜，但同时也提出了新的问题，因为LID-568的吞噬速度远超其他已知黑洞，其形成机制仍待进一步研究。
阅读更多
Epoch AI 推出了 FrontierMath，这是一个包含数百道专家级原创数学题的基准测试，旨在评估人工智能系统的高级推理能力。这些问题涵盖了现代数学的主要分支，从计算数论到抽象代数几何，通常需要专家数学家花费数小时或数天才能解决。目前，即使是最先进的AI模型，在FrontierMath上的解题率也不足2%，这与它们在GSM-8K和MATH等其他数学基准测试中超过90%的准确率形成鲜明对比，凸显了当前AI能力与数学家水平之间的巨大差距。FrontierMath的后续工作包括定期评估、扩展题库、公开发布更多问题以及加强质量控制。
阅读更多
AWS宣布推出AWS数据传输终端，这是一个安全的物理位置，您可以携带存储设备并将数据更快地上传到AWS云。首批数据传输终端位于洛杉矶和纽约，并计划在全球范围内增设更多站点。您可以预约时间段访问最近的站点，并使用高吞吐量连接将数据快速安全地上传到任何AWS公共端点，例如Amazon S3、Amazon EFS等。使用AWS数据传输终端，您可以显著减少在附近位置摄取数据的时间。您可以上传来自在都市地区运行和收集数据的大量车辆的大型数据集，用于训练机器学习 (ML) 模型；来自内容创建者的数字音频和视频文件，用于媒体处理工作负载；以及来自地方政府组织的测绘或图像数据，用于地理分析。数据上传到AWS后，您可以使用AWS提供的各种服务从数据中产生价值并加速创新。您还可以将AWS Snowball设备带到该位置进行上传，并保留该设备以继续使用，而无需依赖传统的运输方式。
阅读更多
这篇文章详细介绍了如何使用原生C语言创建一个微型张量库，并以此为基础解释神经网络的基本原理和训练过程。文章首先解释了神经网络的概念，将其类比为一个函数，并以图像识别为例展示了神经网络的结构和工作方式。接着，文章介绍了张量的概念，以及如何使用C语言中的结构体表示和操作张量。随后，文章解释了损失函数的作用，以及如何使用梯度下降法优化损失函数以训练神经网络。文章还详细介绍了自动梯度计算的原理和实现方法，并通过矩阵乘法、ReLU和logsoftmax等操作的示例代码展示了如何实现神经网络中的各种操作。最后，文章以MNIST手写数字识别为例，展示了如何使用该微型张量库训练一个简单的神经网络，并解释了训练过程中涉及的超参数选择和训练技巧。
阅读更多
该项目利用Raspberry Pi Pico W和一个静音手持开关，将摩尔斯电码转换为电子邮件。开关连接到GPIO引脚，设备上电后连接到WiFi，开始监听摩尔斯电码。收到完整序列并在静默10秒后，设备将文本发送到Web服务，最终以电子邮件形式发送给用户。
阅读更多
uBlock Origin是一款高效的、轻量级的浏览器广告拦截器，适用于Chrome和Firefox。它默认使用EasyList、EasyPrivacy等多个过滤列表，可以有效拦截广告、追踪器、恶意软件等，保护用户隐私。uBlock Origin还支持自定义规则和过滤器，并提供简单和高级两种模式以满足不同用户的需求。值得注意的是，使用广告拦截器并非盗窃行为，它保护用户的隐私安全。
阅读更多
STAR 是一款易于使用的网络应用程序，可使用手机的运动传感器和位置信息将天线与任何卫星对准。该应用程序由 Conor 开发，提供 ISS 演示以及用户指南。
阅读更多
奥地利因斯布鲁克大学的物理学家Francesca Ferlaino团队在实验室中创造了一种名为“超固体”的奇异物质状态，并观察到其中存在的量子漩涡。超固体同时具有固体的刚性和流体的流动性，其存在已有多年理论预测，但一直缺乏确凿证据。该团队利用激光和磁脉冲将稀土金属原子冷却至极低温度，使其形成超固体，然后通过旋转磁场诱导出微小的量子漩涡。这一发现不仅证实了超固体的存在，还可能有助于解释从中子星到高温超导体等一系列系统的特性。研究人员认为，超固体内部的漩涡运动可能解释了脉冲星（旋转的中子星）的突然加速现象。
阅读更多
高通和ARM正进行一场法律大战，焦点在于高通收购的Nuvia公司设计的基于ARM架构的处理器内核Oryon。ARM声称高通违反了许可协议，取消了高通的架构许可协议（ALA），这将影响高通的骁龙芯片业务。高通反驳ARM的主张，认为其行为是反竞争的。该案的判决将对智能手机、笔记本电脑和汽车等领域的计算未来产生重大影响，也将影响ARM的长期战略和收入模式。
阅读更多
SQLite 论坛发布公告，宣布将构建系统迁移到 autosetup。此次迁移旨在改进构建过程，但可能会导致某些自动化构建过程需要进行调整。论坛鼓励用户尽早测试预发布版本，并及时报告遇到的问题。
阅读更多
本文探讨了Polars和Pandas在分组聚合操作上的关键区别。Pandas的API在处理非基本分组聚合时存在局限性，例如“查找'sales'大于其平均值时，'views'的最大值”。用户通常需要使用低效的Python lambda函数或复杂的变通方法。Polars通过允许在GroupBy.agg中传递表达式来解决这个问题，从而实现更简洁和高效的非基本分组聚合操作。作者认为，新的数据框架库不应盲目复制Pandas API，而应关注API创新，以实现更强大的功能和性能。
阅读更多
GenAIScript是一个使用JavaScript编写LLM提示的脚本工具，它提供了一个 cohesive 的脚本环境，可以方便地构建、调试、运行和测试LLM提示脚本。GenAIScript 支持多种功能，包括 LLM 工具注册、LLM 代理组合、数据模式定义和验证、文件提取和差异预览、文件搜索、浏览器自动化、RAG 内置向量搜索、GitHub 模型和 GitHub Copilot 运行、本地模型运行、代码解释器、容器运行、LLM 组合、Prompty 运行和转换、CLI 自动化、Pull Request 集成、测试和评估以及案例研究等。
阅读更多
美国30年期抵押贷款平均利率连续第六周上升，达到6.79%，为7月初以来的最高水平。15年期抵押贷款利率也上升至6%。抵押贷款利率上升增加了借款人的成本，降低了购房者的购买力。利率上升受多种因素影响，包括美国10年期国债收益率，以及对通货膨胀和经济的乐观报告。尽管美联储在9月下调了主要利率，但抵押贷款利率的上升抑制了一些潜在购房者的积极性，抵押贷款申请连续六周下降。
阅读更多
本文介绍了在谷歌公司对广告拦截器进行打压的情况下，用户如何在 Chrome 和 Firefox 浏览器上继续屏蔽广告。文章解释了谷歌打压的原因，并提供了几种应对方法，包括手动重新启用广告拦截器、使用更新版本的广告拦截器、以及使用其他浏览器，例如 Firefox 或 DuckDuckGo。文章还介绍了每种方法的优缺点，以及如何操作。
阅读更多
2024年诺贝尔经济学奖授予了达伦·阿西莫格鲁、西蒙·约翰逊和詹姆斯·A·罗宾逊，以表彰他们对社会制度如何形成以及如何影响繁荣的研究。他们揭示了拥有糟糕法治和剥削人民的制度的社会不会带来增长或积极变化，而包容性制度则会带来长期利益，这解释了为何一些曾经富裕的殖民地现在变得贫穷，反之亦然。
阅读更多
这篇文章提供了寻找创业伙伴的详细指南，强调了明确自身需求、利用人脉资源和有效沟通的重要性。作者建议通过步骤化的约谈流程，从初步了解到深入合作，逐步筛选合适的伙伴。文章还提到了创业过程中需要注意的预警信号，例如伙伴不愿意改变糟糕的想法、沟通不畅、目标不一致等，并建议尽早终止合作关系。
阅读更多
本文探讨了在OS/2操作系统上进行NetBIOS编程的两种主要方法：ACSNETB.DLL和NETAPI.DLL。ACSNETB.DLL是与NetBIOS驱动程序直接交互的轻量级封装，而NETAPI.DLL则通过LAN Manager/LAN Requester重定向器IFS进行操作。文章详细介绍了这两种方法的历史渊源、技术细节以及它们与不同网络协议和硬件的关系，并解释了为何C-Kermit等应用程序需要同时支持这两种接口以确保在各种网络环境下的兼容性。文章还提及了IBM和Microsoft在OS/2 1.x时代网络策略的差异导致了这种NetBIOS API的复杂性。
阅读更多:quality(75)/https%3A%2F%2Fassets.lareviewofbooks.org%2Fuploads%2FChicago-Manual.jpg)
本文回顾了《芝加哥格式手册》第18版。这本手册自1906年首次出版以来，一直是英语世界出版物的风格指南。最新版本增加了对网络时代主题的指导，例如如何引用社交媒体帖子和人工智能生成的文本。文章还强调了在当今充斥着错误信息的时代，准确引用来源的重要性。
阅读更多
CCState是一个轻量级、语义清晰且灵活的状态管理库，专为中大型单页应用复杂状态管理而设计。它基于计算值、命令和状态三种基本数据类型，拥有简洁直观的API和高达100%的代码覆盖率测试。CCState框架无关，兼容React、原生JS等，速度极快，性能优于Jotai。它提供`state`、`computed`和`command`三种核心API，分别用于存储基本值单元、创建衍生计算逻辑和组织副作用逻辑。通过`useGet`、`useSet`等React Hooks，开发者可以轻松地获取和设置数据，并利用`useLoadable`和`useResolved`处理Promise值。CCState还提供订阅功能，实现状态变化的响应式更新。
阅读更多
本文探讨了在操作系统内核中使用运行时代码生成的可能性，以提高系统效率。作者以Linux系统调用`write()`为例，分析了如何利用LLVM等现代编译器技术进行代码特化，并讨论了将此技术应用于现有操作系统内核所面临的挑战，例如代码复杂性、指针分析和并发处理。作者认为，虽然现代编译器技术相较于90年代已有很大进步，但将动态特化应用于像Linux这样庞大的内核仍然需要大量的工程投入和创新。
阅读更多
为了解决大型语言模型（LLM）在形式定理证明方面训练数据缺乏的问题，DeepSeek-Prover方法利用高中和本科水平的数学竞赛问题生成大量的Lean 4证明数据。该方法将自然语言问题转化为形式语句，过滤掉低质量语句，并生成证明来创建合成数据。在包含800万个带有证明的形式语句的合成数据集上微调DeepSeekMath 7B模型后，该模型在Lean 4 miniF2F测试中实现了46.3%的完整证明生成准确率，优于基线GPT-4（23.0%）和树搜索强化学习方法（41.0%）。
阅读更多
DeskPad 是一款MacOS应用程序，可以创建一个虚拟显示器，用于屏幕共享。它解决了演示者屏幕分辨率远高于观众，导致观众难以看清演示内容的问题。DeskPad 的虚拟显示器会在其应用程序窗口中镜像，用户可以创建一个专用的、易于共享的工作区。
阅读更多
在工业化之前，人工照明极其昂贵，只有富人才负担得起。鲸油曾一度成为主要的照明燃料，但这导致了对鲸鱼的大规模捕杀。19世纪中期，煤油的发现和普及大大降低了照明成本，第一场照明革命由此开始。随后，爱迪生发明的电灯泡引发了第二次照明革命，最终使安全、廉价的人工照明普及到千家万户。
阅读更多
Cerebras宣布其推理引擎速度提升三倍，Llama3.1-70B模型的处理速度达到每秒2100个token。这一速度比之前的版本提升了3倍，比最快的GPU解决方案快16倍，比运行Llama3.1-3B模型的GPU快8倍。Cerebras将速度提升归功于软件、硬件和机器学习方面的多项改进，包括优化关键内核、简化晶圆输入输出以及实施推测解码等技术。快速推理对于实时AI应用至关重要，Cerebras推理引擎已被用于药物发现和语音AI等领域。
阅读更多
哲学家香农·瓦洛尔认为，当前人工智能并非像我们想象的那样拥有思维，而更像一面镜子，反射的是人类自身的智能和偏见。她批评科技行业将人类简化为“湿软的计算机”，并警告这种对人类认知的低估可能导致我们放弃自身的主观能动性和智慧。文章探讨了大型语言模型的局限性，指出其看似合理的推理实际上是基于统计关联的概率推演，而非真正的理解和思考。瓦洛尔呼吁重建对人类理性思维的信心，避免被AI的表象所迷惑，并警惕AI对人类自身意义的冲击。
阅读更多
2024年10月31日晚，数百人聚集在都柏林市中心的奥康奈尔街，准备参加一场在网上宣传的虚假“万圣节游行”。该虚假活动在社交媒体上发布并广泛传播，承诺从该市的北侧开始，一直到圣殿酒吧区。然而，实际上并没有这样的游行计划。数百人参加了这场不存在的活动，现在看来这是一场大规模的恶作剧。警方已要求人们安全离开该区域。
阅读更多