1741.
1742.
No room for error – A case study of Gleam in production at Uncover
(news.ycombinator.com)
1743.
Formally verifying Advent of Code using Dijkstra's program construction
(news.ycombinator.com)
1744.
Stop Talking
(news.ycombinator.com)
1746.
1747.
1748.
1749.
1750.
Anthropic taps IPO lawyers as it races OpenAI to go public
(news.ycombinator.com)
1751.
Spotify Wrapped 2025 turns listening into a competition
(theverge.com)
1753.
1754.
1756.
1757.
1758.
Iran's 'MuddyWater' Levels Up With MuddyViper Backdoor
(darkreading.com)
1759.
1760.
1761.
Amazon Releases AI Agents It Says Can Work for Days at a Time
(feeds.content.dowjones.io)
1762.
1763.
1764.
1765.
1766.
1767.
1768.
Lazier Binary Decision Diagrams for set-theoretic types
(news.ycombinator.com)
1769.
1770.
Meet the 10 CMOs leading brands in culture and business results
(feeds.feedburner.com)