qiqitori
Joined 10 years ago
Joined 10 years ago
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.
Do not upvote past 999 karma, thank you very much.