dapperdrake

Kernel option nohz_full in grub config.

Also disable hardware SMT as a kernel option in grub config. Then the cores can clock down way more often and L1 data cache size doubles.

XFCE and X11 tripled my laptop battery life vs. whatever Wayland+GNOME Ubuntu (2024?) brought by itself.

Powertop and tlp also help.

Happy camping.

EDIT: the lower heat dissipation also halved boot time. That one surpised me the most.

EDIT2: Disable "atime" with ext4 option "noatime". Saves a lot of power, heat, trimming, and re-writes on your SSD/NVMe.

For "faster shutdowns" manually run systemctl start fstrim.service. Not exactly sure why fstrim.timer seems unreliable.

The joke is awesome.

Sadly, monospaced fonts kill sarcasm.

"Everybody has a production system. The lucky ones also have a test system."

Wow. GitHub gaining the same reputation as DNS ("it's always DNS"), printers, OSI layer 8, and PEBKAC is actually a bit of an achievement.

Hat tip to Microsoft.

zpool-replace(8)

https://openzfs.github.io/openzfs-docs/man/master/8/zpool-re...

ZFS got this right. MDADM on ext4 somehow did not.

EDIT: ext4 on MDADM.

How ZFS gets this right: zfs(8) on zpool(8). So, basically, ext4 and mdadm can talk to each other.

ATA (SATA), SCSI (SAS), and NVM (NVMe).

Underrated

Look at flag --standalone. At least for html output pandoc seems to be able to handle something that feels like partial pandoc input in practice and produce html output that behaves like a snippet.

Pandoc AST - format called "native" - parses faster than pandoc markdown.

I saw a presentation about this in 2022.

Someone found a way to get "something like" a tri-diagonal matrix that was equivalent to the LLM they were studying in 2022.

Apologies for being informal and hand-wavey. Been a long time and I probably forgot a few important points.

Not even cross-domain. (Nor cross-co-domain.)

Trigonometric polynomials are also polynomials. And linear spaces are all "the same". That is what the definition is for. Even the transpose-mapping is linear.

First half didn’t sound so bad.

Most of the whimsy vitamins are between the skin and the banana.

And the Internet routes around a problem, yet again.

Good example of the 2020s on why there is practically truly only one Internet instead of many.

Do intermediate values always turn into double floats?

Maybe that feedback loop finally got fast enough to die out.

Am also interested in this. Manufacturing for the win.

Float32Array

Math.fround()

Mostly good. A bit wordy.

Computers are very good at repeating a known "recipe". They can add numbers billions of time per second. Yes, billions with a bee.

The hard part is coming up with a recipe that solves your problem and that the machine can run without breaking things when it runs around with a few billion steps per second. You have to think ahead for it and handle edge cases in the recipe.

That is the really hard part.

Writing memory safe code in C with (most) compilers slapping UB in your face without so much as a warning is about the same as vibecoding.

Spot on.

How else does consistency work, then?

Only being half facetious here. Maybe you or someone else really has a better take.

Let me LLM-expand that for you…

Then there are almost no domain experts.

Ran into this, as well.

And they were really annoyed at being asked math questions.

Additional iterations are valuable, if and only if we learn from additional iterations. Otherwise we are just spinning our wheels.

No. AI sucks at formal languages and implications.

Lossy decompression probably won’t ever be really good at this. If it’s missing from the data, then it won’t be there.

The AI math proofs were probably already out there in tiny pieces and nobody got all of the pieces together. That is valuable. It’s different from making a piece that is missing. And the AI will just hallucinate.

Talking to CPAs never gets you to Pacioli groups.

Talking to engineers and mathematicians gets you there.

Working model suitable for an electronic computer.

Excellent example.