Half is definitely an exaggeration for LinuxKPI modules that cover WiFi and GPU drivers.
Still, most of radeon/amdgpu DRM driver is MIT-licensed and doesn't require abiding by the GPL (not sure about other drivers as I don't use them, but I assume licenses vary).
> - Helpful 404s. If you mistype a url, the 404 page compares it to working urls and shows you the closest match. All done using clientside JS (no web server needed). For example: https://breckyunits.com/pcr.html
On the topic of showing page progress with table of contents, author's description matches exactly how it is implemented in Material for MkDocs [1]. I moved my blog from WordPress to it (for unrelated reasons) and I immediately liked how going through longer blog posts felt with highlighted entry in the table of contents moving together with the page.
Just to be contrary, I find things on the page updating as I scroll to be distracting. I consider that kind of thing to be like a modern <blink> tag. On sites I read frequently, I nuke those elements with uBlock Origin. I guess I'm sort of a HTML fundamentalist, though.
My group used to teach Computer Networks at a university ([1] gives a fair overview of the scope if you know Croatian or use a bit of Google Translate). We used CORE and PHP built-in web server [2] for the basic course. IMHO, stuff like Shadow is too overwhelming for the introductory course, but we planned to use it together with ns-3 and SimGrid for the advanced course (which in the end we never got a chance to develop for unrelated reasons).
Came to the comments to post just this. LuaJIT is enthusiastically used in the TeX community and luajittex executable is readily available in parallel to luatex.
I read Steve McConnell's Software Estimation: Demystifying the Black Art and I can recommend it without hesitation. It is quite old by now so there might be something newer and better out there as well.
That book says the opposite though, we can definitely make good estimates.
It's just that estimating well needs people with training on how to do that, and then it takes substantial time to make good estimates. And there will still be significant error bars (if the estimate isn't a range, it doesn't count as an estimate). But it's certainly doable.
Still, most of radeon/amdgpu DRM driver is MIT-licensed and doesn't require abiding by the GPL (not sure about other drivers as I don't use them, but I assume licenses vary).