#杂
openai能解出奥数题目了：
https://openai.com/blog/formal-math/
Post #98
1.08K
- Oct 3, 2026#数据库 使用Rust重写sqlite的公司turso，被superbase收购了：《Turso is joining Supabase to give every agent i…
- Sep 27, 2026#系统编程 讲解Go语言并发主题的小书：《Go concurrency distilled》
- Sep 22, 2026#开源软件 开源本来承载的主要任务之一就是赢得信任，智谱这一把开源不但没有赢取信任，反而让更多人感到了疑问，比如我。
- Sep 22, 2026#开源项目 #Rust #数据库 hawdb：Rust编写的嵌入式图数据库，用于Nowledge产品中管理本地图数据。
- Sep 21, 2026#Rust #人工智能 最近看了好几个Rust相关的新闻，比如： * Rust在微软内部升级为一级语言：《Guest Post: Rust Is Tier-1 Language a…
- Sep 19, 2026#人工智能 这个翻译可以说是 信达雅 了。