One area where I think AI is quite nice: I like to tell roughly how a sequence should look like and ask AI to do me a snippet of Mermaid.

It's far from truth but then I can continue editing the snippet manually. My biggest difficulty with Mermaid is that I use it so rarely that I forget the syntax so this will help me to recall all of that. That's actually gist of this whole exercise.

It does not even require powerful AI: I use a local Ollama running llama 3.2 on my RTX 4090. The sequence does not need to be correct as long as it has about the right lanes and some stuff going back and forth.

This makes me wonder tho what is the value of paying Mermaid Charts, which does this on a paid subscription (that's where I got the inspiration in the first place).

This makes me wonder also all of the paid stuff. If you are smart software engineer in the first place you can get 90% of the "efficiency benefit" with a local 2k-4k GPU, which mostly recalling syntax of e.g., Mermaid.

Interesting, I thought that I'd save time on looking Intel SDM just to check up the size of PCMD, one of the data structures in Intel SGX.

I tried Google Gemini and two different AI flavors it has and got three wrong answers.

So eventually I went to Intel SDM and got the answer that I wanted :-)

If this is AGI, it will suck...

TinyGo 0.36 is released & we've got what you need right now: initial Go 1.24 support, many WASM/WASI improvements & fixes, RP2040/RP2350 enhancements, LLVM 19, & so much more! Full changelog here:

https://github.com/tinygo-org/tinygo/releases/tag/v0.36.0

#tinygo #golang #wasm #wasi #embedded

It is with great sorrow that we share the news that Hannu 'Haa' Aronsson, a regular at the Alt Party, and winner of the latest Most Obscure Computer Competition (with a Canon Cat) has passed away. He also created the world's first ever demo for that machine. Haa was an amazing force of positive energy who never forgot the joy that we have all experienced from tinkering with some new computer gadget or technology. He will be very greatly missed.

#demoscene

Sailfish OS Linux for Phones Gets 5.0 'Tampella' Update https://www.howtogeek.com/sailfish-os-5-0-tampella-release/

Eric Trump plainly admits that his father’s Sunday social media post about the “crypto strategic reserve” was intended to manipulate the crypto markets

#crypto #cryptocurrency #USpol #USpolitics

I'm glad Hellwig is no longer blocking Rust development in the Linux kernel, but I feel like some of the posts I'm seeing about it are unnecessarily harsh: he did good work too, and I hope we can avoid driving him away from contributing altogether.
If nothing else, some of his refactoring work has helped the rust devs as they would have had to do it themselves otherwise to make the C side clean enough for Rust bindings.

Thank you, Christoph Hellwig!

Currently shopping for ideas and opinons on how `sbctl` should approach the revocation list in Secure Boot (`dbx`).

https://github.com/Foxboron/sbctl/issues/23

Feel free to come with ideas but trying to keep things simple is the goal here.

#sbctl #SecureBoot #Security

The latest cover of French magazine "Le Point":

Reads:

"The Man from Moscow"
"Putin & Trump, an alliance of predators."

wild has aarch64 support: https://github.com/davidlattimore/wild/releases/tag/0.4.0

One of my favorite "made with Rust" applications: dua

https://github.com/Byron/dua-cli

Let's put another I use daily:

https://github.com/ClementTsang/bottom

There's not whole a lot command-line / TUI Rust programs that I use but these are definitely my go-to choices for what they do...

it's called ssh-keygen but doesn't even play cool tracker music?

If anyone is confused about 18F: imagine an in-house consultancy who could show up and solve your problems but who would then be able to use that knowledge to solve someone else's problems without billing them for the prior work, saving everyone money and also making a bunch of it open source. People took pay cuts to work there. Destroying them is a tragedy

first work day at new job tomorrow

It's hard to keep some of the days head together when the world events are so distracting, and hell is breaking loose from all directions and angles.

#news #politics #war

It is now official.

#Ukraine #Zelensky #trump #vance #russia #putin #america

Intel's Pentium processor (1993). Looking inside the chip , I found a large, complicated circuit just to multiply by 3 (lower right). Why? The Pentium uses a fast technique to multiply 64-bit numbers and it turns out that 3 is a special case. Let's take a closer look at multiplication... 1/N

So that you know, this is the correct path to export AAVMF (counter-intuitively when comparing to x86-64):

https://gitlab.com/jarkkojs/linux-tpmdd-nixos/-/commit/f24224f0065df3376649e21492a1475f225d95e0

Took a while to figure this out :-)

Also figured out the appropriate options on macOS (with Apple Silicon) how to launch my build with QEMU:

# After doing docker compose up --build:
qemu-system-aarch64 -machine virt -cpu host -accel hvf -m 2G -nographic -bios output/firmware.fd -hda output/tpmdd-nixos.qcow2

I think I've now substituted my legacy BuildRoot environment with this NixOS based system, and gained some new benefits, such as being able to do aarch64 kernel development on macOS and test Rust kernel code.

Next up: send MAINTAINERS update (BuildRoot -> NixOS).

I guess my last week of holiday has been spent well :-)

#linux #kernel #nix #nixos

Nix:

1. Claims to be a functional language.
2. Still complains about declaration order.

I purposely put declarations in alphabetical order in my kernel testing shenanigans because I thought that it would stand the test.

What disappointment ;-)

#nix #nixos

I wrote some words, and formed some sentences. https://nonsense.fyi/posts/setting-up-tpm2-backed-luks-at-root-with-secure-boot-in-ubuntu/