Forwarded from Hacker News (yahnc_bot)
MIT engineers build a battery-free, wireless underwater camera https://news.mit.edu/2022/battery-free-wireless-underwater-camera-0926
MIT News
MIT engineers build a battery-free, wireless underwater camera
MIT researchers built a battery-free, wireless underwater camera, powered by sound waves, that can take high-quality, color images, even in dark environments. It transmits image data through the open water to a receiver that reconstructs the color image.
Forwarded from Hacker News (yahnc_bot)
Should Linux set the new constant-time mode CPU flags? https://lore.kernel.org/lkml/YwgCrqutxmX0W72r@gmail.com/
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