Top stories from this year

The News Is Information Junk Food (2022)

LeanDojo: Theorem Proving in Lean Using LLMs

Perfectionism – one of the biggest productivity killers in the eng industry

How do jewellers capture every last particle of gold dust? (2017)

Ask HN: Is anyone else just done with the industry?

The German automotive industry wants to develop open-source software together

FedFlix — Public Domain Stock Footage Library

Salesforce study finds LLM agents flunk CRM and confidentiality tests

NASA Is Worth Saving

EU OS for the Public Sector

FAA to eliminate floppy disks used in air traffic control systems

Tornado warnings delayed because of DOGE cuts

Popcorn: Run Elixir in WASM

Show HN: Basecoat – shadcn/UI components, no React required

I learned Snobol and then wrote a toy Forth

Cuttlefish 'talk' with their arms, study reveals

Numerical Linear Algebra Class in Julia TUM

Show HN: Blast – Fast, multi-threaded serving engine for web browsing AI agents

Tumor-derived erythropoietin acts as immunosuppressive switch in cancer immunity

Show HN: Colanode, open-source and local-first Slack and Notion alternative