Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-01-27

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

All times shown according to UTC.

Time Nick Message
08:52 spito joined #divine
10:49 spito ad petrovy cvičební skupiny - těsně před začátkem semestru se obvykle posílá doodle, kde si jednotliví cvičící zakliknou svoje preference
10:49 spito a petr to pak rozhází
10:51 spito xstill: teď už vím, že se mi PB071 kryje s paradisem
10:53 spito jinak to teda vypadá, že cvičících je nejspíš dostatek
10:53 spito mornfall: když popíchneš Petra, on se ozve, neměl by být problém vzít si jednu skupinu
11:03 spito mornfall: http://anna.fi.muni.cz/~xweiser1/table.pdf
11:03 spito je to jako obrázek postačující? mohu z toho vycházet?
11:06 mornfall počkej musím si nainstalovat nějakej prohlížeč pdf :D
11:06 mornfall no vlastně nemusim pdf.js to namaluje
11:06 spito anna.fi.muni.cz/~xweiser1/table.svg ?
11:07 mornfall v principu je to asi dobrý jo
11:07 mornfall mohlo by to být trochu hezčejší ;-)
11:08 spito a to bys chtěl docílit jak?
11:11 mornfall no, trochu konzistentnější kraje kolem písmen asi hlavně
11:11 mornfall (a možná i větší, i když to bude taky problém protože zase chceme aby to bylo čitelný a ne příliš velký....)
11:12 spito tak já měl za to, že tím, že to je vektorový, tak nebude problém to naškálovat
11:12 mornfall no to ne ale nechceš prťavý písmenka
11:12 mornfall :-)
11:13 spito písmo je 16
11:14 spito všude bys to chtěl zvětšit?
11:14 mornfall to právě není moc relevantní když to naškáluješ
11:14 mornfall ne, chtěl jsem je zmenšit
11:14 mornfall aby se to nepralo s čárama kolem (krabičkama)
11:14 mornfall nebo aspoň posunout víc doprostřed
11:15 mornfall ale to je celkem detail, on to někdo pošoupe kdyžtak
11:15 spito a který písmenka máš na mysli?
11:15 spito čísla vláken, CR, ref county, popisky políčka v tabulce
11:16 spito (mi se to totiž zdá jako hezky čitelný)
11:16 mornfall ...
11:17 mornfall myslím že mluvíme každý o něčem jiném
11:17 mornfall a) zvětšit *mezery* kolem písmen -> písmenka *zmenšit* b) ale ne moc aby to ještě šlo přečíst
11:18 mornfall zejména F / hash / value, 1 a vrchní 2 v tabulce dost naráží na svoje rámečky
11:22 spito trochu jsem upravil table.svg
11:22 spito je to lepší?
11:24 mornfall lepší, ale furt je každej label jinak posunutej vůči rámečku
11:24 spito a víš, jak se centruje v inkscape?
11:24 mornfall z hlavy fakt ne (ale mělo by to jít)
11:24 mornfall někde pod align (musíš vybrat rámeček a text dohromady)
11:25 mornfall druhá možnost je hodit si tam guideliny
11:25 mornfall (a srovnat to podle nich)
11:40 xstill hm, je bezpečný alokovat pole n objektů typu T bez inicializace jako operator new( sizeof( T ) * n ) nebo tam může být problém se zarovnáním?
11:58 xstill hm, to gcc je fakt marný
11:58 spito libovolný, nebo to starý? (4.7)
11:58 xstill právě že 4.9 teď
11:58 xstill takže asi všechny
11:58 spito a s čím tě zlobí?
11:59 xstill zase něco blbě zoptimalizovalo, viz ten SmallVector test
12:03 xstill hm, brick_test::data::TestSmallVector terminate called without an active exception, zdá se že jsem vyhodil výjimku v destruktoru teď
12:03 xstill ta chybová hláška ovšem není moc jasná
12:09 mornfall hmm
12:16 xstill hm, dokážu nějak v gdb udělat goto?
12:16 mornfall jaj... to fakt nevim
12:16 mornfall ale zní to dost nebezpečně
12:16 xstill nebo donuti funkci aby vrátila bez provedení zbytku
12:16 xstill tak jasně
12:17 mornfall jako můžeš tomu změnit eip asi
12:17 mornfall (a disassemble ti řekne adresu kterou tam chceš dát)
12:17 xstill hm to je trochu hardcore :-D
12:17 mornfall nevim co by sis představoval :P
12:17 mornfall dwim to nemá...
12:18 xstill tak něco jako goto číslo řádku ideálně
12:18 xstill ale to nevadí
12:18 mornfall jo, to je jen jinej název pro dwim :P
12:18 xstill a víš jak zobrazím disassebly okolí?
12:19 mornfall když to napíšeš jen disassemble?
12:19 xstill aha
12:22 xstill nojo funguje to
12:22 xstill teda set $pc = …
12:30 xstill hm, gcc prostě někam ztratilo from->~X(); (X má defiovaný netriviální destruktor)
12:46 mornfall xstill: no a není problém v tom __triviallyDestructible?
12:46 mornfall dej si tam assert unreachable
12:47 xstill není, tam netoda se volá
12:47 xstill to už jsem zkoušel
12:47 xstill fakt jsem došel k tomu, že to vyhodí jen ten destruktor
12:47 xstill i když dám assert do toho cyklu v _drop tak ten assert failne, ale v disassembly nevidím nic jako destruktor
12:47 mornfall zajímavé
12:49 xstill hm
12:55 xstill donce s jiným objektem to funguje
12:55 mornfall hm
12:57 xstill jako, je možný, že se gcc prostě vysere na destruktor, kterej nemá žádnej efekt mimo lokální proměnné toho objektu
12:58 xstill ~Int() { v = 0; }
12:58 mornfall no to v = 0 by asi udělat mohl
12:58 mornfall aha
12:58 mornfall jenže to dost možná není definovaný
12:58 mornfall (teda celkovej výsledek)
12:59 mornfall protože v „neexistuje“ po tom co ten destruktor skončí
12:59 xstill jo no
12:59 mornfall pro ten test bych si tam asi dal globální počítadlo
12:59 mornfall nebo tak něco
12:59 xstill nojo když udělám volatile int v tak už to funguje, ale kdo ví jestli je to definovaný
13:00 mornfall asi spíš ne
13:00 mornfall ale aspoň bude release :-)
13:00 mornfall a pak bych mohl zapracovat na článku aby měl Jiřík klidný spaní
13:00 mornfall kdy udělám to všechno ostatní co mám dneska udělat ovšem nevim
13:04 xstill dal jsem tam ten volatile zatím
13:04 xstill a ještě je tam refaktoring kterej sem při tom udělal
13:07 xstill takhle hodně zelený už to pěkně dlouho nebylo :-)
13:10 Maybear joined #divine
14:34 xstill mornfall: můžu pustit deploy? potřebuju přidat skupinu scanner uživatelům
14:35 mornfall hm, možná, ale určitě bez --update :-)
14:38 xstill no zkusím to, ale máš tam nějak moc změn
14:40 mornfall aha
14:40 mornfall no ty musíš revertnout jinak se všechno rozbije :D
14:40 xstill tak já na to kašlu
14:40 mornfall nemám čas :|
14:40 xstill ono to počká
14:44 xstill jo nechám tu změnu v tom users.pl, je zarecordovaná a mělo by to pak fungovat
14:46 mornfall ok
14:54 xstill ale na síťové skenování bude potřeba ještě trochu zhackovat nixos
14:55 mornfall já musim hlavně zhackovat nixos na to iscsi
14:56 xstill to je pravda důležitější no, ale tam já zas nic netuším, takže to budeš muset zvládnout asi
15:54 mornfall takže v pátek kino jo?
15:54 spito eh?
15:54 spito jaké kino?
15:55 xstill viz mail
15:55 mornfall spito: třeba tam budou český titulky :P
15:56 spito no ale i tak...já se toho asi trochu bojím
15:56 xstill no já se skoro bojím aby to nebylo dabovaný, když je ten název česky
16:05 spito mornfall: jinak jsem to svg zase trochu upravil
16:17 xstill mornfall: ohlašujeme špatné malloc/new/new[] proti free/delete/delete[]?
18:01 spito joined #divine
18:12 mornfall xstill: myslíš v divinu? neřekl bych
18:15 mornfall to by asi userspace musel sežrat extra slovo z každý alokace pomocí new
18:15 mornfall nebo něco v tom smyslu
18:16 mornfall vlastně nakonec i z malloc/free
18:17 xstill jo no :-(
18:53 xstill hm, jakto, že je F20  aborted?
18:53 xstill už jsem si myslel, že bude release
19:00 mornfall tak, aborted
19:00 mornfall transient error, restartoval jsem
19:01 xstill to restartuješ kde?
19:03 mornfall https://divine.fi.muni.cz/hydra-auth/
19:03 xstill aha
19:36 spito joined #divine
19:45 ilbot3 joined #divine
19:45 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
20:22 xhire_ joined #divine
21:20 xstill hej ta fedora 20 je za trest
21:20 xstill Kernel panic - not syncing: Out of memory: compulsory panic_on_oom is enabled
21:21 mornfall no jo to si nevybereš
21:21 xstill dal jsem ten job restartovat
21:21 xstill ale ale ono to je asi na nic
21:22 xstill ale to je divné, je to při buildování instance
21:23 xstill to by nemělo potřebovat zdaleka tolik paměti
21:25 mornfall třeba tam je nějaký vadný gcc
21:25 mornfall nebo to nepochopitelně pouští paralelně
21:25 mornfall jen nevim jak to poznat
22:57 mornfall xstill: no luck
22:58 xstill proč to sakra musí padnout zrovna když už máme všechno ostatní zelený
23:00 mornfall hmm, ale tohle je zajímavý, 1m/tmp/rpmout/BUILD/divine-3.2.2+pre5519/bricks/brick-data.h:372:9: 1;35mwarning: assuming signed overflow does not occur when assuming that (X + c) < X is always false [-Wstrict-overflow]
23:00 xstill jo o tom vím
23:00 xstill je to v pořádku
23:01 xstill podle mě to tam napropaguje výraz a zjistí, že pro tenhle parametr je ten if jasnej
23:03 xstill nejspíš je to z emplace_back, kde je _resize( _size + 1 )
23:04 xstill takže je to dokonce žádoucí aby ten if zmizel, ale gcc to přehání s varováním
23:04 mornfall to je klidně možný
23:04 xstill (ten if je count < _size, kde count je v tomhle případě to _size + 1)

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