热
点
聚合
百度热搜
微博热搜
知乎热榜
B站热门
抖音热点
今日头条
少数派
36氪
掘金
V2EX
GitHub
Hacker News
百度贴吧
豆瓣
虎扑
新浪财经
东方财富
雪球
财联社
腾讯网
吾爱破解
Stack Overflow
澎湃新闻
CSDN
今日头条
Hacker News
共 3915 篇文章
首页
/
Hacker News
261
OpenShell Kubernetes Operator
2026-07-29 · 近日,开源社区迎来一项重要突破——OpenShell Kubernetes Operator 正式发布。该项目旨在解决Kubernetes集群中Shell环境部
262
Transformer Transformer: A Unified Model for Motion-Conditioned Robot Co-Design
2026-07-29 · 近日,一项名为“Transformer Transformer: A Unified Model for Motion-Conditioned Robot Co
263
Chip stocks slide in US and Asia as AI jitters rattle investors
2026-07-29 · 投资者对人工智能行业前景的担忧骤然升温,引发全球芯片板块广泛抛售。美国及亚洲主要市场的半导体股票周四(或近日)同步下跌,英伟达、AMD等AI龙头领跌,市场恐慌情
264
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
2026-07-29 · 近日,一位开发者(HN用户身份未完全公开)在Hacker News上展示了名为“Lean4 Datalog DSL”的开源项目,该项目基于Google Zanz
265
Beyond Greece and Rome
2026-07-29 · 当人们谈论“古典文明”时,脑海中往往会浮现雅典卫城的大理石柱、罗马斗兽场的宏伟拱券,以及苏格拉底与柏拉图的哲学对话。然而,一场静悄悄的知识革命正在学界涌动——考
266
Hooray for the Sockets Interface
2026-07-29 · “Hooray for the Sockets Interface!”——这句充满欢呼的宣言,近日在全球开发者社区中回荡。国际互联网工程任务组(IETF)于北京
267
Multiple Mouse Cursors in Wayland
2026-07-29 · 在Linux桌面环境的发展历程中,显示服务器协议Wayland正逐步取代老旧的X11,成为新一代图形栈的核心。近日,Wayland协议迎来一项备受期待的特性——
268
Does every question mark deserve a Betteridge?
2026-07-29 · 在信息爆炸的时代,标题是读者与内容之间的第一道桥梁。一个好的标题能吸引点击,一个糟糕的标题则可能让优质内容石沉大海。然而,有一种特殊的标题形式——以问号结尾的标
269
Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf]
2026-07-29 · 近日,一份名为《Industry Brief: Private 5G for Manufacturing and Industrial Sites》的行业简报引
270
Truth is not a direction: a Tarski attack on LLM probes
2026-07-29 · 导语:在人工智能可解释性研究领域,一种被广泛用于检测大语言模型“是否在说真话”的探针技术,近日遭遇了来自逻辑学经典理论的毁灭性挑战。研究人员提出,依赖单一方向向
271
Show HN: Learning Rust by writing a Markdown to HTML compiler
2026-07-29 · 近日,一位名为“RustLearner”的开发者(网名)在Hacker News上发布了一个名为「Show HN: Learning Rust by writi
272
Lightweight Spring Boot Monitoring Without Prometheus and Grafana
2026-07-29 · 在微服务架构日益普及的今天,Spring Boot应用监控已成为运维的必选项。长久以来,Prometheus搭配Grafana的组合被奉为“最佳实践”,然而这套
273
Hubble: Open-source notetaking app for you and your agents
2026-07-29 · 在知识管理工具层出不穷的当下,一款名为Hubble的开源笔记应用悄然走入技术社区视野。它的特别之处不在于“又一款笔记软件”,而在于其核心理念:为你和你的AI代理
274
LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences
2026-07-29 · 近日,著名人工智能专家、斯坦福大学客座教授吴恩达(Andrew Ng)正式对外公布其最新创业项目——LearnVector。这家专注于AI教育的初创公司,致力于
275
ReFrame – The EPaper Camera
2026-07-29 · 在像素竞赛与传感器堆料愈演愈烈的数码影像时代,一款名为“ReFrame”的电子纸相机近日在海外科技展上引发广泛关注。这款产品并非以超高分辨率或强悍连拍性能见长,
276
An introduction to formal proof verification and the Curry-Howard Correspondence
2026-07-29 · 在人工智能与软件系统日益复杂的今天,如何确保程序的绝对正确性?一个跨越数学与计算机科学的古老思想正在焕发新生——形式化证明验证技术,以及与之相伴的柯里-霍华德对
277
Show HN: Manim (3Blue1Brown's animation engine) in the browser via WebGPU
2026-07-29 · 近日,Hacker News上一则名为「Show HN: Manim (3Blue1Brown's animation engine) in the brows
278
Schools are adding pepper-spraying drones to help combat active shooters
2026-07-29 · 标题:美国校园引入“胡椒喷雾无人机”应对枪击威胁,引发安全与隐私争议 近年来,美国校园枪击事件频发,迫使学校管理者不断寻求创新手段以保障师生安全。近日,一则消息
279
Hubbele: Open-source notetaking app for you and your agents
2026-07-29 · 在人工智能飞速发展的今天,个人知识管理工具与AI代理的深度融合已成为新的趋势。近日,一款名为 Hubbele 的开源笔记应用正式进入公众视野,它宣称不仅服务于人
280
The Difference Between a Button and a Link
2026-07-29 · 在网页和移动应用设计中,按钮(Button)与链接(Link)看似都是可供点击的交互元素,但二者在功能、视觉呈现、用户心理预期乃至代码语义上均存在本质区别。近期
1
…
12
13
14
15
16
…
196