Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-12-15

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
07:02 yaqwsx joined #divine
08:09 xstill vidíš, kdyby se rozdělili testy na cc a verify, tak by stálo za to aby v reportu bylo poznat která fáze selhala. Jen teda nevím jak tomu test driveru rozumně dávat víc informací než návratovou hodnotu, leda by se udělalo něco jako, že by se mezi nima otevřel file deskriptor
08:14 xstill a až budeme řešit liveness, tak by to chtělo aby ty algoritmy uměli zároveň řešit i běžné safety, třeba u těch F(x) vlastností dává podle mě větší smysl to řešit zároveň, než muset pustit nejdřív běžné verify a pak verify na to F(x)
08:16 mornfall zároveň ve smyslu Fx ∧ Gsafe?
08:16 xstill jo, vlastnÄ› to
08:16 mornfall na to už ten rychlejší algoritmus ale nestačí
08:18 xstill měl by, ne? teda bude ho potřeba trochu modifikovat, protože nepůjde zaříznout to co je za tím x přechodem. Jinak by mělo stači kontrolovat error flagy v každém stavu
08:18 xstill ale po projití x už zase můžeš jet jen reachability
08:18 mornfall jo, jenže pak už nemá smysl mít extra algoritmus
08:18 mornfall weak ltl je silnějši a funguje stejně dobře
08:20 mornfall (tzn. nemá úplně smysl mít algoritmus pro slabší logiku pokud není rychlejší/lepší než nějakej obecnější)
08:20 xstill jo, chápu
09:24 xstill spito: několika testům v PTS chybí testfrmw.h který by měl být někde u toho
09:25 spito podívám se na to doma
09:25 xstill ok, dík
09:48 yaqwsx joined #divine
10:02 xstill mornfall: na https://github.com/vlstill/presentations/blob/master/rh_1612/pres.md je první draft části prezentace
10:03 xstill přidal jsem tě k tomu repu, takže bys měl byt schopný doplnit svoje části tam
10:03 xstill já zatím dodělám ten konec
10:40 mornfall to se nemůže stihnout (pokud má být ten konec delší než 5 minut)
10:41 mornfall (nebo teda může, ale pak dost hrozí že pro většinu obecenstva to bude nicneříkající seznam plný žargonu)
10:50 mornfall určitě by nepůsobilo moc dobře kdyby 3 měsíce divinu zabraly výrazně víc času než rok phd studia dozadu a plán na další rok dopředu... tzn. asi bych mířil na 12+12 minut jako horní limity a demo asi vypustil
10:52 mornfall něco z toho co je teď na začátku se asi může přesunout do té druhé půlky
10:54 xstill hm, já to pochopil, že se má prezentova hlavně to co se udělalo od posledního meetingu. Ale asi to dává smysl tak jak říkáš ty
10:55 xstill takže to budu muset dost předělat…
10:58 mornfall já vlastně nevim, je pravda že ten příští bude asi blíž k výročí tvýho phd studia
10:58 yaqwsx joined #divine
10:59 mornfall ale minule byla jen prezentace za divine jako celek a diskuse, ne? (to bys pak měl pokrýt asi celý půlrok, a to zase už dává smysl vzít to celý)
11:10 xstill asi dává smysl to pokrýt celé
11:10 xstill ono teda za léto se toho až tolik nestalo…, niminálně podle počtu komitů
11:36 xstill pak by mi asi dávalo větší smysl shrnout první rok svého PhD, pak shrnout co dalšího se událo na DIVINE za poslední půlrok a pak udělat výhled na budoucnost
11:42 mornfall za který léto? letní prázdniny jsou přes 400 patchů
11:43 xstill ajo, blbě se dívám, červen a červenec mají relativně málo, ale srpen už má dost
11:44 mornfall víceméně se to od května drží na těch ca 200/měsíc
12:23 xstill tak jsem to proházel, ještě musím dodělat výhled do budoucnosti a nevím jestli toho pořád není moc. A bude ještě potřeba doplnit co dalšího se stalo za poslední půlrok
12:23 xstill nicméně teď musím na chvíli mizet, objevím se tu někdy kolem čtvrté
12:24 xstill kdyžtak prosím zatím zkus doplnit co bys chtěl říct k DiVM a simu
13:20 yaqwsx joined #divine
16:45 xstill_ ještě k tomu nám spadla půlka thecusu, teda chvíli to vypadalo, jako že z toho RAID 6 pole lehly 3 disky, ale vypadá to, že nakonec "jen" dva, takže se to snad ještě rebuildne
16:46 xstill_ nicméně iSCSI spadlo a zatím ho nechávám dole než doběhne ten rebuild
16:46 xstill_ (home tam pořád nejsou, tak to není až tak kritické)
16:47 xstill_ hm, tak nic, rebuild udělal asi půl procenta a spadnul…
16:47 mornfall au
16:47 xstill_ a ten třetí disk co se tvářil tak napůl, tak už se zase tváří mrtvej
16:49 xstill_ nevím zatím co na té části thecusu bylo, worst case scenario je v podstatě buildbot a něco z /data, zbytek snad byl buď na starém poli, nebo rozložený mirroringem přes ty dvě půlky thecusu. Takže to není až tak hrozný snad…
16:53 mornfall postgres lehl a /sr/builds, zdá se
16:54 mornfall journald samozřejmě vyrotoval všechno relevantní pryč
16:54 mornfall (dneska ve 4 ráno už to bylo mrtvý)
16:55 xstill_ podle logu thecusu umřel druhej disk v jednu v noci
16:55 xstill_ ale kdy umřel ten třetí to tam pro jistotu není
16:56 xstill_ nevím, vypadá to dost marně, teď to tvrdí, že ten disk je online ale není v tom raidu
16:56 mornfall no, už o půl dvanácté LVM vyhodilo jednu větev postgresovýho LV
17:00 xstill_ to thecusový rozhraní je dost na nic jinak, není tam pořádně vidět který disky jsou OK
17:04 mornfall taky je to levnej taiwanskej Å¡rot
17:05 xstill_ akorát by mě teď zajímalo jak zase zapnu to iSCSI alespoň na to pole co jede. respektive teda iscsi možná i jede, ale LVM to nějak nevidí
17:06 mornfall systemd něco zmotal
17:07 mornfall už tam je (pvscan --cache)
17:07 mornfall (systemd na sebe vzal management blokových zařízení ale moc mu to nejde)
17:07 xstill_ nojo, systemd
17:08 mornfall oni tyhlety situace moc netestujou
17:08 xstill_ hm, jak v LVM poznám, že je ten mirror degradovanej?
17:13 mornfall lvs -o +lv_health_status
17:13 mornfall jo prezentace je v ~xrockai/doc/xstill-presentations
17:16 xstill_ jo, dík
17:17 xstill_ asi bych se měl raději věnovat tomu…
17:19 mornfall hm, s tím gitem je to taky těžký
17:20 mornfall jo, asi jsem tam ještě pushnul jednu změnu
17:21 mornfall nevim moc jak to vypadá protože pandoc: Could not find data file /usr/share/pandoc/data/templates/../styles/paradiseBeamer/template.tex
17:21 mornfall (to je teda na arke, ale u sebe mám obdobnou chybu)
17:21 xstill_ asi potřebuješ git submodule update -i
17:21 mornfall omg :-)
17:22 xstill_ pushnul jako do toho repa co máš v home?
17:22 mornfall jo
17:23 mornfall jenže na arke nemůžu mít checkout protože pak do toho nejde pushovat... meh
17:23 xstill_ já myslel, že to pushneš do githubu (dal jsem ti přístup, asi ti měl přijít nějakej mail)
17:23 mornfall (teď to jde přeložit, ale ne tu verzi co jsem chtěl)
17:24 mornfall aha to funguje takhle... já znám jen tu verzi kdy si člověk na githubu udělá fork a pak se to nějak pulluje v tom webovým rozhraní
17:25 xstill_ fork je overkill na spoustu věcí
17:25 xstill_ pokud teda nemáš jako  git jako náboženství
17:31 mornfall skoro se zdá že github znovuobjevil centralizovaný version control
17:45 xstill_ ten výhled do budoucna by to asi taky chtělo rozepsat do nednotlivých slidů, že?
18:04 mornfall možná jo no
18:05 mornfall když se to rozhodí na 4, tak jich bude ~15, to je asi ještě rozumnej počet pokud se nebude moc zabíhat do detailů
18:15 xstill_ mám si pullnout z toho repa u tebe, nebo to pushneš?
18:15 xstill_ a jo, rozepíšu to
18:15 xstill_ za chvíli to bude
18:23 mornfall radši si pullni
18:23 mornfall když jsem udělal pull tak mi to vyhodilo konflikty
18:28 mornfall (já to repo pak klidně vyhodím a naklonuju znovu, protože si nepamatuju která kombinace rebase, merge, reset a checkout je v týhle situaci ta správná :p)
18:29 xstill_ ok, pullnu
18:34 xstill_ zatracenej git
18:35 xstill_ budu hnusnej a udělám force push
18:35 mornfall bys mohl ty moje změny rebasenout ne?
18:36 xstill_ jo, ale samozřejmě jsem ten rebase udělal obráceně
18:36 mornfall aha
18:36 xstill_ takže jsem změnil svoje patche místo tvých
18:37 xstill_ ale teď je tam snad všechno
18:37 xstill_ kdyby to bylo nějaké repo na kterém dělá i někdo další tak bych to i opravil, ale tady se mi nechce…
18:55 xstill_ rozepsal jsem ten konec, podíval by ses na to prosím? Případně jestli tě napadá co dalšího by se tam mělo objevit…
18:58 mornfall hm, já stejně nevím kde mám ssh klíč k githubu (takže musím klonovat po https)
19:01 mornfall jo vypadá to dobře
19:02 mornfall tu prostřední část můžu případně říct, ale přijdu až těsně před začátkem takže improv :)

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