Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-06-06

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

All times shown according to UTC.

Time Nick Message
05:26 mornfall joined #divine
05:33 mornfall joined #divine
07:58 xbarnat joined #divine
13:45 spito joined #divine
16:13 xstill joined #divine
18:16 mornfall no, unit testy už fungujou, rozpadá se nám jen to nested dfs
19:46 xstill zase windows?
19:53 mornfall furt windows :)
19:53 mornfall ale není mi jasný co je na tom platform-specific
19:53 mornfall failuje to tam dost často ovšem
19:53 mornfall a na Linuxu jsem to zatím neviděl
19:55 xstill dost často, takyže nedeterministicky?
20:02 mornfall joined #divine
20:02 mornfall meh
20:02 mornfall jo, nedeterministicky
20:03 xstill co se ti děje, píše mi to že 'quit [Excess Flood]'?
20:03 xstill je to v hydře předpokládám
20:03 xstill právě jsem narazil na okamžik, kdy bych potžeboval C++14 lambdu :-(
20:04 xstill (už jsem si to našel)
20:04 mornfall to nevim kde se vzal excess flood teda
20:05 mornfall hmm, asi mass join při reconnectu? nevím
20:06 xstill to je asi jedno
20:06 mornfall v hydře to je, jo
20:08 mornfall | Model: data/test1-prop.dve
20:08 mornfall | States-Visited: 7
20:08 mornfall (má to 4 stavy)
20:09 mornfall aha kecám
20:09 mornfall -p LTL
20:09 xstill v tom případě jsou tam dva, prože já tam vidím ltltest2.dve.dll
20:09 mornfall 3, každej fail je na jiným vstupu
20:09 mornfall možná 4
20:12 mornfall je tam sched_yield v #ifdef POSIX, ale doufám že to nemá vliv na sémantiku :D
20:12 xstill a počty stavů nesedí předpokládám
20:13 xstill hm
20:13 mornfall sedí
20:13 xstill divný
20:14 xstill to nemá vliv na sématiku podle mě, jen to není moc dobré pro vytížení cpu
20:15 xstill a jako dal by se tam vrazit něco jako std::this_thread::yield, nebo jak se to jmenuje
20:17 mornfall teoretická možnost by byla že se nezapne správně shared
20:17 mornfall asi by to chtělo do reportu psát vybranou instanci :)
20:18 xstill ten nápad už jsem někdy měl, a pak se někam ztratil
20:21 xstill ale to by asi padali shared testy ne?
20:22 xstill *padaly
20:23 mornfall no, u většiny algoritmů by to znamenalo že se nepoužije ani shared visitor, asi
20:24 mornfall ale u ndfs jde jen o store, visitor je vždycky stejnej
20:24 xstill hm, taky fakt
20:36 xstill no, ale já budu pro dnešek končit, k zastižení budu až v pondělí (nebo možná v neděli večer)
20:37 mornfall ok
20:37 mornfall bych potřeboval spita spíš :)

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