Računalniški muzej -

Navdušujoče ilustrirano predavanje o razbijanju Enigminih šifer z demonstracijo izvirnega, ikoničnega šifrirnega stroja Enigma, ki je krojil usodo 2. Svetovne vojne. ... in manj znan nedolžen otroški pisalni stroj znamke Barbie, izdelan v Sloveniji. Poleg številnih funkcij za oblikovanje besedila, kot so razmik med črkami in podčrtavanje, je bila ta otroška igrača zmožna kodiranja in dekodiranja tajnih sporočil z uporabo vgrajenega načina šifriranja.

Enourno predavanje o Enigmi nas bo popeljalo skozi njeno zanimivo zgodovino, tehnično razlago in človeško zgodbo za enim najpomembnejših razdiranj šifer na svetu. Sledi pol ure dolga demonstracija dr. Baldwinovega osebnega stroja Enigma, kjer si ga bo občinstvo lahko ogledalo, ga fotografiralo, in se ga dejansko dotaknilo, preizkusilo resnično, pristno Enigmo ter zastavilo dodatna vprašanja.

Dr. Mark Baldwin (znan tudi kot dr. Enigma) je svetovni strokovnjak za Enigmo in profesionalni govorec z 20-letnimi izkušnjami. Skupaj s svojim...

Slo-Tech - V bazah znanih ranljivosti od minulega tedna najdemo vnos CVE-2021-32471, ki je postavil rekord za najstarejšo odkrito ranljivost. Švedski raziskovalec Pontus Johnson s Kraljevega inštituta za tehnologijo (KTH) v Stockholmu je odkril ranljivost v implementaciji Turingovega stroja iz leta 1967 Marvina Minskega. To predstavlja najstarejšo odkrito ranljivost, saj tiči v 54 let starem "programu".

Rekord je seveda bolj zanimivost kot kaj praktično uporabnega, saj te implementacije univerzalnega Turingovega stroja v praksi nikjer ne uporabljamo. Turingov stroj je algoritemska posplošitev, abstraktni sistem, ki ne obstaja. Zamislil si ga je britanski matematik Alan Turing leta 1936 in predstavlja (neizvedljiv) model do skrajnosti poenostavljenega računalnika z neskončnim spominom, ki zmore računati. S Turingovim strojem lahko simuliramo vsak (končni) računski algoritem.

Marvin Minskys, ki velja za pionirja umetne inteligence, je leta 1967 objavil znamenito knjigo Computation: Finite and...

Slo-Tech - Računalniško združenje ACM (Association for Computing Machinery) je razglasilo letošnja prejemnika Turingove nagrade, ki je v računalništvu približna ustreznica Nobelove nagrade in nosi milijon dolarjev nagrade. Letos jo prejmeta Jeffrey Ullman in Alfred Aho, ki sta opravila pionirsko delo na področju prevajalnikov in algoritmov. Ullman je zaslužni profesor računalništva na Stanfordu, Aho pa na Columbii. V uradni utemeljitvi letošnje nagrade piše, da se podeli za fundamentalne algoritme in teorijo, na katerih temelji izvedba programskih jezikov, ter sintezo rezultatov v njune vplivne knjige, ki so izobraževale generacije informatikov.

Programski jeziki so dandanes vse bolj intuitivni in zmogljivi, predvsem pa prilagojeni najrazličnejšim namenom uporabe. Z njimi pišemo kodo, ki krmili vse od pametnih telefonov do avtomobilov in superračunalnikov. Ključna infrastruktura pa so prevajalniki, ki višjenivojsko kodo prevajajo v strojno kodo ničel in enic, ki jo razumejo procesorji. Brez...

Slo-Tech - Zveza za računske stroje (ACM) je sporočila, da Turingovo nagrado za dosežke na področju računalništva prejmejo Geoff Hinton z Univerze v Toronu in Google Braina, Yann LeCun z Univerze New York in vodja umetne inteligence pri Facebooku, ter Yoshua Bengio z Univerze v Montrealu. Nagrajenci si bodo milijon dolarjev nagrade razdelili za pionirsko delo na področju globokega učenja (deep...

Slo-Tech - Minuli teden je računalnik domnevno prestal Turingov test, kar se še ni zgodilo nikoli. Ker omenjeni test preverja, ali je računalnik zmožen inteligentnega človeškega vedenja, smo se vprašali, kaj to pomeni. Teden dni pozneje se zdi, da Turingov test v resnici še vedno ostaja nepremagana ovira.

Debat o (umetni) inteligenci je bilo že cel kup, enoznačnega odgovora pa ni. Tudi človeški možgani, ki so neizpodbitno zmožni inteligentnega razmišljanja in vedenja, so polni skrivnosti. Tak simpatičen argument je kitajska soba, kjer v miselnem preizkusu v sobo postavimo človeka, ki nima pojma o kitajščini. V njegovem maternem jeziku mu damo navodila, kako naj se odzove na posamezna navodila v kitajščini. Kitajsko govoreči preizkuševalec, ki mu bo pod vrati v sobo...

Slo-Tech - Leslie Lamport iz Microsoft Research prejme letošnjo Turingovo nagrado, ki jo podeljuje ACM (Association for Computing Machinery) in velja za ekvivalent Nobelove nagrade v računalništvu. Lamport prejme nagrado za pomembne prispevke k teoriji in praktično uporabi sistemov za distribuirano računanje. Pomembni koncepti, ki jih je vpeljal, obsegajo vzročnost (causality), logične ure (logical clocks), varnost in živost (safety and liveness), RSM (replicated state machines) in sekvenčno konsistentnost (sequential cansistency).

Lamport je po izobrazbi matematik z diplomo z MIT-a in doktoratom Univerze Brandeis, zaposlen pa je v Microsoft Research. Večino dela, za katerega se podeljuje nagrada, je opravil v 80. in 90. letih prejšnjega...

Slo-Tech - Britanska kraljica Elizabeta II. je danes pomilostila Alana Turinga, očeta modernega računalništva in kriptografije, ki je bil obsojen zaradi velike nespodobnosti. Turing je bil eden ključnih mož pri britanski zmagi v drugi svetovni vojni, saj je skupaj s sodelavci v Bletchley Parku razbil nemško šifrirno napravo Enigma. V zasebnem življenju Turing ni imel sreče, saj je bila tedaj v Veliki Britaniji homoseksualnost kazniva, zaradi česar je bil Turing obsojen. Po obsodbi je bil leto dni na...

The Wall Street Journal - Letošnji dobitnik Turingove nagrade je Charles Thacker za pionirsko delo pri načrtovanju, razvoju in izdelavi računalnika Alto. Leta 1973/4 izdani Alto je bil prvi osebni računalnik. V Xeroxovem raziskovalnem centru, kjer je razvoj potekal, so si zamislili samozadostne v mrežo povezane računalnike na vsaki mizi, kar je kasneje postalo resničnost. Poleg tega omenjajo še Thackerjevo delo pri postavljanju etherneta, prvi večprocesorski delovni postaji in...