Příspěvky

4096

Studium a uplatnění / Re:Funkcionální programátor

« kdy: 29. 06. 2015, 22:28:34 »

je malicherný, o tom snad nikdo nepochybuje, pro mě osobně to je intelektuální cvičení jehož předměte je ekvivalence IO monády v jednovláknovém prostředí a uniqness type

Já to vidím spíš tak, že čumil razantně nastoupil se silným tvrzením stylem "všichni jste pitomci, jenom já jsem letadlo a objevil jsem Ameriku". Škoda, že se nevyvaroval toho, že předem všechny považuje za neznalé pitomce, kterým zvěstuje evangelium. Všichni totiž nejspíš předem tušili, že to, co píše, není ve vícvláknovém programu možné, tak se ptali, jaký že to svatý grál přináší, a čumil velkolepě zvěstoval techniku, která ale teda bohužel funguje jenom v jednom vlákně. Čili nic, co by všichni ostatní nevěděli. A celé to čumilovo evangelium spočívá v tom, že Haskell není čistý, protože umožňuje IO ve víc vláknech. Což není žádný objevení Ameriky, to asi dojde každýmu... a je to prostě vědomý kompromis.

Čili je to asi tak, jako kdyby někdo nastoupil a tvrdil, že jediný by-design bezpečný OS je ten, který neumožňuje přistupovat k HW a síti. Což není nepravda, ale taky to není žádné zajímavé zjištění

4097

Distribuce / Re:Minimalistická distribuce

« kdy: 23. 06. 2015, 23:47:32 »

BSD jsem zatím ani neměl sílu zkoušet. To už se možná radši pustím do LFS.

Co má BSD společného s LFS?! Nainstalovat FreeBSD je triviální a balíčky se tam instalují stejně jako na většině linuxů - akorát místo "yum install balik" napises "pkg install balik"

Slax a Tiny Core jsou prostě live distribuce. Na disk zapisujou akorát něco, což je mi naprd. Tiny Core by byl asi úplně nejlepší, kdyby se dal normálně nainstalovat.

Jestli on není problém v tom, že chceš specialitku, ale chceš ji ready-made? Proč by se Tiny Core nedal nainstalovat na disk? Každá varianta Linuxu se dá nějak nainstalovat na disk, akorát musíš trochu vědět jak na to a trochu času tomu věnovat...

Nebo chceš něco jako http://buildroot.uclibc.org/ ?

4098

Distribuce / Re:Minimalistická distribuce

« kdy: 22. 06. 2015, 10:12:05 »

Gentoo není pro tohle použití dobrá cesta, pokud se tedy počítá s aktualizací balíků. Pokud by šlo o jednorázovou instalaci a "nech ležet", pak by se to dalo překousnout, to ale myslím není cíl...

Nevíš, jak těžký je udělat si pro Gentoo repo vlastních binárních balíčků?

4099

Studium a uplatnění / Re:Je matematika využitelná v praxi?

« kdy: 21. 06. 2015, 21:24:42 »

Stale cekam na konkretni priklad vyuziti tehle sracek.

Čeho konkrétně?

4100

Distribuce / Re:Minimalistická distribuce

« kdy: 21. 06. 2015, 20:31:17 »

Mimochodem, když už jsme u toho diskovýho prostoru: nepíšeš, na co to chceš, ale často je rozumná cesta RO namountovaný systém z úplně normální flashky. Dneska už to znamená řád gigabytů, takže se s prostorem vůbec nemusíš upejpat, akorát to chce systém, který umožní snadno mountovat RO, aniž by se z toho člověk zbláznil...

4101

Distribuce / Re:Minimalistická distribuce

« kdy: 21. 06. 2015, 20:29:29 »

FreeBSD se nebráním, kouknu na to. Jenom ta síťová varianta nepřichází v úvahu, musí to být úplně soběstačná appliance.

V tom případě existuje NanoBSD, což je normální FreeBSD, do kterého si člověk dá jenom to, co tam opravdu chce (dají se vyházet např. manuálové stránky apod.). Výhoda je, že to není žádná očesaná specialita, takže pořád funguje všechno jako na normálním FreeBSD.

Nějaký stručný návod je tady: https://www.freebsd.org/doc/en_US.ISO8859-1/articles/nanobsd/
A příklad použití: http://www.ogris.de/nanobsd/ - zajímat by tě mohlo: NanoBSD has been stripped down to the bare minimum and occupies just 210 MB disk space. (To je samozřejmě bez Xek)

4102

Distribuce / Re:Minimalistická distribuce

« kdy: 21. 06. 2015, 12:54:52 »

Opravdu FreeBSD lide pouzivaji na beznou praci (ne na server)?

Já mám FreeBSD jako pracovní stroj.

