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?

Show thread

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.

My best build yet! Finally found a set of keycaps which look good on this case. Iris v3 with polycarb green plates and acrylic mid layer with tenting holes.

Still to test the keys, decide a key mapping, and get some m6 bolts for tenting.

I would like a pet crow. A pet I could respect. (maybe)

Category theory 

"Category theory is an embodiment of Klein’s dictum that it is the maps that count in mathematics. If the dictum is true, then it is the functors between categories that are important, not the categories."

Huh, so categories aren't the important part of category theory? Huh.

Made a Manyverse "account". Nice Android app! But I have no friends there so it's kinda lonely. Mastadon has the place to see all posts on your server, which is quite nice.

I had a blood draw this morning. I got light-headed and passed out, spent an hour in the ER regaining my strength. Doctor said it's a relatively common occurrence. Whew, what a ride that was.

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

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?

Show thread

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*.

"In other words -- the decision of how to describe things preceded the reflection of what to describe."

- An Experiment with Denotational Semantics by Andrzej Blikle

I spent over an hour last night searching Amazon and Newegg for a USB Type-C splitter. My Macbook has only 2 USB Type-C ports but I have 3 things to plug in. None! Only products which split a USB Type-C into USB Type-A ports.

I've used a Mac for work for the last few years. I don't see what's so great about it. The Unix command line is nice, but the OS itself is equally annoying as Windows.

Upgraded too from Nexus 5x to OnePlus 7. Night and day difference. The one OP7 is so powerful. So worth it. Got the Chinese non-Pro model and saved a few hundred dollars.

YOU get a Discourse instance, and YOU get a Discourse instance -- EVERYONE gets a Discourse instance!

My runic keyboard is coming along nicely. Just nice to lube and assemble the keyswitches for the other half of the board.

Any experience reports about using Zulip as a real-time communication hub for FLOSS projects?
I'm a bit concerned that it is too structured to be an effective chat-room replacement, like Slack/IRC/Gitter. And it is too chat-like to be a replacement for a forum app, like Discourse.

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.

Show thread

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.

Show thread

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.

Show thread
Show more
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!