Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-06-25

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

All times shown according to UTC.

Time Nick Message
07:17 mornfall hmm, můj ~/mail se blíží k 10G hranici
08:22 xstill mornfall: co zajišťuje distribuci shared na jednotlivé workery?
08:23 xstill já měl za to, že to je v parallel(), ale tam to nevidím
08:24 xstill aha tak přece, ale v algorithm a ne v parallel.h
08:29 mornfall :-) nestíhám reagovat
08:30 xstill to nevadí
08:31 xstill ještě je možné že zůstává něco vyset ve frontě
08:32 xstill ono to totiž padá dost specificky, když to prohledá 13 vrcholů ze 14 a řekl bych, že ten nenalezený je přesně ten druhý akceptující
08:33 xstill hm, to je vlastně jedno který to je
08:34 xstill podstatné je, že pokud zůstane ve frontě tak je možné, že jeho from nebude mít aktualizovanou iteraci
08:35 mornfall hmm
08:43 xstill ono totiž když se podíváš na ten graf (test/B.prop1.dve.so) tak tam fakt není možný dosáhnout jinej vrchol než ce.initial ve FindCE
17:05 mornfall http://divine.fi.muni.cz/status (beta :-)
18:07 xstill hm, celkem dobrý, co jsou ty čísla v hranatých závorkách pod typem buildu
18:07 xstill nicméně nechal bych i tu původní variantu, pro lidi co si chtěj stáhnout build
18:10 xstill podívej se na http://divine.fi.muni.cz/status/details?project=divine&revision=20140624203401-27a03-39965df9de91b96654cb57579bf6ab10d221b1e2&branch=mainline ve firefoxu
18:11 xstill (ty buňky tabulky maj míň jak 1mm u mě)
18:12 xstill + by bylo fajn kdyby se dalo prokliknout na build do hydry, ne jen na log
18:21 xstill ale jinak dobrý, ten web je generovanej z Haskellu?
18:23 mornfall ježiši firefox
18:23 mornfall to vypadá :D
18:24 mornfall on to height: 1px; pochopil nějak doslova
18:24 mornfall a navíc tam dává hnusný fonty... hm
18:24 xstill no, jak jinak by to měl pochopit?
18:25 mornfall vzhledem k tomu že buňka tabulky nesmí být menší než obsah, tak by to měl chápat jako „tak malý jak to jde“
18:25 xstill mě dává normální fonty, ale je možný že mám někde nastavený, že DejaVu je default
18:26 mornfall já mam asi rozbitej firefox
18:26 mornfall pokud jde teda o fonty
18:27 xstill on má možná jako normální default něco co v nixosu není
18:27 xstill mám pocit, že jsem to měnil
18:28 mornfall houby, problém je že tam musím napsat Bitstream na začátek ;-)
18:28 xstill kam? A co to dělá?
18:28 mornfall no, ten font se jmenuje Bitstream Vera Sans Mono
18:28 mornfall :-)
18:29 xstill aha :-)
18:29 mornfall což je teda to stejný jako DejaVu, jen to má míň diakritiky
18:31 mornfall dobrý, to height: 1px tam už není potřeba
18:32 xstill jo jinak zatímco jsem byl venku, tak jsem si tu nechal buildovat clang pro windows, nedoběhl. A to mingw nemá gold, což celkem dává smysl, jelikož on asi neumí linkovat windows binárky.
18:32 mornfall linky do hydra-server jsou na todo (ale binárky asi budu linkovat přímo)
18:32 mornfall na čem to umřelo?
18:33 xstill na likování libclang, řeklo to jen že exit status 5 nebo tak něco
18:33 xstill (nic smysluplného)
18:33 mornfall nojo, windows
18:34 xstill podle googlu ta chyba může znamenat, že to nenašlo nějakou knihovnu se kterou to chtělo linkovat
18:34 xstill jo už vidím viditelný čtverečky i ve firefoxu
19:01 xstill k tomu shared bugu: co se stane s lokálníma chunkama ostatních vláken při clear(), předpokládám že nic (nemá jak), nicméně jak potom se ta fronta má úplně vyprázdnit?
19:02 mornfall to asi nepůjde (úplně vyprázdnit)
19:02 mornfall nebo aspoň ne nijak jednoduše
19:03 xstill no to je docela problém, ne?
19:06 xstill hm, oni ty lokální kusy vlastně zmizí s visitorem a toho FindCE udělá nového
19:07 xstill ale problém může být, že to druhé vlákno udělá flush() po té co první udělalo clear(), což ono udělá v destruktoru
19:08 xstill ale potom by ten problém zase měl nastávat častěji na můj vkus
19:23 xstill a teda moc nechápu k čemu je axed
19:25 xstill protože tak jak je to napsaný se snad nikdy nemůže stát, že by bylo true když se testuje
19:26 xstill (protože QueueFrontend se nesdílí mezi instancema visitoru ve shared)
19:27 mornfall no, v shared to je asi jedno
19:28 mornfall není
19:28 mornfall axed je proto že clear se může zavolat uvnitř toho next na ř. 37
19:28 xstill aha
19:28 xstill to dává smysl
19:29 xstill nicméně teda druhý vlánko může do tý fronty něco flushnout
19:30 xstill jako nejjednodušší by bylo asi zavolat clear v konstruktoru visitor::Shared::Implementation
19:35 xstill tam to totiž bespečně tu frontu smaže, a ona by stejně měla být smazaná, protože terminate()
19:35 xstill asi teda
19:37 mornfall řekl bych že jo
20:04 xstill tak zatím to nespadlo, ne že to by nějak moc znamenalo
20:04 xstill (přidal jsem ten clear)
20:51 xstill jen teda nevím jestli tím jen nemaskujeme problém, kterej se může pořád projevit pokud by algoritmus zavolal terminate a pak dělal další iteraci (což asi žádnej nedělá)
20:58 mornfall většinou nová iterace znamená aj novej visitor
21:01 xstill jo? Kde vznikne?
21:03 mornfall algorithm/common.h:153
21:04 xstill aha
21:05 xstill teda udžet si přehled co divine dělá je dost fuška
21:05 xstill nějak nechápu jak můžou fungovat projekty co maj miliony řádků kódu
21:06 mornfall jsou napsaný v Javě
21:06 mornfall nebo v C
21:07 mornfall milion řádek čehokoliv rozumnýho je plusminus skynet :-)
21:07 xstill a to že jsou v Javě nebo C má pomoct?
21:07 mornfall jo, maj pak mnohem menší informační hustotu
21:09 xstill taky fakt
21:10 mornfall nějakých koherentních projektů co maj víc než milion řádek moc není, ani v Javě nebo C
21:10 mornfall když vezmeš linuxovej git, tak to je stovka projektů zabalená do jednoho stromu

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