Hacker News

Sharing AI Progress in Mathematics

243 points by OfficialTurkey 2 hours ago | 186 comments

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

30 points by tootie 23 minutes ago | 12 comments

Mistral Large 4

1548 points by Philpax 11 hours ago | 946 comments

Decisions API is in public beta

100 points by chiefstorm 3 hours ago | 35 comments

Vibecoding Photoshop: Time and pressure

33 points by samtheDamned 3 hours ago | 27 comments

EmbeddingGemma 2: An open, lightweight multimodal embedding model

192 points by ilreb 8 hours ago | 27 comments

Penguin Mail – open-source Rust email client for Linux with AI

22 points by kavourias 2 hours ago | 5 comments

Integer multiplication below n log n

5 points by E-Reverance an hour ago | 0 comments

Nobel Prize in Physics 2026: Francis Halzen

511 points by solarist 14 hours ago | 168 comments

OpenTPU – An open-source AI accelerator, developed by AI

210 points by fsbonetto 8 hours ago | 275 comments

Claude Code’s suggested message feature: I think the real customer is the model

70 points by zed_labs_dev 6 hours ago | 38 comments

Paramount Skydance has completed its $111B merger with Warner Bros. Discovery

149 points by Mgtyalx 3 hours ago | 212 comments

LLMs may have helped my RSI

22 points by vaughands 21 hours ago | 10 comments

When random is not actually random enough

14 points by steveklabnik 4 hours ago | 3 comments

The Query Transformation Pipeline

7 points by gvsg-rs 2 hours ago | 0 comments

Ask HN: Are there AI models for generating sounds based on a text and reference?

14 points by onemiketwelve a day ago | 1 comments

How Fast is Python 3.15?

11 points by Qem 2 hours ago | 4 comments

Benchmark in Milliseconds

126 points by surprisetalk a day ago | 36 comments

77 points by torcete 3 hours ago | 14 comments

Tell HN: GitHub refuses to remove cracked copies of my software after a month

43 points by IvanK_net 5 hours ago | 29 comments

Gleam doesn't compile to Erlang source anymore

288 points by ingve 16 hours ago | 121 comments

Ask HN: Why is Ask HN only showing me 14 posts?

30 points by Gooblebrai 2 hours ago | 31 comments

41 points by handfuloflight 5 hours ago | 62 comments

Toronto-Based VPN Provider Plans to Quit Canada over Lawful-Access Bill

85 points by speckx 5 hours ago | 36 comments

Show HN: I turned my iPhone and a $20 smart plug into an f-stop timer

67 points by pentakkusu 10 hours ago | 19 comments

The Early History of Smalltalk (1993)

109 points by _reza 9 hours ago | 64 comments

Mathematics of Geothermal Energy

67 points by srameshc 11 hours ago | 37 comments

Erdosproblems.com Succumbs to the AI Onslaught

86 points by pfdietz 11 hours ago | 37 comments

System-level ad-blocking in Android

45 points by birdculture 4 hours ago | 31 comments

State of Devs 2026 survey results: developers are exhausted

6 points by sgdesign 34 minutes ago | 0 comments