专利法核心的逻辑谬误:非显而易见性究竟测试什么?
文章批判了专利法中关于“非显而易见性”的核心逻辑谬误。作者认为,将“非显而易见性”作为专利授予标准,实际上是在间接测试发明者的认知能力,而非发明本身。这种逻辑谬误导致了专利审查过程中的主观性和不可靠性,并对人工智能在专利领域的应用带来潜在风险。文章呼吁对现行专利制度进行改革,寻找更客观、更能控制人工智能风险的替代方案。
阅读更多
文章批判了专利法中关于“非显而易见性”的核心逻辑谬误。作者认为,将“非显而易见性”作为专利授予标准,实际上是在间接测试发明者的认知能力,而非发明本身。这种逻辑谬误导致了专利审查过程中的主观性和不可靠性,并对人工智能在专利领域的应用带来潜在风险。文章呼吁对现行专利制度进行改革,寻找更客观、更能控制人工智能风险的替代方案。
阅读更多
本文介绍了不同类型的内存模块,包括 DIMM、UDIMM、RDIMM、SODIMM 和 CUDIMM。DIMM 是双列直插式内存模块的缩写,是内存条的正式名称。UDIMM 是无缓冲内存模块,是现代 PC 中最常见的内存类型,直接与内存控制器通信。RDIMM 是寄存式 DIMM,主要用于工作站和服务器,具有更高的可靠性和稳定性。CUDIMM 是带有时钟驱动器的 UDIMM,可以提高信号完整性和支持更高的工作频率。SODIMM 是小型 DIMM,用于笔记本电脑和小型台式机等空间有限的设备。
阅读更多
本文主要介绍了 POSIX 2024 标准 XCU 部分的新特性,重点关注实用工具的变化。其中,最显著的变化是 shell 中文件名处理的改进,解决了长期以来文件名中包含换行符导致脚本错误的问题。POSIX 2024 鼓励实用工具和 C 函数在创建或打印包含换行符的文件名时报错,从而提高脚本的健壮性。此外,新标准要求 C17 编译器,允许开发者使用更现代的 C 特性。文章还介绍了ulimit、renice、timeout 等实用工具的增强,Makefile 的改进,日志记录功能的完善,以及国际化支持的更新。
阅读更多
X公司正在开展一个名为“循环经济moonshot”的项目,旨在将全球废物转化为宝贵资源。该项目着重解决塑料垃圾问题,通过结合机器学习、人工智能和谷歌的计算能力,构建了行业首个塑料包装综合数据库。该数据库可以通过扫描识别塑料的分子组成,从而实现更有效的分类和回收。项目还致力于开发新的分拣工艺,并探索材料的再利用和重新设计,最终目标是实现分子级回收,并从废物中生产出原生品质的材料,减少对地球资源的依赖。
阅读更多
Busy Status Bar 是一款配备 LED 像素屏幕的多功能效率提升设备。它可以显示个人忙碌状态信息,内置番茄钟计时器和各种应用程序,并且完全可定制、开源且对开发者友好。该设备提供开放 HTTP API、开源 SDK、Python/Go/JavaScript 库、MQTT 等功能,并支持与第三方软件连接、与日历事件和通话集成。
阅读更多
本文讲述了微软如何将其大型 Javascript 单体仓库 (monorepo) 的 Git 大小缩减 94% 的经验。最初,仓库大小因存储大量变更文件和未删除的二进制文件而膨胀。团队通过优化变更文件管理和定期清理解决了这个问题。然而,仓库大小仍然快速增长,经调查发现,问题出在 Git 的文件压缩机制上。该机制在处理文件名超过 16 个字符的文件时效率低下,导致重复提交大量相同内容。团队通过采用新的基于路径的打包算法和配置,最终将仓库大小从 178GB 缩减至 5GB。
阅读更多
德国、法国、波兰、意大利、西班牙和英国六国外长在华沙举行会议,讨论欧洲安全挑战,并发表联合声明。声明谴责俄罗斯对乌克兰的侵略战争,指出俄罗斯的修正主义和持续侵略行为挑战了欧洲及跨大西洋地区的和平、自由与繁荣。六国决心加强团结,共同应对安全挑战,加强北约和欧盟的合作,增加安全防务支出,支持乌克兰,并对俄罗斯实施制裁。
阅读更多
这篇博客文章提供了一个学习C语言编程的综合指南。它涵盖了从C语言的历史到指针、结构和递归等高级概念的广泛主题。每个主题都通过清晰的解释、示例和练习进行深入介绍,使读者能够全面理解C语言编程的基础知识。
阅读更多
本文介绍了如何DIY制作一根智能连接器线缆,使iPad Pro 12.9 (2020)的妙控键盘可以在竖屏模式下使用。作者详细描述了所需的组件、线缆制作步骤、连接器准备工作以及外壳的改装。该方法涉及到焊接、环氧树脂填充等操作,并提醒操作不当可能损坏iPad。文章末尾的评论区讨论了充电及数据传输方面的问题。
阅读更多
本文介绍了1986年出版的雅达利ST数字杂志FaSTer。该杂志以软盘形式发行,包含文章、游戏、软件评测等内容,并具有独特的用户界面。作者回顾了该杂志的特点、价格、内容以及与其他类似杂志的比较,并分享了个人体验和下载链接。
阅读更多
本文是 PlayStation Vita 架构解析系列文章的第一部分,主要介绍了该掌机的硬件组成,特别是 CPU 部分。文章首先概述了 PlayStation Vita 的三种机型及其特点,然后详细介绍了其 CPU——ARM Cortex-A9 MPCore。文章从 ARM 处理器的历史出发,介绍了 Cortex 系列的由来、特点以及 Cortex-A9 的改进,包括多核支持、乱序执行、可变长度流水线等。此外,文章还介绍了 PlayStation Vita 中的协处理器、内存类型以及用于兼容 PlayStation Portable 游戏的 MIPS CPU。
阅读更多
约翰·金塞尔是一位纳瓦霍密码通讯员,于107岁高龄去世。二战期间,他利用纳瓦霍语传递情报,成功迷惑了日军。战争结束后,他拖着装满香烟的行李箱,徒步七英里回到家乡,并接受了部落的重新接纳仪式。
阅读更多
澳大利亚著名小提琴喜剧组合TwoSet Violin在社交媒体上宣布结束创作,结束其11年的旅程。他们对粉丝表示感谢,并表示将保留部分视频内容。TwoSet Violin以其幽默风趣的视频吸引了大量观众,他们用轻松的方式推广古典音乐,并关注古典音乐行业的心理健康等问题。
阅读更多
本文评测了AMD Ryzen 7 9800X3D处理器在Ubuntu Linux下的性能表现。该处理器是首款采用第二代3D V-Cache技术的Zen 5 CPU,拥有8核心16线程,64MB 3D V-Cache,基础频率4.7GHz,最高睿频5.2GHz,TDP功耗为120W,官方建议零售价为479美元。文章对比了该处理器与其他Intel Core和AMD Ryzen桌面处理器的性能,测试涵盖近400项基准测试,并使用了不同的主板和内存配置进行测试。结果显示,Ryzen 7 9800X3D在Linux系统下运行良好,兼容现有AM5主板。
阅读更多
Cerebras Systems公司宣布其WSE-3引擎在运行Meta Platforms最新Llama 3.2模型的推理方面,性能显著提升,速度比8月份测试Llama 3.1模型时提高了3.5倍。这一提升使得Cerebras CS-3系统在本地或Cerebras及其合作伙伴Group 42运营的云中运行时,相比基于Nvidia H100 GPU的实例拥有更大的优势,尤其在价格方面。Cerebras着重强调了Llama 3.2 70B模型的推理性能提升,并表示正在准备推出针对405B参数模型的解决方案。文章还分析了Cerebras与Nvidia在性能和价格方面的对比,指出Cerebras在云端租赁服务的定价策略可能是一种为了抢占市场的亏损策略。
阅读更多
“花光埃隆·马斯克的钱”是一款模拟游戏,让你体验坐拥2460亿美元财富的感觉。游戏中,你可以购买各种奢侈品、科技产品,甚至整个公司,目标是花光马斯克的每一分钱。游戏提供超过50种独特的商品,实时更新余额,让你了解巨额财富的规模和投资潜力。
阅读更多
本文详细介绍了如何在本地硬件上运行大型语言模型(LLM),重点讲解了llama.cpp。文章首先解答了一些关于硬件需求、性能预期、响应质量以及能否替代在线LLM服务商等常见问题。然后,逐步讲解了如何在Windows和Linux系统上构建llama.cpp,获取和转换HuggingFace模型到GGUF格式,以及如何量化模型以降低资源需求并提高运行速度。文章还介绍了llama.cpp服务器的运行和设置,以及其他工具如llama-bench和llama-cli的使用方法,并深入探讨了LLM的配置选项,包括系统消息、温度、Top-K、Top-P等参数对模型输出的影响。最后,文章提供了一些模型推荐和寻找模型的资源。
阅读更多
本文是 Rust 异步编程系列教程的第一部分,介绍了 Rust 中的异步编程概念和优势,并通过与多线程的比较,引出了异步编程解决 C10K 问题的优势。文章通过示例代码展示了如何使用 `async/await` 语法进行异步编程,并解释了使用 `join_all` 同时运行多个异步任务的方法。此外,文章还探讨了在异步函数中使用 `thread::sleep` 和逐个 `await` 异步任务的常见错误,为后续深入讲解异步运行时机制奠定了基础。
阅读更多
Gazzetta是一款专为Mastodon设计的新闻阅读应用,它不同于其他Mastodon客户端,后者更注重社交网络体验。Gazzetta更像是一个Mastodon的RSS阅读器,提供独立的界面,让你专注阅读新闻和链接。你可以关注服务器或账号查看热门链接和特定用户分享的链接,并支持全文搜索、Safari阅读模式、书签管理、链接导出等功能。此外,它还提供丰富的自定义选项,例如字体样式、隐藏缩略图、过滤链接等,帮助你打造个性化的阅读体验。
阅读更多
BitEnergy AI 的工程师团队报告了一种将 AI 应用的能源需求降低 95% 的方法。该技术用整数加法代替复杂的浮点乘法,在不降低性能的情况下大幅减少运行 AI 应用所需的计算量。虽然新方法需要设计不同的硬件,但研究团队表示新硬件已经过设计、构建和测试。
阅读更多
PeachPie 是一个开源的 PHP 编译器,可以将 PHP 代码编译成 .NET 程序集,允许开发者在 .NET 平台上运行 PHP 应用程序。PeachPie 提供了与 .NET 的双向互操作性,允许开发者在同一个项目中混合使用 PHP 和 .NET 代码。它还提供了完整的 .NET 兼容性、安全性、代码诊断和性能分析工具。
阅读更多
本文讲述了德怀特·史密斯·杨非凡的一生。他曾是木匠、摄影师,在大萧条时期参与修建了34号公路。二战期间,他在芝加哥大学的冶金实验室工作,后随实验室搬迁至洛斯阿拉莫斯,参与曼哈顿计划,成为一名核物理学家。他参与了原子弹的研发,并在战后继续从事核研究,亲历了世界第二次核事故。尽管没有大学学位,他最终成为洛斯阿拉莫斯的正式物理学家,并在退休后继续从事植物学、生物学、考古学等研究。
阅读更多
本文讲述了作者为医学研究自愿参加痢疾人体挑战试验的经历。作者详细描述了试验过程、感受以及对噬菌体疗法的研究和思考。作者在试验中感染了志贺氏菌,但未出现血性腹泻症状,因此严格意义上并未患上痢疾。作者推测自己可能被分到了对照组,并对噬菌体疗法的前景表示乐观。
阅读更多
这篇文章探讨了编程语言中同步和异步函数的设计问题,以“颜色”作比喻,将异步函数比作“红色函数”,同步函数比作“蓝色函数”。作者指出,很多语言,如JavaScript、Dart、C#和Python,由于异步函数的特性,开发者需要面对诸多挑战,例如回调地狱、Promise和Future的局限性等。作者认为,像Go、Lua和Ruby这类拥有线程或类似机制的语言,通过多线程或协程的方式,消除了同步和异步之间的区别,为开发者提供更优雅的并发处理方式。
阅读更多
文章探讨了时间作为第四维度与空间维度的区别。文章指出,根据爱因斯坦的相对论,时间和空间并非所有观察者都认同的绝对量,而是相对的,取决于时空的曲率和观察者的运动。与空间维度不同,时间不能独立于空间维度,运动速度会影响时间的流逝。文章进一步阐述了时空区间的概念,它结合了时间和空间,并解释了时空间隔如何成为所有观察者都能认同的不变量。
阅读更多
该项目旨在召集人们朗读新发现的最大梅森素数M136279841的每一位数字,并希望在发现更大的素数之前完成。参与者需要认领一段419位的数字,录制自己朗读的视频并上传到YouTube,然后提交视频链接。所有视频将被添加到播放列表中,形成完整的人类朗读这段4100万位素数的记录。
阅读更多
本文介绍了一种将增强现实(AR)显示器缩小至眼镜尺寸的新技术。该技术结合了超表面透镜和微型LED屏幕,并利用计算机算法消除图像失真,最终实现了高分辨率、宽视场和小巧便携的AR眼镜原型。该研究成果有望推动AR技术在日常生活中的普及和应用。
阅读更多