Icfp // spicausis.lv

Zig, SMT, Z3 un visādi citi termini #icfp

Kur es risinu kādu koda adventes uzdevumu ar z3

17.07.2026

ICFP sacensības 2024 #icfp

07.07.2024

ICFP — jau šai vīkendā! #icfp

Šopiektdien ar draugiem ierokamies klaviatūrās: ICFP sacensības!

03.07.2023

Programmētāju sacensības: ICFP-2022 #icfp

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.

13.09.2022