Mathematicians Hunting Prime Numbers Discover Infinite New Pattern
(news.ycombinator.com)
47161.
47162.
Samsung Embeds IronSource Spyware App on Phones Across WANA
(news.ycombinator.com)
47163.
The new math: Why seed investors are selling their winners earlier
(techcrunch.com)
47164.
47165.
Rose-Gold-Tinted Liquid Glasses
(news.ycombinator.com)
47167.
47168.
Yaber T2 Outdoor Projector drops to new record-low price!
(androidauthority.com)
47169.
47170.
BYD begins testing solid-state EV batteries in the Seal
(news.ycombinator.com)
47171.
47173.
47174.
47175.
47176.
The JAWS shark is public domain
(news.ycombinator.com)
47177.
Verified dynamic programming with Σ-types in Lean
(news.ycombinator.com)
47178.
47179.
47180.
47181.
Libraries are under-used. LLMs make this problem worse
(news.ycombinator.com)
47182.
47183.
47185.
47186.
47187.
47188.
47189.
Alpha Centauri
(news.ycombinator.com)
47190.
Verified Dynamic Programming with Σ-types in Lean
(news.ycombinator.com)