Cheng Lou(@_chenglou):My dear UI developers, ML practitioners, and fans of programming language: Many months & billions of tokens later, I’m proud to present to you the first step in our long, long collective journey to turn vibe coding onto proof engineering, starting with: making user interfaces verifiable. Introducing: Freerange, a zero-API tool that automatically deduces your code’s numerical ranges. By doing so, Freerange is able to prove that e.g.: - your TS layouts obey your specified sizing - that they’re free of NaNs and Infinity - that your array indices stay within bounds All of that, done statically. No browser, no running code, droppable into any codebase, and for the ML folks: RL-friendly

2026.07.21 01:11

My dear UI developers, ML practitioners, and fans of programming language: Many months & billions of tokens later, I’m proud to present to you the first step in our long, long collective journey to turn vibe coding onto proof engineering, starting with: making user interfaces verifiable. Introducing: Freerange, a zero-API tool that automatically deduces your code’s numerical ranges. By doing so, Freerange is able to prove that e.g.: - your TS layouts obey your specified sizing - that they’re free of NaNs and Infinity - that your array indices stay within bounds All of that, done statically. No browser, no running code, droppable into any codebase, and for the ML folks: RL-friendly