Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-05-04

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

All times shown according to UTC.

Time Nick Message
05:35 _ilbot joined #divine
05:35 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:12 spito joined #divine
08:34 mornfall zív
08:39 xstill dobré ráno
08:51 mornfall dobré
08:51 mornfall co to llvm, už to funguje?
08:52 xstill mornfall: zdá se že všechno funguje
08:52 xstill chtěl jsem zavřít jeden starší tiket co jsem dával na příklady v divine ale nemůžu
08:52 xstill (to je ten co teď přišel mail)
08:53 mornfall jakto že ho nemůžeš zavřít, to je divný
08:53 xstill asi práva
08:53 xstill mám tam jenom leave as new
08:54 mornfall Nojo, tys nebyl v paradise. Divný. :)
08:54 mornfall Teď by to už mohlo jít.
08:55 xstill už je tam toho podstatně víc
08:57 xstill a teda jestli se dá alespoň trochu věřit memory estimate co divine dává tak komprese funguje parádně na llvm, verifikuje fisher2, momentálně jsem na 1.6M stavech a bere to 400MB, memory estimate je 12GB
09:00 xstill mornfall: bude bycocode zkompilovaný u mě fungovat na auře?
09:00 mornfall jo
09:01 xstill tam v těch cestách totiž najít LLVMgold je problém
09:06 xstill tam ne
09:06 xstill ale to je asi tím že já mám clang3.2 a aura 3.1
09:06 mornfall co ne?
09:06 xstill no nefunguje ten bc soubor
09:09 _ilbot joined #divine
09:09 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
09:09 xstill no ale už vidím co by na to řekl unix@fi že tam chci něco doinstalovat
09:09 mornfall Vždycky to můžeš řešit tak, že budeš divine aj s knihovnama vytahovat z nix store automaticky.
09:09 xstill (máme přece úžasný systém modulů)
09:09 mornfall teda, mohl bys kdyby zrovna jela hydra ;)
09:10 xstill no to bych musal nějak udělat userspace instalaci nixu ne?
09:10 mornfall ono by to dokonce šlo vyrobit jako task do hydry
09:10 mornfall no ne, stačí spočítat nix-store -qR nebo tak něco a všechno pod lib/ nakopírovat do jednoho adresáře
09:11 mornfall jen teda hrozí, že na tom rhelu to bude umírat na "kernel too old" (protože glibc 2.17...)
09:11 xstill hmm neměl by LLVMgold.so být součástí buildu llvm?
09:11 mornfall měl, ale musíš mu dát cestu k binutils s podporou pluginů
09:11 mornfall (potřebuje plugin-api.h)
09:12 xstill no já ho tam nemůžu najít totiž
09:12 mornfall locate plugin-api.h -> nic
09:12 mornfall takže jestlis to buildil na auře tak to ani nemohlo jít
09:13 xstill aha
09:13 mornfall aisa taky nic
09:13 xstill chceš mi říct že bych tam musal zbuildit i binutils?
09:13 mornfall jo
09:13 xstill surep
09:13 xstill *super
09:14 mornfall userspace instalace nixu nejde, protože /nix/store
09:14 mornfall teda user
09:14 mornfall -space
09:14 mornfall :-P
09:14 xstill nechceme přepadnou unix@fi a nainstalovat jim všude nix?
09:14 mornfall asi chceme
09:15 mornfall minimálně teda na tu auru
09:15 xstill hmm nové nymfe mají gcc 4.7 a clang 3.1
09:16 mornfall nymfe jsou totiž fedora
09:17 xstill aha tak nemají
09:17 xstill to jen můj modul který tam umí tak zobrazit verzi
09:17 xstill hm, ono je to ubuntu
09:19 mornfall super :D
09:21 _ilbot joined #divine
09:21 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
09:22 xstill jak nakonfiguruju binutils na pluginy?
09:23 mornfall --    51       + stdenv.lib.optionalString gold " --enable-gold --enable-plugins";
09:25 xstill dík
09:41 xstill mornfall: máš přestavu co je potřeba nastavit za proměnné prostředí aby si to našlo jiné binutils?
09:42 mornfall xstill: -DLLVM_BINUTILS_INCDIR=${binutils_gold}/include
09:42 xstill to se dá LLVM při buidlu?
09:42 mornfall jj
09:43 xstill ok
09:50 xstill spito: jak to vypadá s integrací NTree + shared?
09:53 mornfall řekl bych že na to už šťastně zapomněl ;-)
09:55 xstill aha, to ono by bylo dobré to udělat, pokud na to nemá čas tak třeba v pondělí, nebo prostě tak
09:55 xstill specielně pro měření llvm by člověk snesl nějaký hrubý výkon navíc
09:55 mornfall no, tam ho možná moc nevykopeš, zase
09:55 mornfall nebo teda jestli běháš jen jedno vlákno abys měl jen jeden store tak asi jo
09:56 xstill no právě že teď jedu na -w 1
09:56 mornfall :-)))
09:57 xstill jsem zvědav kdy doběhne ten elevator2, už má 8M stavů a stále 600MB paměti
09:57 mornfall jinak teda, kdyby se ta ntree komprese rozumně napsala a posadila do novýho kontextu, tak by to na nějakej workshop mohlo jít prodat
09:57 xstill (ale tvrdí že by měl mít 27GB
10:01 xstill hmm to zní zajímavě, co myslíš novým kontextem?
10:02 mornfall no, zejména LLVM, časový automaty, součinnost se sdílenýma tabulkama
10:02 xstill jo tak :-)
10:03 mornfall jako z hlediska publikované práce to novej kontext asi je
10:10 spito xstill: nijak
10:10 spito píšu text
10:10 spito a bojuju s latexem
10:10 spito to je fakt nepoužitelný
10:10 xstill ok, tak se na to si mrknem v pondělí
10:10 spito (to fakt nikoho nenapadlo udělat něco použitelnýho?)
10:11 xstill spito: latex je někdy na nic ale dělat to jinak je asi horší
10:11 mornfall spito: nepoužitelný ti to přijde jen do momentu než zkusíš nějakej office
10:11 spito mornfall: právě naopak, když to nejde v latexu, tak použiješ office, protože v něm to nějak naboucháš a funguje to
10:11 xstill tak mám čerstvý build binutils a llvm + clang 3.2 na auře, jsem zavšdavý
10:12 mornfall spito: (lol)
10:12 xstill *zvědavý
10:12 xstill spito: no to teda ne
10:12 mornfall spito: už jsem potkal příliš mnoho lidí kteří to s tím officem zkoušeli
10:12 xstill jak to potom vypadá
10:13 mornfall to je druhá věc, že výsledek bys pak nedal ani kočce na hraní
10:13 spito mornfall: co v office nejde, že to v texu jde?
10:14 spito jo, neříkám, že to je kvalitní, ale je to NĚJAK nabouchaný
10:14 xstill spito: to ale v latex-u uděláš taky, žejo
10:15 spito no nevim, jako FI-thesis nejsem schopný rozjet
10:15 mornfall spito: "nejde" je hrozně silný slovo
10:15 xstill dej si jí do stejnýho adresáře jako práci a přikopíruj tam logo fi
10:15 mornfall nebo zahoď fithesis
10:15 mornfall k čemu to je dobrý?
10:15 mornfall seriously...
10:15 xstill mornfall: o tom silně uvažuju ale nechce se mi dělat úvodní stráku
10:15 spito mornfall: aby to pak vypadalo všechno stejně
10:16 mornfall jako ušetří ti to jeden \centering, dva \vfilly, jeden \hfill a jeden \includegraphics?
10:16 spito a úvodní strana....
10:16 mornfall a vyrobí spoustu práce s napravováním fontů a tak
10:16 xstill mornfall: no fonty jsem vyřešil tak, že jsem zakomentovat řádek co načítá palatino
10:17 spito co to má být vlastně za documentclass?
10:17 spito book?
10:17 mornfall http://pastebin.dqd.cz/4Lff/
10:17 xstill buď to (asi) nebo fithesis
10:17 xstill spito: ta šablona co jsem ti poslal nejde?
10:18 mornfall no, bakalářku mám jako report, diplomku jako book
10:18 mornfall a logo fi jsem nakonec nedal asi nikam :) nasrat
10:19 xstill mornfall: no já bych tam to logo třeba chtěl, ale to už asi nebude takový problém přidat
10:19 xstill skusím to
10:19 mornfall \includegraphics{logo.pdf}
10:20 mornfall zkus to :-P
10:20 xstill (on je to metafont)
10:20 xstill ale dá se shnat i jiné verze
10:20 spito xstill: protože to dělám na widlích, tak ne, nejde to, ani kdybych se rozkrájel
10:20 xstill spito: jsem to měl funkční i na win, texlive
10:20 mornfall tak metapost, když nechceš stáhnout pdf
10:21 xstill většina lidí si myslí že na win nefunguje ale já s ním neměl problém
10:21 mornfall no, lidi žijou v době miktexu, nejspíš
10:21 xstill jo no
10:21 spito se mi s tím nechce zabývat ani
10:21 spito jo, miktex mám
10:21 mornfall to je už docela dost let passé ale
10:21 spito on je špatný?
10:21 mornfall tak, je to trochu jako běhat win98
10:21 mornfall špatný to nutně není
10:23 xstill super, nefunguje mi linker na auře
10:23 xstill Linking CXX executable divine
10:23 xstill /packages/run.64/binutils-2.23.2/bin/ld: ../divine/libdivine.a(output.cpp.o): undefined reference to symbol 'cbreak'
10:23 xstill /packages/run.64/binutils-2.23.2/bin/ld: note: 'cbreak' is defined in DSO /lib64/libtinfo.so.5 so try adding it to the linker command line
10:23 xstill /lib64/libtinfo.so.5: could not read symbols: Invalid operation
10:23 xstill clang-3: error: linker command failed with exit code 1 (use -v to see invocation)
10:23 mornfall xstill: hm, to linkuješ svým novým binutils? :)
10:23 mornfall je možná otázka jestli to je dobrej nápad
10:23 xstill jo no. už jsem tím slinkoval ten clang
10:24 xstill mornfall: proč?
10:24 mornfall to nevim vlastně... jako fungovat by to mělo
10:24 mornfall ale přecijen to je kraksna z roku nula
10:24 mornfall ten rhel
10:24 mornfall kdoví co tam je za věci
10:28 xstill hmm když tam dám documentclass book nebo report tak mi to před každou kapitolu píše Chapter X
10:33 mornfall píše, no :)
10:33 mornfall to je špatně?
10:33 xstill nevím
10:34 xstill mám nějaké velké písmo teď
10:38 mornfall napiš 10pt do [] k tomu documentclass
10:42 xstill hmm pak mám jen 26 stránek textu, a řekl bych že mám špatně nastavený formát strany, potřebuju tam nějak dostat A4
10:43 mornfall a4paper
10:43 mornfall tiskneš oboustranně nebo jednostranně?
10:44 xstill asi oboustraně, ještě nevím
10:44 mornfall na dvoustrannej tisk s documentclass book jsem měl tohle (krom a4paper)
10:44 mornfall \oddsidemargin .85in
10:44 mornfall \evensidemargin .65in
10:44 mornfall \textwidth 12.7cm
10:44 mornfall nebo to je a4page?
10:45 mornfall teď nevim :-) jedno z toho
10:45 spito mornfall: ono se má psát 10pt?
10:45 spito 10pt-kou?
10:45 mornfall jak chceš asi... já tam měl snad 11pt
10:46 mornfall to je asi default, kdoví
10:46 xstill hm to a4 je balíček nebo co
10:46 xstill ?
10:46 xstill aha documentclass parametr
10:46 mornfall ne, to je parametr documentclass
10:47 mornfall ale taky to může být parametr geometry balíku
10:47 xstill už to jde
10:49 xstill až teprve teď jsem si všiml, že fithesis sází jméno fakulty česky, šmejd jeden
10:56 xstill mornfall: jak jsi dělal takový ty menší nadpisy jako Declaration a tak?
10:57 mornfall \section*
10:57 spito mornfall: a máš v rukávu něco jako \subsubsubsection? :)
10:57 xstill ok
10:57 mornfall v rukávu ne...
10:57 xstill spito: to je trochu hodně ne?
10:58 spito jo, asi jo
10:59 mornfall http://web.mornfall.net/stuff/papers/ jsou zdrojáky aj bc aj mgr
11:00 mornfall je to všechno trochu zastaralý, ale snad ne úplně moc
11:00 xstill mornfall: díky
11:01 xstill mornfall: jaký je rozdíl mezi book a report?
11:02 spito nepíše ti to dolů ty věci
11:02 spito jako název knihy a kapitoly
11:02 xstill aha
11:02 spito *dolů a/nebo nahoru
11:03 xstill tak ty věci tam mít chci
11:07 mornfall moje bydlení vypadá dost jako cpu cache... všude spousta věcí který tam leží jen proto že tam nebylo potřeba položit nic jinýho...
11:07 mornfall achjo
11:08 xstill :-D
11:09 xstill nějak jsem zapoměl na to že by to dneska chtělo oběd
11:09 mornfall obědy se hrozně přeceňujou
11:15 spito mornfall: ale fuj, ty obědy naopak podceňuješ
11:19 mornfall někdo by měl pokosit trávu, třeba
11:21 spito kup ovci
11:21 spito udělá se to samo a ještě rádo ;)
11:22 mornfall jasně no... :)
12:00 xstill sakra proč je metafont logo fi k dispozici jen jako RPM?
12:03 mornfall protože ... ani se neptej :D
12:03 mornfall někde to visí jako pdf
12:03 mornfall http://web.mornfall.net/stuff/logo_fi.pdf
12:03 mornfall tady máš
12:04 spito mornfall: TY VÍŠ DŮVOD?
12:04 spito sry za capslock
12:04 mornfall Zrovna jsem ti chtěl říct že si máš zapnout capslock, bude se ti psát líp. :-)
12:04 mornfall http://bash.org/?835030
12:05 spito lol
12:06 spito aneb když se malíček netrefí....
12:06 xstill mornfall: dík za logo
12:06 spito mornfall: taky děkuji
12:07 xstill hmm já to tam neumím vložit
12:08 xstill aha umím
12:08 xstill jen to nefunguje v draft-u
12:11 mornfall hmm, a llvm mi v generování init stavu hrabe do sdílený mapy, sviňa
12:12 mornfall co hrabe, on tam rovnou vkládá
12:35 mornfall btw. když někam píšete __builtin_unreachable, tak asert_unreachable má stejnej efekt na překlad, ale když na něj dojde tak to napíše nějakej důvod :-)
12:35 mornfall assert*
12:35 mornfall (protože assert_die_fn má __attribute__((noreturn)))
13:02 spito mornfall: mám to opravit v tabulce?
13:02 mornfall nutný to není, to je jen tak informace do budoucna
13:02 mornfall zas tak moc na tom nesejde
13:02 mornfall zejména když se to tam fakt nikdy nedostane ;-)
13:03 spito no, nedostane ;)
13:03 spito teda...za předpokladu, že ses tam náhodou nedostal.....
13:03 spito ale to by se dít nemělo....
13:03 mornfall :D
13:16 xstill spito: ten shared co je v mainline teď, v jakém je stavu?
13:22 xstill mornfall: jak dostanu gold na nixos?
13:24 xstill nebo teda obacněji jak dokopu anteu aby mi kompilovala llvm příklady?
13:25 spito xstill: ve špatném
13:25 spito tedy jako funguje to, ale má to průměrně logaritmickou délku procházení
13:25 spito ale když nastavíš dobrou počáteční velikost, tak by to mělo fungovat dobře
13:26 xstill ok
13:26 xstill mornfall: gold jsem našel ale zase když nainstaluju binutils s gold tak tam nedostanu clang
13:27 xstill aha on na antee je sám
13:30 xstill už to jede
13:31 xstill ještě že locate zvládá it takové věci jako je /nix/store
13:34 xstill hmm Uppaal ve výchozím nastavení se po 4 dnech běhu nebespečně blíží s použitou pamětí k tomu co dělá divine s NTree
13:35 spito nebeZpečně
13:35 spito jako že jsou pomalí, ale zabírají stejně paměti?
13:36 xstill v podstatě
13:36 xstill a jako když mu člověk vypne úsporná opatření tak je stále pomalý ale žere víc než divine
13:37 xstill ono se mu daří v podstatě jen v tom aproximativním režimu
13:40 xstill zase teda to na čem to běhá jsou relativně velký modely
13:52 xstill konečně doběhl elevato2.bc: 20855s 1.89GB 10M stavů (NTree)
13:58 xstill ale teda jak dostat na auru funkční llvm kompilaci bude docala problém
14:19 mornfall Třeba nám unix vyhoví a bude po problému. :-P
14:19 mornfall I když teda, proč tam je problém?
14:28 mornfall Asi se blíží čas oběda.
14:29 xstill oběda?
14:29 xstill problém je že ten linker z nových binutils někdy odmítá linkovat
14:30 xstill teď jsem zkopiloval divine tím původním a do CMD jsem mu dal ten nový tak uvidím
14:31 xstill aha tak to zdá se funguje
14:45 xstill mornfall: ten člověk co má měřit spin na pheme má zase problémy s kernel.shmmax a dožaduje se nastavení na celou paměť, mám mu to povolit? (dočasně do restartu pheme)
14:45 mornfall druhá věc je, že když máš stejný llvm jako u sebe clang, tak ty .bc soubory fakt musí jet :)
14:46 mornfall to psal kdy a kam?
14:46 xstill mě, protože jsme se dohadovali o používání pheme
14:48 mornfall už jsem to nastavil (měl jsem to v historii)
14:48 mornfall ono to tam do rebootu asi nevydrží
14:48 mornfall protože od tý doby se to určo nerebootovalo
14:49 xstill to je potom divné, nedělal jsi deploy?
14:49 mornfall teď tam je 16440400000 ale vyčetl jsem tam 4014000 předtím
14:49 mornfall nevím o tom
14:49 mornfall ale klidně to je možný
14:49 xstill ten by to asi mohl resetovat totiž
14:50 xstill a já jdu na chvíli ven dokud je tam hezky
14:50 mornfall já vlastně ani nevim proč ten limit vůbec existuje
15:13 mornfall xstill: Ještě jedna inovace mě napadla, totiž nespojitý dělení stavů.
16:40 xstill mornfall: k čemu by to bylo?
16:54 mornfall No, že by se mohlo vytáhnout třeba program countery do rootu.
16:54 mornfall Protože jsou to malý kousky stavu který se furt mění.
17:01 xstill aha, takle
17:02 mornfall (a ty program countery jsou typicky rozházený všude možně v tom stavu...)
17:03 xstill to by možná za to stálo, časem
17:03 xstill bude potřeba nějak vylepšit rozhraní ke generátoru
17:04 mornfall to jo :)
17:07 xstill mám nějaký bordel v buildech, právě mě vyasertoval build který jsem pozažova za release, zatímco včera jsem nebyl schopný udělat debug build
17:07 xstill dostal jsem assert v llvm
17:07 xstill divine/llvm/execution.h: 839: assertion `unknown opcode 7' failed;
17:09 xstill aha on je to assert_unreachable, proto tam byl
17:10 xstill mornfall: co je opcode 7?
17:21 xstill hmmm, když jsem z toho programu oddělal volání exit tak to najednou funguje
17:22 mornfall 103 HANDLE_TERM_INST  ( 7, Unreachable, UnreachableInst)
17:22 mornfall :D
17:23 xstill a já jsem si říkal když jsem tam ten exit psal, že s tím možná bude problém
17:25 xstill asi toto:
17:25 xstill define internal void @badAllocHandler() nounwind uwtable {
17:25 xstill call void @exit(i32 1) noreturn nounwind, !dbg !1787
17:25 xstill unreachable, !dbg !1787
17:25 xstill ; No predecessors!
17:25 xstill ret void, !dbg !1789
17:25 xstill }
17:25 mornfall Jj.
17:25 mornfall problém je, že nemáme implementaci _PDCLIB_Exit.
17:26 mornfall A není ani jasné jak ji udělat...
17:26 mornfall Nebo teda je, napsat na to builtin do interpretu.
17:26 xstill a překrýt exit nestačí?
17:26 mornfall Čím?
17:27 mornfall Nemluvě teda o tom, že kdybys překryl exit, tak tím zrušíš atexit a tak.
17:27 xstill něcím specielním co řekne divine že už tam nejsou následníci
17:27 xstill co je atexit?
17:27 mornfall man atexit :)
17:27 xstill aha
17:28 mornfall O to samozřejmě nejde, to je otázka toho udělat __divine_exit.
17:28 mornfall Ale to je ta netriviální část.
17:29 xstill chceš na to trac?
17:29 mornfall Asi jo, teď to dělat nebudu.
17:29 mornfall A asi do 3.1.
17:29 xstill ok
17:31 mornfall Stejnej problém bude potenciálně s asynchronním pthread_cancel.
17:33 mornfall A pthread_exit asi potřebuje ten stejnej builtin jako pthread_cancel.
17:34 xstill no ale narozdíl od exit je pthread_cancel docela hnusná věc
17:35 mornfall Tak, exit taky, protože porušuje pravidlo o destruktorech.
17:35 mornfall A když používáš RAII tak tě to může dost naštvat že si jen tak někdo zavolá exit.
17:37 xstill aha
17:37 xstill no to mě nenapadlo
17:37 xstill ale v C je to v podstatě v pohodě ne?
17:37 mornfall (Na druhý straně, konvertovat signál na výjimku asi stejně moc nejde, takže tomu úplně neutečeš...)
17:37 xstill a v C++ by se to teda mělo řešit výjimkou?
17:38 mornfall To asi záleží co máš za program.
17:38 mornfall Ale pokud máš v RAII zabalený věci co OS automaticky neuvolní (futexy ve sdílený paměti, lockfile, etc.) tak asi jo.
17:39 mornfall Případně dočasnej soubor/adresář.
17:41 xstill vida co se člověk dozví při vytváření jednoduchého příkladu
17:43 xstill no a já zase půjdu
17:46 mornfall Ha. Normálně signal handler může udělat throw a funguje to. Cool.
18:22 spito xstill: proběhnout se jít asi nechceš, co?
18:23 spito mornfall: tebe se neptám, bo jsi daleko
19:15 mornfall Co, kam? :)
19:16 mornfall Já mam asi hlad, a navíc jsem doteď hrál etudy. ;)
19:16 mornfall A jo, jsem daleko.
19:18 spito ale pokud bys měl zájem se proběhnout po brně, nemám nic proti :)
19:18 spito a rád se nabídnu
19:18 spito sháním totiž někoho, kdo umí běhat podobně rychle jako já
19:18 spito zatím všechny testovaní byli pomalejší
19:18 spito a nebo nevydrželi
19:18 mornfall ajaj :-))
19:19 spito ne, já neběhám rychle
19:19 spito můj rekord je 10km, na konci jsem byl přichcíplý
19:19 mornfall to asi budu ještě chvíli běhat sám ;-)
19:20 mornfall až uběhnu 10km dám vědět
19:20 spito ale to bylo jenom jednou
19:20 mornfall jen teda nevim kde po Brně bych běhal třeba i 5, ne to deset...
19:21 spito pak už ne
19:21 mornfall Lužánky jsou fajn, ale po třech to začne být dost nuda
19:21 spito no vidíš, já dal teď 2x lužánky a mám dost
19:21 spito ale ono jednou dokola mají 1.7km
19:21 mornfall No, třech km jsem myslel. :)
19:23 mornfall Stejně nemůžu běhat víc než dvě kola, v tomhle je můj mozek nějak zatvrzele jednobitový.
19:23 mornfall Pamatuje si jen "tudy jsem už dneska běžel".
19:29 spito tak ono docela hezká příroda je nad Řečkovicemi, k Soběšicím
19:30 spito tudíž jestli bys měl zájem, stačí říct, klidně a rád se v pondělí proběhnu (a Zuzka bude happy, že nemusí běhat :D )
19:30 spito a můžeš se u nás na privátě odblešit
20:15 spito mornfall: ale udělal jsi hezké stránky
20:20 mornfall :-)
20:39 spito a co to běhání? :P
20:39 spito (ano, jsem neodbytný jako komár)
20:40 spito (však jsem v mládí měl tuto přezdívku, ale z jiných důvodů)
20:44 mornfall Zejtra to zvážim. :) Možná se zamysli nad tím kdy, ovšem...
20:48 spito tak pondělí, to tu býváš, ne?
20:48 spito v závislosti na tom, jak se ti bude chtít
20:48 spito mě to je šumák
20:50 mornfall No jo, však zejtra zvážim jestli v pondělí jít běhat.
20:50 mornfall Ale pondělí je dost naflákaný, tak jestli máš nějakej plán kde vyčarovat čas. :)
20:51 spito no, já počítám ani nebudu moct programovat, budu chtít s Jiříkem řešit, jestli mám dobře napsanou bc
20:51 spito to možná i letmo s tebou....aby se ti to líbilo po formální stránce
20:52 spito (tajně bych rád vyčaroval A :) ale kdo taky ne, že?)
20:53 mornfall Budeš rád když na Jiříkovi urveš dvacet minut. :D
20:53 spito protože to musim dát na tisk příští týden, zkompletovat a dodělat měření a tak
20:53 spito až tak?
20:53 mornfall IMHO, no.
20:53 mornfall Však uvidíš.
20:53 spito eh? víš něco, co já ne?
20:54 spito to je jedno, prostě aby to někdo přečetl a řekl mi: tady píšeš kraviny
20:54 spito a někdo, kdo má trochu zkušeností s pracemi tohoto typu
20:54 spito vláďovi se na to jiřík minulý týden koukal
20:54 spito ale to já neměl ani čárku napsanou
20:55 mornfall No koukal, ale taky to netrvalo ani půl hodinu, včetně cesty, ne?
20:56 spito to je možný, já to časově neměřil
20:56 spito já mu to i pošlu mailem
20:56 spito aby na to mrknul v pohodlí...kdy bude chtít
20:57 spito ono se teď něco finišuje, že je tak zapřažený?
20:57 mornfall No, asi jsou termíny na ty granty nebo co.
20:59 spito ajo
21:06 spito left #divine

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