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.

@mdallastella Looks like Mattermost has updated their website to be corporate af:

I can't even figure out how to make an account there. The pricing says it's free, generally. Maybe Mattermost isn't what I thought it was? I thought it was a chat app...

@mdallastella Oh nice, they are free for open-source projects:
Looks like Slack doesn't offer that:

@TheAspiringHacker What makes you think you're a hacker? I think a math-leaning programmer cares about confidence in and correctness of their code whereas I imagine hackers care only about the success path and realizing their vision rather than worrying about all the details/rules.

@minoru LOL at work my job has been similar - interfacing with an API whose abstraction is CRUD onto DB tables. The DB tables enforce dozens of validation rules and references between them, which makes it hard. The worse part though is that there are are often zero error messages (Java stacktrace is error msg?) or the error messages points at a thing that is not the problem at all.

Go bizzzzzz.

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.

However, there is also the pitfall - the power can only be wielded on problems which can be described in the language of that mathematical field. Here is where it's useful to have and understand multiple fields of mathematics - if you can't easily describe your problem in the language of one field, perhaps there is another field which has a language in which it is easier to describe your problem.

So, mathematics becomes interesting when you read a sentence written by someone else who speaks that language and you are surprised by something it entails in the specific cases to which you are applying these universal truths. Each statement spoken in this language can be trusted to be true, because logic. You can apply the language to any problem you encounter, so long as you can properly encode the problem in that language. Learn once, apply anywhere.

Each mathematics field defines a language, a set of terms each defined in terms of some basic truths (axioms) and a way of building sentences, often with adjunction of the language of logic. Any sentence you speak in this language is Always True, because logic often uses universal quantification. It's possible to make truths which hold in specific cases using the idea of existential quantification, but they are less interesting/celebrated because they are specific applications.

I think I understand the appeal of mathematics. It's pretty philosophical - interesting but without evidence.

(continued in sub-toots)

@tfb Interesting, I've never thought about ISO when looking at PCBs/cases. That big enter button would certainly be a problem. I wonder why you're adamant about that layout... I built the 40% keyboard and it's quite fun to get used to a new layout like that.

@suppi Thanks for the encouragement. I'm part of a reading group with 2 other people, so I'll adjust their expectations of my progress per month. I'm also working on a documentation project with another person, and that person is making much more progress than I am able, which makes me feel down.

Anyways, I'll try to keep things realistic. Good reminder.

If I wasn't on anti-depressants I would be cowering in a cave and cancelling all my appointments.

I only have 3 hobby projects and I can't make consistent progress on any of them, which is setting me up for disappointing others involved in them. Problem is I spend my few hours after work recovering from the intense work day rather than my hobby projects, and as a result make no hobby progress.

chexxor boosted

time management, priorities, projects vs functions 

Show more
Functional Café is an instance for people interested in functional programming and languages.