RDLTR

Short for Read Later. Save links from any browser or phone. Click to save, read to clear. The full tour

One line. Many voicesSeek and you shall find

alperenkeles.com faviconTest, don't (just) verify

kept by

AI-assisted formal verification shows promise but faces limitations — autoformalization trust, proof assistant speed, and model complexity — making random testing a necessary complement.