Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-01-26

| 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/
08:24 xstill_ hm, když mám ovf + vmdk tak to funguje, ale ova z toho mi zatím nefunguje
10:04 mornfall ten devconf je trochu za trest... navrhuju abys tam zašel zítra ráno a napsal nás na tabuli :) jinak bych se šel mrknout na Ceph talk a možná Milana které je obojí v sobotu odpoledne
10:05 mornfall ještě se zítra ráno podívám na schedule že bych se tam někdy otočil, jinak budu na FI a nachystám slajdy na 5-7 minut
10:05 mornfall ty budou stejně užitečný, takže kdyby nás nevybrali tak nevadí
11:10 xstill_ jo no, ještě se taky podívám na program
11:13 xstill_ ad virtuálka, nakonec jsem to bez vboxu nerozchodil, ale když to proženu vboxem tak dostanu cca 500 MB .ova, ze kterého jde extrahovat tarem .vmdk (které se dá konvertovat na qcow2), nicméně by asi dávalo smysl držet pro poslední verzi jak .ova tak .qcow2, případně i pro víc pro naše testovací účely
11:15 mornfall qcow2 asi moc smysl nemá, to už spíš to vdi nebo co tam bylo doteď, nebo rozbalený vmdk... ale 500M je docela dobrý
11:16 xstill_ no na spuštění qemu potřebujeme qcow2
11:16 xstill_ (to vmdk uvnitř má taky 500MB, to ova je jen tar totiž)
11:17 xstill_ až na to, že vyměnit to za nový vmdk úplně nefunguje
11:19 xstill_ ještě teda musím tu virtuálku jednou přebuildit, ale jinak to snad funguje, patch je pak u mě
11:20 mornfall jakto, však qemu ... -hda image.vdi normálně bootuje
11:21 xstill_ aha, z vmdk to nebootuje
11:21 xstill_ minimálně ne z toho co vyblije vbox
11:24 mornfall z vmdk který jsem vyrobil qemu-img taky bootuje, jen má teda 4.5G
11:27 xstill_ asi qemu-img vytváří nějak jiný vmdk, s tím může souviset i to, že to ova z toho nefunguje
11:27 mornfall asi bych bral .ova + .vdi.xz, to je dohromady něco jako 1.5G na release
11:28 mornfall to je tak 40G za rok
12:40 yaqwsx_ Jak se nakonec bude prezentovat DIVINE na DevConfu?
12:41 mornfall no to právě nevíme jestli vůbec
12:49 xstill_ yaqwsx_: pokud tak jen kráce na max 10 minut jako lightning talk
12:55 yaqwsx_ Ah, takhel.
13:10 xstill_ mornfall: kdy má být ta tabule?
13:14 xstill_ super, většinou tam není nic moc zajímavýho a pak jsou potenciálně 4 zajímavý přednášky tak, že se 2 + 2 překrývají
13:50 xstill_ houby, ten build co měl 500 MB byl nějak víc vadnej, má to 1.4 GB
15:02 mornfall se mi to zdálo podezřele dobrý :)
15:03 mornfall ale furt to je řádově ~100G za rok, to máš jeden disk na 40 let :p
15:04 mornfall a ty ova můžem nakonec aj mazat a nechávat jen ty vdi.xz
15:04 mornfall tabule právě nemám páru, nic jinýho než že budou jsem o nich nenašel
15:05 mornfall xstill_: ideální by bylo kdybys našel něco co tě zajímá zítra dopoledne, to si myslím že se tam už objeví
15:06 mornfall ono je to ještě navíc na blbým místě
17:02 xstill jo, myslím, že .ova můžeme nechávat jen z posledních pár verzí
17:03 mornfall hm, a navíc je potřeba se zaregistrovat
17:04 xstill jj, já už jsem
17:04 xstill co je na blbým místě?
17:04 mornfall devconf
17:05 xstill no, na FI by to bylo lepší no
17:35 xstill mornfall: jak to cheme nazvat a kdo to bude přednášet?
18:00 mornfall buď nechat to co byl proposed talk (What Can Model Checking Do for You) nebo něco jako Model Checking for the Real World
18:01 mornfall realizovat to můžu, stejně tam tou dobou plánuju být a pomalu začínám mít představu jak prezentovat divine lidem co o tom nic moc neví
18:01 mornfall (teď ten CRoCS byl v tomto docela užitečný)
18:07 xstill ok
18:13 xstill mornfall: jinak jsme s Heněm opravili čast cast testů, patche jsou u mě (i ty Heňovy) + mám u sebe nové make-vm a do images na web jsem hodil .ova a .vdi.xz nabuilděné podle toho
18:13 xstill ještě napíšu nějaký text na download stránku k těm vmkům
18:25 mornfall wtf svcomp
18:25 xstill ?
18:25 mornfall kdo volá assert na neinicializovanou proměnnou...
18:25 mornfall v benchmarku
18:26 mornfall svcomp/bigshot_p_false-unreach-call.c
18:26 xstill tak svcomp
18:28 xstill ale to v je globální
18:32 mornfall to sice jo, ale první bajt je neinicializovanej
18:33 xstill aha to jo no
18:33 xstill kdo ví jakou maj sémantiku alokace zase
18:37 mornfall to teda znamená že sice divine okamžitě najde error, ale ne ten kterej je specifikovanej
18:38 xstill mornfall: jsi registrovanej?
18:38 divine-next 13 new patches validated [xlauko xstill]
18:39 mornfall ještě ne
18:39 xstill to máš blbý, protože registrace je prej už plná
18:39 mornfall s -o ignore:control to zafunguje
18:40 mornfall wtf :-)
18:40 mornfall to se stane jak
18:41 xstill nevím no
18:42 xstill já to naštěstí udělal včas
18:42 xstill ono v tom concurrency je velkej bordel celkově
18:42 mornfall will it be possible to register off-line? yes... nevim co to teda znamená
18:42 xstill pokud se budem chtít účastnit tak asi nezbývá, než jim to ohlašovat a opravovat
18:44 xstill nicméně Marek říkal, že se snad alespoň konečně zbaví preprocesingu
18:44 xstill yaqwsx_: doženeš dřív Kriha, nebo Heňo tebe?
18:48 yaqwsx_ mornfall: Udělej PR a pošli ho.
18:48 yaqwsx_ xstill: To uvidíme... Věřím si, ale zatím získává Heňo náskok! :D
18:49 mornfall Competition's rule: malloc() never fails, thus it is safe.
18:50 xstill to jo, ale to nic neříká o definovanosti
18:50 xstill o tom jsem zmínku nenašel
18:50 xstill spíš si myslím, že je to bug na který žádný s těch nástrojů neumí přijít
18:50 mornfall jo to jo, tohle je z jinýho benchmarku :)
18:50 xstill (z těch co jsou v concurrency)
18:51 xstill jo ten malloc je z oficiálních pravidel
18:57 xstill napíšu na tabuli ten "What Can Model Checking Do for You"
18:58 mornfall ok
19:19 xstill mornfall: napsal jsem text k těm VMkům, ještě buildím 4.0.1 protože v install.sh je 4.0.0
19:41 xstill mornfall: bylo by fajn aby ten shadow hypercall uměl říct, kde ten pointer začíná (asi relativně k adrese dotazu)
20:14 mornfall to asi jo, ale využije se to nějak v sym?
20:15 xstill jo, třeba load i32 na druhou půlku něčeho kam jsi před τím vložil i64
20:16 mornfall to mě sice napadlo, ale s tím je asi spousta potíží
20:17 xstill to ale musíme nějak vyřešit, bez toho nebude spousta věcí fungovat
20:18 mornfall jo to jo
20:19 xstill právě, že pokud půjde zjistit offset začátku pointeru tak už to nebude moc složitý udělat
20:19 mornfall ale radši bych se teď držel toho že load/store je vždy i64 a pak se zamyslel nad tím, jak řešit překrývající se nebo posunuté loady
20:20 mornfall nebo pokud to chceme řešit teď, tak by to mělo spíš vypadat tak, že se sym dotáže na rozsah adres a vymlátí všechny marked ukazatele co se s tím překrývají
20:20 mornfall a pak musí kouzlit...
20:25 xstill jo no, musel by se podívat na všechno co se překrývá s tím loadovaným rozsahem
20:25 mornfall to stejný pro store (proto mi přijde lepší to odložit, bude to trochu peklo)
20:27 xstill jo
23:19 divine-buildbot Hey! build divine-next-debug #445 is complete: Failure [finished]

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