Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-08-13

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
06:12 divine-buildbot joined #divine
07:13 divine-buildbot_ joined #divine
07:16 divine-buildbot joined #divine
07:16 divine-buildbot build #26 of divine-debug started
07:16 divine-buildbot Hey! build divine-debug #26 is complete: Failure [finished]
07:17 divine-buildbot build #27 of divine-debug started
07:55 divine-buildbot Hey! build divine-debug #27 is complete: Failure [finished]
08:08 divine-buildbot joined #divine
08:08 divine-buildbot build #28 of divine-debug started
08:46 divine-buildbot Hey! build divine-debug #28 is complete: Failure [finished]
09:35 divine-buildbot joined #divine
09:35 divine-buildbot build #29 of divine-debug started
10:14 divine-buildbot Hey! build divine-debug #29 is complete: Warnings [finished]
14:08 mornfall T: [ DiOS out! ]
14:08 mornfall found 1162 states and 1161 edges
14:08 mornfall teď vyvstává otázka proč tak hrozně moc stavů když to je (skoro) prázdnej main
14:17 mornfall nojo když všechna ta ctor/dtor mašinérie se pouští až ve vlákně, to pak dává smysl
14:18 mornfall já to dám s dovolením pod masku :-)
17:31 xstill :-)
17:31 xstill jo to bylo spoustu stavů už ve starém divine
17:31 xstill je tam spousta pthread věcí a tak
19:02 xstill mornfall: přidej do hlavního repa hook na /srv/builds/buildbot/darcs_hook.sh -p divine -c divine; na https://paradise.fi.muni.cz/builds/#/ máme buildy, snad to bude fungovat
19:02 xstill (login je kerberos)
19:03 mornfall a bez toho imperativu by to nešlo? :p
19:05 mornfall to má zase nějaký javascriptový guítko
19:05 xstill no šlo…
19:05 xstill jo no má, to je dneska všude
19:07 mornfall pro jistotu mi https://paradise.fi.muni.cz/api/v2/logs/182/raw dává 404
19:07 mornfall (to je počítám čitelná verze logu)
19:08 xstill hm, k tomu ses dostal jak?
19:08 mornfall kliknul jsem na 'raw' v logu
19:09 xstill aha, když klikenš na tu ikonu vedle linku na log tak tě to hodí na něco jako https://paradise.fi.muni.cz/builds/api/v2/logs/184/raw a to funguje (to builds navíc)
19:10 mornfall nj, to chce zase ukládat na disk ale
19:11 xstill a kde máš to raw tlačítko? (já tam vidím jen download a ten u logu nefunguje)
19:12 mornfall jo ten download to je
19:12 mornfall ikonka je stejná, jen místo je jiný
19:14 mornfall to je jedno, stejně to je děsně pomalý a komplikovaný
19:15 mornfall počítám že logy a výstupy z testů půjde nějak vymlátit a pak mi to je asi jedno
19:16 mornfall tyjo to běhá na pythonu 2.7?
19:17 xstill jo no
19:17 mornfall hlavně že frontend je v angularjs :-)
19:18 xstill mohl jsem si vybrat jestli chci CI v pythonu nebo v javě…
19:18 mornfall doufám že to celý spadne když někdo vypíše do logu invalid utf8 sekvenci :D
19:19 mornfall jako trac
19:19 mornfall python 2 a řetězce to nejde dohromady
19:19 xstill :-D už to spadlo na tom, že v kontextu bylo UFT-8 :-D (ale ne celý jen buidl), ta jejich podpora darcsu je trochu slabší…
19:21 xstill počítám, že to jádro je docela starý ale ten webovej frontend je tuším dost novej
19:21 xstill ale taky jsem čekal, že to bude python3 a pak jsem se divil, že to nefunguje
19:21 mornfall no, twisted
19:21 xstill (protože v archu je default python3)
19:21 mornfall to uteklo z hrobu
19:21 xstill co?
19:21 mornfall python twisted, to je takovej ultramega framework
19:23 xstill aha
19:24 mornfall https://lwn.net/Articles/689068/
20:05 mornfall xstill: jak tak koukám na ten posthook, nebylo by lepší nechat ho pollovat?
20:05 mornfall jestli to teda jde...
20:08 mornfall i když se trochu bojim, že i kdyby jo tak to bude podobnej slepenec
20:10 xstill to neumí :-/
20:11 mornfall to je jeden race na druhým, a já ten push pouštím po síti
20:12 mornfall možná bude lepší tomu vyrobit extra repo a pullovat do něj cronem
20:12 mornfall tam je menší šance že to umře na connection reset by peer a rozhasí to historii v buildbotovi
20:13 mornfall (protože se zdá že ta se nějak lepí z toho co ten skript pošle)
20:14 xstill ono z té historie je asi podstatný hlavně kontext (teda ten zbytek se zobrazuje u té změny a jde ho nějak zkohledňovat, ale jinak ho nikde nepoužíváme)
20:15 mornfall no ten kontext to pro jistotu posílá jen u jednoho patche z každýho pushu
20:16 xstill hm, to neposílá context celýho repa?
20:16 mornfall no ne, kontext patří k revizi ne k repu
20:17 mornfall tam asi byla myšlenka, že by to umělo udělat build z libovolné revize
20:17 xstill kontext je revize pro buildbot
20:17 mornfall něajkým kliknutím
20:17 mornfall jo, a ten to posílá prostě jednou per push
20:17 mornfall nikoliv jednou per patch
20:17 xstill to stačí, on stejně buildbot dělá jeden build za to celý
20:18 xstill (a dělat build za každý patch zvlášť by stejně nedávalo moc smysl)
20:18 mornfall no to je to co jsem myslel tím 'myšlenka byla' ... on kdysi měl buildbot tlačítko na vyrobení buildu
20:19 mornfall funguje an linuxu ještě cron?
20:19 xstill to má (force nahoře u buildera) jen bys mu musel dát celej kontext u darcsu jako revision (u gitu hash patche)
20:20 xstill cron tam nemám… fakt myslíš, že se to rozseká?
20:20 xstill (tj. fungoval by , kdyby byl… snad)
20:20 mornfall no já bych si to radši dal do crontabu a posouval to lokálně
20:21 xstill jakože bys poloval pull na anně a pouštěl ten jejich bazmek?
20:21 mornfall přecijen to halabala přepisuje ten magickej soubor podle kterýho to pozná co má poslat
20:22 mornfall a když ho ztratí tak přestane fungovat, protože máme víc než 100 patchů
20:22 xstill proč by to přestalo fungovat?
20:23 mornfall if 2 * lookback > 100:
20:24 mornfall raise RuntimeError("unable to find our most recent change "
20:24 mornfall :-) co se stane když to smažu a pošle to jakoby nový repo to nevim
20:25 xstill se nestane nic špatnýho počítám, jsem to udělal asi tak 10x, že jsem smazal ten soubor a poslal to znova
20:25 mornfall jo, udělá to getSomeChanges(1) takže jen poztrácí nějaký patche
20:26 xstill jakože stalo by se potenciálně kdybychom nějak vyhodnocovali, jestli má smysl buildovat podle těch změn co to pošle, ale to počítám nikdy chtít nebudeme
20:29 mornfall hm, locate mi docela chybí
20:30 xstill locate zařídím
20:31 mornfall heh, našel jsem sql-clanky.dump.gz z 2007
20:36 xstill myslím, že nějakou takovu starou věc už jsme někde našli, možná i trochu novější
20:40 xstill co udělá NFS když všichni spustí updatedb?
20:41 mornfall to nevim, asi umře... já mam v locate.rc tohle:
20:41 mornfall # be careful if you add 'nfs'
20:41 mornfall FILESYSTEMS="ffs ufs ext2fs"
20:42 xstill hm, pak to ale nebude umět hledat v home kromě toho stoje kde je namoutovaný přímo
20:43 mornfall to by v principu stačilo, pokud bude známo kterej to je
20:43 mornfall případně se to může dovolit arke ale ne ostatním
20:44 mornfall při tom jak to nfs teď funguje bych se pustit to na 20+ strojích fakt bál
20:44 xstill jo, ono je by default zakázané indexovat nfs
20:45 xstill na anně už locate jede
20:46 xstill jo, koukám na FI to taky funguje jen na anxurovi (takže studenti si locate nepoužijou…)
20:57 xstill jdu spát, už mi hrabe. Dej vědět co s tím darcsem, pokud to budeš chtít pollovat na anně, tak já to polování klidně nastavím, nicméně mi přijde, že je to spíš zbytečný

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