Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Public
Chartodon

@clacke
I'm currently being updated to allow a parameter. Without a parameter the behaviour is unchanged.

Currently possible parameters are:

Help - print this message

LR - plot left-to-right instead of top-down

(*)Spine - Plot this toot and parents in a spine on the left, and descendents/replies streaming rightwards

(*)Down - Plot only descendents

(*)Context - Plot the parents without replies, and all descendents

Options marked (*) are not yet implemented

Public
clacke: exhausted pixie dream boy 🇸🇪🇭🇰💙💛
@ColinTheMathmo Is there a realistic hope that we'll see Spine? That feels like it would be a real jump in usability.
Public
Colin the Mathmo

@clacke OK, this might actually work now:

Calling @Chartodon Spine ...

Now I need to make sure I didn't break anything else ...

Public
Colin the Mathmo

@clacke (And no, I don't have any unit tests ... it's still all an experimental hack.)

Public
clacke: exhausted pixie dream boy 🇸🇪🇭🇰💙💛
@ColinTheMathmo That is like the inverse of Donald Knuth's "[note that the above code has only been formally verified to be correct, I haven't actually tried it]". =)
Public
clacke: exhausted pixie dream boy 🇸🇪🇭🇰💙💛

"Beware of bugs in the above code; I have only proved it correct, not tried it."

-- Donald Knuth, 1977 memo "Notes on the van Emde Boas construction of priority deques: An instructive use of recursion"

www-cs-faculty.stanford.edu/~k…

www-cs-faculty.stanford.edu Knuth: Frequently Asked Questions
Colin the Mathmo

@clacke I used to work in soft-realtime safety-critical software, so this was a well-known and well-worn clip.

We had to balance formal reasoning, semi-formal reasoning, loose arguments, and careful testing, and it was surprisingly interesting and satisfying.

But in those cases we knew in advance what we were trying to achieve, and specifying that formally, or semi-formally, was part of the job.

In this case I've hacked together something to see if it might be useful, and it's grown into a thing that people use.

Software, eh?

(Also, I'm interacting with reverse engineered interfaces to software I neither understand nor control. So ... yeah. Fun.)

Sep 26, 2023, 08:14 AM·Public·Web
0boosts·2favorites
Public
clacke: exhausted pixie dream boy 🇸🇪🇭🇰💙💛
@ColinTheMathmo My number one advice to my younger self: "Your prototype *will* be put into production"
Public
Colin the Mathmo

@clacke I think that should go in my toot rotation. I have a script which every day takes the next item off a list, toots it, then puts it back on the bottom.

I'll add that. Do you want to be credited? If so, how?

Example:

"My number one advice to my younger self: Your prototype *will* be put into production"
-- Paraphrased from mathstodon.xyz/@clacke@librane

SearchLive feeds
About