Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-02-25

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

All times shown according to UTC.

Time Nick Message
01:12 CcxCZ joined #divine
01:40 CcxCZ joined #divine
01:40 spito joined #divine
01:40 xstill joined #divine
01:40 mornfall joined #divine
01:40 ChanServ joined #divine
01:40 xHire joined #divine
01:52 CcxCZ joined #divine
01:52 spito joined #divine
01:52 xstill joined #divine
01:52 mornfall joined #divine
01:52 ChanServ joined #divine
01:52 xHire joined #divine
02:49 ilbot3 joined #divine
02:49 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
14:39 spito mornfall: máme zaručené něco ohledně velikosti datových typů v divine?
14:39 spito resp. tedy v LLVM userspace
14:40 mornfall v jakém smyslu zaručené?
14:40 spito jako že si můžu nadefinovat int32_t jako int
14:41 spito v pdclibu to tak v podstatě je
14:49 spito eh, tak co s tím?
14:49 mornfall no, s tím divine nic nemá, v podstatě
14:49 mornfall to si rozhoduje clang
14:49 spito a to chceme mít jak udělaný?
14:51 mornfall no, časem chceme používat libclang
14:51 mornfall a pak si to budem rozhodovat sami
14:51 mornfall ale do tý doby to záleží na jaký platformě pustíš divine compile
14:51 mornfall +od toho
14:52 spito jasný, ale co s tím teď?
14:52 mornfall no, když se omezíš na i386 a amd64 tak ten int bude mít 4 bajty
14:52 mornfall ono to stejně nikde jinde moc fungovat nebude, asi
14:56 xstill spito: clang -dM | grep -v
14:57 xstill spito:  echo | clang -E -dM -  | less
15:46 xstill joined #divine
16:32 xstill mornfall: a ty obrázky co na ně odkazuješ z textu někde i jsou?
16:32 mornfall hm, obrázky
16:32 xstill "The trade-off inherent in tree-based compression schemes is visible in Figure
16:32 xstill ... and ..."
16:33 xstill co tam chceme za sekce, nějakou implementaci asi jo, že?
16:37 mornfall xstill: naimportoval jsem tam zdroják, ale chybí kolem toho nějaká kostra a makefile
16:39 xstill mornfall: to je co za věc? Alespoň bys mi mohl napsat jak to přeložím.
16:40 mornfall no, zatím nijak, žejo
16:40 xstill užitečný…
16:54 mornfall context figures.tex
16:54 mornfall přidal jsem make pravidlo ale tys mezitím měnil makefile a nechce se mi to mergovat
16:55 mornfall on ten make stejně ani trochu nefunguje takže to je asi jedno...
16:56 xstill hm, jo já budu muset ty grafy přidat jako pdf
16:56 xstill hm, ale jak dostanu funkční context? $ context figures.tex
16:56 xstill mtxrun          | unknown script 'context.lua' or 'mtx-context.lua'
16:56 mornfall asi si ho musíš prvně nainstalovat (v nixosu je)
16:56 xstill no já mám context ale dělá mi toto
16:58 mornfall no jestli to je ten přibalenej v texlive tak ten nefunguje
16:58 mornfall teda přibalenej v nixosovým texlive
16:58 mornfall texLiveContext si musíš přiagregovat
16:58 xstill no mám v texLiveContext texLiveAggregationFun
16:58 xstill … texLiveContext v …
16:59 xstill aha
16:59 mornfall tak možná context --genarate nebo mtxrun --generate
17:00 xstill jo už to něco dělá
17:00 xstill blije to na mě spoustu bordelu
17:01 xstill a co to má vybrobit?
17:01 mornfall figures.pdf
17:01 xstill tak to se nestalo
17:02 mornfall teda --generate má vyrobit něco v ~/.texlive
17:02 xstill no jasný že context figures.tex
17:04 mornfall tak jsem tam nakopíroval pdfko
17:04 mornfall když tak budou aj grafy je to jedno
17:04 mornfall budu muset pošoupat labely trochu aspoň, protože to bylo původně jiným písmem
17:04 xstill dík
17:05 mornfall ten page 2 se bude asi muset při importu oříznout zespodu, nebo opravit bounding box
17:05 mornfall ale to se dořeší pak
17:05 xstill jo
17:05 mornfall teď musim napsat nějakou dokumentaci kamsi
18:20 xstill už by to mohlo jít i přeložit jinde než u mě
18:21 mornfall jo zdá se že to funguje

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