Remote

Paul Bryan

@pabryan@mathstodon.xyz

mastodon 4.6.4

I'm a mathematician working in geometric analysis. I also an emacs enthusiast and am learning Auslan among other things.

- Living on the lands of the Darkinyung people
- Trans Ally
- Deaf Ally

0 Followers

0 Following

16 Posts

Joined June 08, 2017

Homepage:

https://pabryan.au

Pronouns:

he/him

Profile Photo:

Cartoon drawing of me by my son

Banner Photo:

A blackboard featuring mathematics for a problem I worked on with Julian Scheuer

Posts

Paul Bryan @pabryan@mathstodon.xyz · Jun 27, 2026

Replying to @kbm0@mastodon.social

@kbm0@mastodon.social @kde@floss.social @gnome@floss.social @hembrow@todon.eu Also very fitting since Derek Jacobi is gay 🏳️‍🌈

Paul Bryan @pabryan@mathstodon.xyz · Jun 27, 2026

Replying to @hembrow@todon.eu

@hembrow@todon.eu @kde@floss.social @gnome@floss.social That is truly wonderful! I loved the animation :)

Paul Bryan @pabryan@mathstodon.xyz · May 24, 2026

@jdw@mathstodon.xyz You can follow from mastodon. Scroll down a little bit for some info here:
https://fedi.tips/how-do-i-use-peertube-how-do-i-follow-peertube-accounts-from-mastodon/

Paul Bryan @pabryan@mathstodon.xyz · May 15, 2026

Replying to @witchgirls@woof.tech

@witchgirls@woof.tech 1 day of emacs and you're already bending it to your will! You'll get on just fine 🙂

Paul Bryan @pabryan@mathstodon.xyz · May 11, 2026

Replying to @vantablack@cyberpunk.lol

@vantablack@cyberpunk.lol oof. A little too close to home

Paul Bryan @pabryan@mathstodon.xyz · May 04, 2026

Replying to @colincornaby@mastodon.social

@colincornaby

Paul Bryan @pabryan@mathstodon.xyz · May 04, 2026

Replying to @linuxgal@techhub.social

@linuxgal I'm a curly guy! Always suspected...

Paul Bryan @pabryan@mathstodon.xyz · Apr 30, 2026

Replying to @pabryan@mathstodon.xyz

@spook@pleroma.m68k.church there's also this discussion about reading SICP in emacs: https://lobste.rs/s/0r1whx/sicp_emacs The link there seems to be broken, but it looks like it should be: https://kchousos.github.io/posts/SICP%20in%20Emacs.html

Paul Bryan @pabryan@mathstodon.xyz · Apr 29, 2026

Replying to @maxxcan@mastodon.social

@maxxcan @sailfishosnews @hispaemacs @sacha that needs to be on wheels. Emacsbot!

Paul Bryan @pabryan@mathstodon.xyz · Apr 29, 2026

Replying to @spook@pleroma.m68k.church

@spook@pleroma.m68k.church #emacs is a good way to incorporate #lisp into your daily life and is also well set up for editing lisps of all varieties. Just starting with and configuring some themes to making it look like you want has you writing lisp. Then, adding some key bindings - more lisp. Every customisation is lisp. Lots of opportunities for learning and practising. And you can read SICP in info format within emacs! And you can read the Spritley Institute Scheme primer in org-mode format in emacs! And you run a Guile REPL from within emacs to execute code! So you can do the exercise write there without leaving emacs. And you browse the Web to look up tips and tricks for hacking on lisps. And you post your progress to the fediverse from within emacs! .... You get the idea. Playing around with all that will have you writing little bits of elisp every day, so you'll be improving your lisp skills constantly!

Paul Bryan @pabryan@mathstodon.xyz · Apr 27, 2026

Replying to @civodul@toot.aquilenet.fr

@civodul@toot.aquilenet.fr That's a neat trick!

Paul Bryan @pabryan@mathstodon.xyz · Apr 23, 2026

Replying to @shegeley@fosstodon.org

@shegeley@fosstodon.org great thanks.

Paul Bryan @pabryan@mathstodon.xyz · Apr 23, 2026

Replying to @shegeley@fosstodon.org

@shegeley@fosstodon.org nice! I'm looking to set up something like this. Do you run guix with wireguard on a vps, or directly connect to guix with wireguard running at home? Also, what was the fix? Just change the port?

Paul Bryan @pabryan@mathstodon.xyz · Apr 21, 2026

Replying to @angelwood@merveilles.town

@angelwood @xaxalxe @neauoire Finally something I might be above average at!

Paul Bryan @pabryan@mathstodon.xyz · Apr 13, 2026

Replying to @bbatsov@hachyderm.io

@bbatsov looks like a faithful port. Nice work!

Paul Bryan @pabryan@mathstodon.xyz · Apr 12, 2026

Replying to @davidsuculum@mathstodon.xyz

@davidsuculum@mathstodon.xyz Season 2 is Galois

Paul Bryan

Posts

Remote instance