Robotistry

Moved from mstdn.ca and sciencemastodon.com.

Disabled by #LongCovid and semi-retired, currently active in #Robotics via Robotistry Consulting & Research Services and in long Covid via the Patient-Led Research Collaborative. Chair, IEEE standards development working group P2817.
Located in the Canadian Maritimes.

Pronouns: she/her
Robotistry Consulting: https://robotistrycrs.com
Patient-Led Research Collaborative: https://patientresearchcovid19.com

Last Notes

2026-06-02 13:54:08 UTC

- reply

Your post came across my feed alone, and before I clicked through, my first thought was
"But .. isn't accurate measurement kind of important? And straight lines? I still use a ruler even though it's been years since grade school."

2026-05-21 17:36:59 UTC

- reply

Depends on fabric and context.
Expensive fabric (any colors) worn to a special occasion? Spiffy.
Bright red in cheap fabric, clip-on bow tie to go to work at the DMV? Ridiculous.

2026-04-21 23:43:33 UTC

My Verification of Autonomous Systems book is finally out!
In addition to contributed chapters on theoretical and practical aspects of verifying autonomy*, the editors contributed an introduction on stakeholder perspectives and a chapter on the specific challenges autonomy introduces to verification.
Each chapter is cross-referenced to e challenges it addresses in a handy table to help readers find the information most useful to them.
I'm really proud of all our authors! So many thanks to everyone who contributed^, especially my co-editors, Mae Seto, Don Sofge, and John Sustersic!
E-book now available for download and hard copy coming soon!
* This book is about verifying autonomous embodied robots, not LLMs or AI models.
^ No AI was used in the generation of this book's content.
Link: https://link.springer.com/book/10.1007/978-3-031-88546-4
#Robotics #AutonomousSystems #Verification #VerificationOfAutonomy #Robots #AutonomousRobots #CyberPhysicalSystems #RobotTesting #FormalMethods #Modeling #Simulation

2026-04-20 10:31:21 UTC

- reply

Re: the "democratization" argument.
I am not convinced this is a thing.
My ability to program has been impaired by long covid. I am occasionally able to sustain hand writing and debugging code for up to 15 minutes at a time, up to an hour a day, up to a few weeks.
There are lots of personal use programs I would like to create - games that don't further impair my cognitive capacity; a pacing assistant that can identify the features that my family uses to catch when I'm overdoing it and let me know; something to track not only my symptom severity but exertion type and capacity without me having to do duration math in a spreadsheet.
But let's work through the practica scenario where I try to write something with the help of an LLM.
Most will skip decomposing their idea and developing a spec for what they want and assume that knowing it when they see it will be enough.
Let's say I use a free model to (slowly!) iteratively generate a program that does the thing.
My app breaks because <software update> and I have to buy an annual subscription to that service to fix it.
The free LLM adds a created-by hash to my app. 3 years later, new rule: "You used the free app to build it? Our bad, you need to pay rent to let your app run."
Captured, not democratized.

2026-04-09 15:00:58 UTC

- reply

This is one of the things grade school should be *for* - ensuring adults have basic process knowledge across a range of disciplines. Cooking, woodworking, sewing and mending, visual art, dance, cleaning, music, sculpture, managing one's finances, gardening, household repair and maintenance, metalworking....
(I'm still salty that as a girl, I had to take cooking and sewing and wasn't allowed to take woodworking and metalworking. I eventually learned woodworking, but metalworking seems so *cool*!)