https://xiaolan.in/tags/vision/Recent content in Vision on Xiaolan XuHugoenSat, 04 Jul 2026 00:00:00 +0000https://xiaolan.in/blog/the-question-after-the-demo/Sat, 04 Jul 2026 00:00:00 +0000https://xiaolan.in/blog/the-question-after-the-demo/On April 24th I gave a demo of an AI-assisted, cloud-native pipeline for the SMAP-NISAR soil moisture algorithm — the kind of talk meant to show a platform working, not to make an argument. It landed well. People were generous about it afterward, including some fairly senior people at NASA HQ. The interesting part happened after, in the informal Q&A. A colleague who works in formal verification — proving software and system contracts correct, not remote sensing — asked a question that had nothing to do with the pipeline I’d just shown.