morjeposting

Trombe: https://enavtika.si/novice/1840-tromba

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