搜索技巧 海洋云增白 开源地图 AI 搜索答案 沙丘魔堡2 压缩机站 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 PostgreSQL AI工具 证券 DirectX DrawingPics 化学 KDE 披萨农场 多动症 植物学 分析化学 Three.js 大会 残疾人学校 初创 QB64 更多

奥斯汀和旧金山警方绕过面部识别禁令 (www.washingtonpost.com)

尽管奥斯汀和旧金山颁布了面部识别技术的禁令,但当地警方仍通过寻求其他执法机构的帮助,继续使用这项饱受争议的技术。他们将犯罪嫌疑人的照片提交给邻近城镇的警察局,利用其面部识别程序进行识别。

微软推出Recall功能,可检索PC上所有操作 (www.theverge.com)

微软推出了一款名为Recall的全新Windows 11工具,该工具可以跟踪用户在电脑上的所有操作,并允许用户搜索和检索他们在设备上执行的任何操作。Recall功能范围广泛,包括记录应用程序中的操作、跟踪实时会议中的通信、记住所有访问过的网站等。用户只需执行“Recall”操作,即可呈现该时间段的快照,提供记忆的上下文。该功能类似于Mac上的Rewind应用程序,但Recall与Windows深度集成,而Rewind是一个需要安装的第三方应用程序。Recall需要使用高通新款Snapdragon X Elite芯片的“Copilot Plus PC”才能运行,并且对存储空间有最低要求。

系统1和系统2思考:决策实验室 (thedecisionlab.com)

文章介绍了两种思维模式:系统1思维是快速、直观的,而系统2思维是缓慢、理性的。系统1思维依靠本能和经验,而系统2思维需要更多的努力和逻辑思考。文章还探讨了这两种思维模式在市场营销和金融规划中的应用,以及对这两种思维模式的常见误解。

微软宣布推出内置AI硬件的 Copilot Plus PC (www.theverge.com)

微软宣布推出全新品牌“Copilot Plus PC”,主打内置AI硬件和操作系统AI功能,所有主要笔记本电脑合作伙伴都将提供该系列产品。Copilot Plus PC将配备神经处理器,支持“Recall”功能,可利用AI创建用户PC上所有操作和所见内容的可搜索“照片记忆”。新笔记本电脑将运行超过40个AI模型,为这些新功能提供支持,内置AI助手Copilot还将获得对OpenAI GPT-4o模型的支持。

今日免费观看 Rams! (www.ohyouprettythings.com)

Oh You Pretty Things 正在庆祝 Dieter Rams 的生日,并于 5 月 20 日和 21 日免费放映 Rams 纪录片。 同时,你也可以观看 Gary Hustwit 的新电影 Eno,或订购优质商品,或通过 Venmo 向电影制作人提供小费。

用于高效推理大型语言模型的层压缩KV缓存 (arxiv.org)

大型语言模型在实际应用部署中,面临着巨大的内存消耗瓶颈,其中,Transformer架构中注意力机制的键值(KV)缓存消耗了大量内存。本文提出一种新型层压缩KV缓存方法,仅计算和缓存少量层的KV,显著节省内存消耗并提升推理吞吐量。实验证明,该方法在大型语言模型上实现了高达26倍的吞吐量提升,并在语言建模和下游任务中取得了具有竞争力的性能。

研究发现旧石器时代人类在塞浦路斯的定居时间比之前认为的早数千年 (phys.org)

弗林德斯大学的一项新研究表明,旧石器时代的狩猎采集者在塞浦路斯的定居时间比之前认为的早数千年。研究人员利用考古数据、气候估计和人口模型,揭示了塞浦路斯的早期人类活动。对塞浦路斯10个最古老遗址的考古年代分析表明,最早的人类占领发生在14257年至13182年前,这比之前认为的要早得多。气候模型表明,早期人类的到来与气温、降水和环境生产力的提高相吻合,足以维持大量的狩猎采集人口。

不要使用文本像素化来编辑敏感信息 (bishopfox.com)

