691.
692.
RFC 8890 – The Internet is for End Users (2020)
(news.ycombinator.com)
693.
694.
695.
Why don't people use formal methods? (2019)
(news.ycombinator.com)
696.
Why Don't People Use Formal Methods? (2019)
(news.ycombinator.com)
697.
Why Don't People Use Formal Methods?
(news.ycombinator.com)
698.
NASA Mars Rover Discovers Field of Mesmerizing Polygons
(futurism.com)
699.
Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers
(news.ycombinator.com)
700.
Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib)
(news.ycombinator.com)
701.
Are We Stuck with Lean?
(news.ycombinator.com)
702.
Will We Ever Solve the Problem of Losing Data?
(gizmodo.com)
703.
706.
707.
Cambridge Analytica’s Website Is Now an AI Slop Farm
(futurism.com)
708.
709.
710.
After the Break-In: What Attackers Do Once They're Already Inside
(bleepingcomputer.com)
711.
712.
Meta’s Case for Its AI Spending Keeps Getting Weaker
(feeds.content.dowjones.io)
713.
714.
Carolina Cloud pays SOFR on unused prepaid credits
(news.ycombinator.com)
715.
716.
717.
Generative AI could boost creativity, but only for some workers
(feeds.feedburner.com)
718.
719.
720.
SwitchBot makes a better fan
(theverge.com)
Today's top topics:
google
pixel
longbets
longbets org
wins
www longbets
fish
incentives
right
sumner