no brushes or encoders, easily sourced parts — precluded most of the available commercial options, like linear pots. What to do? The solution [Nixieguy] settled on was to use a Hall effect ...
He had some latching Hall effect sensors lying around, but lacked the ring magnet that is usually used with such sensors in magnetic encoders. But luckily, he had a mess of magnetic spheres ...