u/Shoddy-Childhood-511

album: All Things Must Pass

And wikipeda has some background

Another song that blends personal tragedy into environmental disaster.

Text lyrics: lyricstranslate.com, genius.com

English covers: J-pop, soft

I bought a Lenovo laptop from a seller, but the laptop has a supervisor password (bios lock) which makes it useless. It boots into windows fine, but you cannot access VM functionality or change the OS. It'll be impossible to repair the laptop if ever damaged too, because of this lock.

We tried to find a bypass. You could bypass this lock on older Lenovos, and Dell lets you bypass it, but new Lenovos make this extremely hard.

The seller does not accept returns. The seller offered a partial refund of 23% or 21% counting shipping. What happen when I reject this offer? Can I make a counter offer? Or do I just message them to get them to change their offer?

If I just reject everything, does ebay's insurance eventually kick in, so they have someone else take the laptop, and do a real refund?

album: Avalon is Risen

I'd long ignored this one, assuming its merely some D&D reference, but on page 21 of the album booklet Leslie Fish wrote:

"Written after an earthquake, this is about the darker side of Nature – animal, vegetable and even mineral. The goddess, under various names, is the natural-selection side of evolution: She Who Is To Be Outrun or otherwise avoided"

Imho personification of natural-selection makes this song Lovecraftian.

album: We Are Together Again

Related interview/monologue: https://www.youtube.com/watch?v=x28A4NyE87A

album: We Are Together Again

Are there nice tools that assist in verifying code translated between languages?

I'm kinda thinking into Rust but from whatever other language, but more curious about what exists in the overall problem space. If the best examples are say Python to C then that's interesting.

As one example idea, if both code bases have nearly identical functions, perhaps due to an initial automated translation, then compare each function directly, using fuzzers or SAT solvers or whatever. You could do this by bindings from one language into the other, and internal data type translations, so you could run the same fuzzer, or you could've deterministic fuzzers in both designed to run the same queries.

I'm not asking about AIs per se, because while they help in diverse ways here like by writing bindings, they cannot do the actual checking, and neither can humans. I'm really asking what is the least painful tools to scale the actual checking that two pieces of code mostly do the same thing.

About climate change, with some focus on sea level rise, and live adapting. (lyrics)

Album: I Made a Place

live: London 2026, Brattle 2022 short.