Kur es risinu kādu koda adventes uzdevumu ar z3
Šopiektdien ar draugiem ierokamies klaviatūrās: ICFP sacensības!
Nesen beidzās ikgadējās ICFP sacensības — ikgadējs onlaina pasākums, kurā katru gadu vienu nedēļas nogali savā starpā sacenšas ap simts programmētāju grupiņām.
