I worked in software certification under Common Criteria, and while I do know that it creates a lot of work, there were cases where security has been improved measurably - in the hardware department, it even happened that a developer / manufacturer had a breach that affected almost the whole company really badly (design files etc stolen by a probably state sponsored attacker), but not the CC certified part because the attackers used a vector of attack that was caught there and rectified.

It seemingly was not fixed everywhere for whatever reason… but it’s not that CC certification is just some academic exercise that gives you nothing but a lot of work.

Is it the right approach for every product? Probably not because of the huge overhead power certified version. But for important pillars of a security model, it makes sense in my opinion.

Though it needs to be said that the scheme under which I certified is very thorough and strict, so YMMV.

Not true, I also enjoy stuff not created by workers, like mountains, forests or the sea.

On the other hand, I hate a lot of stuff capitalism created.

“Bacon causes cancer, smoking causes cancer… but smoking bacon cures it” is the version I know

The R in LLM stand for Return on Investment

librewolf

Downstream of Firefox that relies on Firefox being developed by Mozilla

brave

Sketchy downstream of Google Chromium

mullvad browser

Downstream of Tor Browser which in turn is downstream of Firefox that relies on Firefox being developed by Mozilla

Here, smoking with 16 was legal until I turned 20 or so. My smoking friends started before that age, so 14 or 15. This was in Germany until the mid-2000s.

It wasn’t very common among my peers, but did happen.

I actually have an account on there with almost nothing, just my nix configuration, plus a repo I cloned to commit a bug fix on software I used. But it seemed like the most responsible solution as in the price is reasonable, plus I actually like the interface. Codeberg also looks good and claims to be better in some regards, but these are the only choices nowadays.

Anyhow, I’m still waiting for Pijul to have a final 1.0 release and independent hosting solutions to appear.

Talking about tables, if you’re not using tabularray in 2024, you’re doing yourself a disservice IMHO. I almost use it exclusively except for text formatting as only tabularx supports page footnotes easily.

It has turned LaTeX tables from absolutely annoying to something that actually makes sense and looks nice and comes with most tools you want from tables. Except booktabs which it supports with an option. For example, it supports cells with line breaks, variable width columns, multiline and multi row cells - and even manages to align the text in them correctly. I don’t know how Jianrui Lyu did this, but he did.

So yeah. Tables in LaTeX don’t have to be pain.