kachnuv_ocasek

What are the benefits, though?

Looks like it but with open-weights only.

McElreath's Statistical Rethinking is also a great reference for causal thinking and modeling.

Rootless was the reason I switched to Podman years ago. It's just so smooth and I don't have to worry about obscure permissions and services errors anymore.

> once again you have a sort of cult of personality with One Dear Leader at the top

Sounds hell of a lot like USA right now.

You can always run it in bwrap or rootless podman.

Good, I don't want people rising to unlimited, uncheckable power and creating oppressive hierarchies in general.

Fun concept!

It's definitely missing siteinspire.com

Please read up on what's really going on inside China when it comes to industrial policy and innovation. Barry Naughton has a nice series of books and papers that might disperse some of your incorrect preconceptions.

How long has the history of the US protecting the individual freedoms of non-white or non-rich citizens been?

Not even mentioning the many instances where US corporate interests were defended and advanced by US military force abroad.

Why those arbitrary thresholds?

Do you truly believe most of that goes towards wages?

What exactly do you mean by “make state explicit”?

What would be the product they're marketing by this campaign?

Perfect for hedging the emotional damage on my daily commute in monetary units.

Composition, lighting and creativity are no more than tools either.

This is not in any way specific to the government or public institution. Many (perhaps most) private companies work the same way.

One could argue share buybacks are more tax-efficient.

How does Spotify defend people who actually make art? There's virtually no difference between pirating and steaming through Spotify for the vast majority of artists.

Same argument applies. You, as the developer, always know in what context the text appears. Whether it's "dwa zdjęcia przesłane" or "dodano tagi do dwóch zdjęć".

Lean has much better UX to be frank. Rocq is fine, but if I were to start formalising today, I'd pick Lean.

But what are the specific regulations you would cut, dude?

> a system cannot be both sound a complete

Huh, what do you mean by this? There are many sound and complete systems – propositional logic, first-order logic, Presburger arithmetic, the list goes on. These are the basic properties you want from a logical or typing system. (Though, of course, you may compromise if you have other priorities.)

Same background here. I finally got into stochastic calculus last year thanks to a local college course (after several unsuccessful attempts on my own).

You need at least

1. a basic grasp of classical calculus, measure theory and topology

2. solid understanding of probability theory

3. basics of stochastic processes

I believe you should be able to dive in from there. It's good to have an idea where you're heading as well (mathematical finance and modelling and pricing derivatives? Bayesian inference and MCMC? statistical physics?).

Interestingly, I feel like I can "feel" small numbers (up to 4 or 5) easier than than thinking about them as objects in a language.

Why would an OS need to be Turing complete?