When linking, symbols pointing to addresses are involved. The main program calls functions in the library, and you end up with a whole program. On the other hand, a bootloader just does its thing and then jumps to a fixed address in the main program. The main program doesn't call anything in the bootloader. (Note, the Linux kernel has a special clause that explicitly allows the userland to programmatically interface with the kernel.)

I realize this sort of depends on the microcontroller toolchain. I'm familiar with a few, but not much with STM32 stuff. If the toolchain is dumb and implements the bootloader in a way that resembles linking, i.e. making it possible to resolve all the symbols in the bootloader from the main program then it could very well make the bootloader subject to the GPL.

    javascript:document.querySelectorAll(".s-result-item:has(.puis-sponsored-label-text)").forEach(function(e){ e.remove()})

In the end I wasn't able to read it on my ebook reader and reading it on a PC or smartphone kinda makes it annoying to read on the commute. So I've only read the first two chapters or so but it seemed like a lot of fun. All this talk about using Lean in AI-powered proofs kinda makes me want to pick it up again.

Also in case your CPU is old enough, did you try disabling CPU bug mitigations?

My line lost its departure melodies in March this year :/

Basically it just clusters same characters and asks the human to find the problems, which is easy when you're looking at a series of pictures like ssssss5sss.

The UI is kinda least-effort. Should ask a modern AI agent to make it look nice and intuitive, sometime maybe.

A WebGl program that takes input like X123 Y123 Z123 via WebSerial every 100 ms and builds an object out of the resulting path. Required some performance optimizations (just had to tell it what to do). Also asked it to make the corners nicer and it did. (To be fair, I'd already asked a lesser model and put some things in the prompt to nudge it the right way.)

Various OpenSCAD models. E.g., remote control holder with 5 slots, staggered heights, slight slant because it looks cool, and the slots all have different depths. One shot. It implemented the slant/tilt using a shearing matrix. 100 points.

So... honestly it's kinda silly IMO. If I wanted to mix colors in a hacky way I'd just... wait, hold my beer.

Edit: one thing I can think of where micro USB connectors are better: if you broke off the connector, it's much easier to solder it back on.

IMO the car has a lot of bells and whistles that many drivers (probably!) don't really care about. But I guess car fans like this kind of stuff. The active noise cancelling feature might be nice, but wouldn't be surprised if we see regulation on that matter at some point. You kind of need to be alert of your surroundings, etc.

Now I kinda wish my Prius had a 3.5mm aux-in jack but I get by with an FM transmitter.

If mining deaths are included, coal, oil, gas and uranium probably do not look favorable at all, but renewables aren't perfectly safe either: there was a bridge collapse at a copper/cobalt mine in Congo two months ago that killed 32. Solar and wind use more copper per energy unit than other technologies, and solar and wind indirectly require battery technology. Lithium batteries contain lithium and cobalt. (Lithium mining seems relative safe, but 70% of cobalt is mined in Congo, which is known for artisanal mining, and the above-mentioned accident indeed seemed to happen at such a mine.) Wind, especially off-shore wind uses more concrete and steel than other power generation technologies (hydro seems like it'd use a lot too?), which could be explored too. (Course, these metals are recyclable, so you only mine them once.)

Battery factories also produce deaths sometimes, e.g. recently https://en.wikipedia.org/wiki/Hwaseong_battery_factory_fire, and batteries in operation as well as discarded batteries sometimes produce deaths too.