https://www.youtube.com/watch?v=ycPDDnQh2qE
今日学习：Minesweeper Consistency Problem is coNP-complete for players, NP-complete for generators.
今日学习：Minesweeper Consistency Problem is coNP-complete for players, NP-complete for generators.
YouTube
⚡ Minesweeper Is Hard - Keegan R
A slightly questionable exploration of one of the oldest digital games: Minesweeper. This talk will in absolutely no way send us down the rabbit hole of computational complexity, million-dollar questions, or Turing completeness.
Sources and Further Reading:…
Sources and Further Reading:…
Forwarded from Hacker News (yahnc_bot)
AMD Ryzen 7000 Series performs better with Spectre V2 Mitigations enabled https://www.phoronix.com/review/amd-zen4-spectrev2
Phoronix
Disabling Spectre V2 Mitigations Is What Can Impair AMD Ryzen 7000 Series Performance
Last week I shared some initial numbers how surprisingly when disabling Zen 4 CPU security mitigations can actually *hurt* the Ryzen 7000 series CPU performance.
Forwarded from Hacker News
Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus (Score: 151+ in 7 hours)
Link: https://readhacker.news/s/5nzS9
Comments: https://readhacker.news/c/5nzS9
Link: https://readhacker.news/s/5nzS9
Comments: https://readhacker.news/c/5nzS9
GitHub
GitHub - woodrush/lambda-8cc: x86 C compiler written in untyped lambda calculus
x86 C compiler written in untyped lambda calculus. Contribute to woodrush/lambda-8cc development by creating an account on GitHub.
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