Forwarded from Hacker News (yahnc_bot)
Partitioning in Postgres, 2022 Edition https://brandur.org/fragments/postgres-partitioning-2022
brandur.org
Partitioning in Postgres, 2022 edition
Tracking improvements to Postgres partitioning since 2017. In just five years it’s gone from a non-feature to a very good one.
Forwarded from Hacker News (yahnc_bot)
NVIDIA and nouveau https://lwn.net/SubscriberLink/910343/e360e44a7a63b1b7/
lwn.net
NVIDIA and nouveau
The release of source code for NVIDIA
graphics hardware was perhaps something of a surprise; at least at a quick
glance, it seems
like that could lead to an in-tree, officially supported driver. For many
years, though, the nouveau
project has been working…
graphics hardware was perhaps something of a surprise; at least at a quick
glance, it seems
like that could lead to an in-tree, officially supported driver. For many
years, though, the nouveau
project has been working…
Forwarded from Lobste.rs
lwn.net
A discussion on printk()
The kernel's print function, printk(), has been the target of
numerous improvement efforts over the years for a
variety of reasons. One persistent problem with printk() has been
that its latency is unacceptably high for the realtime Linux kernel; at
this…
numerous improvement efforts over the years for a
variety of reasons. One persistent problem with printk() has been
that its latency is unacceptably high for the realtime Linux kernel; at
this…
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.