一个存在的世界

https://pythonspeed.com/articles/faster-float-math-rust/ https://doc.rust-lang.org/std/primitive.f32.html#algebraic-operators

https://chipsandcheese.com/p/nvidias-vera-whitepaper-has-a-thread 好骂

https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/ lean 的 bug On July 25, Ramana Kumar published a repository containing a sorry-free "disproof" of the Collatz conjecture, produced with AI assistance. It is not a valid proof because it exploits a bug in the kernel's handling of nested inductive types.

小心升级 gitlab-runner 把本地的 docker images 都干没了：https://gitlab.com/gitlab-org/gitlab-runner/-/merge_requests/6912 后续修复：https://gitlab.com/gitlab-org/gitlab-runner/-/work_items/39621

https://blog.modelcontextprotocol.io/posts/2026-07-28/ MCP 变 stateless

GB 更新 again https://www.geekbench.com/blog/2026/07/geekbench-7/

https://www.amd.com/en/products/processors/server/epyc/9006-series.html

小心升级 gitlab-runner 把本地的 docker images 都干没了：https://gitlab.com/gitlab-org/gitlab-runner/-/merge_requests/6912 后续修复：https://gitlab.com/gitlab-org/gitlab-runner/-/work_items/39621

好奇它的 Value Prediction 做到什么程度

https://developer.nvidia.com/blog/inside-nvidia-vera-cpu-olympus-cores-built-for-maximum-single-threaded-performance-in-agentic-ai/ https://nvdam.widen.net/s/nmw5vblpqd/nvidia_vera_cpu_architecture_whitepaper?nvid=nv-tblg-543584

https://questdb.com/blog/cmov-vs-branch-perf/

https://elm-lang.org/news/faster-builds Elm 居然复活了

https://wangcong.org/2026-06-30-why-i-stopped-arguing-with-people.html

https://riscv100.top/ RISC-V 核性能进展

https://www.top500.org/lists/top500/list/2026/06/

ISC 终于开会宣布Top500了，华为Again

https://tck.mn/blog/correlated-randomness-sts2/ 游戏中不那么随机的随机数

A Post-Quantum Future for Let's Encrypt https://letsencrypt.org/2026/06/03/pq-certs

https://jia.je/software/2026/05/22/spec-cpu-2026-workload-analysis-int-rate/ 没想到有这么大的工作量。。