po kratkem hrani si s posledni 10 verzi jsem byl opet zklaman, cloveku se tam nataha balast z linuxu pokud chce pouzivat nejake graficke prostredi. [...] Nechci pouzivat GNU veci, jen to co je pod BSD a podobnymi licencemi.

Tak to je teda hodně divný požadavek... Nevím, jaké grafické prostředí bez GNU závislostí bys chtěl... Pokud si nainstaluješ fluxbox, i3 apod. tak to asi bez GNU závislostí půjde, nebo jich aspoň bude minimum.

4103

Distribuce / Re:Minimalistická distribuce

« kdy: 21. 06. 2015, 12:39:25 »

Pokud je hlavní problém místo na disku a pokud mají stroje nějaké rozumné síťovky (to by mělo být dneska všude splněno, 100Mbit by měl stačit i když 1Gbit je plus), tak bych určitě použil rovnou bezdiskovou konfiguraci s bootováním přes PXE a mountováním všeho přes nfs. Bohužel u dnešních linuxů už to není zdaleka tak snadná věc, jako to bývala dřív. Některé distribuce mají ale speciální image, který je na to dělaný (je to trochu problém najít, protože se to plete s PXE imagema, který jsou určený k PXE instalaci, ne běhu).

Naprosto bezproblémový a bezbolestný je provozování bezdiskového FreeBSD - veškerá potřebná infrastruktura tam je, včetně třeba podpory lokálních konfiguračních souborů v RAMdisku.

Co se týče FreeBSD:

RAM není problém, bude minimálně 1G
 - bez problémů

široká podpora HW co se týče chipsetu, USB a sítí
 - tohle problém může být, muselo by se to vyzkoušet

žádné GUI a zbytečnosti,
 - bez problémů, z portů se přeloží jenom to, co opravdu budeš chtít