Bishop Fox 的高级安全工程师 Dan Petro 指出,使用像素化处理文本中的敏感信息是不可靠的。他解释了像素化算法的原理,并指出了其中存在的几个问题,如字符渗透、空白处理、字体宽度变化、字体不一致和像素化偏移等。他通过一个名为 Unredacter 的工具,成功破解了 Jumpsec 公司提出的挑战,证明了像素化编辑方法的缺陷。最后,他强调了使用黑条完全覆盖文本才是最安全的编辑方法,并提醒读者不要使用其他任何方法。

QuestDB招募核心数据库工程师 (questdb.io)

QuestDB是一家专注于性能和简易性的开源时间序列数据库公司,目前正在招募核心数据库工程师。应聘者需要具备3年以上构建以数据为中心的软件、编写和性能调优数据处理算法的经验,熟练掌握Core Java、C或C++等编程语言,并对数据结构、算法、操作系统内部工作机制和硬件有深入了解。QuestDB为员工提供丰厚的股权激励、灵活的工作时间、100%远程办公等福利,以及透明、协作和包容的企业文化。

胶带治疗寻常疣的效果优于冷冻疗法 (pubmed.ncbi.nlm.nih.gov)

这是一项针对儿童寻常疣治疗方法的随机对照试验。研究比较了两种治疗方法:胶带封包和冷冻疗法。结果显示,胶带封包治疗比冷冻疗法更有效。在完成研究的51名患者中,胶带治疗组的22名患者(85%)疣体完全消退,而冷冻疗法组的15名患者(60%)疣体完全消退。大多数对这两种疗法有反应的疣体都在治疗的第一个月内消退。

软盘的今天:飞机、火车以及其他意想不到的地方 (www.zdnet.com)

本文回顾了软盘的历史,从 8 英寸软盘到 5.25 英寸和 3.5 英寸软盘。尽管在 21 世纪初,软盘已基本被淘汰,但它们仍在某些行业和应用中使用,例如工业机器、航空电子系统、旧式医疗设备以及核导弹设施。文章探讨了软盘持久存在的原因,包括其稳定性、安全性以及更换旧硬件的成本问题。

OpenAI 暂停 ChatGPT 中的 Sky 语音,因其听起来太像斯嘉丽·约翰逊 (www.tomsguide.com)

因担心 ChatGPT 中的 Sky 语音听起来太像“她”的女演员斯嘉丽·约翰逊,OpenAI 暂停了 Sky 语音的使用。该公司表示,ChatGPT 中的语音来自付费配音演员,最终的五位是从最初的 400 人中选出的,Sky 语音背后的这位未具名女演员的音调与约翰逊相似纯粹是巧合。

特斯拉车主被锁在车外,需支付2万英镑更换电池 (www.joe.co.uk)

加拿大一位特斯拉车主马里奥·泽拉亚因其2013年款特斯拉电池故障,导致车辆无法启动,被锁在车外。特斯拉公司要求其支付2万英镑更换电池,但泽拉亚拒绝支付,并决定出售车辆。由于车辆所有权文件也位于车内,他不得不额外支付费用以获取替代文件。泽拉亚表示,这不是个例,其他特斯拉车主也遇到过类似问题。他批评特斯拉公司试图掩盖问题,并表示永远不会再购买特斯拉。

AntennaPod 代码现代化改造 (antennapod.org)

开源播客应用 AntennaPod 发布了 3.4 版本,对代码结构进行了重大改进。AntennaPod 的代码库历史悠久,最早的代码可以追溯到 2011 年,多年来由众多开发者共同维护,导致代码结构逐渐变得混乱。此次改进历时三年,创建了 62 个合并请求,修改了约 10000 行代码,将代码库拆分成多个模块,消除了循环依赖,使代码结构更加清晰,易于维护和测试。

认知反思、认知智力和认知能力:一项元分析 (www.sciencedirect.com)

本文对认知反思 (CR) 与几种认知能力(即认知智力、数字能力、语言能力、机械空间能力和工作记忆)以及技能(即计算能力)之间的关系进行了一系列心理测量元分析。此外,本文还进行了双因子分析,以确定 CR 是一个相关的独立因素,还是认知智力层次模型中的二级因素。最后,该研究还测试了 CR 认知能力关系的路径元分析模型。结果表明,CR 与所有认知能力和技能都有显著相关性。双因子分析表明,CR 的方差主要由认知智力的一般因素加上数字能力的二级因素来解释。数字 CRT 和语言 CRT 的双因子分析结果相似。没有发现支持认知反思因素存在的证据。最后,路径元分析模型表明,认知智力和数字能力的组合解释了 69% 的 CR 方差。路径模型表明,认知智力和数字能力对 CR 有直接和间接(通过计算能力)的影响。

