DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data

NASA's Europa Clipper Launch

AlphaCodium outperforms direct prompting of OpenAI's o1 on coding problems

Busy Status Bar

Scientists successfully breed corals to improve their heat tolerance

The Stallman Report

Show HN: X11 tool to share a screen area in any video meeting

Sound Lab – A Simple Analogue Synthesiser

The Inevitability of Mixing Open Source and Money

Upgrading Uber's MySQL Fleet

Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel 2024

Blocking the "Sign in with Google" Prompt (2023)

Gosub – An open-source browser engine

Embedded Rust in Production?

Exploring 120 years of timezones (2021)

The Age of PageRank Is Over (2022)

Huly – Open-source project management platform

Why pay for a search engine