Bill Gates is, though the budget of his foundation is only about half of what USAID was donating:
www.ft.com/content/bdd9...

Or if the trigger was not an accident, the consequences were entirely preventable if safety warnings hadn't been ignored

Beirut is far from the only such case, Texas had a similar big explosion in 2013 at a plant that didn't get an OSHA inspection since 1985

Imo the combination of no easily accessible demo *and* being closed source makes me a lot more skeptical about their claimed performance numbers, even if the research papers are interesting

I feel like this whole thing is a good illustration why grievance politics are so effective and so dangerous.

Everyone feels like their personal grievances are so self-evident that the demagogue must be attacking the people they hate — in this case, “bad” immigrants — and not them

You could have a lagrangian with an explicit dependence higher derivatives, but then you don't necessarily have a legendre transform and hamiltonian. The common approach is to basically add explicit lagrangian multipliers as you say

Systemd and sudo are comparable in codebase size actually

Also, for corporate users, it can look up authorization information from external databases like LDAP, and that has to be made safe and protected against MITM attacks

It doesn't start a process as a different user, it changes the user of the current process tree along with all the corresponding state, and then has to change it back correctly in a way that doesn't break if you type "sudo sudo ..." etc etc

Also it has multi-user authorization with regexes

The issue with that is that vetting non-tiny commits is hard work that often just gets skipped. If you've ever worked on any large private sector project you'll understand how important compiler enforcement is because everything else is subject to Murphy's law

Ultimately though, the big issue with Sudo isn't necessarily the implementation but the actual interface and scope creep. I hope you like having some of the most important security settings on a multitenant system be written in terms of regexes

Sudo is a million line C codebase, and Rust fans are not the only ones to distrust it. Alpine linux has its own, docker people have their own minimal versions, and systemd added run0 because the author does not trust Sudo to be safe

This is assuming that you have homework problems long enough that they won't fit in a one hour recitation.

If we're talking about lots of small problems, one option is quizzes with the actual quiz question being posted the week before but where students write it out in person

One option could be to replace grading the paper with an oral session where each student explains their solution

Eh, transformers can't be indefinitely scaled by throwing more resources at them, but LLMs as a whole can very likely be improved further by improving the architecture

If anything the weird case would be the one where a space is (strongly) Hausdorff but not T3. The T3 property stays natural even when you look at different definitions of topological spaces

Weak Hausdorff is definitely the right definition when working with subsequential spaces as well

I mostly just use it for skip scans/asof joins and have like two or three hypertables in the schema. The rest is just normal postgres.

Use extensions when they fit the usecase, keep them contained to that usecase