Am făcut un blog nou și am deja câteva postări. Iată una despre căderea în gaura iepurelui în timp ce te uiți în LatticeFold, în căutarea unui sistem de dovezi cu recursivitate eficientă și câmpuri prietenoase cu hardware-ul.