Hacker News
X / Twitter
https://t.co/OPGS7HUKaG
if you know what a "coding agent" is then go buy this or something very similar (not sponsored but they're on amazon, pi hut, ali, all over) https://t.co/iPvHxBiltf
part one of "Why Software Factories Fail" hit 250k views in under 24h - now you get to enjoy part two https://t.co/NLkDvSTDhW
We’ve been making a ton of progress on our agent-friendly UI system at @blocks.
This has been way harder than we expected. But it feels like we’re getting close to agents generating fully on-brand interfaces in realtime.
Will share a demo soon. https://t.co/WocgC0GyMS
https://t.co/Rz0q1W33ut
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
https://t.co/9cz6UW8qjG
https://t.co/ziU0b3pBks