Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-01-17

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

All times shown according to UTC.

Time Nick Message
10:46 ilbot3 joined #divine
10:46 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
10:51 spito joined #divine
11:15 mornfall :-) dokonce
15:00 spito joined #divine
16:18 xstill nojo když on někdo neuměl programovat před tím rokem a půl nebo kdy to bylo
16:23 spito tak sorry no :P
16:26 xstill spito: ale to byl já, žejo :-D
16:26 spito tak cojá vim
16:33 xstill no a ještě bych mohl začít programovat dneska
16:38 xstill mornfall: nechceš to řešit tady? Myslím, že ostatní náš nixos moc nezajímá
16:42 xstill mornfall: jak získám tag z gitu?
16:45 mornfall to bych taky rád věděl :D
16:46 mornfall a s known_hosts jsem reagoval na tebe :)
16:48 xstill tak known_hosts jo, to jsem předtím psal tomášovi
16:49 mornfall každopádně jsem je z /etc odlinkoval a do /root/.ssh/ jsem narval co bylo potřeba
16:49 mornfall až krize pomine tak deploy vrátí /etc jen to chce smazat /root/.ssh/known_hosts asi
16:51 xstill ok
16:58 spito my máme krizi?
16:59 xstill no z fi počítačů se nejde přihlásit na pheme, protože unix nebyl schopjen od včerejška aktualizovat known_hosts
17:01 xstill krom toho jsem si ještě rozvařil těstoviny ale z toho snad labová krize nebude :-P
17:06 spito to záleží kde sis ty těstoviny rozvařil a komu jsi je podával
17:39 spito hehe, někdo nám chce pomáhat s divinem :D
17:39 spito teda...chtějí si udělat vlastní thready
17:41 xstill co? kod?
17:42 xstill *kdo?
17:44 spito přišel mail...z berlína
17:44 spito na divine@fi
18:57 mornfall IoT, novej buzzword
18:57 spito co s tím uděláte, chlapci?
18:57 spito asi jim to zakázat nemůžete, co?
18:58 xstill co?
18:58 spito aby si udělali vlastní RIOT thready
18:58 xstill co je IoT?
18:59 spito Internet of Thinkgs
18:59 spito *Things
18:59 xstill aha to už tady bylo nějakou dobu ale, ne?
18:59 xstill (jako keci o tom)
19:01 mornfall kecy*
19:01 mornfall spito: proč bychom to chtěli zakazovat?
19:06 spito to spíš, jestli jim odpovíte :)
19:06 spito (už mi z učení asi hrabe)
19:49 xstill mornfall: ještě teda musím nějak vyřešit jak se algoritmus dozví s čím to stateFlags volat. Asi nejjednoduší by bylo kdyby useProperty vracelo seznam relevantních flagů, ale to nením nakolik je hezké.
19:54 mornfall to asi záleží kde chceme mít tuhletu logiku
19:55 mornfall jestli to chceme nechat v generátoru jako teď, asi nejlepší je nechat useProperty jak je
19:55 mornfall a v stateFlags vracet (virtuální) isgoal
19:55 mornfall podle toho jak se zavolalo useProperty
19:57 xstill hm taky možnost
20:33 spito a máme někde v manuálu popsané __divine_interrupt_* primitives?
21:47 mornfall kdoví

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