Forwarded from Hacker News (yahnc_bot)
Improving Firefox Responsiveness on macOS https://hacks.mozilla.org/2022/10/improving-firefox-responsiveness-on-macos/
Mozilla Hacks – the Web developer blog
Improving Firefox responsiveness on macOS
If you're running Firefox on macOS you might have noticed that its responsiveness has improved significantly in version 103.
Forwarded from Hacker News (yahnc_bot)
Calculus with types https://stackoverflow.com/questions/9190352/abusing-the-algebra-of-algebraic-data-types-why-does-this-work/41418365#41418365
Stack Overflow
Abusing the algebra of algebraic data types - why does this work?
The 'algebraic' expression for algebraic data types looks very suggestive to someone with a background in mathematics. Let me try to explain what I mean.
Having defined the basic types
Product •
...
Having defined the basic types
Product •
...
Forwarded from Hacker News (yahnc_bot)
JEP draft: 64 bit object headers https://openjdk.org/jeps/8294992
https://arxiv.org/abs/2210.04045
The FBHHRBNRSSSHK-Algorithm for Multiplication in Z^{5×5}_2 is still not the end of the story 2
Manuel Kauers, Jakob Moosbauer
In response to a recent Nature article which announced an algorithm for multiplying 5×5-matrices over Z2 with only 96 multiplications, two fewer than the previous record, we present an algorithm that does the job with only 95 multiplications.
The FBHHRBNRSSSHK-Algorithm for Multiplication in Z^{5×5}_2 is still not the end of the story 2
Manuel Kauers, Jakob Moosbauer
In response to a recent Nature article which announced an algorithm for multiplying 5×5-matrices over Z2 with only 96 multiplications, two fewer than the previous record, we present an algorithm that does the job with only 95 multiplications.
Forwarded from Hacker News (yahnc_bot)
Xpra: Multi-platform screen and application forwarding system for x11 https://xpra.org/
GitHub
GitHub - Xpra-org/xpra: Persistent remote applications for X11; screen sharing for X11, MacOS and MSWindows.
Persistent remote applications for X11; screen sharing for X11, MacOS and MSWindows. - Xpra-org/xpra
Forwarded from Lobste.rs
Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann
Comments
via eatonphil@users.lobste.rs (eatonphil)
Comments
via eatonphil@users.lobste.rs (eatonphil)
lobste.rs
Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann
0 comments
🔥2
Forwarded from Hacker News (yahnc_bot)
Withdrawal of OpenSSL 3.0.6 and 1.1.1r https://mta.openssl.org/pipermail/openssl-announce/2022-October/000237.html
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
How close is RISC-V to RISC-I?
Posted on June 19, 2017 by David Patterson
Forwarded from Solidot
外骨骼“靴子”帮助更快走路
2022-10-13 16:04:00 by 空气的颜色
根据发表在《自然》期刊上的一项研究，研究人员研发出一种支持腿部运动的外骨骼。根据实验结果和现实世界的优化数据，论文作者设计出一种专门的脚踝外骨骼，包括两个脚踝各佩戴的一个外骨骼和腰部佩戴的一个电池组。该装置能让行走速度提高9%，比穿着普通鞋子的自然行走节省了 17% 的能量，相当于拿走了 9.2 公斤的包袱。论文作者表示，他们的最新研究结果表明，这种新技术能让外骨骼更贴合个性化需求，从而提升其性能。不过，今后仍需开展进一步研究推动该装置的实际应用，并探索这种技术如何应用于其他装置和活动。
#科技
2022-10-13 16:04:00 by 空气的颜色
根据发表在《自然》期刊上的一项研究，研究人员研发出一种支持腿部运动的外骨骼。根据实验结果和现实世界的优化数据，论文作者设计出一种专门的脚踝外骨骼，包括两个脚踝各佩戴的一个外骨骼和腰部佩戴的一个电池组。该装置能让行走速度提高9%，比穿着普通鞋子的自然行走节省了 17% 的能量，相当于拿走了 9.2 公斤的包袱。论文作者表示，他们的最新研究结果表明，这种新技术能让外骨骼更贴合个性化需求，从而提升其性能。不过，今后仍需开展进一步研究推动该装置的实际应用，并探索这种技术如何应用于其他装置和活动。
#科技