Leanstral 1.5: Proof Abundance for All
(news.ycombinator.com)
2161.
2162.
Why Vancouver is always a stand-in for San Francisco in movies and TV shows (2021)
(news.ycombinator.com)
2163.
Performance per dollar is getting faster and cheaper
(news.ycombinator.com)
2164.
GLM5.2 on AMD MI355X at 2626 tok/s/node at over 2x lower cost than Blackwell
(news.ycombinator.com)
2165.
Software, from First Principles
(news.ycombinator.com)
2166.
The only AI glossary you’ll need this year
(techcrunch.com)
2167.
Infracost (YC W21) Is Hiring a Marketing Lead to Shift FinOps Left
(news.ycombinator.com)
2168.
Giving a domain a hill to climb: benchmarking as data activation
(news.ycombinator.com)
2169.
2170.
2171.
Amazon just gave the Fire HD 10 a surprise RAM bump and a sneaky price hike
(androidauthority.com)
2172.
A device that revives eyeballs from dead donors could make eye transplants possible
(technologyreview.com)
2173.
Dropping in on Gottfried Leibniz (2013)
(news.ycombinator.com)
2174.
Google Maps may soon expand beyond restaurant suggestions to actually placing your order
(androidauthority.com)
2175.
2176.
Memorizing session transcripts isn't useful
(news.ycombinator.com)
2177.
The Raddest Things We Saw at Kodansha House
(gizmodo.com)
2178.
Best Simple System for Now (2025)
(news.ycombinator.com)
2179.
Best Simple System for Now
(news.ycombinator.com)
2180.
2181.
Google is finally fixing a confusing Android Auto connection roadblock
(androidauthority.com)
2182.
Show HN: TaskPeace – a task queue my AI coding agents pull work from over MCP
(news.ycombinator.com)
2183.
2184.
Does Someone on Polymarket Know That Putin Is Going Down?
(futurism.com)
2185.
Chinese LLMs Broaden the Gap Between Attackers & Defenders
(darkreading.com)
2186.
Gemini Code Assist will be shut down on July 17
(news.ycombinator.com)
2187.
2188.
2189.
2190.