Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-04-19

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

All times shown according to UTC.

Time Nick Message
07:45 xstill_ díky
07:57 xstill_ mornfall: dalo by se ještě v arxivu opravit abych byl v seznamu autorů? (pdf je v pořádku ale na stránce nejsem)
13:06 xheno Pamätáte si niekto jak sme sa dohli, že sa bude substituovať GetElementPtr?
13:12 xstill xheno: myslím, že jsme se dohodli, že se nebude substituovat, protože ten pointer není abstraktní, jen ta hodnota v něm, takže GEP může zůstat konkrétní jen vracet pointr na abtraktní hodnotu
13:13 xstill (než budeme mít abstraktní pointry)
14:26 kejsty joined #divine
14:44 kejsty mornfall: nakoniec 18-20 este budem v labe
14:46 mornfall hmmm ok, pridem
15:10 yaqwsx Co se mi snaží divine sdělit, když mi divine verify vypíše jako trace pipu '|' ?
15:11 yaqwsx xstill: Umí pthready detekovat deadlock?
15:12 xstill_ yaqwsx: umí, ale jen mezi mutexy
15:12 xstill_ (ne mezi rwlocky, podmínkovými proměnnými… chtělo by to někdy dodělat)
15:12 xstill_ ono by se o to asi měl starat dios ve skutečnosti, ale to časem
15:13 yaqwsx Ok, takže cviko si divinem nezverifikuji :D
15:13 xstill_ můžeš si zkusit napsat monitor a zverifikovat přes liveness, že to skončí
15:13 xstill_ ale asi to nebude úplně trivka
15:13 xstill_ a budeš si muset napsat fair scheduler po cestě možná :-p
15:14 xstill_ (alespoň ho pak budeš mít hotovej do projektu)
15:14 xstill_ udělám ti code review
15:18 yaqwsx Mě by hlavně zajímala ta pipa...
15:24 xstill_ aha sorry
15:25 xstill_ jakože choices made nebo error trace?
15:25 yaqwsx xstill_: Není se za co omlouvat. Asi jsme se nepochopili.
15:25 xstill_ pokud jsi v error trace dostal jen | tak to vypadá, že fault handler nic nevypsal
15:26 yaqwsx error found: yes
15:26 yaqwsx error trace: |
15:26 xstill_ (normálně by za tím měl být výpis std{err,out} programu končící výpisem fault handleru)
15:26 yaqwsx Dostal jsem backtrace, to ano, ale myslel jsem, že error trace jsou choosy.
15:26 xstill_ ne to je choices mad
15:26 xstill_ *made
15:26 yaqwsx ...neumím číst.
15:26 yaqwsx Má pravdu
15:27 yaqwsx *máš
15:27 yaqwsx std::initilizer_list nejde chytit do obecné šablony?
15:28 xstill_ ne (respektive ne pokud ho explicitně neotypuješ)
20:21 kejsty joined #divine
21:25 kejsty joined #divine

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