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$

Minimalist (mostly) monochrome portrait mode raspberry pi setup.

Wow, cross-compiling with xbps is so nice. Took me barely any time at all to get master (with persist support) built for my .

Truth is simply an excuse for a lack of imagination.

Joe boosted

Joe boosted

Joe boosted

Joe boosted

Joe boosted

Amazing work by beck@ & robert@, further refining #OpenBSD unveil(2) semantics, working to remove an early hack that was required to proceed early on, especially with gnarly beasts like chrome. 👍

marc.info/?l=openbsd-cvs&m=155

Joe boosted

Some passes of the visible from the UK overnight - I'll tweet/toot warnings closer to the time

Joe boosted
Joe boosted

We just donated €240 to the #OpenBSD Foundation, totaling €2300 so far.

We added 24 VMs in January. 35 more available on server7.

Thank you all!

Bizarrely enough, a philosophy talk I attended on tuesday has helped me resolved some issues with a short story that's been brewing in the back of my mind for the better part of two years now. It's partially set in an infinite dimensional Hilbert space—hence the issues.

Joe boosted
Le « croisé » de Dublin, décapité huit cents ans après sa mort - https://social.bitcast.info/url/980109
Joe boosted

Have had to abandon on my main machine for a little while (doing some machine learning, and python+julia+jupyter works far better on Linux). Decided to go with Linux and a full DE instead of a WM for a little while. Turns out is pretty nice these days.

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?

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.