Joe @j@mathstodon.xyz

I took off some days from work, starting yesterday, just to finish personal projects.

Here they are, in order of priority, and uh, so far completed in reverse order.

Let's see how much I can get done today.

@j Really the only introductory text available right now is the HoTT book by UFP (https://homotopytypetheory.org/book/) It's quite good, though obviously pretty dense. I'm not an expert by any means, but I'll also be happy to try to answer and questions.

Being comfortable with set theory or formal logic isn't necessarily a prerequisite for learning HoTT. In fact, I'd say if you've ever done any (especially functional) programming, type theory may actually be more intuitive than ZFC.

SIAM's new journal on the mathematics of data science has just released their first issue!

https://epubs.siam.org/toc/sjmdaq/1/1?fbclid=IwAR1jG_x-_HhrniRjHX4KqfWKfGTDXymPZbq86G-4HtYmWVZ_nKL09jtWn2s

We are now 7 months old!
We deployed 212 #OpenBSD VMs on #OpenBSD vmm(4)/vmd(8).
There are still 13 VMs available on s6.obsda.ms.

Almost halfway of becoming a bronze sponsor of #OpenBSD

#RUNBSD

I signed up to https://twitter.com/romanzolotarev/status/1093482805475065857 awesome service by @romanzolotarev
. but who is @romanzolotarev .. some say he is a #BSD guy.. I think he is like plato... not a person. but an academy of many #BSD schollars sharing knowledge (justification huge output for only 1 person) Thanks Roman for all your work , tweets and publications on OpenBSD

@j
I miss when the old mg had the same insults under M-x theo.

A lot of color pickers present available colors as circles of that color. When you do this, bigger circles are better. The bigger the circle the easier it is for me to tell the colors apart. Including the color name does help a bit but I honestly prefer just being able to see what the color is. I've attached images of color pickers from two calendar apps. On the one with small circles and color names, most of the colors look the same to me, and the names don't mean much.

How to have doas insult you (with insults straight from deraadt@):

https://jo.ie/doas-insults.html

#OpenBSD

Text mode cleanup

I suppose if the Digest is going to be looked at with a text-mode browser, I had better make sure it's readable. I'll work on that.

https://www.dragonflydigest.com/2019/02/04/22512.html

Want to experiment with #OpenBSD? Curious about the #tildeverse and what the heck a #tilde is? Join https://tilde.institute to get a free #shell and mail account today! #bsd #foss #unix

Take Me To The River - Stop Making Sense https://a-talking-heads-head.tumblr.com/post/182427828537/byrnism-officialyoda-take-me-to-the-river 4/10

In about half an hour, UK #ISS pass, starting at 18:02:00, duration 329 secs, very bright, Magnitude -3.3

We are past the halfway-point of server6 already! 19 VMs available.

We added 21 VMs since the beginning of this month. To all the users, continue being awesome!

#RUNBSD #OpenBSD

I’m taking an introductory course to ODEs this semester. As a BSc maths course, it is light on applications. As it has no prerequisites beyond basic single-variable calculus, it is also light on theory. Practically all that’s left is equation solving, which isn’t very motivating.

Do you have favourite resources/books/whatever on the topic? All suggestions are appreciated.