转发微博

转发微博<br><blockquote> - 转发 <a href="https://weibo.com/1715118170" target="_blank">@网路冷眼</a>: 【Bloom filters debunked: Dispelling 30 Years of bad math with Coq!】<a data-url="http://t.cn/A6yswsvQ" target="_blank" href="http://weibo.cn/sinaurl?toasturl=https%3A%2F%2Fgopiandcode.uk%2Flogs%2Flog-bloomfilters-debunked.html&luicode=10000011&lfid=1076032381077925" class>网页链接</a> Bloom过滤器被揭穿：使用Coq消除30年的数学错误！ <img src="https://wx2.sinaimg.cn/large/663aa05aly1gh4ef9eanej20ot0heq33.jpg" referrerpolicy="no-referrer"><br><br><img src="https://wx2.sinaimg.cn/large/663aa05aly1gh4ef9f41yj20ot0hvjrj.jpg" referrerpolicy="no-referrer"><br><br><img src="https://wx1.sinaimg.cn/large/663aa05aly1gh4ef9cn9xj20b6099dfq.jpg" referrerpolicy="no-referrer"><br><br><img src="https://wx1.sinaimg.cn/large/663aa05aly1gh4ef9ddv1j207103yglg.jpg" referrerpolicy="no-referrer"><br><br><img src="https://wx4.sinaimg.cn/large/663aa05aly1gh4ef9d9cyj20b60993yf.jpg" referrerpolicy="no-referrer"><br><br><img src="https://wx2.sinaimg.cn/large/663aa05aly1gh4ef9diwfj20b6099dfr.jpg" referrerpolicy="no-referrer"><br><br><img src="https://wx3.sinaimg.cn/large/663aa05aly1gh4ef9dyunj20b6099t8p.jpg" referrerpolicy="no-referrer"><br><br><img src="https://wx2.sinaimg.cn/large/663aa05aly1gh4ef9fg2vj20b602ot8k.jpg" referrerpolicy="no-referrer"><br><br><img src="https://wx4.sinaimg.cn/large/663aa05aly1gh4ef9eh5dj20b607z3yh.jpg" referrerpolicy="no-referrer"><br><br></blockquote>