Programerski klub FMF

Uvodno srečanje 2024/2025

2024-10-08T09:31:57+02:00

Pozdravljeni,

tudi letos nadaljujemo s Programerskim klubom FMF, kjer bomo skupaj delali na zanimivih programerskih projektih. Vabim vse programerke, programerje in tiste, ki programirati še ne znate, na uvodno srečanje. Sodelovanje na projektih ni pogoj za udeležbo.

Uvodno srečanje bo v četrtek, 10. 10. 2024, ob 15h v P.01 na Jadranski 21.

Na uvodnem srečanju bomo:

pogledali lanske uspehe, predvsem jelko z lučkami, ki jih lahko programiramo
delili našo vizijo za Programerski klub
predstavili možne projekte
prisluhnili vašim željam in pričakovanjem
imeli premor s picami

Naslednja srečanja, ki bodo ravno tako ob četrtkih ob 15h v P.01, bodo vključevala:

predstavitve dela na posameznih projektov ter skupinsko izmenjavo mnenj
pice
delo na projektih
računalniške delavnice v sodelovanju z industrijo (med drugim s podjetjima ACEX in Abelium, ki sponzorirata Programerski klub)
…

Če vas udeležba zanima, se prijavite na Discord strežnik Programerskega kluba (https://discord.gg/ccg4nKVR44) in označite vašo izbiro pice.

Še enkrat vas vabim na srečanje Programerskega kluba in vas lepo pozdravljam.

Luna Strah

Uvodno srečanje 2025/2026

2025-10-06T11:15:01+02:00

Zdravo!

Tudi letos bomo imeli na Programerski klub FMF, kjer študenti delamo na projektih s področij razvoja programske opreme, spletnega programiranja in strojnega učenja ter debatiramo o aktualnih temah s področja računalništva.

Vabljene vse programerke in programerji, pa tudi tisti, ki morda nimate programerskega predznanja, da se nam pridružite na uvodnem sestanku, ki bo v sredo, 8. 10. 2025 ob 16h v P.01 na FMF (Jadranska 21).

Prihodnja srečanja bodo potekala vsako sredo, prav tako ob 16ih v P.01, kjer:

organiziramo računalniške delavnice (tekmovalno programiranje, git, nixos, …)
delamo na projektih (jelka s programabilnimi lučkami, …)
jemo pice

Pridružite se nam torej na uvodnem sestanku (lahko pa tudi kasneje) tako, da se prijavite na Discord strežnik Programerskega kluba (https://discord.gg/ccg4nKVR44) in označite vašo izbiro pice.

Se vidimo!

Barbara Makovec

LaTeX predloge

2022-11-02T21:44:28+01:00

Na Fakulteti za matematiko in fiziko pri pripravi diplomskih in magistrskih del ter izpitov uporabljamo vnaprej pripravljene LaTeX predloge, da si s tem zagotovimo uskladitev standardov. Predloge zahtevajo posodobitev in odpravljanje nekaterih napak. Na temu trenutno dela ta delovna skupina Programerskega kluba.

Repozitorija, ki vključujeta predloge sta izpit in fmfdelo.

Računalniške delavnice

2022-11-29T00:33:08+01:00

Na Fakulteti za matematiko in fiziko letno organiziramo vsaj šest računalniških delavnic, udeležba vsaj ene izmed njih pa je pogoj za opravljanje magisterija. Programerski klub prevzema njihovo organizacijo v svoje roke, da omogoči njihovo pogostejše izvajanje.

Prihajajo novice

2024-10-07T21:05:03+02:00

Odslej bo mogoče na spletni strani Programerskega kluba objavljati novice. Vsaki novici lahko priložimo galerijo slik, eno izmed njih pa lahko določimo za naslovnico.

Novo novico lahko ustvarimo z ukazom:

hugo new news/title

Ukaz bo v mapi content/news samodejno ustvaril novo mapo z imenom title, v kateri bosta datoteka index.md, ki naj vsebuje besedilo novice, in mapa images, kamor lahko naložimo slike.

Tekmovalno programiranje

2026-03-07T21:42:27+01:00

S Programerskim klubom FMF bomo v sredo, 15. 10. 2025 ob 16:00 v P.01 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.

Kratek uvod v Nix

2026-03-07T14:06:56+01:00

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.

Uvod v modeliranje programja z Alloy Analyzerjem

2026-03-07T21:44:41+01:00

S Programerskim klubom FMF bomo v sredo, 12. 11. 2025 ob 16:00 v P.01 izvedli računalniško delavnico. 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.

Združevanje Tomo in Putka

2026-03-07T11:45:11+01:00

Tomo in Putka sta spletni orodji, namenjeni reševanju programerskih nalog. Naš namen je združiti oba projekta, da bo sistem lažje vzdrževati. Pomoč zaželena!

Programabilna jelka

2026-03-07T12:56:14+01:00

Po vzoru Matta Parkerja smo pod sponzorstvom podjetij Abelium in Acex že tri leta zapored postavili jelko z lučkami, ki jih lahko programiramo. Za vsako lučko na jelko smo natančno določili njen položaj v prostoru, kar nam omogoča, da z uporabo koordinat lučk na njej rišemo različne oblike in animacije.

Jelka je postavljena decembra in januarja pri vhodu v stavbo matematike na Jadranski 21 in je prižgana od jutra do zaprtja stavbe.

Vabljeni k postavljanju jelke in dodajanju novih funkcionalnosti. Kdor želi, lahko tudi prispeva svoje animacije na javni repozitorij.

Spletna stran Programerskega kluba

2026-03-07T12:59:46+01:00

Programerski klub je svojo stran (na kateri si trenutno) postavil v prvih srečanjih svojega delovanja. Kasneje smo jo prenesli na generator statičnih strani Hugo. Delo na tem projektu vključuje vzdrževanje strani in kozmetične popravke.

Kibernetska varnost in kripotografske metode

2026-03-07T21:48:02+01:00

Na Programerskem klubu FMF v sodelovanju z društvom DragonSec SI pripravljamo računalniško delavnico o kibernetski varnosti in kriptografskih metodah za reševanje resničnih izzivov. Delavnica bo v ponedeljek, 9. 3. ob 16:00 v P.01.

Na začetku bomo poslušali kratko predavanje o osnovah kriptografije, nato pa se bomo preizkusili v reševanju praktičnih nalog, kjer v Pythonu pišemo programe za iskanje skritih zastavic v šifriranih sporočilih. Računalniška delavnica je primerna za začetnike, potrebno je zgolj osnovno znanje Pythona.

Programerski klub na DCTF26

2026-03-21T16:54:26+01:00

S Programerskim klubom smo se udeležili konference in tekmovanja DragonSec DCTF26, ki sta potekala 21. in 22. marca 2026 na Fakulteti za računalništvo in informatiko.

Slikali smo se pod zastavo društva DragonSec SI, ki organizira dogodek, vendar nekdo, ki ga ne bomo imenovali (dokler ne naredi še ene napake), ni ujel zastave v okvir slike.

Vse ostalo pa je bilo super!

Dokazovanje z jezikom Dafny

2026-04-29T15:09:43+02:00

Programerski klub vabi na delavnico dokazovanja pravilnosti programov. Pri tej delavnici se bomo spoznali s programskim jezikom Dafny, ki omogoča interaktivno dokazovanje pravilnosti funkcijske, proceduralne in objektno usmerjene kode.

Na prenosnih računalnikih je priporočena predhodna namestitev razširitve Dafny VS Code. Prav tako pa lahko uporabite računalnike iz računalniške učilnice. Potrebno je osnovno razumevanje programiranja in dokazovanja.

Emaxxing

2026-04-17T16:22:33+02:00

Klasična Emacs fora je, da je le-ta dober operacijski sistem, a da mu manjka le dober urejevalnik teksta. V delavnici bomo videli, da je prvi del šale resničen, drugi pa neresničen.

Za razliko od Unix sistemov, ki so grajeni okoli cevovodov (pipes) in povezujejo programe na nivoju vhodov in izhodov, lispov model temelji na konstantnem in kibernetičnem dostopu do vseh funkcij programov, njihove izvorne kode in vse dokumentacije. GNU Emacs je zgrajen na istem modelu.

Videli bomo tudi, da je Emacs več kot zmogljiv urejevalnik teksta, tako s svojimi vgrajenimi funkcijami, kot z vsemi možnimi paketi, ki ga izboljšajo. Kot majhno posledico bomo videli, da je Emacs najboljša implementacija modalnega urejevalnika (neo)vi(m).

Delavnica je primerna za začetnike in bo primarno vsebovala stvari, ki bi si jih vsak Emacs uporabnik želel vedeti ob začetku (in jih ponavadi izve šele po nekaj letih). Tisti, ki želijo sodelovati, naj si namestijo Emacs verzijo vsaj 30 ter sistem Git (za kloniranje datotek za delavnico).