Is E2E encryption so important if I am hosting my own data? And how much should I support ProtonMail if they aren't completely open source?

The @nextcloud product seems really nice. I support ProtonMail because it is E2E encrypted, and I was looking forward to their calendar app, but I see NextCloud has a calendar (sync) feature which makes me reconsider PM calendar.

Just now I learned that "an enterprise bean is a server-side component that encapsulates the business logic of an application".

https://docs.oracle.com/javaee/6/tutorial/doc/gipmb.html

This is way different than how I colloquially came to understand it, which is that it's a data type for a domain object.

Wow, is that a symptom of a poorly designed ontology? One in which terms lose useful/appropriate meaning over time? Or one in which the layperson never really understood the term, and propagated incorrect understanding?

Trying to think of a better term for what the Java Enterprise people call a "bean" than just a "data type".

A record? That would give an image of a relational database record, which is a labeled set of *primitive types*, whereas the records in type theory, I think, have arbitrary types.

The term "data type" doesn't work because it's a domain-agnostic term, where the "bean" term means *something*.

The "Alita: Battle Angel" movie strayed from the original "graphic novel" in some interesting ways, but stayed true. The 3D was great, the CG was good, but not exceptional. The flaws in the medium of a CG main character actually added to the protagonist. The film had deeper threads, almost allegorical, than one would normally expect of a film like this. The action was well paced and placed appropriately throughout the film.

Also, THE WORLD-BUILDING. I love the world-building.

Now, to see if this conception of mine about the form and function of mathematics is correct. Now I need to study a category theory book to see what the theorems mathematicians in that field are creating and if they can serve as tools useful in many situations or as the basis for other mathematical fields, more specific/concrete fields.

The current hotness, I believe, is category theory, which is like a slightly more abstracted idea of set theory. Where set theory defines things as sets and subsets, category theory only defines things as how they relate to other things. It's so beautiful! A relation is like a single fact, it's so much like the theory of the mind that analytic philosophers invented in the past century or two.

So it becomes useful to study the truths which hold across all fields of mathematics. This requires defining a language in which you can re-define any and all other mathematical fields. I think this is what is called a "univalent foundations of mathematics". For a long time people thought set theory was that thing, but it's always felt like "a hack" to use the language of set theory as such a foundation, because it feels too concrete, too much based on counting.

PureScript, Nintendo, keyboards, languages & types

Joined Apr 2018