Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-05-16

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:00 mornfall xstill: btw., mohlo by jít optimalizovat ntree pro distribuci tím, že bys distribuoval stavy podle některé větve
00:01 mornfall xstill: tzn. že bys do jisté míry zamezil překrývání
00:01 mornfall není ovšem jasné jak uhodnout kterej podstrom by na to byl dobrej :-)
00:02 mornfall (to jen tak materiál k zamyšlení, je možný že to je úplně k ničemu)
03:09 Erbureth|2 joined #divine
04:57 xstill mornfall: podle větve čeho -- stavového grafu (nevím jak by se detekovalo), nebo podle ntree větvení?
05:00 mornfall xstill: ntree
05:05 xstill ok, zní to strašně zajímavě i když si teď nedokážu moc představit jak to udělat. Časem o tom popřemýšlím...
05:05 mornfall No, prostě zmoduluješ hash levýho podstromu.
05:06 xstill až tak jednoduše? Ale jo stálo by to za test
05:07 mornfall tak, ono to jde pak asi dělat ještě trochu líp tak že to protlačíš hloub
05:10 xstill chce to otestovat :-)
05:10 mornfall myšlenka je, že prostě na nějaké části toho stromu zabráníš duplicitám
05:11 mornfall nikdy to nebude dokonalý, ale v distribuovaný paměti to dokonalý nebude nikdy
05:11 mornfall hm, asi bych měl radši spát
05:11 mornfall už je docela dost hodin aj tady
05:11 xstill no právě, já mám teď strach, že na distribuovaný paměti to bude nanic
05:11 xstill no jo ta asi máš dost hodin
05:11 mornfall deset bylo
05:12 xstill to ještě není tak strašné
05:13 mornfall není, ale vstával jsem před šestou...
05:13 mornfall nic, vypínám, užívejte dne :-)
05:13 xstill aha, to pak jo
05:13 xstill dobrou
07:35 spito joined #divine
14:59 mornfall Ha, konečně jsem opravil papers.html.
14:59 mornfall On ten cron nějak mrší cesty.
15:33 spito mornfall: jestli má vůbec psát do TRACu moráčka, když tu 2 roky není
15:33 mornfall já ho tam nepsal, on už tam je dva roky napsaný :-)
15:34 mornfall jen jsem změnil komponentu
15:34 spito aha
15:34 mornfall snad se nehlásíš o GUI? :)
15:35 spito ne
15:36 mornfall a nemáš nějakýho kamaráda co by to vzal?
15:36 spito právě jsem to chtěl napsat
15:36 mornfall on Martin sice žije, ale dost sporadicky :)
15:36 spito mohl bych dloubnout do kamaráda, který v Qt dělal qui
15:36 spito *gui
15:37 mornfall může z toho mít bakalářku nebo diplomku, podle toho co studuje ;-)
15:37 spito teď dělá bc u Totha
15:37 mornfall ukrást
15:37 spito co ukrást:
15:37 spito ?
15:38 mornfall no jeho
15:38 spito jo, je dost nespokojený
15:43 spito snad za chvilu dojde sem
15:52 mornfall a spito uteče? :)
16:01 spito joined #divine
16:13 Acro joined #divine
16:14 spito hůůů, jsem sova a houkám
16:15 mornfall dobrý večer :-)
16:15 Acro zdravim :)
16:16 mornfall Acro: Zdá se, že spito (by) tě prodal do otroctví. :-)
16:17 mornfall Acro: http://divine.fi.muni.cz/trac/browser/gui
16:18 spito joined #divine
16:18 spito ha, už vás vidim
16:18 spito mornfall: už jsi mu pověděl co a jak?
16:18 Acro bylo mi receno, ze shanite cloveka na tvorbu nejakeho guika v qt
16:19 spito já teď nemůžu, píšu písemku
16:19 spito tedy, dozoruji písemku
16:20 mornfall Acro: Tak, tvorbu. Ono existuje, spíš na další vývoj a údržbu.
16:21 mornfall Acro: jedná se o GUI k divinu, http://divine.fi.muni.cz/
16:22 spito mornfall: nějaké kódy jsem mu už ukazoval...
16:22 spito ale spíš se lekl...
16:22 mornfall jaké kódy?
16:22 mornfall co to je vůbec za slovo, „kódy“ :D
16:23 Acro jo, jiri mi ukazoval nejake zdrojaky, nicmene to byla cast algoritmicka, predpokladam, ze graficke rozhrani nebude vyuzivat 4x zanoreny template :D
16:23 mornfall Ach drahý spito. D
16:23 mornfall :D
16:23 mornfall Acro: Ne, viz ten code browser z prvního odkazu.
16:23 mornfall Acro: To je GUI, je to normální Qt kód.
16:23 mornfall Není potřeba se lekat.
16:24 Acro jj, ja s qt nejake zkusenosti mam, psali jsme s jirim bombermana (kde jsem delal rozhrani) + ted nejake jednoduche tooly k bakalarce
16:25 spito mornfall: já to nebyl....
16:25 mornfall Acro: Předpokládám že bc máš v podstatě hotovou, ale klidně bys od začátku semestru mohl k nám do paradisu :)
16:25 spito jiřík bude mít radost
16:25 mornfall Acro: Na diplomku je tam práce dost.
16:26 mornfall Pokud vstane Martin z mrtvých, tak na tom můžete aj spolupracovat.
16:26 mornfall Nevím jestli budou studentský projekty, ale pokud ano, tak to by se taky mohlo zkusit.
16:27 Acro bakalarku musim behem tri dni dokoncit, v pondeli vytisknout a odevzdat :D
16:27 mornfall Opensource je to víc než dost.
16:27 spito Acro: tak, to nás je víc
16:28 spito mornfall: on se Martin divajnu účastnil i po odchodu ze školy?
16:28 mornfall spito: No, on nikdy formálně neodešel.
16:28 mornfall spito: Poslední velké změny dělal před půl rokem.
16:28 spito tak to je dobrej
16:28 mornfall A teoreticky má rozpracovanou diplomku.
16:29 spito ale neměl ani aktivní magisterský studium, ne?
16:29 mornfall Má přerušený, myslim.
16:30 mornfall Jo, a prší tady. To je dost mrzutý.
16:30 spito smutný
16:31 spito a...už víš, co nám dovezeš? :)
16:31 spito aspoň 3 oříšky
16:31 spito (i když já ořechy nerad....)
16:32 mornfall No, dyť jsem říkal že španělskou chřipku, ne?
16:32 spito mornfall: jak dlouho mají být ještě talky?
16:32 mornfall Dovezu si proceedings, ale to si aj nechám.
16:32 mornfall Dneska do čtyř nebo tak.
16:32 mornfall Zejtra letim dom.
16:33 spito celý týden?
16:33 mornfall co týden?
16:36 spito už zítra zase letíš? to ses tam asi moc nerozhlédl, co?
16:37 mornfall Tak přiměřeně.
16:38 mornfall No, morimemento žije.
16:38 mornfall Snad se tady i ukáže.
16:38 mornfall Diplomku má a hodlá na ní pracovat.
16:38 mornfall Editor a verifikace petrisítí.
16:39 spito eh?
16:39 spito co to je?
16:39 mornfall Však Martin.
16:39 mornfall Aha, petrisítě.
16:39 mornfall Petri Net, viz wikipedia.
16:44 spito super :)
16:45 mornfall xstill: Btw. co složitost? :)
16:45 mornfall Včera jsme to řešili na #fi.muni.cz :-)
16:46 mornfall spito: A ten text už máš takovej že je Jiřík spokojenej? :P
16:47 spito_ joined #divine
16:48 mornfall spito_: Množíš se.
16:49 spito_ to byl výpadek eduroamu
16:49 mornfall Acro: Safari, hmm? :) Na OSX jsme to ještě asi nezkoušeli. :-P
16:50 spito Acro: ale pro iPhone jsi už dělal něco....
16:50 mornfall Nebo je to ve skutečnosti Chrome a jen mlží?
16:50 Acro co se safari? ja sem na windows :D
16:50 mornfall Asi jo, tomu říkám useragent... Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/537.31 (KHTML, like Gecko) Chrome/26.0.1410.64 Safari/537.31
16:51 spito mornfall: no, už mi říkal, že to dává smysl a že by to mohlo jít obhájit (tuším, že ze mě chce dostat maximum)
16:51 mornfall Acro: To bych od spitova kamaráda čekal spíš, no. :-)
16:51 spito mornfall: :P
16:51 spito tss
16:51 Acro j, to je useragent chromu :D
16:52 Acro ale muj laptop provozuje trojboj v podobe win7, ubuntu a mac os
16:52 Acro a pro iphone jsem programoval, to je pravda
16:52 mornfall Zajímavé.
16:53 spito mornfall: dneska bych měl dodělat text kompletně, tak kdyby ses na to koukl, bylo by to moc fajn :)
16:53 mornfall tak až bude kompletně dodělanej tak dej vědět
16:53 spito dneska, jinak nejdu spát
16:53 mornfall no, věřím že půjdeš dřív než já
16:54 spito tak záleží, jestli to bereš v UTC čase, nebo v čase v místním pásmu každého z nás
16:54 mornfall achjo, ten build gcc trvá věčnost a půl
16:54 mornfall spito: to je jedno
16:54 spito eh? co hodláš v noci dělat?
16:54 mornfall jak v noci?
16:55 spito no? to už poletíš?
16:55 mornfall no, dřív v absolutním čase... prostě že když budeš ulehat, já budu ještě vzhůru, to s hodinama nic nemá :-)
16:55 mornfall odlet mám někdy zejtra odpoledne localtime
16:56 mornfall takže v podstatě v noci
16:56 spito no, to je čas v UTC
16:56 mornfall ty seš taky čas v UTC
16:56 mornfall radši dodělej ten text :D
16:59 mornfall Acro: Tak co, mám napsat Jiříkovi aby se ti ozval re členství v labu? :)
17:00 mornfall Acro: A když máš ty Windows, aspoň nám můžeš opravit NSIS aby nastavoval PATH správně...
17:00 mornfall To že to nefunguje mě trochu prudí. :D
17:00 mornfall Ale ne dost abych zjišťoval proč.
17:00 spito mornfall: ne každý, kdo má widle, tak v nich umí pořádně pracovat
17:00 mornfall spito: To je ale chyba.
17:02 mornfall Neovládat vlastní platformu člověka hrozně zdržuje.
17:02 spito mornfall: myslel jsem neumět ovládat nastavení, který normálně nepoužíváš
17:03 mornfall To je fuk, ono to není nastavení ale instalátor. :)
17:04 mornfall Resp. nějakej skript v něm.
17:04 mornfall Může to souviset s tím že používáme cpack.
17:05 mornfall A tak. Ale debugovat to na linuxu je dost otrava, a windows mě hrozně zpomalujou.
17:05 Acro jj, myslim, ze muzes
17:05 Acro ja se ted hlasim na jeden internship, ale to by bylo jen na prazdniny (v pripade uspechu), takze na zacatku dalsiho semestru by mi nemelo nic branit
17:05 Acro padim na filmovy festival, prijdes jiri?
17:05 mornfall A co to je za internship, pokud můžu být tak zvědavý? :)
17:05 spito no, opravuju písemky
17:05 mornfall Festival... :-)
17:06 spito a pak musím psát
17:06 spito abych mohl spát
17:06 mornfall :D
17:06 Acro u IBM na pozici Junio Big Data Specialist
17:06 Acro *junior
17:06 mornfall Okej. :)
17:06 mornfall Užij si festival.
17:07 Acro diky, mejte se :)
17:56 spito hmm, 50% úspěšnost
18:00 mornfall super ne? :)
18:01 spito tak, očekával jsem, že to bude lepší
18:01 spito zadání: napište jednoduchý grep
18:18 spito joined #divine
18:55 xstill fuj, to je zase něco dneska
18:55 mornfall co?
18:57 xstill je toho moc
18:58 xstill dneska mi Jiřík přečet bakalářku, takže jí zejtra asi tisknout nebude a tak
19:00 mornfall Ještě má výhrady?
19:05 xstill k angličtině převážně snad
19:06 xstill mám prvních deset listů dnes a zbytek zítra, ještě jsem to neviděl protože zítřejší deadline prologového projektu
19:06 mornfall ajo
19:07 mornfall prolog
19:07 xstill jdu si udělat čaj stejně do půlnoci asi spát nepdu
19:07 xstill jo prolog mě pěkně štve, navíc je to týmový projekt
19:08 mornfall :-)
19:30 mornfall Ach bože. :D
19:39 xstill co?
19:40 mornfall No, za ten rozdrbanej zabbix může, jak jinak, systemd.
19:40 mornfall On toho agenta nenechá běžet.
19:42 mornfall Já tomu vůbec nerozumim. Achjo.
19:42 xstill to nepotěší, proč ten systemd všechno rozbíjí. neměl být super?
19:42 mornfall protože to je systemd
19:48 mornfall no spravovat to budu někdy jindy
19:48 mornfall třeba dojde na upgrade systemd
19:49 mornfall nebo možná je systemd rozbitej tím, že se upgradoval za běhu
19:49 mornfall kdoví
19:49 mornfall on má nějakej strašnej spešl kód na to aby se vyměnil za novou verzi ten démon
19:49 mornfall ale je to víceméně broken by design
19:49 mornfall psal to lennart, není se moc čemu divit
19:50 mornfall naposled co jsem ho viděl tak něco kázal o tom, že démoni v žádným případě nemaj dělat handover :-)
19:52 xstill co nemaj dělat?
19:52 mornfall no, předávat si ze staré instance stav do nové, třeba při upgrade systému
19:53 mornfall (on to totiž systemd neumí zmanagovat, takže to je teď "bad design"...)
19:54 xstill aha to nepotěší, a bylo by to celkem fajn
19:56 mornfall je to ňouma :-)
20:16 mornfall (na tom je teda ironický, že systemd sám pro sebe ten handover dělat musí, protože nemůže mít perzistentní stav -- není kam ho schovat...)
20:16 mornfall navíc teda potřebuje běžet jako pid 1
20:16 mornfall prostě je to hroznej krám
20:54 xstill do řitě, co to je za interpret kterej při reloadu modulu nekontroluje závisloti?
21:00 mornfall jakej?
21:01 mornfall jaký závislosti?
21:02 spito mornfall: http://anna.fi.muni.cz/~xweiser1/bc.pdf
21:02 spito sta49 kapitola 1 a 2
21:02 spito *stačí
21:02 spito zbytek se neměnil
21:02 spito dík :)
21:02 spito ale jenom kdyby ses nudil
21:03 mornfall já se nudim den a noc
21:03 mornfall nic jinýho nedělám vlastně :D
21:04 xstill mornfall: sicstus prolog, ten interpret je fakt strašnej, a neumí ani při znovunačtení modulu načíst závislosti které se změnily
21:04 mornfall lol
21:04 mornfall sicstus
21:04 xstill a to je to komerční produkt
21:04 mornfall na to si už někdo stěžoval
21:04 mornfall včera
21:04 xstill si nepamatuju že bych si stěžoval tobě
21:04 mornfall no tos nebyl ty žejo
21:05 xstill aha no já si na to totiž stěžuju skoro furt
21:05 mornfall #fi.muni.cz_20130515.log:[22:06:23] <duri^> prisaham, neschopnejsi shell ako ma sicstus prolog ani vymysliet nejde.
21:05 mornfall coffeebreak! :-)
21:06 xstill to je výstižné
21:06 spito mornfall: ještě ses neadaptoval, že potřebuješ kafe?
21:08 spito si tak pamatuju, jsme ještě na gymplu jeli na nějakou konferenci do říma s městskou radou (žranice jak sviňa a ještě nám za to zaplatili), ale noc před konferencí jsme spali asi 2 hodiny, to jsme pak do sebe hrnuli kafe ve velkým....
21:08 spito měli takový italský, malý, ale silný
21:09 spito kámoš toho vypil asi půl litru a běhal tam jak radioaktivní veverka
21:09 spito měl dokoce rozšířený zornice a tak...vypadal jak sjetej
21:09 spito mornfall: tak bacha na kafe ;)
21:11 spito xstill: jinak psal jsem na Céčku zápočťák na téma: napiště jednoduchý grep....polovina lidí to nedala
21:12 xstill předpokládám, že si komplikovali práci
21:12 spito ne, oni to prostě nedali
21:13 spito zadání:
21:13 spito Úkolem je vypsat na std. výstup řádky ze souboru, kde se nachází určité slovo
21:13 spito program načte 3 parametry z příkazové řádky:
21:13 spito * jméno vstupního souboru
21:13 spito * slovo, které se má hledat
21:13 spito * zohlednění velikosti písmen
21:13 spito Výstupem pak je text ve formátu:
21:13 spito Hledáno: [slovo]
21:13 spito Nalezeno řádků: [počet řádků]
21:13 spito [číslo řádku]: [text řádku]
21:13 spito ....
21:14 xstill kolik z těch co to nedali to dělalo on-the-fly?
21:14 spito on-the fly to nejde
21:14 xstill jakto že ne?
21:14 spito protože potřebuješ před výpisem řádků napsat kolik jich bylo
21:15 spito jako jo, jde to obechcat, že to nacpeš do dočasného souboru
21:15 spito ale na to nikdo z nich nepřišel
21:15 xstill pak to není zrovna jedonoduchá úloha, leda bys jim dal počet řádků
21:15 xstill to s tím souborem je nenapadne
21:16 spito je to jednoduchá úloha
21:16 xstill uvědom si že takhle musali naprogramovat stack
21:16 mornfall ano, potřebuju kafe
21:16 spito a co?
21:16 mornfall je 11 pryč :D
21:16 xstill stack je pro ně na hodinu
21:16 spito ale dělali ho snad 3x za semestr
21:16 mornfall každopádně mi není jasný proč se to neučí radši v schelogu
21:16 mornfall jakej stack? co to je za jazyk?
21:16 spito mornfall: eh?
21:16 xstill mornfall: C
21:17 xstill c99
21:17 spito a jednoduchej spojovej seznam dáš za 5 minut
21:17 mornfall spito: schelog patřil k tomu logickýmu programování
21:17 mornfall spito: proč proboha? :)
21:17 mornfall spito: man realloc :-)
21:17 mornfall 30s
21:17 spito jo, na to někteří šli taky tak
21:18 xstill no jasně ale pro ně mnohem víc
21:18 spito jo, ale max 30 minut
21:18 spito víc fakt ne
21:18 mornfall no, ale nafukovací buffer je furt jednodušší než linked list
21:18 mornfall nemusíš se srát s okrajovýma podmínkama
21:19 xstill je, až na to že ti ho obvykle nafukujou po 1...
21:19 mornfall nemusíš vůbec nic, jen si pamatovat kolik už tam toho je a kolik to má naalokovaný
21:19 mornfall sčítání, srovnání, realloc
21:19 mornfall minimum kódu
21:19 spito mornfall: ano a přímo na hodině jsem jim ukazoval, jak hezky to jde udělat
21:19 xstill spito: no ještě musí vyřešit ignore case, to taky není trivka, nebo je to v knihovně?
21:19 mornfall a nezapamatovali si to... smutné
21:20 spito tedy ukazoval jsem jim něco jako fci, která jim načte dynamicky alokovaný řádek z FILE*
21:20 mornfall strcasecmp
21:20 mornfall jestli to teda stačí
21:20 mornfall ono to neumí unicode a LC_CTYPE a tak
21:20 spito buď a nebo při nejhorším kopie stringu a tolower
21:21 xstill ok, pak jo
21:21 mornfall ono teda dělat strcmp je hrozně wasteful a reálnej grep je úplně hrozivě pobije na rychlosti
21:21 xstill čistý c není moje doména
21:21 xstill no jasný, ale o to tady nejde
21:21 mornfall ale zase programovat se s automatem by mohlo být dost práce
21:21 spito mornfall: mají na to hodinu času
21:21 spito jde o to, aby ukázali, že fakt něco zvládnou
21:22 xstill myslím že automatem bych to zahodinu nedal
21:22 spito mornfall: grep si postaví automat?
21:22 mornfall spito: ne, grep funguje ještě jinak
21:22 xstill KMP?
21:23 mornfall ale to je ještě o řád složitější
21:23 mornfall xstill: to nefunguje na regexy
21:23 xstill taky fakt
21:23 mornfall nevim jak funguje fgrep
21:23 spito grep dělá ještě složitější věci než automat?
21:24 mornfall spito: no, automat je v podstatě trivialita, ale je exponenciální :-)
21:24 xstill ty regexy jsou dost problém
21:24 xstill mornfall: exponenciální k vzroku?
21:24 mornfall xstill: jo
21:24 mornfall protože determinizace
21:25 mornfall a z nedet automatu neuděláš lineární prohledávání
21:25 mornfall ale grep backtrackuje, nepoužívá deterministický automaty
21:25 xstill jasný
21:25 xstill fakt?
21:25 spito offtopic: sakra, teď za mnou přišel myš jenom proto, aby mě kousl do palce u nohy
21:26 spito no, ono to je celkem jasný, že programy, co mají za sebou mnoho let existence a jsou používaný budou vymazlený
21:26 xstill jsou lidožravý
21:27 mornfall GNU's egrep is fast mainly because it hybridizes regex matching with Boyer-Moore search. I do not know how exactly this is done, but I do hope other regex may adopt this heuristics. On all the regex I have tried, egrep is the fastest. Another possible reason that egrep is fast may be because it does not keep track of grouping.
21:27 mornfall http://lh3lh3.users.sourceforge.net/reb.shtml
21:28 spito xstill: ne, mstivý, před chvilkou jsem mu vynadal, že leze na postel
21:29 mornfall http://swtch.com/~rsc/regexp/regexp3.html
21:30 mornfall Jenže taky musíš mít vytuněnou reprezentaci toho DFA.
21:30 mornfall No a tak.
21:30 mornfall Prostě je to solidní věda.
21:30 mornfall Tohle je to co by se mělo učit, ve skutečnosti, ale. :D
21:30 mornfall Koho zajímá nafukovací buffer.
21:31 mornfall To je jako na výšce učit zavazovat si tkaničky. :P
21:31 mornfall Určitě je dobrý aby to absolventi uměli, ale možná se to mohli naučit jinde. :]
21:32 xstill mornfall: to bys to musal učit ty ;-)
21:32 spito mornfall: jo, souhlasím s tebou, ale to by pak nezbyl nikdo, kdo by dělal weby
21:32 xstill spito: na to nepotřebujeě FI
21:32 mornfall spito: no, weby maj dělat lidi s výtvarným vzděláním, člověk by si ušetřil spoustu blití :D
21:33 spito jasný, ale bez titulu tě nevezmou
21:33 spito no...jenom design
21:33 mornfall fakt? hm.
21:33 spito a když někdo naplácá blbě skripty, tak to je taky vojeb
21:34 spito a čas od času se někomu podaří udělat nějaký důležitý web náchylný na XSS
21:34 spito a to je potom legrace
21:34 mornfall spito: Něco jako třikrát do měsíce?
21:34 mornfall To vidíš furt někde ěco.
21:34 mornfall něco*
21:35 spito ono jako dost svědčí o škole to, že tu spousta lidí dělá bc na základě "já jsem udělal web v nette/zend/drumla/wordpress/..."
21:35 spito sice dostanou E, ale dostanou ho
21:36 mornfall nojo :)
21:36 spito a co tex mé práce? koukal ses na to?
21:36 spito *text
21:36 mornfall ale degenerujeme na bandu stěžujících si dědků :-)
21:36 mornfall spito: kdy, kontinuálně tady něco pomlouvám
21:36 mornfall :-)
21:37 mornfall ten title tam byl vždycky takhle?
21:37 spito tan úvodní? ano
21:37 mornfall zajímavé
21:37 spito co, nezdá se ti?
21:37 spito to je oficiální název práce
21:37 spito jiřík to vymyslel
21:38 spito a napsal
21:38 mornfall okej
21:38 mornfall nic neříkám
21:38 mornfall jen že jsem si to doteď asi nikdy nepřečet
21:38 spito to asi vůbec nevadí
21:38 mornfall dobrým zvykem
21:38 mornfall :-)
21:39 mornfall spito: tohle už Jiřík četl? :)
21:39 spito co se ti nezdá? četl kapitolu 1
21:39 spito a zdá se mu moc krátká
21:39 mornfall hele, ten model není korektonsti, ale toho modelu
21:39 spito právě tu dvojku ještě ne
21:40 mornfall a model je mužský rod
21:40 mornfall teda programu
21:41 spito v pohodě, na tyhle věci  nekoukej
21:41 mornfall hele, ale "dobrým zvykem" a "provádět testování" vůbec nejde k sobě
21:41 mornfall spito: no a kdo to opraví?
21:41 spito mornfall: maminka :)
21:41 spito no...a pak samozřejmě já
21:41 mornfall spito: a maminka ví že model se nemůže vztahovat na korektnost ale na program?
21:41 spito mornfall: jakože nebývá dobrým zvykem?
21:42 spito maminka si všimne i věcí, které dávají smysl
21:42 spito hodnotí větnou stavbu a takový věci
21:42 spito a tohle by mi omlátila hned o hlavu
21:43 mornfall to je asi pravda
21:43 mornfall a explicitní model-checking ti Jiřík schválil?
21:44 mornfall což -> čímž, asi
21:44 spito co se ti na tom nelíbí?
21:44 mornfall no, je to nepřesný
21:45 mornfall a navíc občas to je ověření modelu a jindy model-checking
21:45 mornfall (kterej se navíc i anglicky píše bez spojovníku)
21:45 mornfall (když to je substantivum, teda)
21:45 mornfall (hm, to je možná dvojtvar, ale cokoliv, tohle je česky :)
21:46 spito eh, takže model-checking je špatně a mám to oddělat?
21:46 mornfall spito: měl by sis někdy přečíst knihu o cintoríne...
21:46 mornfall spito: no, vyber si jestli to je model checking nebo ověřování modelu
21:46 spito proč o hřbitově?
21:47 mornfall to je o takovém jednom bezdomovci
21:50 spito mornfall: a má se psát spojovník mezi, nebo ne?
21:51 spito hmm, tak bez spojovníku
21:51 mornfall cíl práce, první věta -> implementují, nikoliv používají (koncept Visitor)
21:54 mornfall jinak se to výrazně zlepšilo :-)
21:54 spito dík :D
21:55 spito že by skok z F rovnou na D?
21:55 mornfall 2.1 druhý odstavec není docela pravda
21:55 mornfall s tím Pointer nemá nic společnýho :-)
21:55 mornfall Pointer je v podstatě char *
21:56 mornfall to jak se ukládají extra data je v podstatě tichá úmluva
21:56 spito no já nejprve chtěl popsat Blob, ale ten už neexistuje, tak jsem tam něco nalhal
21:57 spito po zběžném prolítnutí pool.h
21:57 mornfall ... :P
21:57 mornfall Tak, ona to nebyla pravda ani s Blob-em.
21:57 spito jakto?
21:58 spito ten Extension se tam nacpe
21:58 spito to je snad implementační detail, ne?
21:59 mornfall 2.3 opět používají
21:59 mornfall spito: No, ale Blob nic o žádném dělení paměti na stav a extension neví.
21:59 mornfall spito: A nedělá nic proto aby to existovalo.
22:00 spito to jo, ale jak to mám popsat? protože to jsou 2 různé věci, které jsou přes Blob/Pointer dostupné a použiju to jak u HcStore tak pro důvod, proč zatím Shared nejde u MAP a OWCTY
22:01 mornfall spito: no, jak bys to popsal kdyby s/Pointer/char */?
22:01 mornfall popiš to stejně :)
22:03 mornfall spito: předposledný odstavec na str. 9 je bohapustá lež :-P
22:03 mornfall spito: každou hranu musíš zpracovat
22:04 mornfall jednotkové testy :D
22:04 spito mornfall: místo "Pointer umožňuje uložit extension" bude "Pointer ukazuje na paměť, kde může vedle stavu paměti být i Extension"
22:04 mornfall Hele, ale už to docela přestává být hospodský, mimo první kapitoly.
22:04 spito mornfall: no, unit testy by mi asi jiřík omlátil o hlavu
22:04 mornfall spito: To zní líp.
22:05 spito první kapitola je furt hospodská?
22:05 spito chjo
22:05 spito a s tou bohapustou lží, to jenom o tom, že se ty vrcholy nemusí zpracovat?
22:05 spito ale jo, to je blbě napsaný
22:05 mornfall spito: tak, „což“ tam je tak stokrát
22:06 spito já vím, moje oblíbené
22:06 mornfall no, ale v odborném textu nemá co pohledávat :)
22:06 spito což se nesmí?
22:06 spito a co místo něho?
22:06 mornfall invenci
22:07 mornfall "a tím" v první instanci, např.
22:08 mornfall v druhé instanci konec věty a novou začít Toto je možné
22:08 mornfall grafu; zároveň je potřeba
22:08 spito a zrovna "Toto" se mi zdá fuj
22:08 spito i když ho tam mám taky 38,5x
22:09 mornfall No, je to podstatně lepší než což.
22:09 spito když on mi jiřík nadával na to, že mám krátké věty a že můžu použít i souvětí
22:09 spito ono mi nedělá problém napsat větu na odstavec
22:09 mornfall Taky můžeš napsat "Jednou z možností řešení tohoto problému..."
22:10 mornfall No, a dobrý zvyk je taky hospodština jak vyšitá.
22:11 mornfall „běžná praxe“ se jeví jako použitelná alternativa
22:11 mornfall bohapustá lež je to s tou nepotřebou zpracování, ale celej odstavec na tom tvrzení stojí, bez něj moc nedává smysl
22:12 spito jo, to upravím
22:13 mornfall věc se má tak, že partitioned má větší režii, a load imbalance
22:13 mornfall to první teda nedokážeme ověřit, to druhý víme poměrně jistě
22:14 mornfall teda takhle, to že to má nějakou režii víme jistě, ale nevíme úplně přesně jakou režii, a ani jakou má shared takže se to blbě srovnává
22:14 spito a proto si myslím, že je lepší to zatlouct
22:14 spito a vůbec to tam nepsat
22:14 mornfall ...
22:14 mornfall :-)
22:15 mornfall jen to tam napiš
22:15 spito tak není to ničím podložený
22:15 spito jsou to jenom domněnky
22:15 mornfall je to podložený intuicí
22:16 spito ale to bych řekl, že by v práci úplně být nemělo
22:16 spito zvlášť ne v technické práci...
22:16 mornfall :-)
22:16 mornfall to je hrozně naivní
22:16 mornfall spousta věcí v SW stojí na intuici
22:17 mornfall nenapíšeš tam že máš pocit že
22:17 mornfall napíšeš že to je pracovní hypotéza
22:17 xstill :-D
22:17 spito ajo, ono se to vlastně musí zaobalit
22:17 mornfall a že je k jejímu potvrzení potřeba víc dat
22:17 spito a tohle mi příjde ujetý
22:17 mornfall to není ujetý, ta informace je ve skutečnosti hrozně užitečná
22:18 spito je to pracovní hypotéza = tak, my si něco myslíme, ale nevím, jestli si to vůbec máme myslet
22:18 mornfall no, jenže kdybys tohle dovedl do důsledků, tak tu práci můžeš spálit
22:18 mornfall protože nevíš nic
22:19 spito to je taky fakt
22:19 mornfall všechno co tam je má jistou míru nejistoty
22:19 spito já to vytisknu a zahodím
22:19 mornfall je pouze potřeba reprezentovat co je jak moc nejistý
22:19 mornfall tak věda prostě funguje
22:19 spito vytisknu, zmuchlám a zahodím
22:19 mornfall podle možností přesně
22:19 spito ale jo
22:20 spito jasně že máš pravdu, však už jsi toho hodně napsal, četl i slyšel
22:20 spito ale stejně to zahodím :D
22:21 mornfall jinak myslím že "n." nemůžeš napsat :)
22:21 mornfall (ve smyslu n-tý)
22:22 mornfall strana 11 -> nekorektní ukončení asi myslíš neúspěšné?
22:23 mornfall 3.2 -> je pro -> je důležitá pro?
22:25 spito a jak jde napsat n-tý? protože takhle to napsat nejde
22:25 mornfall :D
22:26 mornfall Asi nijak. :)
22:26 mornfall instance č. n
22:26 spito "je pro" je správně, ale větně to musím přeformulovat
22:27 mornfall no, správně to není, aspoň ne tak jak to je postavený :)
22:27 mornfall slouží k
22:27 mornfall snad
22:29 mornfall „uzmout“ hospodština
22:31 xstill už mě to neba, jdu spát
22:31 spito brouk
22:31 mornfall xstill: brou noc
22:32 xstill dobrou i vám
22:34 mornfall spito: zjednoť barvy v grafech
22:34 mornfall nebo sjednoť
22:35 mornfall ideálně teda ještě nějak zařiď, aby z toho šlo něco vyčíst
22:35 mornfall třeba speedup graf vedle
22:36 mornfall a logscale na osu X
22:36 mornfall když pomineme občasný záchvat hospodštiny tak dobrý
22:36 mornfall xstill: už spíš?
22:38 spito mornfall: takže takhle ty grafy můžou zůstat, když k tomu přibudou grafy o zrychlení?
22:38 spito ujednotím barvy ;)
22:38 mornfall spito: no, bylo by lepší kdyby se vylepšilo aj tyhle, a určitě aspoň změň barvy tak aby stejná věc v různým grafu měla stejnou barvu
22:43 mornfall jo a navíc potřebujeme PINS loader
22:44 spito PINS?
22:44 mornfall to je ta ltsmin věc
22:48 mornfall http://www.ulozto.sk/xWNxJpu/kniha-o-cintorine-pdf :-)
23:21 spito mornfall: počítá se zrychlení jako čas 1 vlákno/čas n-té vlákno?
23:24 mornfall spito: J.
23:39 spito mornfall: tak tam máš další obrázky
23:39 mornfall okej :) za deset minut jedu směr SF
23:39 mornfall tak se tady mějte ;-)
23:39 spito tam přespíš a pak hurá domů
23:53 mornfall to těžko, mám polovinu věcí na hotelu
23:53 mornfall nic, jdu ať to stihnu ;-)

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary