More than 100k people in Japan are changing 2026-09-181 min Interesting... But I don't think formal software verification is going to be an absolute disaster. ‹Rate limits on CPU and GPU Why I Put Nam A2-Lite Inside an LLM›