Conversation

Notices

1. Santa Claes 🇸🇪🇭🇰🎅 (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 12:03:48 UTC Santa Claes 🇸🇪🇭🇰🎅
   Calling @chartodon help
   • Santa Claes 🇸🇪🇭🇰🎅 (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 12:03:44 UTC Santa Claes 🇸🇪🇭🇰🎅

     in reply to

     • Colin the Mathmo
     @ColinTheMathmo That is an excellent guess. =)
   • Colin the Mathmo (colinthemathmo@mathstodon.xyz)'s status on Tuesday, 26-Sep-2023 12:03:45 UTC 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

   • Santa Claes 🇸🇪🇭🇰🎅 (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 12:03:46 UTC Santa Claes 🇸🇪🇭🇰🎅

     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.
   • chartodon@mathstodon.xyz's status on Tuesday, 26-Sep-2023 12:03:47 UTC 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

   • Santa Claes 🇸🇪🇭🇰🎅 (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 12:03:48 UTC Santa Claes 🇸🇪🇭🇰🎅

     in reply to

     • Chartodon
     calling @Chartodon help
   • Santa Claes 🇸🇪🇭🇰🎅 (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 12:04:03 UTC Santa Claes 🇸🇪🇭🇰🎅

     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]". =)
   • Colin the Mathmo (colinthemathmo@mathstodon.xyz)'s status on Tuesday, 26-Sep-2023 12:04:04 UTC Colin the Mathmo

     in reply to

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

   • Colin the Mathmo (colinthemathmo@mathstodon.xyz)'s status on Tuesday, 26-Sep-2023 12:04:05 UTC 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 ...

     Santa Claes 🇸🇪🇭🇰🎅 likes this.
   • Santa Claes 🇸🇪🇭🇰🎅 (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 12:04:14 UTC Santa Claes 🇸🇪🇭🇰🎅

     in reply to

     • Colin the Mathmo
     @ColinTheMathmo Glorious. You rock. 🤩
   • chartodon@mathstodon.xyz's status on Tuesday, 26-Sep-2023 12:04:15 UTC 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.

   • Santa Claes 🇸🇪🇭🇰🎅 (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 12:05:31 UTC Santa Claes 🇸🇪🇭🇰🎅

     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…

   • Colin the Mathmo (colinthemathmo@mathstodon.xyz)'s status on Tuesday, 26-Sep-2023 23:27:25 UTC 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.

     Santa Claes 🇸🇪🇭🇰🎅 likes this.
   • Colin the Mathmo (colinthemathmo@mathstodon.xyz)'s status on Tuesday, 26-Sep-2023 23:27:27 UTC 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.)

     Santa Claes 🇸🇪🇭🇰🎅 likes this.
   • Santa Claes 🇸🇪🇭🇰🎅 (clacke@libranet.de)'s status on Tuesday, 26-Sep-2023 23:27:28 UTC Santa Claes 🇸🇪🇭🇰🎅

     in reply to

     • Colin the Mathmo
     @ColinTheMathmo My number one advice to my younger self: "Your prototype *will* be put into production"
   • Santa Claes 🇸🇪🇭🇰🎅 (clacke@libranet.de)'s status on Wednesday, 27-Sep-2023 11:44:44 UTC Santa Claes 🇸🇪🇭🇰🎅

     in reply to

     • Colin the Mathmo
     @ColinTheMathmo That works.
   • Colin the Mathmo (colinthemathmo@mathstodon.xyz)'s status on Wednesday, 27-Sep-2023 11:44:45 UTC Colin the Mathmo

     in reply to

     @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 https://mathstodon.xyz/@clacke@libranet.de/111131868536836880

   • Santa Claes 🇸🇪🇭🇰🎅 (clacke@libranet.de)'s status on Wednesday, 27-Sep-2023 11:55:49 UTC Santa Claes 🇸🇪🇭🇰🎅

     in reply to

     I originally posted this and other advice on microca.st, which sadly succumbed to entropy, and the post isn't in the Wayback Machine either.

     I later read it out loud in HPR #2179:
     hackerpublicradio.org/eps/hpr2…