2025-10-05 07:00
Hacker News 2025-10-05
- What .NET 10 GC Changes Mean for Developers
original article — hacker news - ProofOfThought: LLM-based reasoning using Z3 theorem proving
original article — hacker news - Way past its prime: how did Amazon get so rubbish?
original article — hacker news - Microsoft Surface Pen Compatibility / Interoperability FAQ (2024)
original article — hacker news - Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL
original article — hacker news - A comparison of Ada and Rust, using solutions to the Advent of Code
original article — hacker news - Newton: physics simulation engine built upon NVIDIA Warp
original article — hacker news - Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4
original article — hacker news - Mod. 5140 - IBM's First Laptop Computer
original article — hacker news - Blog Feeds
original article — hacker news