热
点
聚合
百度热搜
微博热搜
知乎热榜
B站热门
抖音热点
今日头条
少数派
36氪
掘金
V2EX
GitHub
Hacker News
百度贴吧
豆瓣
虎扑
新浪财经
东方财富
雪球
财联社
腾讯网
吾爱破解
Stack Overflow
澎湃新闻
CSDN
今日头条
Hacker News
共 3853 篇文章
首页
/
Hacker News
781
Terence Tao's ChatGPT conversation about the Jacobian conjecture counterexample
2026-07-23 · 在人工智能与尖端数学研究的交叉点上,一场引人注目的思想实验悄然展开。知名数学家、菲尔兹奖得主陶哲轩(Terence Tao)近日披露了他与人工智能模型ChatG
782
NixOS is more complicated than you think but OpenCode fixed it
2026-07-23 · 在开源操作系统领域,NixOS一直以“声明式系统配置”和“可重复构建”的独特理念著称。然而,正是这份对完美主义和技术极致的追求,让它在普通开发者眼中变成了一座难
783
Clarity didn't work, trying mysterianism (2012)
2026-07-23 · 2012年,一篇题为“Clarity didn't work, trying mysterianism”的博客文章在学术圈与科技界引发涟漪。这篇文章虽未署名主流
784
Run large language models at home, BitTorrent‑style
2026-07-23 · 想象一下,你不需要一台超级计算机,也不需要向云服务商支付高昂的API费用,只需像下载一部电影那样,通过P2P网络从全球志愿者的电脑上“拼凑”出计算资源,就能在家
785
Codeberg Bans Cryptocurrency Projects
2026-07-23 · 2024年11月,知名非营利代码托管平台Codeberg正式发布公告,宣布将全面禁止在其平台上托管任何与加密货币、区块链及非同质化代币(NFT)相关的项目。这一
786
All 253 Patterns from Christopher Alexander's a Pattern Language Summarized
2026-07-23 · 近日,一本名为《All 253 Patterns from Christopher Alexander's a Pattern Language Summari
787
Anthropomorphism in Children's Interactions with LLM Chatbots
2026-07-23 · 随着大语言模型(LLM)聊天机器人如ChatGPT、Claude等日益普及,一个引人深思的现象正在家庭和校园中悄然浮现:儿童在与这些AI系统的互动中,正表现出愈
788
MemoryPack: Zero encoding extreme performance binary serializer for C#
2026-07-23 · 在当今高性能计算与实时数据处理领域,序列化速度直接决定了系统的吞吐量上限。传统的JSON、XML乃至Protobuf等方案虽然稳定,但在追求极致性能的C#生态中
789
Clarity didn't work, trying mysterianism
2026-07-23 · 特约记者 陈复明 | 柏林报道 当全球人工智能界还在为“可解释性AI”争论不休时,一份名为《Clarity didn't work, trying myster
790
What Rose Petals Teach Us about Induction
2026-07-23 · ——一朵花的数字密码如何揭示科学推理的核心奥秘 在春日花园中,玫瑰的层层花瓣不仅是美的象征,更藏着一道关于“归纳推理”的数学谜题。近期,一项跨学科研究引起了科学
791
Fretboard Memorisation with Modular Arithmetic
2026-07-22 · 在吉他学习中,繁琐的指板音符记忆常令初学者望而却步。然而,一种源自数学领域的“模算术”近日在欧美音乐教育圈引发热议——它被证明能帮助吉他手在短时间内系统掌握指板
792
Designing a 4D Digital Archive for Ikebana
2026-07-22 · 当数字技术遇上千年花道,一场关于“保存与再生”的对话正在展开。近日,国际数字文化遗产研究团队宣布启动一项名为“Designing a 4D Digital Ar
793
How we made our LeRobot video reader up to 15× faster
2026-07-22 · 在机器人学习与仿真领域,视频数据的读取与处理往往成为制约研发效率的瓶颈。近日,LeRobot团队公布了一项令人瞩目的技术成果——通过对视频读取器进行系统性重构和
794
Museum of the Human Web
2026-07-22 · 【本报特约记者报道】 在数字时代浪潮席卷全球的今天,一座旨在全面展现人类互联历史与未来的主题博物馆——“人类网络博物馆”(Museum of the Human
795
Show HN: Cactus Hybrid: We taught Gemma 4 to know when it's wrong
2026-07-22 · 在人工智能领域,大语言模型(LLM)的“幻觉”问题一直是悬在开发者头顶的达摩克利斯之剑——模型会自信满满地给出错误答案,而用户往往难以辨别真伪。近日,一个名为“
796
Why do we love music? (2018)
2026-07-22 · 从婴儿的摇篮曲到摇滚音乐节的万人合唱,从街头艺人的吉他弹奏到交响音乐厅的恢宏乐章,音乐几乎伴随着人类文明的每一个角落。我们为何会对这些有组织的声波如此痴迷?20
797
Fairphone 6 wide camera experimental Linux support
2026-07-22 · 标题:Fairphone 6 广角摄像头获实验性 Linux 支持,开源手机生态再进一步 (导语) 近日,开源社区传来消息,以可维修和模块化著称的 Fairph
798
Any text-to-SQL benchmark should address difficulties of real-world data stores
2026-07-22 · 随着大语言模型在自然语言处理领域取得突破性进展,文本转SQL技术成为企业级AI应用的热点方向之一。然而,近期多位数据库领域专家指出,当前主流的文本转SQL基准测
799
Taking OCaml and Eio for a Spin
2026-07-22 · 导语 在编程语言的世界里,OCaml 一直以类型安全、高效编译和函数式编程的优雅著称,但其并发模型长期依赖外部库或系统线程,难以充分发挥现代多核硬件的潜力。20
800
I Inspected My Take-Home Interview Project. It Was a Whole Operation
2026-07-22 · 近年来,“带回家面试项目”(take-home interview project)在科技公司、设计机构以及市场营销等行业日益流行。企业声称,通过让候选人完成一
1
…
38
39
40
41
42
…
193