Intel
Společnost Intel vytvořila ve svých laboratořích Intel Labs, centru společnosti pro experimentální projekty s dlouhodobými vyhlídkami, zajímavý program. The Projekt Machine Programming Research (MPR) pokusí se automatizovat vývoj softwaru pro složité platformy při snižování chyb v kódování. Primárním důvodem projektu se zdá být rostoucí nedostatek vyškolených nebo odborných programátorů, kteří mohou spolehlivě a důsledně psát složitý softwarový kód.
Projekt MPR společnosti Intel Labs využije několik forem strojového učení a dalších automatických metod k vytvoření platformy schopné vytvářet vlastní software, o kterém se zmiňuje Justin Gottschlich ze společnosti Intel Labs, který byl požádán o vedení týmu výzkumníků strojového programování. Zdá se, že hlavním cílem MPR je vyvinout zcela automatizovanou platformu schopnou psát software a kód s minimálním zásahem člověka a chybami. Zdá se však, že projekt je určen pro lidi, kteří nejsou schopni kódovat. MPR by měl nakonec pomoci lidem bez programátorských dovedností, ale s dostatečnou kreativitou, vybudovat si požadovaný software nebo platformu, aniž by sami museli napsat jediný řádek kódu.
Společnost Intel Labs získává výzkum programování strojů a dává slibné sliby ohledně realistických problémů při vývoji softwaru:
Software je hluboce integrován do všech aspektů moderní civilizace. Vývoj a údržba softwaru je však časově náročný a náchylný k chybám, poznamenává Justin. Tvrdí, že „programování strojů“, kde moc vytvářet a udržovat software je v rukou každého, by mohl výrazně zjednodušit složitý proces. Hlavním problémem v segmentu vývoje softwaru je dostupnost specializovaných, zkušených a spolehlivých vedoucích vývojářů.
Jednoduše řečeno, existuje vážný nesoulad mezi rostoucím požadavkem odvětví a schopností skutečného světa nabízet kvalifikované profesionály. Justin poznamenává, že v blízké budoucnosti bude stále obtížnější, možná nemožné, „najít vývojáře, kteří by mohli správně, efektivně a bezpečně programovat napříč celým tímto hardwarem.“
Společnost Intel zkoumá programování strojů: „MPR využívá formy strojového učení a dalších automatických metod k vytváření softwaru schopného vytvářet vlastní software. Umožní každému vyvíjet vlastní software bez nutnosti psát jediný řádek kódu. “ https://t.co/PTGb9i2EnT
- witeken (@witeken) 28. října 2019
Programování strojů používá několik technik automatického programování, které sahají od přesných (např. Formální syntéza programu) po pravděpodobnostní (např. Diferencovatelné programování) metody. Rovněž využívá a učí se ze všeho, co Intel a další výrobci hardwaru dosud vyvinuli v oblasti hardwaru a softwaru.
Dva nejpotřebnější aspekty vývoje softwaru jsou spolehlivost a konzistence. Stejně jako aktualizace operačního systému Windows 10 jasně a běžně indikováno , vylepšení přesnosti a výkonu téměř vždy přicházejí s chybami a podivné vzorce chování . MPR si klade za cíl prozkoumat a odstranit běžné chyby, chyby a další problémy, které se pravidelně dostanou do softwaru. Dalším krokem by samozřejmě byla automatická oprava, poznamenal Justin.
Vize společnosti Intel v oblasti programování v budoucnu: Programování provede Machines. My lidé poskytujeme pouze své záměry. pic.twitter.com/g3ofonxOkq
- Primeur Magazine (@primeurmagazine) 25. června 2018
Spolu se snížením běžných chyb v softwaru bude program MPR společnosti Intel také pracovat na vylepšení a případném snížení množství kódu, který jde do softwaru. Odstraněním řádků kódu by se software stal štíhlejším, čistším a efektivnějším. Navíc s menším počtem kódů v softwaru by se také zlepšila přesnost.
Může se zdát, že Intel eliminuje úlohy vývoje softwaru. Justin však kategoricky poznamenal, že program MPR společnosti Intel Lab nesnižuje počet zaměstnanců. Naopak, MPR je připraveno vytvářet více nových pracovních míst a pracovních příležitostí. Kromě toho je hlavní agendou MPR v zásadě osvobození profesionálů od převzetí složitějších složek vývoje softwaru. Je to jednoduše proto, že MPR by nakonec zvládlo podřadnou, běh mlýnských aspektů programování. Díky tomu, že se o základní bloky softwaru postará, se programátoři mohli zaměřit na lepší integraci více platforem, jako je strojové učení a formální techniky, heterogenní hardware a mnoho programovacích jazyků do softwarových platforem.
Značky Intel
