"bcc" pri pošiljanju emailov pomeni "blind carbon copy" in izhaja še iz časov pred
emailom! link na wiki
Lean je postal mainstream, ampak Bauer did it before it was cool. Skratka, kul blogpost iz HN: https://kirancodes.me/posts/log-how-to-prove-it-maths.html
(to) float or not (to) float, to je zdaj vprašanje: https://www.swi-prolog.org/pldoc/man?section=rational-or-float in primer
Končni avtomati v prologu (relevantno, ker so jih včasih delali na FRI): https://www.swi-prolog.org/pldoc/man?predicate=automaton/8
Linearno programiranje v prologu: https://www.swi-prolog.org/pldoc/doc/_SWI_/library/clp/simplex.pl
... in nekaj veliko boljšega kot "prolog, ki itak ne dela nič" -Andrej Bauer:
https://developers.google.com/optimization
Objavljeno: 12. 5. 2025
Danes sem prvič v življenju prehodila PST in si s tem zares prislužila naziv prave Ljubljančanke. Šli smo kot se zagre - ob 7:00 s štartom na kilometru 0 (Dolgi most) v negativno smer. Že kmalu po
štartu smo šli mimo "stojnice", kjer so že od zgodnjih jutranjih ur točili (zastonj!) shote in vrteli partizanske pesmi. V Šiški smo se ustavili v diskontu Ljubljanskih mlekarn na premium sladoledu, spotoma
pa so se nam pridružili tudi zamudniki. V Jaršah (ali zg. Ježici, kot jih nekateri imenujejo) smo se ustavili v športnem baru, kjer sem pila enega najslabših kapučinov v svojem življenju (ker je bil basically
espresso). Fantje so spili svoje prvo pivo dneva (saj je bila ura že "krepko" čez 10 in se to "ne šteje več kot day drinking").
Pot smo nadaljevali ob AC in se v Polju ustavili v merkatorju na lovu za še enim pivom.
Tokrat so bili na žalost neuspešni, in pot smo nadaljevali žejni, a precej motivirani, saj smo bili že na polovici! Na fužinah se nam je pridružil še zadnji član ekipe in skupaj smo se lotili najhujše pošasti
tega dneva - Golovca (vsaj tako smo mislili). Easy. V glavi sem vedno imela da je Golovec neka pošast, ampak izkaže se da je veliko lažje, če ti zraven ni treba riniti kolesa. Vmes smo našli (še zapakirano!) lansko
PST majico, tako da sem preostanek poti prehodila uniformirana. Najtežji del poti je bilo zadnjih cca 8 km, saj so nas vse že pošteno boleli podplati. :(
Zadnji kilometer smo se komaj kaj zmenili za čudovite vrbe in
živahen potok ob strani, ampak smo le strmeli v obris AC ki je simbolizirala Dolgi most, in s tem konec naše poti. Ko smo dobili še zadnjo štampiljko (na začetku je namreč ne dobiš - alo?) in kolajno pa smo si
čestitali in šli v Valterja na čevapčiče.
Objavljeno: 10. 5. 2025
Nekaj zabavnih dejstev iz prologa:
Float Infinity is a number:
?- MinusInf is -1.0Inf, number(MinusInf).
MinusInf = -1.0Inf.
Contrary to expectations, Float Not-a-Number is also a Number:
?- NaN is nan, number(NaN).
NaN = 1.5NaN.
Objavljeno: 8. 5. 2025
Grover's algorithm: https://youtu.be/RQWpF2Gb-gU
Grover's algorithm explained: https://youtu.be/Dlsa9EBKDGI
Grover's house: https://forums.somethingawful.com
Grover's house explained: https://youtu.be/SVUylnD7tSw
Objavljeno: 3. 5. 2025
Tole zdaj bo en pravi blog post, ker ste se pritoževali, da sem na tej strani preveč neosebna in da, če že imam blog, naj grem all out. Prav. Naložila sem si Termux na telefon, da lahko girlbloggam iz kjerkoli!
Trenutno se peljemo na morje in poslušamo La Femme (slovensko "Bejba"). Apparently so on tour po Evropi in to v času, ko ni kolokvijev! En koncert je v četrtek 15. 5. v Milanu, en pa v pet, 16. 5. v Rimu. Se vidimo?
Edit: Dobila sem komentar, da "nimam izpita" in da naj ne sanjarim. OK. Kdo me pelje?
Objavljeno: 28. 4. 2025
Na filofaksu imajo kul avtonomni prostor K17, dostopen študentom.
Za vse matematike: v kuhinjici imajo tudi Pitagorov kozarec!
Objavljeno: 27. 4. 2025
BB(5) = 47 176 870
Dokazali so BB(5)! To je max število korakov TS s 5 stanji (in 2 simboloma) ki jih ta lahko izvede, preden se ustavi. To se je sicer zgodilo že slabo leto nazaj, ampak ste pač namesto 62 čakali 63 let.
"Furthermore, the Coq proof compiles correctly (in roughly 10 hours on a standard laptop), which implies that Coq believes the statement is true."
Vir: https://bbchallenge.org/1804440
Objavljeno: 24. 4. 2025
To je začetek vašega novega najljubšega internetnega bloga. Upam da čez 10 let ne bom obžalovala oversharanja na internetu.
Objavljeno: 20. 4. 2025