人工智能个性化如何加剧群体思维和一致性 (markozivanovic.com)

文章批判性地探讨了人工智能驱动推荐机制在各个服务和工具中日益增长的趋势,指出其可能扼杀创造力并强化群体思维。作者以Slack为例,分析了自动完成、表情符号建议和搜索结果等功能如何通过优先考虑常见短语、流行表情符号和频繁搜索的内容,来限制用户的思维,导致表达趋同,最终形成信息茧房,加剧群体思维和一致性。

高绩效员工频繁跳槽的原因:找不到高绩效文化 (thedailydeveloper.substack.com)

高绩效员工频繁跳槽的原因往往是他们在现有公司找不到高绩效文化。他们渴望优秀的管理者和团队,在遇到糟糕的公司文化时会感到沮丧和 desmotivated,最终选择离开。作者鼓励招聘者不要将频繁跳槽视为负面信号,而应该将其视为寻找优秀团队的积极表现。

格罗滕迪克对等式的使用 (arxiv.org)

这篇文章讨论了数学家(包括格罗滕迪克)如何使用“等式”的概念,以及在试图将数学形式化时会产生什么影响。文章挑战了一些关于等式的看似合理的口号。

液体逻辑门 - Imgur动图 (imgur.com)

这篇文章展示了一个使用液体构建逻辑门的有趣动图。图片中的液体通过管道和阀门流动,模拟了逻辑门的功能,例如“与”门、“或”门和“非”门。该动图生动地展示了逻辑门的运作方式,以及如何用简单的物理系统来实现它们。

64k Intro 制作指南 (www.lofibucket.com)

本文详细介绍了 64k intro “Guberniya”的制作过程,涵盖了从设计理念、团队合作、开发流程到具体技术实现的方方面面。文章重点讲解了小体积二进制文件的生成、浮点数处理、WinAPI 使用、渲染技术、物理模拟、音乐制作等关键环节,并穿插了大量代码示例和图片展示。作者还分享了团队在开发过程中遇到的挑战和解决方案,为有兴趣进入 demoscene 领域的开发者提供了宝贵的经验和参考。

赢得拼字游戏与专业技能的本质 (www.scientificamerican.com)

本文探讨了赢得拼字游戏所需的技能和专业知识的本质。作者介绍了顶级拼字游戏玩家需掌握的知识,包括大量的词汇量、识别潜在玩法的能力以及游戏策略。研究表明,专业技能的获得需要大量的经验积累,例如记忆单词列表、分析之前的游戏以及玩文字游戏。然而,基本的认知能力,如工作记忆和视觉空间推理能力,也起着重要作用。研究发现,拼字游戏专家的这些能力优于普通人,这可能是因为他们在这些能力上的先天优势使他们更容易被拼字游戏吸引并坚持下去。

2024年显示周新闻:4K 1000Hz 显示器展出,Blur Busters发布新型显示器测试仪 (blurbusters.com)

2024年显示周正在如火如荼地进行,Blur Busters 与 Nanosys 合作展示了用于 KSF 红色鬼影伪像的颜色性能测试原型机,计划在2025年将其商业化。TCL 展示了 4K 1000Hz LCD 屏幕,预计1000 Hz OLED 将在2027年商业化。文章还指出,240Hz OLED 屏幕在办公场景下比预期表现更好,TechSpot 也认为 240Hz 刷新率不再局限于电子竞技领域。VESA 使用 TestUFO 展示了 480 Hz OLED 的优势,Blur Busters 正在评估加入 VESA 协会的可能性。Blur Busters 还与 RTINGS 讨论了新的运动模糊测试方法,该方法大量利用了 Blur Busters 的研究成果。

多地禁用人脸识别技术,警方另辟蹊径继续使用 (www.yahoo.com)

