Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

David Lawrence Miller

@millerdl@mathstodon.xyz
mastodon 4.6.4
  • Open on mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union

(header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

668 Followers
723 Following
29 Posts
Joined May 15, 2023
web:
https://converged.yt
pronouns:
he/him
bots:
https://converged.yt/bots
location:
Greater Dundee Area, Scotland

Posts

Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Jul 31, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
There are plans to close the mathematics programme at University of Dundee. The Edinburgh Mathematical Society has an open letter that you can sign to support keeping the programme. https://www.ems.ac.uk/open-letter-dundee/
6
2
22
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Jul 29, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

I love working with other mathematicians...

"research collaboration conversations are neither 1-1 or onto!"

(for non-mathematicians: https://en.wikipedia.org/wiki/Bijection and https://en.wikipedia.org/wiki/Surjective_function will help ;))

1
0
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Jul 22, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

started my morning by reading this by Kevin Buzzard: https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/

On using GPT/Fable/etc to construct mathematics, then translate into systems like Lean. This is clearly working in some areas of maths, and that is huge.

(I'm a AI skeptic. That someone well-respected is showing actual results over just pontificating is giving me pause for where this technology might actually be useful.)

Human mathematicians are being outcounterexampled
Xena

Human mathematicians are being outcounterexampled

It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…

2
1
1
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Jul 21, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @zkamvar@hachyderm.io
@zkamvar@hachyderm.io nature finds a way :)
2
0
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Jul 21, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
"You can tell whether the author of a paper is a mathematician or a computer scientist by looking at the direction their trees grow. A computer scientist’s trees will grow downward while a mathematician’s tree will grow upward. Naturally, the correct way is the mathematician’s way..." https://tikz.dev/tikz-trees
6
4
1
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Jul 15, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

very sad to hear about the passing of Adrian Bowman, emeritus professor in statistics at the University of Glasgow

https://www.gla.ac.uk/schools/mathematicsstatistics/eventsandseminars/distinguished-lecture-series/thebowmanlectures/

www.gla.ac.uk

University of Glasgow - Schools - School of Mathematics & Statistics - Events and Seminars - Disting

1
1
1
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Jul 08, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
"must be willing to relocate to the (St Andrews) Bay Area"
4
1
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Jul 01, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @futurebird@sauropods.win
@futurebird@sauropods.win yup same here. Beyond the engines themselves, for any technical search I get a series of AI slop websites with Google, DDG and others. DDG allows you to "blacklist" up to 10 (I think) sites, which is like <1% of the number I want to block!
2
0
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · May 18, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @cyberia@tilde.zone
@cyberia@tilde.zone I chickened out of going round the top! :( but I have done it before!
1
0
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · May 18, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

went to the Arts Tower. Went on the paternoster. Pilgrimage complete.

https://en.wikipedia.org/wiki/Arts_Tower

5
4
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · May 17, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

wow the LNER coffee never gets better does it?

1
2
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Apr 29, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

new metric: Dave-o-meter

What is the ratio of non-men to people called "Dave" in the meeting?

Brought to you by a Dave who recently was in a meeting with more Daves than non-men 😕

17
9
11
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Apr 27, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @phil_browne@fediscience.org
@phil_browne@fediscience.org luv 2 pay literally thousands of pounds for someone to butcher my work
0
0
1
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Apr 27, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @phil_browne@fediscience.org
@phil_browne@fediscience.org recent experience: what if the display equations were italic but inline math was upright? That looks okay, right??
0
2
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Apr 27, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @phil_browne@fediscience.org
@phil_browne@fediscience.org at least they're not asking you to convert to Word first!
0
4
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Apr 10, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @millerdl@mathstodon.xyz
@noamross@ecoevo.social aha! A little more digging gets me: https://github.com/eric-pedersen/mgcv-esa-workshop/blob/master/slides/uncertainty.gif @ericJpedersen@ecoevo.social @gavinsimpson@mastodon.social
1
0
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Apr 10, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @noamross@ecoevo.social
@noamross now there's a blast from the past... I found this: https://gist.github.com/dill/6c2fd466dad400c39800 which looks like the best I can do 😕 I did endure the psychological damage of finding out my oldest gist is from 14 years ago 💀 @ericJpedersen @gavinsimpson
3
1
1
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Apr 04, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @jrboehnke@mastodon.social
@jrboehnke@mastodon.social I think that is what it means but it is also nonsense to me too!
1
1
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Apr 03, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

SOME PERSONAL/PROFESSIONAL NEWS:

I've accepted the position of "Principal Researcher in Statistical Methodology" at Biomathematics and Statistics Scotland (where I currently work).

This means I'll be leading the statistical methodology theme within BioSS, taking over from Ken Newman.

33
10
6
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Apr 03, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

Thanks Outlook, that's very very clear:

"Occurs every other second Thursday from 13:00 to 14:00"

3
5
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Apr 02, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

"""
We are happy to inform you that your research article, especially titled, "Bayesian views of generalized additive modelling", which is mostly aligns with our conference theme got the attention to brings our invitation. We are inviting global professionals in the field of Recycling and Waste Management, we sincerely hope you will be the part of this event.
"""

7
8
3
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Apr 02, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

just OOM'd. whoops.

0
0
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Apr 01, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

just finished "John Henry Days" by Colson Whitehead. 5/5, would strongly recommend.

It's about being a journalist but also about trains and stamps and obsessing about things.

A compelling read, funny and thoughtful.

https://en.wikipedia.org/wiki/John_Henry_Days

1
0
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Mar 31, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

RE: @oblique_strategies@mas.to

I think we know which one 👀

mas.to

Oblique Strategies: "Discard an axiom #ObliqueStrategies" - mas.to

2
1
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Mar 20, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @Photo55@mastodon.social
@Photo55@mastodon.social Sorry I don't buy this in this case. If you're earning at that level you need to provide a full tax return to HMRC, you probably have an accountant, you are on a personal contract with the University and therefore make a case for your pay increase each year outwith collective bargaining. Not knowing your salary to within 10k is preposterous. Whether or not you know on a day-to-day basis, if you're going to a parliamentary inquiry about the finances of your institution, you should be prepared to answer that kind of question. Video here: https://www.youtube.com/shorts/t1pGy52JPoo
2
2
2
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Mar 20, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @pthime@lgbtqia.space
@pthime@lgbtqia.space thanks for the clarification! The only thing I've seen is the e-mail from the principal which looks outrageous to me. ✊
0
0
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Mar 20, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @millerdl@mathstodon.xyz
worth saying I only have "visitor" status at the UoE but BioSS has their offices colocated at the Kings Buildings campus and I work with many UoE staff.
2
0
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Mar 20, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz
Replying to @leouieda@bertha.social
@leouieda@bertha.social ❤️ 100% there has also been a shift to using fixed-term contract lecturing staff ("teaching fellows") to avoid employing more permanent staff across UK HE. The whole thing is a disaster at the moment! ✊
3
0
0
0
Open post
millerdl
David Lawrence Miller @millerdl@mathstodon.xyz · Mar 20, 2026
David Lawrence Miller
@millerdl@mathstodon.xyz

type 2 fun enthusiast // Bogdanovist // statistician at Biomathematics and Statistics Scotland // pretty excited about aphids at the moment // join a union (header pic: subtitle from Parks & Rec that reads "do you think a depressed person could make this?")

mathstodon.xyz

the University and College Union at University of Edinburgh have voted in favour of strike action in response to potential 1800 job loses and another round of massive cuts. (background here: https://www.ucu.org.uk/article/14418/New-strike-ballot-at-Edinburgh-University-in-dispute-over-cuts-and-job-losses, no announcement yet)

This is at Edinburgh, where the principal did not know **his own salary** when asked at a Scottish Parliament committee https://www.edinburghlive.co.uk/news/edinburgh-news/edinburgh-university-boss-who-didnt-31811867. (It is almost 500k)

Another sign of broken higher education in the UK. Solidarity with UoE staff ✊

#he #union #unionstrong #uoe #ucu #ucu_strike

17
9
41
0

Remote instance

mathstodon.xyz
Open on original server

Media

313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

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: 23:39:59 UTC