Pinned toot

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

jo.ie/doas-insults.html

Pinned toot

Success! After wrangling with radeondrm/EFI issues, I finally managed to get 6.3 running on my old iMac with multiple monitors fully supported (thanks to some manual modeline work with cvt and xrandr)

Pinned toot

Update/expansion of my intro last year. I'm now going into fourth year maths rather than theoretical physics, having switched degrees. (That's assuming I pass some exams this week that I deferred due to illness).

I brew beer as a hobby, and code when I have spare time. I enjoy writing science fiction, but I'm a long way away from publishing anything.

I have 111 characters spare so: My favourite equation is $\int_M \mathrm{d}\omega = \int_{\partial M}\omega$

Had a bit too much to drink on Saturday. Apologies to anybody who I utterly confused. :)

Turns out I become a bit of a finitist when I'm pressed.

Joe boosted

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.

Joe boosted

@j Really the only introductory text available right now is the HoTT book by UFP (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.

What's your least favourite axiom? Mine's powerset.

Joe boosted

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

epubs.siam.org/toc/sjmdaq/1/1?

Joe boosted

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

Joe boosted

I signed up to twitter.com/romanzolotarev/sta 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

Joe boosted

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

Joe boosted

Joe boosted

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

jo.ie/doas-insults.html

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

jo.ie/doas-insults.html

Joe boosted

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.

dragonflydigest.com/2019/02/04

(Alternatively, is custom kindle firmware possible? Might be possible to bootstrap or on it—I'm assuming it's ARM/Linux based, never really looked into it)

Joe boosted

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

An equation with a sign mistake is still correct up to a well understood constant.

Joe boosted
Joe boosted

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

Fun use for an old and speaker: Internet Radio via . Audio quality isn't fantastic, but with some adjustments to 's defaults it's good enough.

By the looks of it rpi audio works on , so I may switch to that at some point.

Joe boosted

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!

Joe boosted

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.
Use $ and $ for inline LaTeX, and $ and $ for display mode.