Hacker News 今日TOP 20| 2025-04-22

Hacker News数据实时更新，本TOP选取北京时间2025-04-22 23:55分左右的数据

1.Abusing DuckDB-WASM by making SQL draw 3D graphics (Sort Of)

中文标题：利用DuckDB-WASM玩出花：用SQL语句绘制3D图形（勉强算）
网站: www.hey.earth
HN评论: 立即访问

---

2.Surprises in Logic (2016)

中文标题：逻辑中的意外发现（2016年）
网站: math.ucr.edu
HN评论: 立即访问

---

3.I Open-Sourced My AI Toy Company That Runs on ESP32 and OpenAI Realtime API

中文标题：我把基于ESP32和OpenAI实时API的AI玩具公司开源了
网站: github.com
HN评论: 立即访问

---

4.Supabase raises $200M Series D at $2B valuation

中文标题：Supabase完成2亿美元D轮融资，估值达20亿美元
网站: finance.yahoo.com
HN评论: 立即访问

---

5.Algebraic Semantics for Machine Knitting

中文标题：《机器编织的代数语义学》
网站: uwplse.org
HN评论: 立即访问

---

6.Join the W3C Exploration Interest Group: where standards start

中文标题：加入W3C探索兴趣小组：标准诞生的起点
简介：W3C宣布成立“探索兴趣小组”（Exploration Interest Group），旨在为新兴技术领域的标准化工作提供早期讨论平台。该小组将聚焦尚未成熟但具有潜力的技术方向，允许成员自由探讨未来标准化的可能性，而无需立即形成正式规范。参与者将有机会影响技术标准的早期发展方向，并与行业专家交流想法。小组对所有W3C会员开放，鼓励来自不同背景的专业人士加入，共同探索Web技术的未来。这一举措旨在加快创新技术的标准化进程，同时保持开放协作的W3C传统。
网站: www.w3.org
HN评论: 立即访问

---

7.Using physics simulations to find targeting strategies in tenpin bowling

中文标题：运用物理模拟探索保龄球瞄准策略
网站: pubs.aip.org
HN评论: 立即访问

---

8.Libro: a command-line tool to track your books

中文标题：Libro：一款命令行工具，助你轻松管理藏书
网站: github.com
HN评论: 立即访问

---

9.Pike – a dynamic programming language with a syntax similar to Java and C

中文标题：Pike——一种动态编程语言，其语法与Java和C类似
网站: pike.lysator.liu.se
HN评论: 立即访问

---

10.The Cold Start Problem: Using Network Effects to Scale Your Product – A Review

中文标题：《冷启动难题：如何利用网络效应实现产品规模化》——书评
网站: madhavajay.com
HN评论: 立即访问

---

11.Launch HN: Infra.new (YC W23) – DevOps Copilot with Guardrails Built In

中文标题：HN首发：Infra.new（YC W23届）——内置防护栏的DevOps副驾驶
HN评论: 立即访问

---

12.David Tong Lectures on Theoretical Physics

中文标题：戴维·桐理论物理讲座
网站: www.damtp.cam.ac.uk
HN评论: 立即访问

---

13.Attacking My Landlord's Boiler

中文标题：怒怼房东的锅炉
网站: blog.videah.net
HN评论: 立即访问

---

14.GiveCampus (YC S15) Is Hiring Sr engineers passionate about education

中文标题：GiveCampus（YC S15届校友企业）正在招聘热爱教育事业的资深工程师
网站: givecampus.breezy.hr
HN评论: 立即访问

---

15.Evertop: E-ink IBM XT clone with 100+ hours of battery life

中文标题：Evertop：采用电子墨水屏的IBM XT复刻版，续航超100小时
网站: github.com
HN评论: 立即访问

---

16.Does RL Incentivize Reasoning in LLMs Beyond the Base Model?

中文标题：强化学习能否激励大语言模型超越基础模型进行推理？
网站: limit-of-rlvr.github.io
HN评论: 立即访问

---

17.Handheld detector for all types of ionizing radiation improves radiation safety

中文标题：全能电离辐射手持检测仪 提升辐射防护水平
网站: phys.org
HN评论: 立即访问

---

18.A Real-Time Algorithm for Non-Convex Powered Descent Guidance [pdf]

中文标题：非凸动力下降制导的实时算法 [pdf]
网站: depts.washington.edu
HN评论: 立即访问

---

19.Verus: Verified Rust for low-level systems code

中文标题：Verus：专为底层系统代码设计的验证版Rust
网站: github.com
HN评论: 立即访问

---

20.We Diagnosed and Fixed the 2023 Voyager 1 Anomaly from 15B Miles Away

中文标题：我们在150亿英里外诊断并修复了2023年"旅行者1号"异常 [视频]
网站: www.youtube.com
HN评论: 立即访问

---