Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-10-31

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

All times shown according to UTC.

Time Nick Message
06:44 xstill mornfall: věděl jsi o tomto: http://www.1024cores.net/home/relacy-race-detector
06:45 xstill (ono se to teda tváří jako že to je C++ verifikace, ale ten zdroják se musí dost upravit)
09:17 mornfall neznám, ale takových nástrojů existuje víc
10:12 spito joined #divine
10:32 mornfall hm, Palmik bude dělat diplomku u Milana Češku
10:57 xstill na co?
11:07 mornfall nevím :) ale divine to nebude
11:12 xstill chyba, zrovna on mohl divine klidně dělat
11:12 mornfall tak jak pro koho, Milan z toho určitě něco vytěží
11:15 xstill to jo no
11:15 xstill ale pro nás jsem myslel
11:16 xstill myslím prostě že je nás málo
11:17 xstill a já mám málo času navíc
11:17 mornfall kdo nemá
12:22 spito tak divine by teď při verifikaci shared store sežral zhruba 3,2 TB paměti
12:23 spito reálně žere cca 60 GB
12:23 spito kompresní poměr cca 1,8% to je dobrý, ne?
12:26 xstill no já nevím jestli se dá úplně té statistice věřit
12:26 xstill specielně asi počítá tabulku víckrát než tam je ve shared
12:55 mornfall tak zejména ty memory statistiky nikdy moc nefungovali
13:16 mornfall spito: a už jsi aj něco zverifikoval? :-)
13:16 mornfall nebo to furt běží?
13:18 spito furt to běží
13:18 spito a generuje to nějaké stavy
13:23 mornfall ... :) možná bys měl uvažovat nad nějakým menším testem, tohle může klidně běžet další měsíc...
13:38 xstill se docela divím, že to ještě nevyběhlo z paměti. Kolik to má stavů?
13:50 xstill mornfall: nemáme ve wibble něco schopné rozdělit řetězec podle mezer, pokud ale nejsou v uvozovkách?
13:56 spito xstill: 200 milionů
13:56 xstill aha to pak jo
13:56 xstill ty stavy ovšem musí být obrovské
13:56 xstill protože já čekal něco kolem pár miliard při téhle době běhu
13:58 xstill hm, co se stane pokud stav bude mít víc jak 16MB?
14:16 mornfall azlé věci, počítám :-)
14:16 mornfall -a
14:20 xstill to jsem si myslel
14:21 xstill ten splitter tam počítám není?
14:21 mornfall Nevím o tom že by byl.
14:22 mornfall Ale to je ortogonální problém. :)
14:26 xstill jako k 16MB limitu? To jistě.
14:26 xstill ten limit mě jen tak napadl když Spito verifikuje ty velké modely
14:28 spito když on to není velký model
14:29 spito je jenom blbý to, že tam existuje mnoho proložení operací
14:30 xstill ono je taky blbý že generování následníka je nejspíš lineární k množství paměti stavu
14:30 mornfall jak by mohlo nebýt? :-)
14:31 xstill no jo máš pravdu, já měl teda teď myslel ten pointer-tracking
14:32 xstill který nebude úplně levný, aleposň co si pamatuju když jsem testoval nějaký velký model
14:39 mornfall zase tím ušetříš exponenciálně moc stavů
14:39 xstill jasný
14:40 mornfall je možná trochu škoda že to nejde vypnout, ale ono se to používá aj na jiný věci než jen redukci
19:19 spito joined #divine
19:19 xstill joined #divine
19:19 mornfall joined #divine
19:19 Erbureth joined #divine
19:19 xHire joined #divine
19:19 ChanServ joined #divine
20:14 spito hmm, je to hrozný
20:16 spito explicitně studentům říkám - odevzdejte soubor main.c, přesně ten a nic jiného. A jak to dopadne? Dva studenti mi odevzdají soubor project.cbp (projektový soubor Code::Blocks), jedna dokonce žadoní, jestli by mohla mít opravenou písemku se stržením bodů
20:16 spito a co je na tom nejvtipnější? Oba dva studenti patří mezi 3 nejlepší ve skupině :D
20:17 Erbureth to máš teda pěknou skupinu :D
20:17 spito ale ne, oni jako docela umí programovat
20:18 spito jenom jsem si řekl, že tento rok budu drsnej
20:18 spito a víš jak, kdyby mi žadonil nějaký varan
20:18 spito ale ona to je docela hezká a chytrá holka
20:18 spito na FI!!!
20:18 Erbureth prozradíš učo? :D
20:20 spito Erbureth: tohle už můžem do veřejnýho
20:21 Erbureth Ook. Jen aby tě nezviklala moc :)
20:21 spito jen není vhodné nechat logovat něčí osobní údaje volně na netu
20:21 spito no ne
20:22 spito (krom toho, na cviku sedí vedle sebe ona, černovláska a zrzka, Charlieho andílci jak vyšití :D)
20:22 Erbureth prvačka a hned v C++, jo?
20:22 spito ne, úvod do programování skrze C
20:22 spito na C++ jsme na ně hodnější
20:23 Erbureth :D Tak je zkus ulovit do labu pak
20:23 spito to už ukázali, že umí projít Hliněným, Brandejsem, Švendovým C atd
20:23 spito už v prváku? to utečou
20:23 Erbureth a úvodem do Haskellu?
20:23 spito ten je až ve druháku
20:23 spito 3. semestr
20:23 Erbureth oni to změnili? proč?
20:23 spito teď je haskell+logika v jednom předmětu
20:23 spito a má to Jiřík
20:24 Erbureth takže může rekrutovat druhačky, jo?
20:24 spito nevím, proč to změnili, asi se někomu ve vedení fakulty nelíbí haskell
20:24 xstill baf
20:24 xstill vedení je zaujaté
20:24 spito jo, teď se pokusil rekrutovat třeťačku
20:24 spito a dopadá to, jak to dopadá
20:24 Erbureth Na druhou stranu prváci haskell neocení...
20:25 spito zapojili jsme se do toho 3 a prdlačky z toho
20:25 spito neocení haskell s Liborkem
20:25 spito já si naopak myslím, že v prváku to bylo dobré síto
20:25 spito a lidi, co to dali, si z toho něco málo odnesli
20:25 Erbureth to jo
20:25 spito (já třeba umím použít lambdu, heč :P )
20:25 xstill musíme se víc snažit, spousta lidí ani neví, že paradise existuje
20:26 spito zato kupa lidí si myslí laboratoř==labak=laboratoř aplikované kryptografie
20:26 Erbureth (já zas v pythonu furt používám list comprehensions teď)
20:27 xstill python se možná jednou naučím...
20:27 xstill zdá se že by mohl být použitelný
20:27 spito umíš C++ a Haskell? to pak koukneš a uvidíš ;)
20:27 Erbureth přesně tak
20:28 spito left #divine
20:28 spito joined #divine
20:30 xstill se ti přejmenoval klient
20:30 spito_ten_pravy joined #divine
20:30 xstill :-D
20:30 spito_ten_pravy zabite spita :D
20:30 spito_ten_pravy kecám
20:30 xstill neříkej dvakrát nebo ti Mornfall dá ban
20:30 spito_ten_pravy :'(
20:32 xstill a to bylo co?
20:32 spito no, instalace programu vyžadovala restart
20:32 spito tak abych nepřišel o dění, tak telefon
20:32 spito no a pak mě naběhl počítač
20:32 spito tak jsem si z toho udělal legraci....opět
20:33 xstill aha tak, já restartuju jen po update kernelu
20:34 spito já normálně neinstaluju
20:34 spito krom toho normální programy to nevyžadujou, to jeno ty divný
20:34 spito *jenom
20:38 xstill hm, bylo by vhodné mít fungující debugger pro c++, který nepádá kdy se mu chce
20:38 xstill (a chce se mu často)
20:40 xstill spito: doufám že ti ti studenti kromě toho cbp dají i ty zdrojáky...
20:40 spito no jistě, že tam nedali zdrojáky
20:40 spito se uklikli
20:40 spito a kdybych umožnil dodatečné dodání zdrojáků, tak by to bylo porušení pravidel
20:41 spito takže dostaly oba dva nulu
20:41 xstill tak to jsou teda blbci
20:41 xstill slušně řečeno
20:41 Erbureth obě dívky?
20:42 spito ne, druhý je kluk
20:42 spito ale taky je dost dobrý
20:42 spito on to měl hotový tak za půl hodiny
20:42 spito ostatní se s tím patlali daleko dýl
20:42 spito no a pak to neodevzdá :D
20:42 Erbureth nj :D
20:42 mornfall co to tady je za bordel..!
20:42 xstill tak snad se poučí
20:43 Erbureth za nás se odevzdávalo na aisu všechno, iirc
20:43 spito mornfall: copak?
20:43 mornfall máš špatnou barvu :-)
20:43 spito iirc znamená co?
20:43 Erbureth jestli si dobře vzpomínám
20:43 mornfall If I Recall Correctly
20:43 spito mám zmizet a objevit se znovu?
20:43 xstill špatnou barvu?
20:44 mornfall no, špatnej hash nicku
20:44 mornfall se kterým přišel
20:44 xstill ty to máš barevné?
20:45 mornfall jj :-)
20:45 mornfall ty seš zelenej třeba
20:45 spito je blázen do hello kitty a nebude mít na počítači barvičky?
20:45 xstill super
20:45 xstill ale zelená je ještě dobrá
20:45 mornfall a spito je teď tmavě modrej ale předtím byl světlej
20:46 mornfall resp. takovej šedivej
20:46 spito a normálně jsem pořád stejně barevnej?
20:46 xstill já myslel že máš irssi
20:47 spito left #divine
20:47 spito joined #divine
20:47 Erbureth však irssi umí barvičky, ne?
20:47 spito mornfall: lepší?
20:48 xstill já nevím, text mám bílý
20:49 xstill ale to bude tím, že jsem nic nenastavoval
20:53 mornfall to je skript co to obarvuje
20:53 mornfall dost hnusnej :-) ale funguje
20:53 mornfall spito: nevim, když mluvíš na mě máš jinou barvu než normálně ;-)
20:53 spito húúú
20:54 xstill ještě že tohle nefunguje i naživo
20:55 mornfall :D
20:55 mornfall spito: ne, není to lepší, já bych to mohl zresetovat ale kašlu na to :-) budeš teď prostě modřejší
20:56 mornfall myšlenka je že barva + délka ti stačí abys poznal kdo mluví i v docela rušných místnostech
20:57 xstill to zní docela dobře
20:57 xstill kde jsi to sehnal?
20:58 mornfall něco jako /script install nickcolor
20:58 mornfall /script load scriptassist asi prvně
20:59 xstill tak ta druhá věc nefunguje
20:59 xstill nějakej divokej perlovej error
20:59 mornfall potřebuješ LWP
21:00 mornfall nainstaluješ jako balík
21:01 spito brouk
21:01 spito už je pozdě, tak jdu
21:02 xstill /script load scriptassist
21:02 xstill teď se možná něco stalo
21:03 xstill spito: dobrou
21:08 spito left #divine
21:15 xstill a já půjdu taky

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