尽管许多城市和州都禁止警方使用人脸识别技术,但一些警察部门通过向其他仍可以使用该技术的执法机构寻求帮助,找到了继续使用该技术的方法。例如,奥斯汀和旧金山都禁止警察使用人脸识别,但警方多次要求邻近城市的警察局通过人脸识别程序运行犯罪嫌疑人的照片。奥斯汀警方自2020年禁令生效以来,至少收到了邻近警察局13次人脸搜索结果,并且似乎在其中一些搜索中获得了匹配结果。旧金山警方自2019年禁令生效以来,至少进行了五次人脸识别搜索,但没有返回任何匹配结果。这些警方的行为突显出控制人脸识别技术使用的挑战,同时也引发了人们对该技术准确性和潜在滥用的担忧。

这款U盘仅可存储8KB数据,但可使用200年 (www.tomshardware.com)

Machdyne公司推出了一款名为Blaustahl的U盘,仅有8KB存储容量,但可以使用长达200年。该U盘采用FRAM技术,具有超低功耗、快速写入速度和极高的写入耐久性,使其成为长期文本存储的理想选择。虽然容量很小,但Blaustahl包含一个Raspberry Pi RP2040微控制器和4MB NOR闪存,可用于存储密码、加密货币密钥和地理位置数据等敏感信息。

Linux 6.10 将在启动时打印已填充内存插槽的数量 (www.phoronix.com)

Linux 6.10内核将在启动时将已填充内存插槽的数量打印到内核日志中。此功能旨在提供便利,用户可以通过dmidecode等实用程序手动计算和分析内存拓扑信息。

一致性哈希中的溢出 (rmarcus.info)

本文探讨了一致性哈希中的溢出问题,分析了数据项数量、节点数量和节点容量对溢出概率的影响,并提供了一个用于计算溢出概率的便捷计算器。文章指出,随着集群规模的增加,保持负载因子不变会导致溢出概率急剧上升。此外,增加节点容量可以提高可容忍的最大负载因子,但也会使系统对负载因子的波动更加敏感。文章还建议根据系统需求选择合适的节点大小和数量,并采取措施处理溢出节点。

康拉德·楚泽 (web.archive.org)

本文介绍了康拉德·楚泽,他被公认为是世界上第一台可自由编程的二进制浮点计算机的发明者。他于1941年在柏林的工作室完成了这台名为Z3的机器,并于1942年至1945年间创造了世界上第一种编程语言Plankalkül。

Uber将1万亿条记录从DynamoDB迁移到LedgerStore,每年节省600万美元 (www.infoq.com)

为了节省成本,Uber将其所有支付交易数据从DynamoDB和blob存储迁移到名为LedgerStore的新型专用数据存储中。该公司之前已经减少了使用DynamoDB存储热数据(12周前的数据)。此举带来了显著的成本节省,并简化了存储架构。LedgerStore是一个不可变的存储解决方案,通过提供可验证的数据完整性和正确性保证,确保交易数据的完整性。

Unicode 通用区域设置数据存储库 (cldr.unicode.org)

Unicode 通用区域设置数据存储库 (CLDR) 提供了软件支持世界语言的关键构建块,拥有最大和最广泛的可用区域设置数据标准存储库。 这些数据被广泛的公司用于其软件国际化和本地化,使软件适应不同语言的惯例,以完成此类常见软件任务。 它包括特定于区域设置的格式化和解析模式、名称翻译、语言和脚本信息、国家/地区信息以及 Unicode 区域设置、语言、脚本、区域和扩展的有效性定义、别名和有效性信息。

Jesper Cockx - 使用绑定表示语法的 1001 种方法 (jesper.cx)

本文探讨了在 Agda 中表示带有绑定语法的不同方法,包括 de Bruijn 索引、局部无名、名义签名、高阶抽象语法、范围良好的 de Bruijn 索引、范围良好的名称、无名无痛、抽象范围图和协同 de Bruijn 索引。作者详细介绍了每种方法,并使用无类型 lambda 演算的语法示例进行说明,还讨论了每种方法的优缺点。

1 2 328 329 330 332 334 335 336 438 439