Računalniške delavnice

Z modeliranjem programov in protokolov lahko bolje razumemo njihovo delovanje, preverimo njihovo pravilnost ter odkrijemo subtilne napake. Odlično orodje za to je Alloy Analyzer, ki poleg elegantnega in preprostega jezika za modeliranje in preverjanje pravilnosti omogoča tudi vizualizacijo možnih stanj in izvajanj programja.

Prva delavnica se bo začela s splošnim uvodom v modeliranje programja, nadaljevala se bo z osnovami Alloya in končala z nekaj izzivi na platformi Alloy4fun. Predhodna namestitev Alloy Analyzerja ni potrebna.

Za udeležbo ni potrebno predznanje programiranja, le osnovno poznavanje logike.

Lepo vabljeni!

Nix je hkrati paketni upravljalec za sisteme podobne Unixu in hkrati orodje za deklarativno upravljanje teh sistemov. To nam omogoča reševanje problemov kot so težave z verzijskimi konflikti paketov, rešuje nas pred t.i. “dependency hell” in omogoča učinkovito upravljanje stanja večih računalnikov hkrati. Zastonj dobimo še način povrnitve stanja sistema, kar bistveno zmanjša možnosti nepopravljivih napak.

To počnemo s pisanjem programov v jeziku Nix. V prvi delavnici si bomo pogledali par primerov uporabe na operacijskem sistemu NixOS ter osnove konfiguracije in kaj sploh pomeni deklarativno upravljanje.

Prva delavnica bo demonstrativnega namena, primerna za vse z osnovnim znanjem Unix/Linux sistemov, tako da ni potrebe po nameščeni programski opremi. Nadobudneži si lahko Nix (ali NixOS) namestijo tukaj.

Načrtovan je še drugi del delavnice, kjer bomo bolj natančno spoznali delovanje nixovih sistemov in programskega jezika.

S programerskim klubom FMF bomo izvedli delavnico tekmovalnega programiranja. Delavnica je primerna predvsem za začetnike. Delali bomo v Pythonu, kjer se bomo spoznali z osnovnimi koncepti programiranja in reševanja nalog na sistemu Putka.