Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann

Comments

via eatonphil@users.lobste.rs (eatonphil)

Withdrawal of OpenSSL 3.0.6 and 1.1.1r https://mta.openssl.org/pipermail/openssl-announce/2022-October/000237.html

https://twitter.com/rrwilliams/status/1565516792730189825
旧闻一则

https://aspire.eecs.berkeley.edu/2017/06/how-close-is-risc-v-to-risc-i/
How close is RISC-V to RISC-I?

Posted on June 19, 2017 by David Patterson

外骨骼“靴子”帮助更快走路

2022-10-13 16:04:00 by 空气的颜色

根据发表在《自然》期刊上的一项研究，研究人员研发出一种支持腿部运动的外骨骼。根据实验结果和现实世界的优化数据，论文作者设计出一种专门的脚踝外骨骼，包括两个脚踝各佩戴的一个外骨骼和腰部佩戴的一个电池组。该装置能让行走速度提高9%，比穿着普通鞋子的自然行走节省了 17% 的能量，相当于拿走了 9.2 公斤的包袱。论文作者表示，他们的最新研究结果表明，这种新技术能让外骨骼更贴合个性化需求，从而提升其性能。不过，今后仍需开展进一步研究推动该装置的实际应用，并探索这种技术如何应用于其他装置和活动。

#科技

A database without dynamic memory allocation https://tigerbeetle.com/blog/a-database-without-dynamic-memory/

Teenager solves stubborn riddle about prime number look-alikes https://www.quantamagazine.org/teenager-solves-stubborn-riddle-about-prime-number-look-alikes-20221013/

Replace the “very” in your sentence https://www.losethevery.com/

Some remotely exploitable Linux kernel WiFi vulnerabilities https://lwn.net/Articles/911062/

https://t.me/yahnc/97760
Featured on hn
评论区有趣

每日新闻在采访中了解到，漫画《游戏王》作者高桥和希是为救人而去世。
11管区海上保安本部表示，7月4日，高桥在冲绳恩纳村附近海岸发现一家三口被海浪卷走，便与一名驻日美军开展救援。
一家三口的父母自行上岸，孩子被驻日美军救起，但却没有发现高桥的踪迹。2天后，高桥的遗体在据事发海域约12公里远的名护市海域上被发现。
7月11日，一家三口的母亲证实“有日本人来帮忙救援”，因此特定“高桥是因救人遭遇事故”。但考虑到被救起的孩子的精神状态，决定暂时不对外公布。
（每日新闻）

WebKit Quirks.cpp https://github.com/WebKit/WebKit/blob/main/Source/WebCore/page/Quirks.cpp

Let's order strange things from NIST https://twitter.com/tubetimeus/status/1335061382501261312