Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-09-08

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

All times shown according to UTC.

Time Nick Message
08:51 spito joined #divine
09:00 mornfall nechci nic říkat, ale všimli jste si někdy že divine/llvm vůbec neumí signed aritmetiku? :D
09:53 xstill co?!
09:55 mornfall no, prostě všechno je unsigned :-) už jsem to opravil, zachvíli to pushnu
09:55 mornfall assert( -1 < 0 ) -- bum :-)
09:55 xstill :-D
09:56 xstill toho jsem si nikdy nevšiml
09:56 xstill z toho je vidět jak to všichni "používáme"
09:56 xstill :-P
09:57 mornfall mi hlavně přijde veselý jak Milan dokázal udělat to nscd :]
09:57 mornfall ke kterýmu jsem se teda furt nedostal
10:22 mornfall ten clang je ale sviňa
10:23 mornfall on mi rozbije agregáty ve vararg callu... pche
10:25 xstill jakto?
10:25 mornfall no na složky
10:25 mornfall ono v C to asi vyjde na stejno
10:25 mornfall ale nelíbí se mi to :-P
11:02 xstill heh, to je docela veselé
12:37 mornfall no, už umíme házet aj chytat, jen to nějak blbě rozlišuje kterej catch blok pustit
12:50 mornfall ještě aby to fungovalo když ten selector se v IntrinsicLowering přeplácne konstantou
17:27 mornfall v kolik zítra vlastně?
18:01 xstill nevím, to určuješ ty ne?
18:01 xstill ale v 6 ráno nepříjdu :-P
18:06 xstill zajímavý, dereference unique_ptr je pomalejší než shared_ptr
18:07 spito zítra? já myslel, že jsi psal, že v pondělí nemůžeš
18:07 spito já dojedu až někdy...pozdě do Brna
18:19 mornfall šmaria :-)
18:19 xstill hm, zajímavější divine v release, metrics -w 1 lamport.bc: gcc: velikost 573MB, 149s;clang/libc++ velikost 196MB, 43s
18:20 xstill jestli tohle platí i na větším modelu tak clangu v klidu odpustím, že potřebuje víc paměti
18:21 mornfall úterý je v semestru přece
18:22 mornfall http://irclog.perlgeek.de/divine/2013-09-04#i_7540534
18:22 mornfall 10 minut poté jsi dokonce tvrdil že žiješ
18:23 xstill :-D
18:23 spito jaj, jsem přehlídl
18:24 spito (a nesměj se mi)
18:26 spito no, do Brna přijedu cca v jednu
19:23 xstill takže jak?
19:26 mornfall no
19:26 mornfall já si zrovna domluvil oběd na 12, takže až dojím tak přijdu na FI
19:26 mornfall a spito so prostě bude muset snažit :-]
19:30 xstill ok
19:36 xstill btw. i na větším llvm modelu a s kompresí je clang-ový divine skoro 2x rychlejší
19:37 mornfall to je docela zajímavý :-)
19:37 xstill to teda
19:38 xstill kdyby mi to někdo tvrdil asi mu nevěřím
19:38 mornfall tak on za to může asi interpret
19:38 xstill ?
19:38 mornfall jakože ten rozdíl je v rychlosti interpretování bitkódu
19:38 mornfall řekl bych
19:38 mornfall divine s cesmi bude nejspíš dost podobně rychlej
19:38 mornfall gcc aj clang
19:39 xstill no jo, ale proč tam je takový rozdíl
19:39 xstill kód je přece stejný
19:39 mornfall no, ten interpret je dost STL-heavy
19:39 mornfall takže libc++
19:40 mornfall ono je tam taky dost zbytečných kopií teda
19:40 xstill potom by se měli v gcc zamyslet nad svojí knihovnou
19:41 mornfall no, ona je stará, a drží ABI už kdovíjak dlouho
19:41 xstill hm, kompatibilita je koule u nohy
19:41 xstill to je fakt
19:45 * spito se bude snažit dojít co nejdříve
19:45 spito ale vidí to tak na půl druhou, šaliny jsou pomalé
20:12 zbeasnyy joined #divine
20:14 mornfall joined #divine
22:12 _ilbot joined #divine
22:19 ChanServ joined #divine
22:19 xstill joined #divine
22:19 xHire joined #divine
22:19 mornfall joined #divine
22:19 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/

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