rozumný a udržovaný balíčkovací systém, možnost jednoduše rozjet vlastní repository a tvořit vlastní balíky
 - na tohle má FreeBSD má exkluzivní systém: tvorba balíků jednoduchá, vlastní repozitory se vytvoří jedním příkazem, existuje i možnost automatizovaného překladu všeho (http://www.bsdnow.tv/tutorials/poudriere). S redhatími alternativami (https://fedoraproject.org/wiki/Koji) je to absolutně nesrovnatelný - instalace pár příkazy, všechno automatizované, žádné problémy.

ale mezi balíčky není např. php nebo iconv, navíc dokumentace je nic moc
 - prohléžení baíčků FreeBSD: http://www.freshports.org/ dokumentace: https://www.freebsd.org/doc/handbook/

Návod na kompletní rozjetí bezdiskové stanice: https://www.freebsd.org/doc/handbook/network-diskless.html

Pokud by použití FreeBSD nebylo schůdné, šel bych asi nejspíš do nějakého klonu Slackware. Akorát tam bohužel oproti FreeBSD citelně chybí ta možnost dobře spravovat vlastní repo. Celkově s balíčkama je to na Slacku bordel a opruz, ať si kdo chce co chce říká

4104

Studium a uplatnění / Re:Je matematika využitelná v praxi?

« kdy: 20. 06. 2015, 23:42:49 »

mi dalo moznost nejenom pouzivat uz predvytvorene abstrakce v danych jazykach/knihovnach, ale schopnost vytvaret vlastni.

Jo, tomu celkem věřím, to je dobře řečeno (včetně toho následujícího odstavce o JavaScriptu).

Vedle toho komonadicky Task ze C#

V Microsoft Research jsou totiž fakt zajímaví lidi a působí to na mě, že tam funkcionální přístup začíná frčet. Jsem docela zvědavej, čeho se od nich v blízké budoucnosti dočkáme

ne zrovna ze by clovek psal promise knihovnu, ale treba pro agregace dat je sikovny monoid

Monoid je šikovný koncept, jenže 1. dá se vysvětlit asi tak za 15 minut 2. není k tomu TK vůbec potřeba 3. i bez vysvětlování to chytrý člověk pochopí, pokud mapreduce používá - čili pro něj je to dobrý jako takový explicitní připomenutí "na tohle vole mysli!"

4105

Studium a uplatnění / Re:Je matematika využitelná v praxi?

« kdy: 20. 06. 2015, 15:51:12 »

Z teorie kategorií nic extra konkrétního asi ani nevypadne. Ona myslím hlavně popisuje hodně obecné struktury, které se vyskytují v kdečem. A pak z ní vypadne třeba monád, vlastně abstrakce toho, že nějaké věci navazují na sebe. Ona je celá teorie kategorií brutálně abstraktní, všudypřítomná a přitom vlastně strašně triviální.

Problém je v tom, že i ty monády, i typy vyšších řádů (kinds) apod. se dají pochopit na úrovni toho samotnýho programovacího jazyka, bez toho, aby šel člověk do úplně čisté matematické abstrakce. Předpokládám, že když někdo tu TK umí, tak tam vidí něco, co "čistě programátor" nevidí. Akorát právě pořád nevím, jestli to prokousávání se TK za to "něco" stojí někomu jako já, koho by jinak TK nezajímala. Docela rád bych mluvil s někým, kdo aktivně programuje a TK umí, aby mi polopaticky ukázal, v čem to může programátorovi dodat nějakej wow efekt, abych měl víc motivace k tomu prokousávání se

4106

Studium a uplatnění / Re:Je matematika využitelná v praxi?

« kdy: 20. 06. 2015, 00:46:35 »

Bartosz Milewski píše knihu Category Theory for Programmers.

Znám. Jenom škoda, že to není dokončený a v pdf. Jinak těch knížek mám víc, ale nějak mě žádná nechytla za srdce... Občas na některou z nich kouknu, ale nějak se mi to vždycky zasekne v krku moc pojmů, málo konkrétních výsledků.

4107

Studium a uplatnění / Re:Je matematika využitelná v praxi?

« kdy: 19. 06. 2015, 17:01:06 »

Pokud vím, tak nikdo netvrdí, že bez matiky to prostě nejde, ale že je užitečná - a původní otázka byla "je matika užitečná?", nikoli "je matika nezbytná?". Ano, často to "de i bez toho", ale často to se znalostí matiky prostě de líp, na čemž se i shodla většina lidí na stackoverflow.

Tohle byla informace čistě k té teorii kategorií. Zaznělo, že teorie množin je dobrá, když chceš teorii kategorií, která se hodí k programování. Každý si sám může udělat obrázek, nakolik je asi teorie kategorií potřeba, když se učí jenom na matematice a jenom jednou za dva roky... Byla to čistě doplňující informace, protože tady zaznělo od Kolemjdoucího, že o tom nikdy neslyšel.

P.S. Já osobně bych se TK moc rád naučil, právě proto, že mě funkcionální prog. hodně baví a zajímá a na TK jsem narazil několikrát a seznámil se jenom se základy. Takže to neříkám proto, že bych TK považoval za nepotřebnou pitomost. Jenom imho nemá smysl si mazat med kolem huby... A navíc teorie množin je podle mě využitelná líp než jenom pro TK.

4108

Studium a uplatnění / Re:Je matematika využitelná v praxi?

« kdy: 19. 06. 2015, 16:29:01 »

Pravdou ale je, že teorii kategorií jako takovou člověk nutně znát nemusí ani pro to programování v Haskellu, dá se k tomu taky přistupovat stylem "naučím se, jak to používat". Když ji ale člověk umí, tak se mu zjevně otevírá lepší vhled do toho všeho.

Btw, na MU se učí na matematice jednou za dva roky. Čili specialitka jenom pro lidi, kteří si to vyloženě najdou, nic, čím by se dalo nějak argumentovat, jak bez toho informatik nemůže žít

https://is.muni.cz/predmet/sci/podzim2014/M7150

4109

Studium a uplatnění / Re:Je matematika využitelná v praxi?

« kdy: 19. 06. 2015, 16:22:40 »

V praxi je to nejčastěji tak, že když se řeší nějaký skutečně složitý matematický problém, zadá se to člověku, který to umí, tzn. matematikovi. To co vymyslí matematik, pak implemetuje programátor. Ale ten programátor nesmí být úplná matematická guma, musí

Jojo, takhle to fungovalo u klasických výpočetních středisek: analytik - programátor - děrovačka.

A funguje to tak dodnes. Říká se tomu "dělba práce". Ty slavný 3D hry, co se tady s nima pořád operuje, taky nedělá jeden člověk ani jeden tým. Jsou na to spisovatelé, grafici, hudebníci, programátoři enginu, programátoři hry, programátoři skriptů pro 3D editory, hafo různých lidí, kde každej umí něco.

Říct, že programátor potřebuje matiku, protože hry je asi tak stejně platný jako že potřebuje být grafik.

4110

Studium a uplatnění / Re:Je matematika využitelná v praxi?

« kdy: 19. 06. 2015, 16:16:06 »

Už jsem o programování slyšel opravdu hodně, ale o teorii kategorií ještě nikdy

Je to věc úzce související s funkcionálním programováním. Pokud ses mu nikdy nevěnoval, tak ses s tím (explicitně) nesetkal, na tom není nic divnýho.

To je hezke, ze tim dokazete vymyslet neco, co pak muzete davat do testu studentum ale jak na tom vydelam miliardy?

https://www.youtube.com/watch?v=ZR3Jirqk6W8

Pravdou ale je, že teorii kategorií jako takovou člověk nutně znát nemusí ani pro to programování v Haskellu, dá se k tomu taky přistupovat stylem "naučím se, jak to používat". Když ji ale člověk umí, tak se mu zjevně otevírá lepší vhled do toho všeho.