Conversation

Notices

1. Embed this notice
   clacke (clacke@libranet.de)'s status on Monday, 25-Sep-2023 23:41:52 JST clacke
   Calling @chartodon help
   • Embed this notice
     clacke (clacke@libranet.de)'s status on Monday, 25-Sep-2023 23:41:55 JST clacke

     in reply to

     • Chartodon
     calling @Chartodon help
   • Embed this notice
     clacke (clacke@libranet.de)'s status on Monday, 25-Sep-2023 23:42:07 JST clacke

     in reply to

     • Colin the Mathmo
     @ColinTheMathmo Is there a realistic hope that we'll see Spine? That feels like it would be a real jump in usability.
   • Embed this notice
     Chartodon (chartodon@mathstodon.xyz)'s status on Monday, 25-Sep-2023 23:42:09 JST Chartodon

     in reply to

     @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

   • Embed this notice
     clacke (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 10:20:32 JST clacke

     in reply to

     • Colin the Mathmo
     @ColinTheMathmo That is an excellent guess. =)
   • Embed this notice
     Colin the Mathmo (colinthemathmo@mathstodon.xyz)'s status on Tuesday, 26-Sep-2023 10:20:33 JST Colin the Mathmo

     in reply to

     @clacke I've got it working semi-automatically on my local machine, but I've had problems getting it to work on the 'bot.

     I'll put it on my queue of things to look at sooner rather than later.

     Do you have a specific discussion I can use for local testing?

     I'm guessing this one:

     https://mathstodon.xyz/statuses/111124890888971530

   • Embed this notice
     clacke (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 10:20:36 JST clacke

     in reply to

     • Colin the Mathmo
     @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]". =)
   • Embed this notice
     Colin the Mathmo (colinthemathmo@mathstodon.xyz)'s status on Tuesday, 26-Sep-2023 10:20:37 JST Colin the Mathmo

     in reply to

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

   • Embed this notice
     Colin the Mathmo (colinthemathmo@mathstodon.xyz)'s status on Tuesday, 26-Sep-2023 10:20:38 JST Colin the Mathmo

     in reply to

     • Chartodon

     @clacke OK, this might actually work now:

     Calling @Chartodon Spine ...

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

   • Embed this notice
     clacke (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 10:20:45 JST clacke

     in reply to

     • Colin the Mathmo
     @ColinTheMathmo Glorious. You rock. 🤩
   • Embed this notice
     Chartodon (chartodon@mathstodon.xyz)'s status on Tuesday, 26-Sep-2023 10:20:46 JST Chartodon

     in reply to

     • Colin the Mathmo

     @ColinTheMathmo

     Your chart is ready, and can be found here:

     https://www.solipsys.co.uk/Chartodon/111126761425059861.svg

     Things may have changed since I started compiling that, and some things may have been inaccessible.

     In particular, the very nature of the fediverse means some toots may never have made it to my instance, in which case I can't see them, and can't include them.

     The chart will eventually be deleted, so if you'd like to keep it, make sure you download a copy.

   • Embed this notice
     clacke (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 11:27:13 JST clacke

     in reply to

     "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…

   • Embed this notice
     Colin the Mathmo (colinthemathmo@mathstodon.xyz)'s status on Tuesday, 26-Sep-2023 23:52:07 JST Colin the Mathmo

     in reply to

     @clacke Thank you.

     After a few weeks of trying it randomly I'll announce it properly.

     Thanks for the motivation to get it done. It wasn't so bad ... the other options will be harder.

     clacke likes this.
   • Embed this notice
     Colin the Mathmo (colinthemathmo@mathstodon.xyz)'s status on Tuesday, 26-Sep-2023 23:52:08 JST Colin the Mathmo

     in reply to

     @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.)

     clacke likes this.
   • Embed this notice
     clacke (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 23:52:09 JST clacke

     in reply to

     • Colin the Mathmo
     @ColinTheMathmo My number one advice to my younger self: "Your prototype *will* be put into production"