Petak, 03 Studeni 2017 11:18

Vrhunski svjetski stručnjaci na Zlarinu stvarali osnove novog programskog jezika

Napisala: 
Vrhunski svjetski stručnjaci na Zlarinu stvarali osnove novog programskog jezika

Statebox tim organizirao je proteklih dana skup svjetskih stručnjaka na Zlarinu kako bi postavili podlogu novog programskog jezika. To je novi tehnološki tim u kojem je desetak eksperata, matematičara i informatičara mlađe generacije iz cijelog svijeta.

Cilj im je osmisliti temelje novog programskog jezika koji koristi kombinaciju matematičkih struktura u konfiguraciji koja trenutno ne postoji i ima broj korisnih i interesantnih karakteristika. Statebox team počeo je s radom u Amsterdamu, a sastoji se od matematičara, računalnih znanstvenika i istraživača iz cijelog svijeta koji surađuju kako bi razvili otporni i višenamjenski programski jezik koristeći formalno potvrđeni (formally verified) pristup. Na Zlarinu su se tako okupili svjetski poznati stručnjaci u specifičnim granama matematike kao što su Neil Ghani, Jules Hedges, Pawel Sobocinski, Andrew Polonski i brojni drugi.

Statebox osnivač je Jelle Herold, poznat u svijetu matematike i programiranja koji nastupa na konferencijama po cijelom svijetu .


Na Zlarin su došli zahvaljujući jednom od članova tog tima Antonu Livaju, koji inače živi u Kanadi.

 

“Ja vučem porijeklo sa Zlarina, tu imam kući i cijeli život dolazim na Zlarin. “Otkad smo bili djeca, bratić Filip i ja smo uvijek sanjali o tome da na neki način spojimo idiličnu prirodu otoka s vrhunskim tehnološkim poduzetništvom i to se napokon događa. Zlarin ima bogatu povijest i tradiciju vezanu uz koraljarstvo, plovidbu, ribolov, čak organizira svjetsko prvenstvo u lovu Ciplov na tecu. Zlarin privlači zanimljive grupe ljudi uključujući poznate muzičare, glumce, doktore, pjesnike, slikare, a naj noviji dodatak tome je ovaj naš skup matematičara i računalnih stručnjaka koji su došli na otok kako bi razvili novi programski jezik Statebox”, rekao na je Antom. Zadovoljan boravkom na Zlarinu je i osnivač Statebox tima Jelle Herold. “ Ovo se pokazalo kao odlična ideja. Unatoč tome sto su me ljudi čudno gledali kad sam im pokušao prenijeti svoju ideju sve je na kraju ispalo savršeno. Ne samo da smo uspjeli riješiti broj kompleksnih problema nego smo to radili na jednoj od ljepših i opuštajućih lokacija koje sam ikada posjetio. Nadam se da će biti prilike održati još ovakvih događaja u budućnosti”, izjavio nam je.

Statebox tim stvara jezik koji koristi potpuno novi pristup programiranju. Fokus njihovog jezika je usmjeren na korištenje znanja sakupljenog tijekom zadnjih 30 godina u matematici i kompjuterskoj znanosti, to jest nadogradnji i napuštanju sistema i pristupa koji jednostavno vise nisu primjereni rješavanju i zadovoljavanju današnjih poslovnih zahtjeva. Razvijaju jezik koji je restriktivan kako bi bio što manje podložan greškama, s kojim je lako programirati, koji se lako nadograđuje i održava i lako integrira se integrira postojećim sistemima uključujući blockchain.

U hotelu Koralj raspravljali su o naprednim teme kao što su category theory, formal verification theory, Petri nets, string diagrams, open games i brojne druge i istodobno su bile prenošene na YouTube-u uživo. Svi video materijali su snimljeni i dostupni na Statebox.org web stranici. Sve teme su pažljivo izabrane kako bi pomogle sudionicima da bolje razumiju koncepte koje Statebox jezik koristi.


Sudionici tog skupa su bili smješteni u privatnim kućama,a spojili su i ugodno s korisnim – uživanje u lokalnim specijalitetima uz zanimljive rasprave.

„Nakon što su se sudionici bolje upoznali, i opustili se, ideje su izvirale te smo pridonijeli brojnim jedinstvenim idejama ne samo za razvoj Statebox-a nego i drugim projektima kojima se bavimo. Svi smo vrlo sretni što se postigla tako dobra suradnju medu toliko ljudi s različitim pozadinama. Nakon svega, Statebox tim se ponosi svojim “hakerskim” pristupom koji vjeruje u slobodu informacija i korištenja tehnologije na dobrobit svijeta. Nakon tri dana rada svi smo bili relativno zadovoljni s time što smo postigli i jezik je bio spreman za implementaciju. Iako tu ima još puno posla, sudionici su se složili da su razradili dovoljno osnova da bi moglo početi formirati jezik sa svim potrebnim matematičkim karakteristikama. Statebox jezik je napisan u Idrisu. Idris je odabran zbog svojih karakteristika kao Dependently Typed jezik zbog čega je i primjeren za ovu namjenu“, prenio nam je ukratko rezultate skupa na Zlarinu Anton Livaja.

U slobodno vrijeme uživali su u ljepotama Zlarina, istraživali su otočku arhitekturu - kapelice, zemunice i šetnice . Većina je bila oduševljena lokalnim domaćim pićima , raznolikom ponudom rakija i likera te raznih autohtonih sorti vina, organskim povrćem, organskom povrće i ribom kao i činjenicom da sami jednostavno mogu ubrati začine kao sto su ružmarin, lovor, kadulju i origano (mravinac) u vrtu ispred kuće. Svi se nadaju da će to možda postati neka vrsta tradicionalnog okupljanja ili da će im se još koji put pružiti prilika da opet posjete otok Zlarin.

Objavljeno u Vijesti
Više u ovoj kategoriji:

ČASOPIS VOLIM ŠIBENIK

 

MOK.hr koristi kolačiće (eng. cookies) kako bi vam pružio bolje korisničko iskustvo. Nastavkom pregleda mok.hr stranice slažete se sa korištenjem kolačića. Slažem se!