Forwarded from QLBF 生活杂谈
https://leanprover.zulipchat.com/#narrow/channel/116395-maths/topic/Lean.20Formalization.20of.20the.20Riemann.20Hypothesis.20.E2.80.93.20Open.20for.20Test/near/513767405
Lean Formalization of the Riemann Hypothesis – Open for Test
Lean Formalization of the Riemann Hypothesis – Open for Test
Zulip
Public view of Lean | Zulip team chat
Browse the publicly accessible channels in Lean without logging in.
Forwarded from Hacker News
Shortest-possible walking tour to 81,998 bars in South Korea (Score: 150+ in 4 hours)
Link: https://readhacker.news/s/6thRT
Comments: https://readhacker.news/c/6thRT
Link: https://readhacker.news/s/6thRT
Comments: https://readhacker.news/c/6thRT
Intel 宣传了新的顶盖水冷
https://www.notebookcheck.net/Intel-unveils-revolutionary-ultra-thin-cooling-solution-for-1000W-chips.1008351.0.html
https://www.notebookcheck.net/Intel-unveils-revolutionary-ultra-thin-cooling-solution-for-1000W-chips.1008351.0.html
Notebookcheck
Intel unveils revolutionary ultra-thin cooling solution for 1000W chips
Intel has showcased an innovative approach to tackle the growing thermal challenges of modern processors with a cutting-edge package-level liquid cooling solution. The experimental technology promises to efficiently dissipate up to 1,000 watts of heat from…
Forwarded from QLBF 生活杂谈
Forwarded from Hacker News
Google has most of my email because it has all of yours (2014) (Score: 152+ in 5 hours)
Link: https://readhacker.news/s/6tZ86
Comments: https://readhacker.news/c/6tZ86
Link: https://readhacker.news/s/6tZ86
Comments: https://readhacker.news/c/6tZ86
copyrighteous
Google Has Most of My Email Because It Has All of Yours
Republished by Slate. Translations available in French (Français), Spanish (Español), Chinese (中文) For almost 15 years, I have run my own email server which I use for all of my non-work corresponde…
最近有一些偏门的 IdP 需求，在古老的互联网上找到了我需要的 OpenLDAP 特性，可以把已有的任何 RDB schema 拿来开成 LDAP 服务：
https://www.openldap.org/faq/data/cache/978.html
这些网页没有 CSS 的软件项目都挺有含金量的，支持数不清的配置，运维可扩展性比大部分现代项目都好多了。
https://www.openldap.org/faq/data/cache/978.html
这些网页没有 CSS 的软件项目都挺有含金量的，支持数不清的配置，运维可扩展性比大部分现代项目都好多了。
🥰2
WTF 这个案例研究入选数据库课了，文化输出
Neo4J
Fighting Fatal Coronavirus Using Knowledge Graph - Community Content & Blogs - Neo4j Online Community
(Image source: 新型冠状病毒不耐高温 还怕这个东西 ::: 六度网)
*Compiled and translated with the permission from the author. The original article was published at: http://we-yun.com/index.php/virus/120.html by Zhi Zhang from we-yun.com. * …
*Compiled and translated with the permission from the author. The original article was published at: http://we-yun.com/index.php/virus/120.html by Zhi Zhang from we-yun.com. * …