每日HackerNews RSS

Compiling Rust to readable C with Eurydice 34 天前

查看详情

Atari Falcon 34 天前

查看详情

Anthropic AI model submits false tip on unsolved Philly murder 34 天前

查看详情

HostMath – Airbnb profit calculator with break-even occupancy and payback 34 天前

查看详情

11 of 23 Core Open Source Projects Run on 1 or 2 People 34 天前

查看详情

The role of cat eye narrowing movements in cat–human communication (2020) 34 天前

查看详情

Rewriting Prime Agent in Rust 34 天前

查看详情

What mathematicians should know about the Lean Theorem Prover: reliability & AI 34 天前

查看详情

How to Fix autoconf-style Configuration Probing 34 天前

查看详情

OpenAI mistranslated mathematics into code for its Navier-Stokes proof 34 天前

查看详情

更多