blog post I need to write: "the UX of ensuring correctness by construction"
-
Show this thread
-
Basic thesis is that for many domains, it's pretty easy to make a "sound" UI that rejects bad inputs (think date picker), and pretty hard (or at least requires careful thought) to do so in a way that isn't infuriating and doesn't restrict a large class of valid partial inputs
5 replies 12 retweets 70 likesShow this thread -
Also there should be something like the servant library but it takes a record type and generates the corresponding webform (s.t. invalid states are unrepresentable). I think webforms are one of the hardest problems at the intersection of types and user interfaces
5 replies 3 retweets 18 likesShow this thread
Is this idea similar to Hyperfiddle? http://www.hyperfiddle.net/ pic.twitter.com/yjSNjOoHky
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.