GitHub Blog
Top stories
dev.to (home feed)
Pingora's apparent 6x loss to nginx traced to a blocking DNS call in the benchmark
Hacker News – Front Page (native)
Rare new proof of the four-color theorem yields faster map coloring and graph insights
Hacker News – Front Page (hnrss.org)
OpenAI's Navier-Stokes proof shipped with a Lean 4 formalization verified in 17 hours
dev.to (home feed)
OpenAI announces ChatGPT for Financial Services for research, modeling and client work
TechCrunch
Anthropic report details 200 million exchanges in Chinese labs' Claude distillation campaigns
dev.to (home feed)
Pingora's apparent 6x loss to nginx traced to a blocking DNS call in the benchmark
Hacker News – Front Page (native)
Rare new proof of the four-color theorem yields faster map coloring and graph insights
Dev Tools
AI
Hacker News – Front Page (hnrss.org)
OpenAI's Navier-Stokes proof shipped with a Lean 4 formalization verified in 17 hours
dev.to (home feed)
OpenAI announces ChatGPT for Financial Services for research, modeling and client work
Software
Hacker News – Front Page (native)
Rare new proof of the four-color theorem yields faster map coloring and graph insights
The Verge
Slack's Slackforce Surfaces generates dashboards and microsites inside chats