{"by":"zdw","descendants":109,"id":49062291,"kids":[49065254,49063008,49064650,49066421,49063670,49067558,49065113,49082240,49063504,49066307,49065191,49067777,49069077,49063494,49071632,49064201,49067760,49069895,49067490,49064089,49065741,49067313,49064953,49065400,49066091,49064335],"score":231,"time":1785099206,"title":"We have proof automation now","type":"story","url":"https://www.imperialviolet.org/2026/07/26/zstd-lean.html"}