🐂 牛哥精选

Show HN: Hawkeye – local code search for MS/Linux, fast 500k+ file codebase

大型代码库本地搜索工具Hawkeye，500K+文件秒级响应，每年为开发者省下220小时，让代码检索效率飙升！

We built Hawkeye because grep, IDE, TC search broke down on our internal codebase (~500k files). Every "find all references" took long enough to break…

韩国将于周一宣布三星、SK集团的多个大型项目

韩国将于周一宣布“三大工程”计划，韩国总统李在明将与政府各部门、三星电子和SK的官员会面，并发布政策和投资公告。李在明将于下午2点在总统府青瓦台发表讲话，届时韩国产业通商部、科学技术信息通信部、气候能源环境部和国土交通部将公布三大工程的政策。三星电子和SK将发布企业投资计划。（华尔街见闻）

陶哲轩12年前的预言，现在AI帮他兑现了

陶哲轩12年前的预言成真：AI+人类协作48小时攻克2200万数学难题，形式化证明迎来里程碑。

全球最聪明的人之一，成了AI最狂热的布道者