Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Paul Bryan

@pabryan@mathstodon.xyz
mastodon 4.7.2
  • Open on mathstodon.xyz

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
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 5mo ago
Replying to
@colincornaby
6
0
1
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 3mo ago
Replying to
@kbm0@mastodon.social @kde@floss.social @gnome@floss.social @hembrow@todon.eu Also very fitting since Derek Jacobi is gay 🏳️‍🌈
2
0
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 3mo ago
Replying to
@hembrow@todon.eu @kde@floss.social @gnome@floss.social That is truly wonderful! I loved the animation :)
1
0
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 5mo ago
Replying to
@linuxgal I'm a curly guy! Always suspected...
2
0
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 5mo ago
Replying to
@maxxcan @sailfishosnews @hispaemacs @sacha that needs to be on wheels. Emacsbot!
2
0
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 5mo ago
Replying to
@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!
2
1
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 4mo ago

@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/

How do I use PeerTube? How do I follow PeerTube accounts from Mastodon? | Fedi.Tips – An Unofficial Guide to Mastodon and the Fediverse
fedi.tips

How do I use PeerTube? How do I follow PeerTube accounts from Mastodon? | Fedi.Tips – An Unofficial Guide to Mastodon and the Fediverse

An unofficial guide to using Mastodon and the Fediverse

1
1
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 4mo ago
Replying to
@witchgirls@woof.tech 1 day of emacs and you're already bending it to your will! You'll get on just fine 🙂
1
0
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 5mo ago
Replying to
@vantablack@cyberpunk.lol oof. A little too close to home
1
0
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 5mo ago
Replying to
@civodul@toot.aquilenet.fr That's a neat trick!
1
0
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 5mo ago
Replying to
@bbatsov looks like a faithful port. Nice work!
1
0
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 5mo ago
Replying to
@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
SICP in Emacs
Lobsters

SICP in Emacs

10 comments

0
0
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 5mo ago
Replying to
@angelwood @xaxalxe @neauoire Finally something I might be above average at!
0
0
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 5mo ago
Replying to
@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?
0
2
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 5mo ago
Replying to
@shegeley@fosstodon.org great thanks.
0
0
0
0
Open post
Paul Bryan @pabryan@mathstodon.xyz
· 5mo ago
Replying to
@davidsuculum@mathstodon.xyz Season 2 is Galois
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 14:47:52 UTC